issues
search
sushant94
/
libsmt.rs
Rust Bindings to interact with SMTLIB2 compliant solvers
Apache License 2.0
16
stars
12
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Publish an official crate
#23
XVilka
opened
5 years ago
0
Rust 2018 fixes
#22
XVilka
closed
5 years ago
4
Move under radare namespace may be
#21
XVilka
opened
7 years ago
2
Feature addition and issue fixes
#20
chinmaydd
closed
7 years ago
2
Fixes build on rust nightly due to change in regex and petgraph API
#19
chinmaydd
closed
7 years ago
1
Full SMTLIB v2.5 support
#18
XVilka
opened
7 years ago
0
Adds a timeout to solve
#17
chinmaydd
opened
7 years ago
0
libsmt.rs should return syntax error information using certain ErrorType
#16
chinmaydd
opened
7 years ago
0
Boolean fix
#15
selenesal
closed
8 years ago
0
Bool fix
#14
bajr
closed
8 years ago
1
Returned output from Z3 not properly captured in Windows
#13
selenesal
opened
8 years ago
2
Add re-exports
#12
sushant94
opened
8 years ago
0
Enable coveralls
#11
sushant94
closed
8 years ago
0
Solver refactor
#10
sushant94
closed
8 years ago
0
[ci skip] Updates README.md
#9
sushant94
closed
8 years ago
0
Cleanup warnings
#8
sushant94
opened
8 years ago
0
Extend supported commands
#7
sushant94
opened
8 years ago
0
Set timeout for read()
#6
sushant94
opened
8 years ago
3
Pass options to solver
#5
sushant94
opened
8 years ago
0
Implement more logics
#4
sushant94
opened
8 years ago
0
[docs] Improve Documentation
#3
sushant94
opened
8 years ago
0
[docs] Improve usage examples
#2
sushant94
opened
8 years ago
0
[CI] Setup continuous integration for libsmt
#1
sushant94
closed
8 years ago
1