sail/src/test/lib, 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
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
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
further testing of sail library.2017-07-04T15:44:36+00:00Robert Norton2017-07-04T15:44:36+00:00b0378b8d9bc2801fbd727d36ec94a8e15ea5ca77
add more tests for sail library. Can't compile entire file due to sail performance bug or infinite loop. Add some missing shallow embedding funcitons.2017-06-30T13:56:50+00:00Robert Norton2017-06-30T13:56:50+00:00522e9ae14eabd09bb3e7cc2fd20a8f75df9d5870
beginnings of a sail library test suite.2017-06-29T16:30:53+00:00Robert Norton2017-06-29T16:30:53+00:00acfa76485c252aa2a6df199aeeaf9af6b4dc4930