Skip to content
Snippets Groups Projects
Commit a70aa378 authored by François Bobot's avatar François Bobot
Browse files

Update Changes

parent b5076539
No related branches found
No related tags found
1 merge request!29Update Changes
Pipeline #54752 passed
Stage: test
    Hide whitespace changes
    Inline Side-by-side
    Showing
    with 9 additions and 0 deletions
    CHANGES
    + 9
    − 0
    View file @ a70aa378
    ## Release 0.4
    * Decision: Fix delayed decisions handling
    * Array: experimental theory
    * Quantifier: Improve eager instanciation heuristic
    * Quantifier: Avoid creating new term
    * Simplex: Fix redundant run
    * Fix compilation in 32bit
    * Fix sign of sqrt
    ## Release 0.3.3
    * Bump cmdliner version
    * Bump OCaml version
    ......
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment