Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 17, 2019

• Same

  voodoos

  committed
  4b0ef3f

  Copy full SHA for 4b0ef3f

• Remove blocking example. Todo: investigate.

  voodoos

  committed
  9efa979

  Copy full SHA for 9efa979

• Add zoomin to electron app

  voodoos

  committed
  68abc0c

  Copy full SHA for 68abc0c

Commits on Sep 27, 2019

• Bump version number

  voodoos

  committed
  272b397

  Copy full SHA for 272b397

• A few more comments

  voodoos

  committed
  33b068c

  Copy full SHA for 33b068c

Commits on Sep 24, 2019

• Some cleanup

  voodoos

  committed
  f2d9337

  Copy full SHA for f2d9337

Commits on Sep 20, 2019

• Update to Elpi 1.7

  voodoos

  committed
  e11e01b

  Copy full SHA for e11e01b

• Reformat

  voodoos

  committed
  1bb3bc6

  Copy full SHA for 1bb3bc6

Commits on Jun 18, 2019

• Update dependencies

  voodoos

  committed
  a7718dd

  Copy full SHA for a7718dd

• Update to Elpi 1.3

  voodoos

  committed
  2b87f79

  Copy full SHA for 2b87f79

• Merge remote-tracking branch 'origin/master'

  voodoos

  committed
  2c30558

  Copy full SHA for 2c30558

Commits on Jun 17, 2019

• fix quantifier-alternation according to recent changes (@13227) in opsem.tex

  gasche

  committed
  c3e0494

  Copy full SHA for c3e0494

Commits on Jun 12, 2019

• change rigid_in_val to match the new definition in Ulysse's manuscript

  gasche

  committed
  97bac5b

  Copy full SHA for 97bac5b

Commits on May 29, 2019

• explain a discrepancy betwen the interpreter and the semantics

  gasche

  committed
  df535a8

  Copy full SHA for df535a8

• reformulate a comment

  gasche

  committed
  9ae6baa

  Copy full SHA for 9ae6baa

• unification comments

  voodoos

  committed
  29519f3

  Copy full SHA for 29519f3

Commits on May 7, 2019

• further simplification to the implementation suggested by the paper

  gasche

  committed
  86dcd98

  Copy full SHA for 86dcd98

Commits on May 6, 2019

• a new way to locate rigid occurrences

  gasche

  committed
  2008908

  Copy full SHA for 2008908

Commits on Apr 27, 2019

• Link debug

  voodoos

  committed
  71aa341

  Copy full SHA for 71aa341

• Bumb version number

  voodoos

  committed
  a3acf48

  Copy full SHA for a3acf48

• display an explicit warning if a rigid occurrence is missing

  gasche

  committed
  a7d804e

  Copy full SHA for a7d804e

Commits on Apr 26, 2019

• implement the locate_rigid two-pass approach

  Show description for 977c57a
  gasche

  committed
  977c57a

  Copy full SHA for 977c57a

• move the pattern-matching implementation to be very close to the paper

  Show description for 7a5eee0
  gasche

  committed
  7a5eee0

  Copy full SHA for 7a5eee0

Commits on Feb 21, 2019

• Bump version number

  voodoos

  committed
  8f2a8bc

  Copy full SHA for 8f2a8bc

• Add NBE example (working)

  voodoos

  committed
  e97c649

  Copy full SHA for e97c649

Commits on Feb 17, 2019

• Add failwith buitlin

  voodoos

  committed
  73f7e18

  Copy full SHA for 73f7e18

• One less bug in NBE

  voodoos

  committed
  f943a9c

  Copy full SHA for f943a9c

• Add copy clauses for print

  voodoos

  committed
  343bb15

  Copy full SHA for 343bb15

• Prints in nbe for debug

  voodoos

  committed
  da66a79

  Copy full SHA for da66a79

• Add seq ";" operator.

  voodoos

  committed
  bad6e67

  Copy full SHA for bad6e67

• Add unit and print

  voodoos

  committed
  22c1f79

  Copy full SHA for 22c1f79

Commits on Feb 15, 2019

• Working on NBE

  voodoos

  committed
  10f44cc

  Copy full SHA for 10f44cc

• Adding back some error messages

  voodoos

  committed
  a9e1f7c

  Copy full SHA for a9e1f7c

Commits on Feb 14, 2019

• Breaking Maj Base64 / JsOfOcaml

  voodoos

  committed
  91b7218

  Copy full SHA for 91b7218

• Progs need to be completely empty (?)

  voodoos

  committed
  ca246c6

  Copy full SHA for ca246c6

Pagination

Previous

Next