summaryrefslogtreecommitdiff
path: root/lib/isabelle/Makefile
AgeCommit message (Expand)Author
2019-11-14Update location of sail2_instr_kinds.lemRobert Norton
2019-11-14Perform isabelle check only when heap-img rule is used to avoid calling opam ...Robert Norton
2019-01-31Build Isabelle heap image instead of just running sessionThomas Bauereiss
2019-01-23Don't let "make" fail unnecessarily in lib/isabelleThomas Bauereiss
2019-01-21The RISCV environment variable collides with common usage by the RISC-V toolc...Prashanth Mundkur
2019-01-21Pass Lem library path to IsabelleThomas Bauereiss
2019-01-21Don't require manual set up of Isabelle session directoriesThomas Bauereiss
2019-01-21Fix build of Isabelle documentationThomas Bauereiss
2018-08-29Updated snapshots for Isabelle 2018Thomas Bauereiss
2018-06-21Follow Sail2 renaming in Isabelle libraryThomas Bauereiss
2018-05-04Add back purely sequential Lem generationThomas Bauereiss
2018-04-20Make building of Isabelle heap image optionalThomas Bauereiss
2018-04-18Add first draft of Isabelle library documentationThomas Bauereiss
2018-04-18Add a simple Hoare logic for sequential reasoning to the libraryThomas Bauereiss
2018-03-14Make partiality more explicit in library functions of Lem shallow embeddingThomas Bauereiss
2018-02-26Rename some Isabelle theoriesThomas Bauereiss
2018-02-15Rebase state monad onto prompt monadThomas Bauereiss
2018-02-15Re-engineer prompt monad of Lem shallow embeddingThomas Bauereiss
2018-01-31Add wrappers around Lem operators using bitvector type classThomas Bauereiss
2018-01-31Split base definitions of Lem monads and further built-ins (e.g. loop combina...Thomas Bauereiss
2018-01-22Update Lem shallow embedding to Sail2Thomas Bauereiss
2017-09-29Move Isabelle libraryThomas Bauereiss
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:32:05 +0000