sail/test/isabelle/Makefile, branch sail2 Formal specification language for ISAs Pass Lem library path to Isabelle 2019-01-21T23:16:47+00:00 Thomas Bauereiss 2019-01-21T23:16:47+00:00 365cf2015c77551e37d31336220497f6ca84794c 






Don't require manual set up of Isabelle session directories
2019-01-21T20:07:20+00:00

Thomas Bauereiss

2019-01-21T19:53:59+00:00

aeb0f82f67ff829cd7a4b57c638b44a07d39ba3b

Since Isabelle 2018, specifying the same directory both on the command
line and persistently in the user's ROOTS file is allowed, so we don't
have to choose between one or the other any more.





Since Isabelle 2018, specifying the same directory both on the command
line and persistently in the user's ROOTS file is allowed, so we don't
have to choose between one or the other any more.







Add tests for Isabelle->OCaml generation for CHERI and AArch64
2018-05-09T13:40:30+00:00

Thomas Bauereiss

2018-05-08T17:48:18+00:00

972d349919fc5ebe911604330ea3c80e70fdcfad