| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-07-09 | Simplify treating of undefined_bool in Lem library | Thomas Bauereiss |
| 2018-06-12 | Prove test_raw_add theorem for init_state | Ramana Kumar |
| 2018-06-12 | Make progress on HOL4 test_raw_add | Ramana Kumar |
| 2018-06-12 | Work on HOL symbolic evaluation of installing code | Ramana Kumar |
| 2018-06-12 | Experimentation with PrePost for test_raw_add | Ramana Kumar |
| 2018-06-12 | Speculation on executing a CHERI test in HOL4 | Ramana Kumar |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |