issues
search
formalsec
/
smtml
A frontend for multiple SMT solvers in OCaml
https://formalsec.github.io/smtml/smtml/
MIT License
27
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
fix bug in parsing of Num.t
#258
zapashcanon
closed
5 hours ago
2
Prepare 0.4.1
#257
filipeom
closed
20 hours ago
0
some fixes to model printing
#256
zapashcanon
closed
20 hours ago
3
0.4.0
#255
filipeom
closed
1 day ago
0
model parsing draft
#254
zapashcanon
closed
1 day ago
0
Artifact fixes
#253
filipeom
closed
1 week ago
0
Allow specifying number of benchmarks in eval scripts
#252
filipeom
closed
1 week ago
0
Fix artifact
#251
joaomhmpereira
closed
1 week ago
0
Add missing dune-glob dependency
#250
filipeom
closed
1 week ago
0
Update benchpress pin
#249
filipeom
closed
1 week ago
1
Prepare v0.3.1
#248
filipeom
closed
3 weeks ago
0
Small fixes
#247
filipeom
closed
3 weeks ago
0
Update README.md
#246
filipeom
closed
3 weeks ago
0
Bump bitwuzla 0.4.0 -> 0.6.0
#245
filipeom
closed
3 weeks ago
0
Attempt to fix deploy CI
#244
filipeom
closed
1 month ago
0
Fixes Dockerfile
#243
filipeom
closed
1 month ago
0
Update CHANGES.md
#242
filipeom
closed
1 month ago
0
Publish docker image as a packge
#241
filipeom
opened
1 month ago
0
Install cvc5 through binary releases in docker
#240
filipeom
closed
1 month ago
0
Fix CI
#239
filipeom
closed
1 month ago
0
Debug space
#238
filipeom
closed
1 month ago
0
TACAS25 Artifact
#237
joaomhmpereira
closed
1 month ago
0
Add alt-ergo do depopts, add CI, and update readme
#236
filipeom
closed
1 month ago
0
Fixes cached solver (Closes #203)
#235
filipeom
closed
1 month ago
0
Update LICENSE
#234
filipeom
closed
1 month ago
0
TACAS 2025 Artifact
#233
filipeom
closed
1 month ago
0
Allow using Z3 in parallel mode (Closes #205)
#232
filipeom
closed
1 month ago
0
Add Expr.compare function (Closes #161)
#231
filipeom
closed
1 month ago
0
Update README.md and CHANGES.md
#230
hra687261
closed
1 month ago
1
Fix deploy CI
#229
filipeom
closed
1 month ago
2
Add Alt-Ergo
#228
hra687261
closed
1 month ago
6
Add `--from-file` argument to `run` command
#227
filipeom
closed
1 month ago
0
Update benchmarking dataset submodules
#226
filipeom
closed
1 month ago
2
Runner `single-query` and `multi-query` modes
#225
filipeom
closed
1 month ago
0
Small refactor
#224
filipeom
closed
2 months ago
0
Remove duplicate mk_symbol function
#223
filipeom
closed
2 months ago
0
Reduce ci jobs
#222
filipeom
closed
2 months ago
0
Caches consts
#221
filipeom
closed
2 months ago
2
Add support for regular expressions
#220
joaomhmpereira
closed
1 month ago
0
Fix parsing for .smt2 files
#219
joaomhmpereira
closed
2 months ago
0
Fix smtcomp parsing errors
#218
filipeom
closed
2 months ago
1
Add SMTLIB parsing for FPs
#217
joaomhmpereira
closed
2 months ago
1
Update colibri2 and dolmen
#216
hra687261
closed
2 months ago
1
Fix binary list operators
#215
filipeom
closed
2 months ago
0
Fix Colibri2 mapping of cvtop operations
#214
hra687261
closed
2 months ago
1
Use mdx in doc and fix unresolved refs
#213
filipeom
closed
2 months ago
0
Performance issues with colibri2 installed
#212
filipeom
opened
2 months ago
7
Benchmarking tools
#211
filipeom
opened
2 months ago
0
Fix `Value.compare`
#210
filipeom
opened
2 months ago
2
Add remaining parsing for Bitvectors and Floating-point arithmetic
#209
filipeom
closed
2 months ago
1
Next