summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-11-25Fix BLRShaked Flur
2020-11-25Make WFE, SEV and SEVL effectively NOPsShaked Flur
2020-11-21Make coverage support look a little harder for location informationBrian Campbell
2020-11-20Add coverage output to short-circuiting operatorsBrian Campbell
2020-11-19Add write tag primitiveBrian Campbell
2020-11-19Make mono rewrites be more careful to produce constant-sized typesBrian Campbell
2020-11-19Specifically note that Ubuntu 18.04 needs a new opamBrian Campbell
2020-11-18Fix coverage information in case branches that immediately returnBrian Campbell
2020-11-13sailcov: Correct ordering for cumulative coverage outputBrian Campbell
2020-11-09Update README.mdAlasdair Armstrong
2020-11-01Fix interpreter pattern matching bugAlasdair
2020-10-29Update INSTALL.mdAlasdair Armstrong
2020-10-29Update BUILDING.mdAlasdair Armstrong
2020-10-23sailcov: fix zero width branches in --colour-by-count modeBrian Campbell
2020-10-22sailcov: correct histogram table headingBrian Campbell
2020-10-22sailcov: Add cumulative histogram CSV outputBrian Campbell
2020-10-21Merge pull request #106 from jrtc27/latex-abbrevs-spacingAlasdair Armstrong
2020-10-20sailcov: add alternative colouring using the file count for each spanBrian Campbell
2020-10-19sailcov: Make meaning of the histogram clearerBrian Campbell
2020-10-19sailcov: add basic histogramBrian Campbell
2020-10-19sailcov: Rearrange span data per fileBrian Campbell
2020-10-14Add multiple coverage file support to sailcovBrian Campbell
2020-10-14Support C coverage when sail_exit is usedBrian Campbell
2020-10-07latex: Guard abbreviations with \@Jessica Clarke
2020-10-01Merge pull request #105 from capt-hb/load-elf-fixAlasdair Armstrong
2020-10-01Merge pull request #102 from Trolldemorted/bennidockerAlasdair Armstrong
2020-10-01Add ast_defs to libsailAlasdair
2020-10-01pass pointer to g_elf_entry to get the ELF entrySander Huyghebaert
2020-09-30Add Dockerfile that builds sail from sourceBenedikt Radtke
2020-09-30Tweak Coq proof to avoid incompatibility with IrisBrian Campbell
2020-09-30Merge pull request #100 from arichardson/add-more-latex-tests-and-fix-escapingAlasdair Armstrong
2020-09-29Include comments in AST typeAlasdair
2020-09-29Refactor: Change AST type from a union to a structAlasdair
2020-09-28LaTeX: Underscore-escape values in the \ifstrequal codeAlex Richardson
2020-09-28LaTeX tests: check that the generated code buildsAlex Richardson
2020-09-28LaTeX: provide default implementations of the other saildoc commandsAlex Richardson
2020-09-28Re-generate latex testsAlex Richardson
2020-09-28Refactor: Rename 'a defs to 'a astAlasdair
2020-09-28Move the ast defs wrapper into it's own fileAlasdair
2020-09-28Merge pull request #98 from arichardson/add-sectioning-commandsAlasdair Armstrong
2020-09-28Merge pull request #97 from jrtc27/label-prefixAlasdair Armstrong
2020-09-28LaTeX: Add newline after itemize and enumerate environmentsAlex Richardson
2020-09-28Handle sectioning commands in saildoc LaTeX outputAlex Richardson
2020-09-27latex: Prefix label names with the specified -latex_prefixJessica Clarke
2020-09-27latex: Prepend opt_prefix inside latex_cat_idJessica Clarke
2020-09-27latex: Refactor category name prefixingJessica Clarke
2020-09-27latex: Remove unused latex_label functionJessica Clarke
2020-09-27Merge pull request #96 from arichardson/add-latex-tests-and-allow-external-linksAlasdair Armstrong
2020-09-27Merge pull request #94 from jrtc27/latex-custom-labelAlasdair Armstrong
2020-09-25Saildoc: do not mangle links targets enclosed in <>Alex Richardson
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 04:21:12 +0000