sail/language/Makefile, branch sail2 Formal specification language for ISAs remove obsolete files from language directory. 2018-07-10T13:54:27+00:00 Robert Norton 2018-07-10T13:54:27+00:00 f6a49e32fc943444a5a38088abe9ff6a5cabed75 






Merge master branch into sail2 for OCaml 4.06 compatibility
2018-02-17T21:41:42+00:00

Thomas Bauereiss

2018-02-17T21:41:42+00:00

96211c216102d6dec5e0fa3dd5999dc13e1b4748












changed directory structure after migration to github
2018-01-31T15:59:24+00:00

Shaked Flur

2018-01-31T15:59:24+00:00

ef5eee97618d226249281bb0d2ad47c02d8f364c












Start of alignment of Ott definition with new implementation of type checker and syntax changes
2017-10-17T14:22:22+00:00

Mark Wassell

2017-10-17T14:22:22+00:00

1ba1175defbe92441344703b39ce9e17db4c63a9












Alasdair, Peter: towards new Sail ott
2017-10-04T11:54:08+00:00

Peter Sewell

2017-10-04T11:54:08+00:00

379306d39a8484ce64cb7e6797d0b8dbbef0b32f












remove -merge true from ott makefile -- lem at least doesn't build with it
2017-07-21T19:56:56+00:00

Jon French

2017-07-21T19:32:40+00:00

e609a9ead0505ffcf824177d211d43d685b7c08f












typesetting tt vs non-tt
2017-04-06T13:16:05+00:00

Peter Sewell

2017-04-06T13:16:05+00:00

3b3af5555654f21f338b38e3adeb62760e5e72ff












rename "manual.tex" to "type_system.tex"
2017-03-15T09:33:37+00:00

Peter Sewell

2017-03-15T09:33:37+00:00

3519cfe79e70c805185eeec3df508534c73b5579

fix Makefile clean





fix Makefile clean







switch to github ott
2017-01-30T10:41:39+00:00

Peter Sewell

2017-01-30T10:41:39+00:00

5f2080ce05707f349af13d4eeb9ff97ab63c3fbc












remove "rm *.tex" from language/Makefile "make clean"
2017-01-30T10:29:35+00:00

Peter Sewell

2017-01-30T10:29:35+00:00

54d1aa1493c9e058fc765a3c812da85ca3330693