issues
search
rems-project
/
isla
Symbolic execution tool for Sail ISA specifications
Other
61
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
README.md: update footprint example commmand line
#80
mmcloughlin
closed
6 months ago
1
isla-preprocess: linearization breaks serialization
#79
mmcloughlin
closed
6 months ago
2
isla-lib: optionally print source code locations
#78
mmcloughlin
closed
6 months ago
0
armv9.4 config
#77
mmcloughlin
opened
7 months ago
5
x86 config
#76
mmcloughlin
opened
7 months ago
19
Error on ARM v9.4: exception File "jib_ir.ml", line 84, characters 2-7: Pattern matching failed
#75
mmcloughlin
closed
7 months ago
7
isla-sail build broken: Unbound value Initial_check.opt_undefined_gen
#74
mmcloughlin
closed
7 months ago
2
isla-sail does not preserve initial values of sail registers
#73
cfbolz
closed
11 months ago
11
isla-litmus-dump WIP
#72
tperami
closed
3 months ago
1
Bump minimist from 1.2.5 to 1.2.8 in /web/client
#71
dependabot[bot]
opened
1 year ago
0
Bump tokio from 0.2.25 to 1.18.5 in /web/server
#70
dependabot[bot]
opened
1 year ago
0
Bump warp from 0.2.5 to 0.3.3 in /web/server
#69
dependabot[bot]
opened
1 year ago
0
Bump bumpalo from 3.6.1 to 3.12.0 in /web/server
#68
dependabot[bot]
opened
1 year ago
0
Bump json5 from 1.0.1 to 1.0.2 in /web/client
#67
dependabot[bot]
opened
1 year ago
0
Bump crossbeam-utils from 0.8.5 to 0.8.14 in /web/server
#66
dependabot[bot]
opened
1 year ago
0
Bump qs from 6.10.1 to 6.11.0 in /editors/vscode/litmus
#65
dependabot[bot]
opened
1 year ago
0
Bump decode-uri-component from 0.2.0 to 0.2.2 in /web/client
#64
dependabot[bot]
opened
1 year ago
0
Target install_libsail no longer exists
#63
ric-almeida
closed
1 year ago
1
Bump minimatch from 3.0.4 to 3.1.2 in /web/client
#62
dependabot[bot]
opened
1 year ago
0
Bump minimatch from 3.0.4 to 3.1.2 in /editors/vscode/cat
#61
dependabot[bot]
opened
1 year ago
0
Bump minimatch from 3.0.4 to 3.1.2 in /editors/vscode/litmus
#60
dependabot[bot]
opened
1 year ago
0
Rust version out of date in README
#59
ric-almeida
closed
1 year ago
1
Bump loader-utils from 1.4.0 to 1.4.2 in /web/client
#58
dependabot[bot]
opened
1 year ago
0
Bump terser from 4.8.0 to 4.8.1 in /web/client
#57
dependabot[bot]
opened
2 years ago
0
Bump simple-get from 3.1.0 to 3.1.1 in /editors/vscode/litmus
#56
dependabot[bot]
opened
2 years ago
0
Bump ansi-regex from 4.1.0 to 4.1.1 in /web/client
#55
dependabot[bot]
opened
2 years ago
0
Bump regex from 1.5.4 to 1.5.5
#54
dependabot[bot]
closed
1 year ago
1
Bump tokio from 0.2.25 to 1.8.4 in /web/server
#53
dependabot[bot]
closed
1 year ago
1
Bump crossbeam-utils from 0.8.5 to 0.8.8 in /web/server
#52
dependabot[bot]
closed
1 year ago
1
Bump crossbeam-utils from 0.8.5 to 0.8.8
#51
dependabot[bot]
closed
1 year ago
1
Bump async from 2.6.3 to 2.6.4 in /web/client
#50
dependabot[bot]
opened
2 years ago
0
Generate "symbolic" footprints with Isla?
#49
zsisco
opened
2 years ago
7
Bump minimist from 1.2.5 to 1.2.6 in /editors/vscode/litmus
#48
dependabot[bot]
opened
2 years ago
0
Bump minimist from 1.2.5 to 1.2.6 in /web/client
#47
dependabot[bot]
closed
1 year ago
1
Fix warnings in isla-elf (originally by @ric-almeida)
#46
MackieLoeffel
closed
2 years ago
0
Bump ajv from 6.12.2 to 6.12.6 in /web/client
#45
dependabot[bot]
opened
2 years ago
0
Bump lodash from 4.17.15 to 4.17.21 in /editors/vscode/cat
#44
dependabot[bot]
opened
2 years ago
0
error running isla-axiomatic
#43
fengwz17
opened
2 years ago
4
Tool riscv64-linux-gnu-as not found in $PATH
#42
fengwz17
closed
2 years ago
3
Graphs + Events for Translations
#41
bensimner
closed
3 years ago
1
Better error message on error from litmus run errors
#40
bensimner
opened
3 years ago
0
VMSA candidate additions
#39
bensimner
closed
3 years ago
0
Bump elliptic from 6.5.3 to 6.5.4 in /web/client
#38
dependabot[bot]
opened
3 years ago
0
Generate uninterpreted functions relations in smt
#37
bensimner
closed
3 years ago
0
Bump postcss from 7.0.32 to 7.0.36 in /web/client
#36
dependabot[bot]
closed
3 years ago
0
Add back temporary idmap of extra sections
#35
bensimner
closed
3 years ago
0
Make it compile on Apple M1
#34
bensimner
closed
3 years ago
0
add make check
#33
bensimner
closed
3 years ago
0
Bump codemirror from 5.55.0 to 5.58.2 in /web/client
#32
dependabot[bot]
opened
3 years ago
0
Bump lodash from 4.17.19 to 4.17.21 in /web/client
#31
dependabot[bot]
closed
3 years ago
0
Next