formalsec / smtml / 252

Builds Branch Commit Type Ran Committer Via Coverage
252 main Update CHANGES.md push filipeom github
47.94
251 main Update README.md push filipeom github
43.23
250 main Remove leaky hack in bitwuzla's mappigns push filipeom github
47.86
249 main Attempt to fix deploy CI push filipeom github
47.86
235 main Update runner with single-query and mulity-query mode push filipeom github
50.49
234 main Fix Bitwuzla mappings push filipeom github
50.28
233 main Add percentage count do --dry runs push filipeom github
46.73
232 main More `stdlib/syntax.ml` to `smtml_prelude.ml` push filipeom github
52.05
231 main Move examples into `doc/` directory push filipeom github
48.09
230 main Remove duplicate mk_symbol function push filipeom github
51.4
229 main Don't test smtml CI build in ocaml 5.1 push filipeom github
48.11
228 main Adds `caches_consts` flag to mappings Solvers can inform us that they cache constants by setting the flag `caches_consts = true` in their mappings. This should avoid having a `Map.find_opt` everytime we call `make_symbol`. Currently the mappings... push filipeom github
52.07
227 main Parse smt2 logic correctly push filipeom github
52.2
226 main Add some comments push filipeom github
48.62
225 main Make test_fp.smt2 faster and fix parsing of fp32 literals The significand should always have sb - 1 bits. push filipeom github
51.97