summaryrefslogtreecommitdiff
path: root/src/gen_lib/sail_operators_mwords.lem
AgeCommit message (Expand)Author
2018-06-14rename all lem support files to sail2_foo to avoid conflict with sail1 in rmemJon French
2018-05-11Remove buggy bit list comparison functions from Lem libraryThomas Bauereiss
2018-05-09Run ARM built-in tests for Lem backend (via OCaml)Thomas Bauereiss
2018-04-20Have sign_extend in common Sail Lem library, use it and zero_extend inBrian Campbell
2018-04-18Add some lemmas about bitvectorsThomas Bauereiss
2018-04-17Move some Lem library vector operations so that we also have mword versionsBrian Campbell
2018-03-22Tune Lem pretty-printingThomas Bauereiss
2018-03-14Machine words extract/update operations arguments are the other way aroundBrian Campbell
2018-03-14Fix Lem generation for CHERI-MIPS and Aarch64Thomas Bauereiss
2018-03-14Make partiality more explicit in library functions of Lem shallow embeddingThomas Bauereiss
2018-02-27Get MIPS translated to LemThomas Bauereiss
2018-02-15Re-engineer prompt monad of Lem shallow embeddingThomas Bauereiss
2018-02-07Add some printing functions to Lem shallow embeddingThomas Bauereiss
2018-01-31Export arithmetic shift right from Lem libraryThomas Bauereiss
2018-01-31Add wrappers around Lem operators using bitvector type classThomas Bauereiss
2017-12-12Add a few helper functions for bit listsThomas Bauereiss
2017-11-07Declare prelude functions as externThomas Bauereiss
2017-11-01Support bitvector-size-parametric functions in Lem outputBrian Campbell
2017-10-25Avoid name clash in generated LemBrian Campbell
2017-10-18Merge branch 'experiments' of Peter_Sewell/sail into mono-experimentsBrian Campbell
2017-10-13Name (bit)vector operations more explicitlyThomas Bauereiss
2017-10-13Add support for real numbers to Lem backendThomas Bauereiss
2017-10-06Implement replicate_bits for mwordsBrian Campbell
2017-10-02Merge branch 'experiments' into mono-experimentsBrian Campbell
2017-09-29Some more refactoring of Sail libraryThomas Bauereiss
2017-09-04Merge branch 'experiments' of bitbucket.org:Peter_Sewell/sail into mono-exper...Brian Campbell
2017-09-02Remove dependency of state.lem on bitvector operationsThomas Bauereiss
2017-08-29Make Lem export of CHERI(-256) typecheckThomas Bauereiss
2017-08-28Eta expand lem for OCaml generationBrian Campbell
2017-08-28Correct indexing and equality for bitvectorsBrian Campbell
2017-08-24Begin refactoring Sail libraryThomas Bauereiss
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 07:54:27 +0000