summaryrefslogtreecommitdiff
path: root/lib/smt.sail
AgeCommit message (Expand)Author
2020-04-10Add Lem builtins for operations on realsThomas Bauereiss
2019-08-29Turn the two abs_int declarations into overloadsBrian Campbell
2019-04-26Fix some broken interpreter testsAlasdair Armstrong
2019-03-22Tidy up of div and mod operators (C implementation was previously inconsisten...Robert Norton
2019-02-06Fix some testsAlasdair Armstrong
2019-02-06Remove all sizeof rewriting from C compilationAlasdair
2019-01-14Merge remote-tracking branch 'origin/sail2' into asl_flow2Alasdair
2019-01-10Fixes so 8.5 with vector instructions compiles to CAlasdair Armstrong
2019-01-09Coq: the division used in smt.sail should be EuclideanBrian Campbell
2018-11-07Move inline forall in function definitionsAlasdair Armstrong
2018-06-22Add coq builtins for MIPSBrian Campbell
2018-06-15Fixes for C RTS for aarch64 no it's split into multiple filesAlasdair Armstrong
2018-05-03Flow typing and l-expression changes for ASL parserAlasdair Armstrong
2018-04-05Add generic prelude library that pulls in various basic sailAlasdair Armstrong
2018-02-16Add __TakeColdReset function to aarch64_no_vectorAlasdair Armstrong
2018-01-26Fixed loading ARM elf filesAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:03:02 +0000