issues
search
cksystemsgroup
/
monster
Monster is a symbolic execution engine for 64-bit RISC-U code
https://cksystemsgroup.github.io/monster
MIT License
10
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
chore(deps): update dependencies (major changes) (major)
#185
renovate[bot]
opened
1 year ago
0
chore(deps): update dependencies (minor changes)
#184
renovate[bot]
opened
2 years ago
2
RUSTSEC-2021-0139: ansi_term is Unmaintained
#183
github-actions[bot]
opened
2 years ago
0
chore(deps): bump crossbeam-utils from 0.8.6 to 0.8.8
#182
dependabot[bot]
closed
2 years ago
0
chore(deps): bump regex from 1.5.4 to 1.5.6
#181
dependabot[bot]
closed
2 years ago
0
Feat dwave
#180
smml1996
opened
2 years ago
0
chore: update README.md to recent changes
#179
mstarzinger
closed
2 years ago
1
refactor: changes the name from src/modeler to src/unicorn and update…
#178
smml1996
closed
2 years ago
0
refactor: changes folder name from src/modeler to src/unicorn
#177
smml1996
closed
2 years ago
0
feat: evaluates symbolically remainder and division
#176
smml1996
closed
2 years ago
0
chore(deps): update dependencies (minor changes)
#175
renovate[bot]
closed
2 years ago
0
refactor(modeler): remove dead `query_existence` check
#174
mstarzinger
closed
2 years ago
0
feat: qubot
#173
smml1996
closed
2 years ago
0
refactor(modeler): make `Gate` no longer derive `Eq`
#172
mstarzinger
closed
2 years ago
0
fix: ITE logic error in bitblasting
#171
smml1996
closed
2 years ago
0
feat(bitblasting-printer): printer for nand or and matriarch1 gates
#170
smml1996
closed
2 years ago
0
fix(modeler): add name to `Gate::InputBit` struct
#169
mstarzinger
closed
2 years ago
0
feat: bitblasting.rs
#168
smml1996
closed
2 years ago
0
chore(deps): update rust crate which to ~4.2.4
#167
renovate[bot]
closed
2 years ago
0
feat(modeler): allow writing model directly to BTOR2 file
#166
mstarzinger
closed
2 years ago
0
feat(modeler): add bounds checks for memory accesses
#165
mstarzinger
closed
2 years ago
0
chore(deps): update rust crate tempfile to v3.3.0
#164
renovate[bot]
closed
2 years ago
0
chore(deps): update rust crate clap to v3
#163
renovate[bot]
closed
2 years ago
0
RUSTSEC-2021-0127: serde_cbor is unmaintained
#162
github-actions[bot]
closed
2 years ago
1
chore(deps): update dependencies (minor changes)
#161
renovate[bot]
closed
2 years ago
0
docs: Linz add thesis
#160
LexMonster
closed
2 years ago
1
Added folder for theses
#159
alexanderlackner
closed
2 years ago
1
docs: added folder for theses and added bachelor thesis lackner
#158
alexanderlackner
closed
3 years ago
0
Fix solver cond val
#157
saraseidl
opened
3 years ago
0
fix: profiler no longer miscounts solver times.
#156
mstarzinger
closed
3 years ago
0
perf: switch partial reads to use bitwise AND
#155
mstarzinger
closed
3 years ago
1
fix: inverse value calculation for bitwise AND
#154
mstarzinger
closed
3 years ago
1
chore(deps): update dependencies (minor changes)
#153
renovate[bot]
closed
2 years ago
0
ci: install cygwin on Windows runners
#152
ChristianMoesl
closed
3 years ago
0
feat(symbolic): add profiler for engine
#151
ChristianMoesl
closed
3 years ago
0
chore(deps): update dependencies (minor changes)
#150
renovate[bot]
closed
3 years ago
1
chore(deps): bump anyhow from 1.0.40 to 1.0.41
#149
dependabot[bot]
closed
3 years ago
1
Configure Renovate
#148
renovate[bot]
closed
3 years ago
1
chore(deps): bump itertools from 0.10.0 to 0.10.1
#147
dependabot[bot]
closed
3 years ago
3
feat: handle exit points with unknown satisfiability
#146
ChristianMoesl
closed
3 years ago
1
chore(deps): bump libc from 0.2.95 to 0.2.96
#145
dependabot[bot]
closed
3 years ago
1
chore(deps): bump libc from 0.2.87 to 0.2.95
#144
dependabot[bot]
closed
3 years ago
1
feat: create custom CLI command for SMT-lib file generation
#143
ChristianMoesl
closed
3 years ago
1
Fix external solver
#142
ChristianMoesl
closed
3 years ago
1
fix: invertibility conditions DIVU and REMU
#141
saraseidl
closed
3 years ago
1
chore(deps): bump strum from 0.20.0 to 0.21.0
#140
dependabot[bot]
closed
3 years ago
2
fix(smt): zero extend bitvectors for comp ops in external solver
#139
ChristianMoesl
closed
3 years ago
0
chore(deps): bump thiserror from 1.0.24 to 1.0.25
#138
dependabot[bot]
closed
3 years ago
2
chore(deps): bump rayon from 1.5.0 to 1.5.1
#137
dependabot[bot]
closed
3 years ago
2
test: combine engine benchmarks into "Engine" group.
#136
mstarzinger
closed
3 years ago
1
Next