sail/doc/Makefile, branch sail2

More work on GDB interface

2019-11-01T20:13:36+00:00

The following now works to run sail on every HVC call with hafnium

function gdb_init() -> unit = {
  // Connect to QEMU via GDB
  sail_gdb_qemu("");
  sail_gdb_symbol_file("hafnium.elf.sym");
  sail_gdb_send("break-insert sync_lower_exception")
}

function gdb() -> unit = {
  gdb_init();
  while true do {
    sail_gdb_send("exec-continue");
    sail_gdb_sync()
  }
}

Update riscv example in manual to make it current

2019-11-01T16:26:53+00:00

Fix manual, and include Alexandre's typo fixes

2019-02-21T20:03:20+00:00

The RISCV environment variable collides with common usage by the RISC-V toolchain; use SAIL_RISCV instead to refer to sail-riscv.

2019-01-22T02:42:12+00:00

Fix some issues with latex generation so manual builds again

2019-01-21T16:19:20+00:00

since riscv is no longer in this repository, and we use the RISC-V
duopod as an example, you need to build as:

make RISCV=directory manual.pdf

if directory is not equal to ../../sail-riscv (which is where it would
be if sail and sail-riscv are checked out in the same respository
together)

Fix a bug with type-checking and latex generation

2019-01-21T14:25:56+00:00

We should maybe just make the -latex option behavior the default to avoid this kind of thing

Support building an anonymised version of manual. Fix sail example in manual. Remove incomplete types chapter from manual per AA's recommendation.

2018-07-09T13:57:20+00:00

Start working on documentation

2018-04-25T19:23:35+00:00