Permalink
Branch: master
Commits on Nov 24, 2018
  1. Better function names in standard library.

    rlepigre committed Nov 24, 2018
  2. Insertion sort in standard library + algorithm spec.

    rlepigre committed Nov 24, 2018
  3. Standard library refactorig.

    rlepigre committed Nov 24, 2018
Commits on Nov 23, 2018
  1. Full certification of insertion sort.

    rlepigre committed Nov 23, 2018
  2. New standard library module with proofs about sorted lists.

    rlepigre committed Nov 23, 2018
Commits on Nov 22, 2018
  1. Update for latest earley version.

    rlepigre committed Nov 22, 2018
Commits on Sep 21, 2018
  1. Missing keyword in Vim mode.

    rlepigre committed Sep 21, 2018
  2. Update to earley 1.1.0

    rlepigre committed Sep 21, 2018
Commits on Sep 4, 2018
  1. Cleanup of things (Makefile, new CI script, ...)

    rlepigre committed Sep 4, 2018
Commits on Aug 29, 2018
  1. [lib] functions on streams.

    rlepigre committed Aug 29, 2018
Commits on Jun 11, 2018
Commits on May 27, 2018
Commits on Apr 26, 2018
Commits on Mar 7, 2018
  1. Vim mode update.

    rlepigre committed Mar 7, 2018
  2. Epsilon in library.

    rlepigre committed Mar 7, 2018
Commits on Feb 3, 2018
  1. very minor simplification

    craff committed Feb 3, 2018
Commits on Jan 30, 2018
  1. emacs installation

    craff committed Jan 30, 2018
  2. fix depend bug

    craff committed Jan 30, 2018
  3. .gitignore

    craff committed Jan 30, 2018
  4. cleaning up lib/order.pml

    craff committed Jan 30, 2018
  5. div, mod and there correction

    craff committed Jan 30, 2018
  6. even better gcd in lib/nat.pml

    craff committed Jan 30, 2018