| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-02-15 | Rebase state monad onto prompt monad | Thomas Bauereiss | |
| Generate only one Lem model based on the prompt monad (instead of two models with different monads), and add a lifting from prompt to state monad. Add some Isabelle lemmas about the monad lifting. Also drop the "_embed" and "_sequential" suffixes from names of generated files. | |||
| 2018-01-26 | Give LEM test suite a more useful name for benefit of jenkins. | Robert Norton | |
| 2018-01-23 | Run tests for Lem shallow embedding | Thomas Bauereiss | |
| Uses the typechecker tests for now. Also fix two minor bugs in pretty-printer and rewriter uncovered by the tests. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |