issues
search
tweag
/
simple-smt
BSD 3-Clause "New" or "Revised" License
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Do not test readSExpr
#12
gabrielhdt
closed
1 year ago
0
Failing test suite
#11
gabrielhdt
opened
1 year ago
1
Run tests in CI
#10
gabrielhdt
closed
1 year ago
1
Add Nix flake and HLS setup
#9
gabrielhdt
closed
1 year ago
6
`Solver.Z3`: the whole program stops when Z3 throws an error
#8
qaristote
opened
1 year ago
0
`Solver.Process`: set handle options
#7
qaristote
closed
1 year ago
1
Format checker
#6
gabrielhdt
closed
1 year ago
4
improve documentation
#5
qaristote
closed
1 year ago
0
Flake and formatting
#4
gabrielhdt
closed
1 year ago
1
Set up "Handle" design pattern
#3
gabrielhdt
closed
1 year ago
3
Get rid of the response buffer
#2
qaristote
closed
1 year ago
2
A new interface accommodating in-process backends
#1
facundominguez
opened
1 year ago
0