index
:
sail-riscv.git
billmcspadden-riscv
c2_emu
cheri
cheri-merge
cheri_lite
cookbook_br
csr_ext
debugmod
epc_legalization
ext_check_phys_mem
ext_check_phys_mem_alt
ext_misa
fdext
fence_issue29
fence_noops
fix-signature-granularity
fix_next_csrs
gdb
haveSmepmp_billmcspadden
hpm_events
hpm_events_billmcspadden
hpm_events_billmcspadden__sail_error_message_is_terse
initial-contributing-guide
inst_extensions
master
master-cleanup
match_warnings
mem_meta
mem_meta_merge
monads
new_test_2
new_test_3
no_boot_rom
no_casts
optimize
rmem_interpreter
rmn30
rsnikhil
rv_config
sail-coverage-linking
update-copyright-headers
vector-dev
vmem_ext
x_regs
xret_ext
zfa
zfinx
Unnamed repository; edit this file 'description' to name the repository.
root
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
model
/
prelude.sail
Age
Commit message (
Expand
)
Author
Files
Lines
2023-05-29
apply_headers: regenerate copyright headers
update-copyright-headers
Philipp Tomsich
1
-1
/
+3
2023-03-14
Use not() instead of ~() for boolean negation (#210)
Alexander Richardson
1
-0
/
+2
2022-01-21
Add support for Scalar Cryptography Zbkb, Zbkc and Zbkx Extensions (#135)
Bilal Sakhawat
1
-0
/
+9
2021-10-18
scalar-crypto: Initial commit of 1.0.0-rc2 spec work. (#99)
Ben Marshall
1
-0
/
+22
2021-07-29
Use headache to apply copyright header at request of Peter Sewell.
Robert Norton
1
-0
/
+68
2020-03-03
Add bit negation to prelude
Thomas Bauereiss
1
-1
/
+5
2020-02-28
Make types of min/max more precise
Thomas Bauereiss
1
-8
/
+6
2019-08-19
RISC-V spec, without implicit casts
Alasdair Armstrong
1
-9
/
+10
2019-07-11
Undo get_config workarounds.
Prashanth Mundkur
1
-4
/
+10
2019-07-11
Fix an issue where zeros function defined in sail conflicted with lem builtin...
Robert Norton
1
-24
/
+7
2019-07-09
Move the get_config_ print defaults to the backend preludes, since it seems t...
Prashanth Mundkur
1
-7
/
+0
2019-07-01
Merge remote-tracking branch 'origin/master' into master-cleanup
Robert Norton
1
-2
/
+2
2019-06-28
Rename zeros and ones implicit functions to something that sail monomorphisat...
Robert Norton
1
-7
/
+4
2019-06-28
add interpreter extern for string_of_int
Jon French
1
-1
/
+1
2019-06-28
Avoid implicit casts to string
Alasdair
1
-1
/
+1
2019-06-26
Merge branch 'master-cleanup' into pmp
Prashanth Mundkur
1
-11
/
+17
2019-06-26
Add command line option in c_emulator for disabling tracing. Add builtins for...
Robert Norton
1
-0
/
+12
2019-06-20
Add interpreter builtin for min_nat. Should min/max be in standard library?
Robert Norton
1
-1
/
+1
2019-06-14
Use sail's built-in ones functions for compatibility with smt backend.
Robert Norton
1
-10
/
+4
2019-06-11
Fill in a few missing Coq built-ins
Brian Campbell
1
-3
/
+3
2019-04-24
Add extended model from cheri-merge.
Prashanth Mundkur
1
-12
/
+34
2019-04-12
Merge branch 'master' into rmem_interpreter
rmem_interpreter
Jon French
1
-7
/
+7
2019-04-03
Tweak print_* bindings for Lem
Thomas Bauereiss
1
-4
/
+4
2019-03-25
Fix prelude for new names of div and mod functions.
Robert Norton
1
-3
/
+3
2019-03-14
Merge branch 'master' into rmem_interpreter
Jon French
1
-940
/
+39
2019-03-12
refactor memory access to use new sail intrinsics
Jon French
1
-39
/
+2
2019-03-12
prelude.sail: fix print_foo externs in interpreter
Jon French
1
-4
/
+4
2019-03-08
Another prelude cleanup.
Prashanth Mundkur
1
-2
/
+0
2019-03-07
Minor prelude cleanup.
Prashanth Mundkur
1
-2
/
+0
2019-03-04
Add defaults for platform values for use when interpreting
Jon French
1
-59
/
+60
2019-02-26
Merge branch 'master' into rv32
Prashanth Mundkur
1
-0
/
+8
2019-02-26
Initial cleanup of the prelude, using standard prelude instead when possible.
Prashanth Mundkur
1
-229
/
+33
2019-02-15
More RV32 fixes.
Prashanth Mundkur
1
-4
/
+0
2019-02-12
Compatability fixes from Sail 0.7.1 to Sail 0.8
Alasdair Armstrong
1
-0
/
+8
2019-02-11
More refactoring for RV32
Prashanth Mundkur
1
-67
/
+0
2019-02-08
Change implicits on monad branch
Alasdair Armstrong
1
-4
/
+4
2019-02-08
Adapt to changes in Sail's Lem shallow embedding
Thomas Bauereiss
1
-5
/
+28
2019-02-08
Split out the mapping prelude into its own file.
Prashanth Mundkur
1
-690
/
+0
2019-01-21
Remove temporary workaround for Lem generation
Thomas Bauereiss
1
-4
/
+0
2019-01-21
Clean up duopod
Alasdair Armstrong
1
-14
/
+4
2019-01-14
Reorganize directory structure.
Prashanth Mundkur
1
-0
/
+1161