summaryrefslogtreecommitdiff
path: root/lib/mono_rewrites.sail
AgeCommit message (Expand)Author
2020-09-07Fix typo a mono_rewrites definitionBrian Campbell
2020-09-07Correct external declaration in mono_rewritesBrian Campbell
2020-07-02Define extz/s_vec in Sail for non-prover backendsBrian Campbell
2020-04-21Add support for some ASL idioms in mono rewritesThomas Bauereiss
2020-04-21Add more mono rewrites for bitvector subrangesThomas Bauereiss
2019-08-14Use bitvector type in mono rewritesThomas Bauereiss
2019-08-14Fix bug in mono rewritesThomas Bauereiss
2019-06-19Monomorphisation improvements for aarch64_smallBrian Campbell
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-01-31 14:00:21 +0000