aboutsummaryrefslogtreecommitdiff
path: root/model/prelude.sail
AgeCommit message (Expand)AuthorFilesLines
2023-10-17RISC-V Vector Extension Supportvector-devXinlai Wan1-1/+25
2023-09-12Remove effectsTim Hutt1-1/+1
2023-09-12Remove non-existent function from overloadAlasdair1-2/+2
2023-09-12Remove duplicate xor_vecTim Hutt1-2/+0
2023-08-01Rename EXTZ and EXTSAlasdair1-6/+6
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2023-03-14Use not() instead of ~() for boolean negation (#210)Alexander Richardson1-0/+2
2022-01-21Add support for Scalar Cryptography Zbkb, Zbkc and Zbkx Extensions (#135)Bilal Sakhawat1-0/+9
2021-10-18scalar-crypto: Initial commit of 1.0.0-rc2 spec work. (#99)Ben Marshall1-0/+22
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+68
2020-03-03Add bit negation to preludeThomas Bauereiss1-1/+5
2020-02-28Make types of min/max more preciseThomas Bauereiss1-8/+6
2019-08-19RISC-V spec, without implicit castsAlasdair Armstrong1-9/+10
2019-07-11Undo get_config workarounds.Prashanth Mundkur1-4/+10
2019-07-11Fix an issue where zeros function defined in sail conflicted with lem builtin...Robert Norton1-24/+7
2019-07-09Move the get_config_ print defaults to the backend preludes, since it seems t...Prashanth Mundkur1-7/+0
2019-07-01Merge remote-tracking branch 'origin/master' into master-cleanupRobert Norton1-2/+2
2019-06-28Rename zeros and ones implicit functions to something that sail monomorphisat...Robert Norton1-7/+4
2019-06-28add interpreter extern for string_of_intJon French1-1/+1
2019-06-28Avoid implicit casts to stringAlasdair1-1/+1
2019-06-26Merge branch 'master-cleanup' into pmpPrashanth Mundkur1-11/+17
2019-06-26Add command line option in c_emulator for disabling tracing. Add builtins for...Robert Norton1-0/+12
2019-06-20Add interpreter builtin for min_nat. Should min/max be in standard library?Robert Norton1-1/+1
2019-06-14Use sail's built-in ones functions for compatibility with smt backend.Robert Norton1-10/+4
2019-06-11Fill in a few missing Coq built-insBrian Campbell1-3/+3
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-12/+34
2019-04-12Merge branch 'master' into rmem_interpreterrmem_interpreterJon French1-7/+7
2019-04-03Tweak print_* bindings for LemThomas Bauereiss1-4/+4
2019-03-25Fix prelude for new names of div and mod functions.Robert Norton1-3/+3
2019-03-14Merge branch 'master' into rmem_interpreterJon French1-940/+39
2019-03-12refactor memory access to use new sail intrinsicsJon French1-39/+2
2019-03-12prelude.sail: fix print_foo externs in interpreterJon French1-4/+4
2019-03-08Another prelude cleanup.Prashanth Mundkur1-2/+0
2019-03-07Minor prelude cleanup.Prashanth Mundkur1-2/+0
2019-03-04Add defaults for platform values for use when interpretingJon French1-59/+60
2019-02-26Merge branch 'master' into rv32Prashanth Mundkur1-0/+8
2019-02-26Initial cleanup of the prelude, using standard prelude instead when possible.Prashanth Mundkur1-229/+33
2019-02-15More RV32 fixes.Prashanth Mundkur1-4/+0
2019-02-12Compatability fixes from Sail 0.7.1 to Sail 0.8Alasdair Armstrong1-0/+8
2019-02-11More refactoring for RV32Prashanth Mundkur1-67/+0
2019-02-08Change implicits on monad branchAlasdair Armstrong1-4/+4
2019-02-08Adapt to changes in Sail's Lem shallow embeddingThomas Bauereiss1-5/+28
2019-02-08Split out the mapping prelude into its own file.Prashanth Mundkur1-690/+0
2019-01-21Remove temporary workaround for Lem generationThomas Bauereiss1-4/+0
2019-01-21Clean up duopodAlasdair Armstrong1-14/+4
2019-01-14Reorganize directory structure.Prashanth Mundkur1-0/+1161
generated by cgit v1.1 at 2024-08-04 19:18:11 +0000