Skip to content
Permalink
Branch: master
Commits on Mar 20, 2019
  1. Removed unknown macro.

    rlepigre committed Mar 20, 2019
Commits on Mar 17, 2019
  1. Progress on theory.

    rlepigre committed Mar 17, 2019
Commits on Mar 14, 2019
  1. Changed notation from [+] to [+ₒ] for ordinal successors.

    rlepigre committed Mar 14, 2019
Commits on Mar 13, 2019
  1. Merge branch 'master' into polynésie

    rlepigre committed Mar 13, 2019
  2. Documentation for Emacs mode installation.

    rlepigre committed Mar 13, 2019
  3. Makefile tweaks.

    rlepigre committed Mar 13, 2019
  4. Installation of Vim mode by dune + instructions.

    rlepigre committed Mar 13, 2019
  5. Update paper list.

    rlepigre committed Mar 13, 2019
  6. All the "pml2" become "pml".

    rlepigre committed Mar 13, 2019
  7. Emacs mode installation (note the change of name).

    rlepigre committed Mar 13, 2019
  8. Remove doc target (did nothing) + detail.

    rlepigre committed Mar 13, 2019
  9. [src/config.ml] generated by dune.

    rlepigre committed Mar 13, 2019
  10. Cleaning up the repository.

    rlepigre committed Mar 13, 2019
Commits on Mar 12, 2019
  1. Merge branch 'master' into polynésie

    rlepigre committed Mar 12, 2019
  2. Added some contents from (unused) TYPES2017 appendix.

    rlepigre committed Mar 12, 2019
  3. Merge branch 'master' into polynésie

    rlepigre committed Mar 12, 2019
  4. Added some description of the theory in folder [book].

    rlepigre committed Mar 12, 2019
  5. Merge branch 'master' into polynésie

    rlepigre committed Mar 12, 2019
  6. Junk cleaning.

    rlepigre committed Mar 12, 2019
  7. Fix dune dependency (requires 1.7.0).

    rlepigre committed Mar 12, 2019
  8. Fix CI.

    rlepigre committed Mar 12, 2019
  9. Create LICENSE

    rlepigre committed Mar 12, 2019
  10. New sanity checks for [make check].

    rlepigre committed Mar 12, 2019
  11. Upate [README.md].

    rlepigre committed Mar 12, 2019
  12. Switch to dune.

    rlepigre committed Mar 12, 2019
  13. Fix a couple of things.

    rlepigre committed Mar 12, 2019
  14. Added examples (used in talks sometimes).

    rlepigre committed Dec 11, 2018
Commits on Dec 11, 2018
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
Older
You can’t perform that action at this time.