sail/cheri, branch sail2 Formal specification language for ISAs Remove old specs that have more up to date version 2020-07-31T12:30:53+00:00 Alasdair 2020-07-31T12:30:53+00:00 dd76fdfd819bb1a5423cea369df0e7f2ae449b62 Move outdated things into old subdirectory 
Move outdated things into old subdirectory
Remove cheri and mips specs -- they now have their own repository. 2018-09-21T14:11:56+00:00 Robert Norton 2018-09-21T14:09:08+00:00 2bdc5d09389c8fccd8100c0c07c54b2b8895c76a 






Basic Makefile support for Coq generation from CHERI
2018-08-28T18:10:59+00:00

Brian Campbell

2018-08-20T17:23:25+00:00

2f527cb7adae63c252f240e5717ba768859b60df












Adapt theory imports for Isabelle 2018
2018-08-28T17:10:13+00:00

Thomas Bauereiss

2018-08-28T16:31:43+00:00

9232814ed220cff16e6cac808f327b326f2e2f2c

Requires a recent Lem version that supports generating session-qualified
imports, e.g. revision rems-project/lem@d92b077f1781765a65082c815ff363ef79499860





Requires a recent Lem version that supports generating session-qualified
imports, e.g. revision rems-project/lem@d92b077f1781765a65082c815ff363ef79499860







clean Makefile target to copy generated LaTeX to cheri-architecture
2018-07-27T17:56:22+00:00

Peter Sewell

2018-07-27T17:56:22+00:00

2a35c6b9e1cfac8ce34ef6fa7c264cfea4139002












Revert "wib" (mistaken delete of sail_latexcc)
2018-07-27T17:52:40+00:00

Peter Sewell

2018-07-27T17:52:40+00:00

34c745ff78a409daeddf4b5a78e28c85c62eb6fd

This reverts commit 4c84c70eafbbf9bea475e3264f21eedc3555021f.





This reverts commit 4c84c70eafbbf9bea475e3264f21eedc3555021f.







wib
2018-07-27T17:16:52+00:00

Peter Sewell

2018-07-27T17:16:52+00:00

4c84c70eafbbf9bea475e3264f21eedc3555021f












Check in snapshot of cheri latex
2018-07-27T15:29:40+00:00

Alasdair Armstrong

2018-07-27T15:29:40+00:00

313c004c1829700697ea2fe1281cc1f7afe5904a












Make HOL build properly again for all of the models
2018-07-10T16:15:51+00:00

Brian Campbell

2018-07-10T15:50:06+00:00

497c8bf636619988203f8a868806fb04903db2dd












Change HighestSetBit into a form that can be handled by c backend. There are still a few builtins missing before cheri128 will work.
2018-07-06T15:34:36+00:00

Robert Norton

2018-07-06T15:34:36+00:00

626f81f2dd15cf26584ee0a723cbea63a094f763