formalsec / smtml / 550

Builds Branch Commit Type Ran Committer Via Coverage
550 main Bump actions/checkout from 6 to 7 Bumps [actions/checkout](https://github.com/actions/checkout) from 6 to 7. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)... push filipeom github
46.18
549 main fix: ty.ml discr collision, LeU SMT-LIB pp, to_int64 error msg, test cleanups - ty.ml: make Ty_bitv and Ty_fp discr non-overlapping (10+2n vs 11+2n) - ty.ml: fix LeU catch-all SMT-LIB printer from ">=" to "<=" - bitvector.ml: fix to_int64 error m... push filipeom github
46.18
548 main Add expr printer, fix expr parser, and remove mutable state in parser push filipeom github
46.18
547 main Use array instead of immutable array for all features push hra687261 github
45.65
546 main Add missing boolean Distinct simplification push filipeom github
48.13
545 main fmt push hra687261 github
48.1
544 main Release 0.28.0 push filipeom github
48.07
543 main [z3] implement remaining String.replace functions Using the native Z3 API since my changes to the API haven't been upstreamed or released. This changed requires a bump to z3.4.16.0 push filipeom github
48.07
542 main [z3] add implement `Re.allchar` and `Re.diff` using native API Since these aren't yet available in the API we can use the native function and leverage `Obj.magic` to implement `Re.allchar` and `Re.diff`. push filipeom github
48.1
539 main Release 0.27.0 push filipeom github
48.2
537 main Move feature conversion from feature_extraction.ml to feature.ml push hra687261 github
48.35
536 main Improve failure info in mappings push filipeom github
48.36
535 main Remove dep on rresult push hra687261 github
48.29
534 main Add SMTZilla examples where different solvers are used push hra687261 github
48.28
533 main Expose raw evaluation of binop and relop in eval.ml push filipeom github
48.3