sail/mips/Makefile, branch sail2 Formal specification language for ISAs 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 






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







Merge remote-tracking branch 'origin/sail2' into c_fixes
2018-07-24T17:09:18+00:00

Alasdair Armstrong

2018-07-24T17:09:18+00:00

6b4f407ad34ca7d4d8a89a5a4d401ac80c7413b0












Now builds mips spec again.
2018-07-24T00:09:14+00:00

Alasdair

2018-07-24T00:09:14+00:00

dafb09e7c26840dce3d522fef3cf359729ca5b61

Some more testing needed to make sure it runs FreeBSD properly and CHERI before merging





Some more testing needed to make sure it runs FreeBSD properly and CHERI before merging







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












Coq: bbv have reorganised their repository
2018-07-07T15:41:25+00:00

Brian Campbell

2018-07-07T15:37:00+00:00

5ee9dfaf970de672aa379ea466bf48292bcd41cf












mips: ignore unused functions warnings caused by making some functions static.
2018-07-05T16:14:37+00:00

Robert Norton

2018-07-05T15:30:31+00:00

e5654331c24391e984484e590993887b499af9f8












Coq building rule in MIPS makefile
2018-07-02T17:49:29+00:00

Brian Campbell

2018-06-29T11:07:00+00:00

b89abf9c9e1a32892c14ab3c2e92656b1410ecac












Try to fix some tricky C compilation bugs, break everything instead
2018-06-29T21:06:05+00:00

Alasdair Armstrong

2018-06-29T21:04:55+00:00

4a0fbe2a1c7e535aacbf53e56a2322b1a97ac2ef












Add a mips_c_gcov target that builds mips_c model with coverage reporting.
2018-06-27T17:03:12+00:00

Robert Norton

2018-06-27T17:02:14+00:00

405eb545df745c300a910c261dde219fc5322ab4