sail/test/lem, branch sail2 Formal specification language for ISAs tests: Move copy-pasted code into a shared helper .sh 2020-09-25T11:30:09+00:00 Alex Richardson 2020-09-25T09:12:56+00:00 782d3860eb0134c81d4a4204b7caab72cda3bd1d Also fix a few shellcheck warnings related to printf while doing so. 
Also fix a few shellcheck warnings related to printf while doing so.
Changes to enable analysing type errors in ASL parser 2018-11-01T17:30:56+00:00 Alasdair Armstrong 2018-11-01T17:26:01+00:00 c54f60b713087e33758c63dc110fe02d3fea29c9 Also some pretty printer improvements Make all the tests use the same colours for green/red/yellow 
Also some pretty printer improvements

Make all the tests use the same colours for green/red/yellow
Rebase state monad onto prompt monad 2018-02-15T20:11:21+00:00 Thomas Bauereiss 2018-02-14T19:45:07+00:00 737ec26cf494affb346504c482e9b91127b68636 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. 
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.
Give LEM test suite a more useful name for benefit of jenkins. 2018-01-26T13:45:22+00:00 Robert Norton 2018-01-26T13:45:18+00:00 d9d064c0d91cc072e300f6ca7b6c12ca640c7712 






Run tests for Lem shallow embedding
2018-01-23T19:53:17+00:00

Thomas Bauereiss

2018-01-23T19:51:39+00:00

4ec26c81830b26957dfac205eb60b522890fb007

Uses the typechecker tests for now.  Also fix two minor bugs in pretty-printer
and rewriter uncovered by the tests.





Uses the typechecker tests for now.  Also fix two minor bugs in pretty-printer
and rewriter uncovered by the tests.