summaryrefslogtreecommitdiff
path: root/lib/arith.sail
AgeCommit message (Expand)Author
2020-06-17Coq: implement shl_int_1Brian Campbell
2020-05-21Merge branch 'sail2' into mono-tweaksAlasdair
2020-04-28Add flooring division in preludeAlasdair
2020-04-21Add support for some ASL idioms in mono rewritesThomas Bauereiss
2019-08-29Turn the two abs_int declarations into overloadsBrian Campbell
2019-06-12Fix Lem binding for abs_intThomas Bauereiss
2019-06-06Fix tdiv_int and tmod_int bindings for LemThomas Bauereiss
2019-05-29Coq: need a proof for _shr32Brian Campbell
2019-04-16Coq: tdiv builtinsBrian Campbell
2019-04-16Coq: add specialised shiftsBrian Campbell
2019-04-15Merge branch 'sail2' into rmem_interpreterJon French
2019-03-22Tidy up of div and mod operators (C implementation was previously inconsisten...Robert Norton
2019-03-04Merge branch 'sail2' into rmem_interpreterJon French
2019-02-25Fix some builtins, and make mod_int return naturalAlasdair Armstrong
2019-02-13Merge branch 'sail2' into rmem_interpreterJon French
2019-02-06Fix some testsAlasdair Armstrong
2019-01-29Fixes for full v8.5Alasdair Armstrong
2018-12-28Merge branch 'sail2' into rmem_interpreterJon French
2018-11-30Parser tweaks and fixesAlasdair Armstrong
2018-11-16Various bugfixes and a simple profiling feature for rewritesAlasdair Armstrong
2018-11-13Make pretty printer stricter with brace placementAlasdair Armstrong
2018-10-24Interpreter: don't silently use OCaml externs, only interpreter externsJon French
2018-09-04C: Tweaks to RISC-V to get compiling to CAlasdair Armstrong
2018-06-15Fixes for C RTS for aarch64 no it's split into multiple filesAlasdair Armstrong
2018-06-08Fill in most Coq built-insBrian Campbell
2018-05-31Fixes to get ARM u-boot working in Sail.Alasdair Armstrong
2018-05-09Fix an issue with C compilationAlasdair Armstrong
2018-04-05Fix precedence printing and update aarch64 specAlasdair Armstrong
2018-04-05Add generic prelude library that pulls in various basic sailAlasdair Armstrong
2018-04-03Added test cases for builtinsAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:12:22 +0000