summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
latex: Guard abbreviations with \@
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
Otherwise they will be typeset as if the end of a sentence, causing additional spacing after the '.' when not using \frenchspacing.
2020-10-01Merge pull request #105 from capt-hb/load-elf-fixAlasdair Armstrong
Load ELF: pass pointer to g_elf_entry to get the ELF entry
2020-10-01Merge pull request #102 from Trolldemorted/bennidockerAlasdair Armstrong
Add Dockerfile that builds sail from source
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
(in the previous proof script the intuition tactic found a strange proof involving a type-level dependent pair that imposed an unnecessary universe constraint, this doesn't)
2020-09-30Merge pull request #100 from arichardson/add-more-latex-tests-and-fix-escapingAlasdair Armstrong
Add more latex tests and fix underscore escaping
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
Change internal terminology so we more clearly distinguish between a list of definitions 'defs' and functions that take an entire abstract syntax trees 'ast'.
2020-09-28Move the ast defs wrapper into it's own fileAlasdair
This refactoring is intended to allow this type to have more than just a list of definitions in future.
2020-09-28Merge pull request #98 from arichardson/add-sectioning-commandsAlasdair Armstrong
Handle sectioning commands in saildoc LaTeX output
2020-09-28Merge pull request #97 from jrtc27/label-prefixAlasdair Armstrong
latex: Prefix label names with the specified -latex_prefix
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
This ensures names shared between multiple projects don't collide if included in a common LaTeX document; cheri-architecture using both sail-cheri-mips and sail-cheri-riscv runs into this. Closes: #88
2020-09-27latex: Prepend opt_prefix inside latex_cat_idJessica Clarke
Now that the category is prepended in latex_cat_id, also prepend opt_prefix there instead to ensure no caller forgets to do so. No functional change intended, and verified by regenerating the LaTeX for sail-cheri-mips and sail-cheri-riscv.
2020-09-27latex: Refactor category name prefixingJessica Clarke
Rather than having the caller prefix latex and refcode strings with the category, push that down into common functions to both abstract away the details and avoid duplication. No functional change intended, and verified by regenerating the LaTeX for sail-cheri-mips and sail-cheri-riscv.
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
Add latex tests and allow external links
2020-09-27Merge pull request #94 from jrtc27/latex-custom-labelAlasdair Armstrong
Wrap saildoc LaTeX in \saildoclabelled macro
2020-09-25Saildoc: do not mangle links targets enclosed in <>Alex Richardson
This can be useful to reference things that aren't defined by sail.
2020-09-25Add an initial LaTeX testAlex Richardson
This is for a bug I encountered while moving some docs over from the ISA spec into sail documentation comments.
2020-09-25tests: Move copy-pasted code into a shared helper .shAlex Richardson
Also fix a few shellcheck warnings related to printf while doing so.
2020-09-24Wrap saildoc LaTeX in \saildoclabelled macroJessica Clarke
This takes two arguments: the label name and the \saildocfoo macro use itself. This allows cunning definitions of \saildoclabelled and \saildocfoo to tease apart the various bits and reconstruct them in a different order without having to redefine \phantomsection and \label temporarily and hard-code knowledge of the implementation of these documentation commands. I intend to use these in cheri-architecture in combination with sail-cheri-riscv. Unlike the other macros, this is considered a bit more niche, so we include a default definition of it that expands to what was previously hard-coded. This also makes this a non-breaking change.
2020-09-24Merge pull request #93 from jrtc27/saildoc-improvementsAlasdair Armstrong
Saildoc improvements
2020-09-24Merge pull request #91 from julienfreche/remove_extra_staticAlasdair Armstrong
C codegen: remove an unnecessary declaration in the header file
2020-09-23doc: Fix building with pandoc 2.0 and aboveJessica Clarke
2020-09-23doc: Fix RISC-V X overloadJessica Clarke
This seems to be the current name for the overload.
2020-09-23Allow more access to parts of Env (needed by minisail)Mark Wassell
2020-09-22Fix val_spec to be a better match to user grammar.Mark Wassell
2020-09-21latex: Handle Ulp, Ol and Olp markdown constructsJessica Clarke
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 11:22:57 +0000