Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 9, 2021

• Merge branch 'master' of ssh:https://github.com/rlepigre/pml

  craff

  committed
  0c13a98
  More actions

• emacs mode

  craff

  committed
  3a58b1b
  More actions

Commits on Sep 28, 2020

• Weird line in the middle (has been there a while???).

  rlepigre

  committed
  cdfdea0
  More actions

Commits on Apr 9, 2019

• Minted lexer (minimal) for PML + example

  

  Rodolphe Lepigre

  committed
  d4f1054
  More actions

Commits on Apr 2, 2019

• More work on theory of equivalence.

  

  Rodolphe Lepigre

  committed
  ee45339
  More actions

Commits on Apr 1, 2019

• Proving equivalence theorems.

  

  Rodolphe Lepigre

  committed
  0e012a0
  More actions

Commits on Mar 31, 2019

• More work on theory of equivalence.

  

  Rodolphe Lepigre

  committed
  9db30ef
  More actions

Commits on Mar 30, 2019

• Figure with equivalence axioms (not finished).

  

  Rodolphe Lepigre

  committed
  cf4ea82
  More actions

Commits on Mar 20, 2019

• Removed unknown macro.

  

  Rodolphe Lepigre

  committed
  c3e85ea
  More actions

Commits on Mar 17, 2019

• Progress on theory.

  

  Rodolphe Lepigre

  committed
  4a935df
  More actions

Commits on Mar 14, 2019

• Changed notation from [+] to [+ₒ] for ordinal successors.

  

  Rodolphe Lepigre

  committed
  34b595e
  More actions

Commits on Mar 13, 2019

• Merge branch 'master' into polynésie

  

  Rodolphe Lepigre

  committed
  de45c90
  More actions

• work on int in the library

  craff

  committed
  9ba0ea8
  More actions

• Documentation for Emacs mode installation.

  

  Rodolphe Lepigre

  committed
  1d517e2
  More actions

• Makefile tweaks.

  

  Rodolphe Lepigre

  committed
  e9536ae
  More actions

• Installation of Vim mode by dune + instructions.

  

  Rodolphe Lepigre

  committed
  11a3573
  More actions

• Update paper list.

  

  Rodolphe Lepigre

  committed
  e0099a4
  More actions

• All the "pml2" become "pml".

  

  Rodolphe Lepigre

  committed
  bd16cd9
  More actions

• Emacs mode installation (note the change of name).

  

  Rodolphe Lepigre

  committed
  3fedeba
  More actions

• Remove doc target (did nothing) + detail.

  

  Rodolphe Lepigre

  committed
  d8e740a
  More actions

• comment in lib/int_proofs.pml about issue #24

  craff

  committed
  e6dbc19
  More actions

• add_associative in lib/int_proofs.pml

  craff

  committed
  e35e95d
  More actions

• work on int library (new file lib/int_proofs.pml + nat subtype of int) and

  craff

  committed
  062e3f5
  More actions

• catch End_of_file in env.ml in case of interruption of pml while saving

  craff

  committed
  e5c3f4b
  More actions

• [src/config.ml] generated by dune.

  

  Rodolphe Lepigre

  committed
  32c4def
  More actions

• test_uni shoud raise NoUnif (cycilc terms are forbidden!)

  craff

  committed
  fbb5a4f
  More actions

• Cleaning up the repository.

  

  Rodolphe Lepigre

  committed
  eabe65b
  More actions

• in_uni used as a stack... should be better

  craff

  committed
  4fc6d9d
  More actions

• remove todo in tests/reals.pml

  craff

  committed
  1713efb
  More actions

• line too long in examples

  craff

  committed
  23e2681
  More actions

• forgot record ptr.ml in last commit

  craff

  committed
  9415019
  More actions

• Avoid loop in unif_ptr

  craff

  committed
  9edc02f
  More actions

• log for unif_ptr and alike

  craff

  committed
  b16461c
  More actions

• New function Print.bndr

  craff

  committed
  ad20b47
  More actions

Commits on Mar 12, 2019

• Merge branch 'master' into polynésie

  

  Rodolphe Lepigre

  committed
  8b9593d
  More actions

Pagination

PreviousNext