Permalink
Switch branches/tags
Nothing to show
Commits on Apr 22, 2012
  1. Export Var as abstract.

    committed Apr 22, 2012
  2. Avoid shadowing warnings.

    committed Apr 22, 2012
  3. Remove unused module

    committed Apr 22, 2012
  4. Add all associativity rules.

    committed Apr 22, 2012
Commits on Apr 21, 2012
  1. Checkpoint (possibly broken)

    committed Apr 21, 2012
Commits on Apr 19, 2012
  1. Fix the impossibility tests.

    committed Apr 19, 2012
Commits on Apr 18, 2012
  1. Switch to new genRule system.

    committed Apr 18, 2012
Commits on Apr 16, 2012
Commits on Apr 15, 2012
Commits on Apr 10, 2012
  1. Program basic axioms explicitly.

    This is simpler than the code to generate these automatically.
    committed Apr 10, 2012
  2. Remove the extra annotation on Num.

    committed Apr 10, 2012
Commits on Apr 2, 2012
  1. An attempt to eliminate the automatically generated rules.

    This is not complete and parts of the code feel quite repetitive,
    perhaps, some automatic generation is not such a bad idea...
    committed Apr 2, 2012
Commits on Mar 31, 2012
  1. Add missing axiom "forall a. 0 <= a"

    committed Mar 31, 2012
  2. White-space, typos.

    committed Mar 31, 2012
Commits on Feb 13, 2012
  1. Add totality axioms, which are not used at the moment.

    These would justify naming things.
    committed Feb 13, 2012
Commits on Feb 12, 2012
  1. Fix typo.

    committed Feb 12, 2012
  2. Fix typos.

    committed Feb 12, 2012
  3. Add axioms to makefile.

    committed Feb 12, 2012
  4. Fix typos.

    committed Feb 12, 2012
Commits on Feb 11, 2012
  1. An explicit list of all axioms.

    committed Feb 11, 2012
Commits on Jan 30, 2012
  1. Forward monotonicity rules.

    committed Jan 30, 2012
Commits on Jan 24, 2012
Commits on Jan 23, 2012
  1. Just some more notes.

    committed Jan 23, 2012