summaryrefslogtreecommitdiff
path: root/lib/mono_rewrites.sail
AgeCommit message (Expand)Author
2019-03-15Make mono_rewrites less dependant on ASL preludeThomas Bauereiss
2019-03-07Fix bug in a mono rewrite helper functionThomas Bauereiss
2019-02-07Monomorphisation tweaks for v8.5Thomas Bauereiss
2019-01-29Add a few more type annotations after mono rewritesThomas Bauereiss
2018-12-13Remove redundant zero extensions more aggressively in mono rewritesThomas Bauereiss
2018-12-13Fix issue with sizeof-rewriting and monomorphisationAlasdair Armstrong
2018-08-07Improve cast introduction for LemBrian Campbell
2018-07-11Fix off-by-one bugs in monomorphisation rewrites involving bitvector subrangesThomas Bauereiss
2018-05-17Clean up MIPS for HOL4 a littleBrian Campbell
2018-02-16Add alternative definitions of aarch64 functions for monomorphisationBrian Campbell
2018-02-14Another mono rewrite for aarch64Brian Campbell
2018-02-08Add (most of) the bitvector cast insertion transformationBrian Campbell
2018-02-02Add arithmetic shift right for aarch64 monoBrian Campbell
2018-01-29Sync mono rewrites definitions with libraryBrian Campbell
2018-01-26One more mono rewriteBrian Campbell
2018-01-19Update monomorphisation for sail2Brian Campbell
2018-01-16Another useful monomorphisation rewriteBrian Campbell
2018-01-09More monomorphisation rewrites for aarch64Brian Campbell
2018-01-09Add some optional experimental rewrites to help with monomorphisationBrian Campbell
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 15:10:46 +0000