projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Eliminate Output macro in favor of simple Env functions (#7223)
[cvc5.git] / src / omt /
2021-06-15 Ouyancheng[Optimization] Use Result in OptimizationResult (#6740) tree | commitdiff
2021-06-09 Ouyancheng[Optimization] support for push/pop (#6706) tree | commitdiff
2021-05-27 OuyanchengAdd support for Box optimization (#6599) tree | commitdiff
2021-05-26 Andres Noetzli More precise includes of `Node` constants (#6617) tree | commitdiff
2021-05-05 OuyanchengAdd helper functions for multi-objective optimization... tree | commitdiff
2021-04-30 OuyanchengRefactor optimization result and objective classes... tree | commitdiff
2021-04-28 OuyanchengFix BV Optimization Boundary Condition when lower bound... tree | commitdiff
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) tree | commitdiff
2021-04-09 Aina NiemetzRename CVC4__ header guards to CVC5__. (#6326) tree | commitdiff
2021-04-05 Yancheng OuOptimizer for BitVectors (#6213) tree | commitdiff