Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
branch: master
Commits on Oct 27, 2013
  1. Comments about computing shadows

    authored
  2. Alpha renaming

    authored
Commits on Oct 26, 2013
Commits on Oct 25, 2013
  1. Finish up equalities.

    authored
Commits on Oct 21, 2013
Commits on Oct 5, 2013
  1. Switch foldl to foldr

    authored
  2. Comments and cleanup

    authored
Commits on Sep 30, 2013
  1. Make posInf and negInf work with terms instead of integers.

    authored
    This is a step towards implementing the optimization where for
    outermost quantifiers we don't expand but instead:
      1. keep variables
      2. collect divisibility constraints, and solve them
      3. only expand for values that satisfy the div. constraints
    
    This still needs to be done though.
Commits on Sep 29, 2013
  1. Argh, fix test.

    authored
  2. Some more test

    authored
  3. Fixes the equality optimization.

    authored
    We now do things in two passes:
      1. Normalize formulas so that all coefficients are 1
      2. Compute delta, the lcm of div constraints, and perform equality
         optimization.
  4. Import some tests from Isabelle.

    authored
Commits on Sep 28, 2013
Commits on Sep 22, 2013
  1. Propagate True/False in formulas.

    authored
  2. Evaluate atoms as we go along.

    authored
    Hopefully, this results into more True/False formulas, and we can
    use these to shortcut other stuff.
  3. Update user-facing interface.

    authored
  4. Redo representation of formulas.

    authored
Commits on Sep 21, 2013
  1. Add some documentation.

    authored
Commits on Jul 31, 2013
  1. Comments

    authored
Something went wrong with that request. Please try again.