formalsec / smtml / 334

Builds Branch Commit Type Ran Committer Via Coverage
334 main Add solver mappings `Internals` module and generic `to_ieee_bv` impl - All the mappings now include a `Internals` module that will inform the `Mappings` module of internal behaviours, such as const caching and native support for the `to_ieee_... push filipeom github
55.75
333 main correcting with Filipe's comments push filipeom github
55.75
332 main extend to_ieee_bv to support both f32 and f64 push filipeom github
56.31
331 main Add logical implication This patch introduces logical implication operator that can be parsed as `=>` from smt2. `(=> a b)` should be semantically equivalent to `((not a) or b)`. push filipeom github
56.31
330 main Handle unknown smt2 functions as apps This patch makes smt2 implementation not fail on unknown function symbols but instead parse them as apps (i.e. `Expr.App`). It allows one to parse smt2 and process such apps on its own extending the implemen... push filipeom github
56.38
329 main Update changelog for v0.7.0 push filipeom github
56.38
328 main Revert some unecessary changes push filipeom github
56.38
327 main Format code push filipeom github
56.38
326 main Update CHANGED.md push filipeom github
56.0
325 main signed operations as well push filipeom github
42.5
324 main Revert 9365f55 push filipeom github
42.53
323 main Update OCaml version in `README.md` push filipeom github
42.53
322 main Standardize raw constructor naming and improve documentation The constructors responsible for building raw nodes without simplification, previously denoted by a trailing apostrophe (e.g., `unop'`), have been renamed to follow the `raw_name` conve... push filipeom github
42.53
321 main Don't install z3 in deploy CI push filipeom github
42.43
315 main Remove cvc5 pin (Closes #309) push filipeom github
50.19