Permalink
Switch branches/tags
Nothing to show
Commits on Mar 28, 2017
Commits on Mar 24, 2017
Commits on Jan 6, 2017
  1. Re-organized the repository.

    committed Jan 6, 2017
  2. General clean-up.

    committed Jan 6, 2017
Commits on Dec 31, 2016
  1. Re-factored a few definitions.

    committed Dec 31, 2016
Commits on Dec 24, 2016
  1. Merge pull request #1 from jalpuim/broken-set

    Broken set
    committed on GitHub Dec 24, 2016
Commits on Dec 22, 2016
  1. General clean-up.

    committed Dec 22, 2016
Commits on Dec 20, 2016
  1. Clean-up on Sqrt.v.

    committed Dec 20, 2016
Commits on Dec 15, 2016
  1. Improved the efficiency of some tactics and finished formalising the …

    …refinement of Sqrt.
    committed Dec 15, 2016
Commits on Dec 13, 2016
  1. Worked on Sqrt.

    committed Dec 13, 2016
Commits on Dec 5, 2016
Commits on Dec 3, 2016
Commits on Nov 23, 2016
  1. Work on PAs.

    committed Nov 23, 2016
Commits on Jul 29, 2016
  1. More work on PersistentArrays.

    committed Jul 29, 2016
Commits on Jul 25, 2016
  1. Progress on PersistentArrays.

    committed Jul 25, 2016
Commits on Jul 21, 2016
  1. Added WhileSpec.

    wouter-swierstra committed Jul 21, 2016
Commits on Jul 19, 2016
  1. Refactored a bit.

    wouter-swierstra committed Jul 19, 2016
Commits on Jul 14, 2016
  1. Changed While's invariant from Prop to Type. Formulated a few lemmas …

    …about while. Set is still broken.
    committed Jul 14, 2016
Commits on Jul 13, 2016
Commits on Jul 12, 2016
  1. Work in progress.

    wouter-swierstra committed Jul 12, 2016
Commits on Jul 11, 2016
  1. Work in progress.

    wouter-swierstra committed Jul 11, 2016
  2. Work on Union-Find's set.

    committed Jul 11, 2016
Commits on Jul 9, 2016
  1. Progress on Union-Find's set.

    committed Jul 9, 2016
Commits on Jul 8, 2016
  1. More progress on Union-Find.

    committed Jul 8, 2016
Commits on Jul 6, 2016
Commits on Jul 5, 2016
  1. Merged.

    wouter-swierstra committed Jul 5, 2016
  2. Work in progress.

    wouter-swierstra committed Jul 5, 2016