aboutsummaryrefslogtreecommitdiff
path: root/plugins/micromega/zify.ml
AgeCommit message (Expand)Author
2021-04-19Merge PR #14108: [zify] bugfixVincent Laporte
2021-04-16[zify] bugfixFrederic Besson
2021-04-12[zify] More aggressive application of saturation rulesBESSON Frederic
2021-04-12[zify] better error reportingBESSON Frederic
2021-03-22Move destRef outside ConstrMap.addBESSON Frederic
2021-03-19[zify] Index by GlobRef instead constrBESSON Frederic
2021-02-24Infrastructure for fine-grained debug flagsMaxime Dénès
2020-11-18[micromega/zify] expose more API for plugin usersFrédéric Besson
2020-10-20[zify] Add support for Int63.intFrédéric Besson
2020-08-10[zify] fix for bug#12791Frédéric Besson
2020-06-14Update zify documentationFrédéric Besson
2020-06-14Update theories/micromega/ZifyBool.vFrédéric Besson
2020-06-14[micromega] native support for boolean operatorsFrédéric Besson
2020-03-25[ocamlformat] Use doc-comments=before style.Emilio Jesus Gallego Arias
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-03-04[micromega] Add numerical compatibility layer.Emilio Jesus Gallego Arias
2020-03-03[zify] efficiency improvementsFrédéric Besson
2020-01-14[zify] elim let in MLFrédéric Besson
2019-12-13[micromega] Enable ocamlformat.Emilio Jesus Gallego Arias
2019-10-21Improvements of zifyFrédéric Besson
2019-09-16Re-implementation of zifyFrédéric Besson
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:02:55 +0000