index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
test
/
lib
Age
Commit message (
Collapse
)
Author
2018-08-01
Remove old test directory in src/test
Alasdair Armstrong
2018-07-09
Changes for anonymisation. Ensure headers are in correct format. Remove some ↵
Robert Norton
redundant files.
2017-12-28
use ocamlfind to locate lem and zarith (missed this Makefile)
Shaked Flur
2017-08-02
fix sail library test interpreter glue for API change. Also fix ↵
Robert Norton
build_context val spec which was out of dated although lem did not complain for some reason...
2017-07-19
split library tests into separate files to avoid risk of sail compiler stack ↵
Robert Norton
overflow.
2017-07-19
borrow some of aa's bash code to convert library test suite output to junit ↵
Robert Norton
xml for jenkins.
2017-07-06
Tests for (almost) all sail builtins. Many interesting things discovered. ↵
Robert Norton
Library in need of rationalisation.
2017-07-04
further testing of sail library.
Robert Norton
2017-06-30
add more tests for sail library. Can't compile entire file due to sail ↵
Robert Norton
performance bug or infinite loop. Add some missing shallow embedding funcitons.
2017-06-29
beginnings of a sail library test suite.
Robert Norton
