sail/cheri/Makefile, branch sail2Formal specification language for ISAsRemove cheri and mips specs -- they now have their own repository.2018-09-21T14:11:56+00:00Robert Norton2018-09-21T14:09:08+00:002bdc5d09389c8fccd8100c0c07c54b2b8895c76a
Basic Makefile support for Coq generation from CHERI2018-08-28T18:10:59+00:00Brian Campbell2018-08-20T17:23:25+00:002f527cb7adae63c252f240e5717ba768859b60df
Adapt theory imports for Isabelle 20182018-08-28T17:10:13+00:00Thomas Bauereiss2018-08-28T16:31:43+00:009232814ed220cff16e6cac808f327b326f2e2f2c
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-architecture2018-07-27T17:56:22+00:00Peter Sewell2018-07-27T17:56:22+00:002a35c6b9e1cfac8ce34ef6fa7c264cfea4139002
Revert "wib" (mistaken delete of sail_latexcc)2018-07-27T17:52:40+00:00Peter Sewell2018-07-27T17:52:40+00:0034c745ff78a409daeddf4b5a78e28c85c62eb6fd
This reverts commit 4c84c70eafbbf9bea475e3264f21eedc3555021f.
This reverts commit 4c84c70eafbbf9bea475e3264f21eedc3555021f.
Make HOL build properly again for all of the models2018-07-10T16:15:51+00:00Brian Campbell2018-07-10T15:50:06+00:00497c8bf636619988203f8a868806fb04903db2dd
add gcov option for cheri_c. Add cheri128_c target.2018-07-06T14:33:27+00:00Robert Norton2018-07-06T14:33:27+00:002593b91c60fff908493ebc7924edb480a0c1b3f6
optimise cheri c build.2018-07-02T10:35:41+00:00Robert Norton2018-06-29T14:07:55+00:00d3025dc25f3e9c8f416dc304980945e82f5ee01e
Add tagged memory to C rts to cheri can be compiled to C2018-06-28T16:16:09+00:00Alasdair Armstrong2018-06-28T16:14:12+00:00b98b4f1181f6b3a3f239ade0ab407771cae35867