issues
search
smackers
/
smack
SMACK Software Verifier and Verification Toolchain
http://smackers.github.io
Other
427
stars
82
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Translation error of uses of the copysign family of functions
#801
keram88
opened
1 month ago
0
Reproduce the paper, but I can't accomplish
#800
zoush99
closed
6 months ago
10
Upgrade CVC4 to CVC5
#799
keram88
opened
1 year ago
0
Advanced SMACK guide
#798
keram88
opened
1 year ago
0
Updated build script to support fedora/centos
#797
rakamaric
closed
1 year ago
0
All programs verify when SMT solver (Z3) is not present
#796
rakamaric
opened
1 year ago
1
Unhandled experimental intrinsics crash SMACK
#795
keram88
opened
1 year ago
0
Unhandled LLVM intrinsic generated from math.c
#794
keram88
opened
1 year ago
1
Build issue on Ubuntu 18.04
#793
keram88
opened
1 year ago
0
llvm2bpl report error when use smack generate boogie code
#792
Luweicai
opened
1 year ago
0
How it can support ensures, requires, invariant API in Rust
#791
1vs9
opened
1 year ago
0
Debug information when using LLVM IR as an input
#790
hernanponcedeleon
closed
2 years ago
2
Fixes to run SMACK on modern macOS
#789
keram88
closed
1 year ago
1
Verifying D programs
#788
roxanaRA
opened
2 years ago
0
Brought in a sea-dsa bug fix
#787
shaobo-he
closed
2 years ago
0
Added `treadLocal` attribute for LLVM thread-local globals
#785
shaobo-he
closed
2 years ago
0
Upgrade SMACK to support LLVM 13
#784
shaobo-he
opened
2 years ago
2
Upgrade Rust version to support edition 2021
#783
shaobo-he
opened
2 years ago
0
Set Rust's panic behavior as aborting instead of unwinding
#782
shaobo-he
closed
2 years ago
0
Generalize `clang-options` into `compiler-options`
#781
shaobo-he
opened
2 years ago
1
Leverage `instcombine` pass
#780
shaobo-he
opened
2 years ago
0
Fix svcomp assert
#779
zvonimir
closed
2 years ago
1
Removed unnecessary compiler selection in `build.rs`
#778
shaobo-he
closed
2 years ago
0
Some Rust `Box` operation is internally supported by rustc
#777
shaobo-he
opened
2 years ago
1
Handling thread_local variables
#776
hernanponcedeleon
closed
2 years ago
9
Verifying Fortran Intrinsic Function ABS
#775
udwuwenhao
opened
2 years ago
0
Blocklist for Rust Functions
#772
keram88
closed
2 years ago
0
Multi-language model checking, on inequality modify languages to match correct model?
#771
SamuelMarks
opened
2 years ago
0
update file reading to yaml.safe_load
#770
jmcmillan1
closed
2 years ago
0
Running example with SMACK
#769
m-carrasco
opened
2 years ago
0
Implement a per-allocation-site memory-safety checking
#768
shaobo-he
opened
2 years ago
0
Fixed a trivial flake8 formatting error
#767
shaobo-he
closed
2 years ago
0
Added a pass that warns about loops
#766
shaobo-he
opened
2 years ago
2
Heads up: renaming master branch into main
#765
zvonimir
closed
2 years ago
1
Added unroll folder to regressions
#764
zvonimir
closed
3 years ago
0
Remove calls to Rust's panic functions
#763
keram88
closed
2 years ago
3
Portfolio solving draft
#762
jmcmillan1
closed
2 years ago
4
Cleans up JSON output generation
#761
zvonimir
closed
3 years ago
0
Feature request: Attempt to compute loop bounds. Unroll to bound if possible. Error if not.
#760
martinlester
opened
3 years ago
1
Cleaning up smackd stuff
#759
zvonimir
closed
2 years ago
6
Initial draft of Corral threading
#758
jmcmillan1
closed
3 years ago
1
smack support cpp？
#757
bodycoder101
opened
3 years ago
1
`vsmack` link in `installation.md` is dead
#756
avanhatt
closed
3 years ago
1
Implement context-sensitive memory model
#755
shaobo-he
opened
3 years ago
1
Merge json error traces and pretty printing
#754
zvonimir
closed
3 years ago
2
Externalize entry points that are marked internal
#753
keram88
closed
3 years ago
0
Rewrite memcpy of structures/arrays into load-then-store sequences
#752
shaobo-he
closed
3 years ago
1
Prune Away Trivially-Proven Assertions
#751
shaobo-he
opened
3 years ago
0
Run Checks in Parallel
#750
shaobo-he
opened
3 years ago
0
`memcpy` Merges Regions Unnecessarily
#749
shaobo-he
opened
3 years ago
1
Next