formalsec / smtml / 542

Builds Branch Commit Type Ran Committer Via Coverage
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
532 main Connect `String_last_index` to z3 and expose to solver mappings push filipeom github
48.27
531 main Update dune-site and dune-build-info lowerbounds push filipeom github
48.28
530 main Release 0.26.0 push filipeom github
48.24
529 main Disable implicit transitive deps push filipeom github
48.24
528 main Add rresult to dune-project push filipeom github
48.29
527 main Bump actions/upload-pages-artifact from 4 to 5 Bumps [actions/upload-pages-artifact](https://github.com/actions/upload-pages-artifact) from 4 to 5. - [Release notes](https://github.com/actions/upload-pages-artifact/releases) - [Commits](https://g... push filipeom github
48.31
526 main refactor get_symbols to avoid duplication and remove the hastbl push filipeom github
48.31
524 main Release 0.25.0 push filipeom github
48.03