formalsec / smtml / 352

Builds Branch Commit Type Ran Committer Via Coverage
352 main Update CHANGES.md push filipeom github
55.37
349 main add support for Bv of size 16 push filipeom github
55.17
347 main Add remaining SMT-COMP's 2025 datasets to datasets.sexp push filipeom github
55.2
346 main Add `Expr_raw` module that only builds unsimplified expressions push filipeom github
55.2
345 main Don't rewrite types of well-typed symbols push filipeom github
55.2
344 main Start making benchmark runner declarative Start making benchmark more declarative by having a configuration file which we can specify what datasets to download and what experiments to run with which solvers. This commit removes multi query mode,... push filipeom github
55.75
343 main More floating point value parsing push filipeom github
55.75
342 main Support FPA literals {+|-}{inf,zero} and NaN push filipeom github
55.75
341 main `int_of_term` should expect a bitvector instead of an integer push filipeom github
55.75
340 main Fix model tests push filipeom github
55.75
339 main Fix `rotate_{left|right}` order of arguments in dolmenexpr_to_expr push filipeom github
55.75
338 main Fix cvc5's bindings push filipeom github
55.75
337 main Support of_ieee_bv in Alt-Ergo's mapping push filipeom github
55.75
336 main Fix conversion from int string to bv push filipeom github
55.75
335 main Support unknown apps as uninterpreted functions in the solver push filipeom github
55.75