rems-project rmem issues

rems-project / rmem

rmem public repo

Other

40 stars 9 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

how does the flat model enforce coherence on reads

#25 aa755 closed 10 months ago
2
Modeling LSE2 extension

#24 Blaisorblade opened 11 months ago
1
forwarding reads to other reads

#23 aa755 closed 11 months ago
5
coq/isabelle formalization of the inter-instruction semantics

#22 aa755 closed 11 months ago
1
(opam) bump sail>=0.14

#21 bensimner opened 2 years ago
0
installation fails on building sail=0.13

#20 bensimner opened 2 years ago
1
When generating .dot files, rmem should not use ':' in PORT values.

#19 fshaked opened 2 years ago
0
How best to use rmem to check a simulation execution

#18 VarunKoyyalagunta opened 2 years ago
0
Allow output to non-tty STDOUT

#17 VarunKoyyalagunta opened 2 years ago
0
riscv: elf: taking privilege exception

#16 VarunKoyyalagunta opened 2 years ago
0
Flat mixed size

#15 fshaked closed 3 years ago
0
Without interpreter

#14 cp526 closed 4 years ago
0
Failed to install dependencies ("no solution found")

#13 jeehoonkang opened 4 years ago
13
Fix dev-repo

#12 jeehoonkang closed 4 years ago
0
Update dev-repo

#11 jeehoonkang closed 4 years ago
0
Update README.md

#10 jeehoonkang closed 4 years ago
0
Fix sail-riscv build

#9 bauereiss closed 4 years ago
0
Promising with elf files

#8 db7 closed 5 years ago
8
Feasibility of exhaustive tests

#7 db7 closed 4 years ago
3
Understanding deadlock states

#6 db7 closed 5 years ago
1
How to prepare ELF files to run with rmem?

#5 db7 closed 5 years ago
3
Simple example for AArch64 does not terminate

#4 db7 closed 5 years ago
10
Update for sail2 bitvector type change in RISC-V

#3 Alasdair closed 5 years ago
0
Build fail

#2 michaliskok closed 5 years ago
7
Update for sail2 prompt monad changes

#1 Alasdair closed 5 years ago
0