summaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2020-09-23doc: Fix building with pandoc 2.0 and aboveJessica Clarke
2020-09-23doc: Fix RISC-V X overloadJessica Clarke
2020-02-06Make sure tdiv_int and tmod_int are recognised by sail -iAlasdair Armstrong
2020-01-30Fix two example code includesMark Wassell
2020-01-30Commit missing pandoc fixes for document generationAlasdair Armstrong
2019-12-07manual typopes20
2019-11-01More work on GDB interfaceAlasdair Armstrong
2019-11-01Update riscv example in manual to make it currentAlasdair Armstrong
2019-07-25Some documentation of mappings and string matchingJon French
2019-05-29Some minor grammar fixes in internals.mdAlasdair Armstrong
2019-05-29Fix some typosAlasdair Armstrong
2019-05-29Add some Sail internals documentationAlasdair Armstrong
2019-02-27Make -o option work as usual with C compilationAlasdair Armstrong
2019-02-21Fix manual, and include Alexandre's typo fixesAlasdair Armstrong
2019-01-21The RISCV environment variable collides with common usage by the RISC-V toolc...Prashanth Mundkur
2019-01-21Update manual snapshot and add basic sail -latex documentationAlasdair Armstrong
2019-01-21Fix some issues with latex generation so manual builds againAlasdair Armstrong
2019-01-21Fix a bug with type-checking and latex generationAlasdair Armstrong
2018-09-10C: Add documentation for C compilation in manual.texAlasdair Armstrong
2018-08-09fix tutorial infix exampleMatthew Fernandez
2018-08-02fix some typosMatthew Fernandez
2018-07-12Temporarily remove some paragraphs from the manual for anonymisationAlasdair Armstrong
2018-07-12Further anonymise manualAlasdair Armstrong
2018-07-09anonymise another github link.Robert Norton
2018-07-09anonymise github link in sail manual.Robert Norton
2018-07-09Support building an anonymised version of manual. Fix sail example in manual....Robert Norton
2018-05-21Fix a doc typo.Prashanth Mundkur
2018-05-16Some minor edits and typo-fixes to the manual, and update the files in the ri...Prashanth Mundkur
2018-05-11Add missing document list example to repositoryAlasdair Armstrong
2018-05-11Update and alphabetise author list in manualAlasdair Armstrong
2018-05-11Add link to Thomas's Sail/Isabelle documentation in manualAlasdair Armstrong
2018-05-11More work on documentationAlasdair Armstrong
2018-05-09Add type system documentationAlasdair Armstrong
2018-05-08More work on Sail documentationAlasdair Armstrong
2018-04-25Start working on documentationAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:56:12 +0000