sail/src/test, branch sail2Formal specification language for ISAsRemove old test directory in src/test2018-08-01T15:42:33+00:00Alasdair Armstrong2018-07-30T18:16:34+00:001479ae359fd3afebf9c3dfb6e58a77254e8140ea
Changes for anonymisation. Ensure headers are in correct format. Remove some redundant files.2018-07-09T15:30:13+00:00Robert Norton2018-07-09T15:30:06+00:00936f1beb2bbc9db6182ba8b706668e146c3657d9
Merge master branch into sail2 for OCaml 4.06 compatibility2018-02-17T21:41:42+00:00Thomas Bauereiss2018-02-17T21:41:42+00:0096211c216102d6dec5e0fa3dd5999dc13e1b4748
use ocamlfind to locate lem and zarith (missed this Makefile)2017-12-28T14:00:02+00:00Shaked Flur2017-12-28T14:00:02+00:001d22a0b403e90749eb9d97bed90c202e21b3d068
fix sail library test interpreter glue for API change. Also fix build_context val spec which was out of dated although lem did not complain for some reason...2017-08-02T13:24:52+00:00Robert Norton2017-08-02T13:24:52+00:003ee583761a8b7801d0870c0b47e050ac5c8851cd
Modified the typechecker for ASL generation2017-08-01T15:22:56+00:00Alasdair Armstrong2017-08-01T15:22:56+00:00c1467ada4bc3af664a167164830ab1458aca550a
split library tests into separate files to avoid risk of sail compiler stack overflow.2017-07-19T17:08:02+00:00Robert Norton2017-07-19T17:08:02+00:00632b10c0d4b01dc1af8593b8ae1f088fbfd9e342
borrow some of aa's bash code to convert library test suite output to junit xml for jenkins.2017-07-19T13:05:04+00:00Robert Norton2017-07-19T13:05:04+00:00d8969b1f9631dc15d5fb6b3b33a4a69dbfb7358a
Tests for (almost) all sail builtins. Many interesting things discovered. Library in need of rationalisation.2017-07-06T11:41:17+00:00Robert Norton2017-07-06T11:41:17+00:007c9184d1bb7a09fbcf864cf8c4a9b37f463a9d1d