summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2021-03-05Add more location information to IRAlasdair
2021-02-25Remove accidental use of too-recent Option moduleBrian Campbell
2021-02-25Add -infer_effects optionBrian Campbell
2021-02-24Fill out some missing cases in free variable calculationBrian Campbell
2021-02-17Make sure :step_function appears in :commandsAlasdair
2021-02-17Check if an unbound identifier is bound as a function identifierAlasdair
2021-01-05Fix some cases when monomorphising vectors containing variable-length bitvectorsAlasdair
2021-01-05Enum value feature request for AlexandreAlasdair
2021-01-05Don't allow type synonyms with the same name as existing typesAlasdair
2020-11-25Remove bogus pattern completeness warning on singleton enums and unionsBrian Campbell
2020-11-25Fix Lem output for single element enumBrian Campbell
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-19Make mono rewrites be more careful to produce constant-sized typesBrian Campbell
2020-11-18Fix coverage information in case branches that immediately returnBrian Campbell
2020-11-01Fix interpreter pattern matching bugAlasdair
2020-10-21Merge pull request #106 from jrtc27/latex-abbrevs-spacingAlasdair Armstrong
2020-10-14Support C coverage when sail_exit is usedBrian Campbell
2020-10-07latex: Guard abbreviations with \@Jessica Clarke
2020-10-01Add ast_defs to libsailAlasdair
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: provide default implementations of the other saildoc commandsAlex 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-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-25Saildoc: do not mangle links targets enclosed in <>Alex Richardson
2020-09-24Wrap saildoc LaTeX in \saildoclabelled macroJessica Clarke
2020-09-24Merge pull request #93 from jrtc27/saildoc-improvementsAlasdair Armstrong
2020-09-24Merge pull request #91 from julienfreche/remove_extra_staticAlasdair Armstrong
2020-09-23Allow more access to parts of Env (needed by minisail)Mark Wassell
2020-09-21latex: Handle Ulp, Ol and Olp markdown constructsJessica Clarke
2020-09-21latex: Dump out S-Expr of any unhandled markdownJessica Clarke
2020-09-21Strip leading *'s from saildocJessica Clarke
2020-09-20Improve parsing of saildoc commentsJessica Clarke
2020-09-16C codegen: remove an unnecessary declaration in the header fileJulien Freche
2020-09-07Fix typo a mono_rewrites definitionBrian Campbell
2020-09-02Consider case expressions in early return rewriteThomas Bauereiss
2020-08-27Ignore file start/end pragmas in spliceBrian Campbell
2020-08-27Perform truncation of hex literals for C backend (really for isla)Brian Campbell
2020-08-25Add function sail_set_coverage_file to sail_coverage headerAlasdair
2020-08-24Reformat tweaksAlasdair
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:38:23 +0000