sail, branch sail2 Formal specification language for ISAs Add isla builtin testing and update coq script 2021-04-23T16:05:13+00:00 Brian Campbell 2021-04-23T16:05:13+00:00 75af862bbbff6797dd4a5dfa38b4bb617b034ac4 (both off by default) 
(both off by default)
Fix lemma for current HOL4 2021-03-24T18:11:08+00:00 Brian Campbell 2021-03-24T18:11:08+00:00 1cb28eeb9289624b6f187705fe20e6176ccf1406 (should also work for older versions) 
(should also work for older versions)
add else as keyword 2021-03-18T12:35:46+00:00 jp 2021-03-18T12:35:46+00:00 3ac7babbba68d64b8d54154b36d70a305955170b 






coq-bbv dependency should be a lower bound
2021-03-12T19:19:46+00:00

Brian Campbell

2021-03-12T19:18:12+00:00

d6ed84c89bf5d6e6ecd836fa123eafd442215c41












Add even more conservative version bound to omd
2021-03-12T16:35:50+00:00

Alasdair

2021-03-12T16:35:50+00:00

c0bf98b67870a9bdcca196786791f6eb134df0d4












Add upper version bound on omd
2021-03-12T14:24:50+00:00

Alasdair

2021-03-12T14:24:50+00:00

4b7a3c874fb2b588f59dc65dda859682f3d6f7a8












Add more location information to IR
2021-03-05T17:13:07+00:00

Alasdair

2021-03-05T16:52:35+00:00

212b16bd15ea39ae3b35efdce7cef549fe4f1657












Remove accidental use of too-recent Option module
2021-02-25T15:01:43+00:00

Brian Campbell

2021-02-25T15:01:43+00:00

ace7b32fe420234575ad7564f64c76309e3a74b3

Also drop a related bit of dead code





Also drop a related bit of dead code







Add -infer_effects option
2021-02-25T14:41:03+00:00

Brian Campbell

2021-02-25T14:41:03+00:00

bb0a81f2170d068f561c6380bff500d568a7ffd3












Fill out some missing cases in free variable calculation
2021-02-24T13:17:48+00:00

Brian Campbell

2021-02-24T13:17:18+00:00

548407add6831460b3392ccaf77b45e55161bbd6

In particular, some of these affected the topological sorting.





In particular, some of these affected the topological sorting.