Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 3, 2020

• Merge branch 'master' of https://github.com/DeepSpec/InteractionTrees

  YaZko

  committed
  1f213f0

  Copy full SHA for 1f213f0

• A few minor useful lemmas

  YaZko

  committed
  72d78f8

  Copy full SHA for 72d78f8

Commits on Apr 19, 2020

• Couple of classes living in the wrong universe

  YaZko

  committed
  6876bc2

  Copy full SHA for 6876bc2

Commits on Apr 8, 2020

• Putting back five warnings for retro-compatibility with 8.8 and 8.9

  YaZko

  committed
  ab31f95

  Copy full SHA for ab31f95

• Fixing all warnings (at least for 8.10)

  YaZko

  committed
  814b204

  Copy full SHA for 814b204

Commits on Mar 23, 2020

• CHANGELOG: Update for 3.1.0

  Lysxia

  committed
  04ef50e

  Copy full SHA for 04ef50e

Commits on Feb 17, 2020

• Merge pull request DeepSpec#162 from liyishuai/master

  Show description for 08c8480
  Zdancewic

  authored
  08c8480

  Copy full SHA for 08c8480

Commits on Feb 12, 2020

• ci: get rid of Travis

  liyishuai

  committed
  057680a

  Copy full SHA for 057680a

• opam: Compatible with 8.11

  liyishuai

  committed
  60c8264

  Copy full SHA for 60c8264

Commits on Feb 3, 2020

• Separate tau_eutt from tau_euttge

  Lysxia

  committed
  f140f0b

  Copy full SHA for f140f0b

Commits on Jan 31, 2020

• Merge pull request DeepSpec#157 from liyishuai/master

  Show description for 2daba60
  Lysxia

  authored
  2daba60

  Copy full SHA for 2daba60

• Fix compatibility with ExtLib

  

  liyishuai

  authored and

  Lysxia

  committed
  bf8021e

  Copy full SHA for bf8021e

Commits on Jan 29, 2020

• Merge pull request DeepSpec#159 from artagnon/ocaml-4.09

  Show description for 5158234
  Lysxia

  authored
  5158234

  Copy full SHA for 5158234

• [.travis.yml] Test out with OCaml 4.09

  artagnon

  committed
  5ab968e

  Copy full SHA for 5ab968e

Commits on Jan 25, 2020

• example of STLC

  Zdancewic

  committed
  7b98548

  Copy full SHA for 7b98548

Commits on Jan 20, 2020

• Merge pull request DeepSpec#158 from DeepSpec/release-3.0.0

  Show description for 1f07a19
  Lysxia

  authored
  1f07a19

  Copy full SHA for 1f07a19

• Create CHANGELOG

  Lysxia

  committed
  0b2698f

  Copy full SHA for 0b2698f

Commits on Jan 17, 2020

• Set -< notation at level 92

  Show description for 469f6e0
  Lysxia

  committed
  469f6e0

  Copy full SHA for 469f6e0

Commits on Jan 15, 2020

• Uncomment proof

  Show description for 9d75393
  Lysxia

  committed
  9d75393

  Copy full SHA for 9d75393

• Remove KTree.iter and KTree.loop notations

  Show description for 58896ae
  Lysxia

  committed
  58896ae

  Copy full SHA for 58896ae

• Merge pull request DeepSpec#153 from DeepSpec/coq-8.10

  Show description for 66f56a8
  Lysxia

  authored
  66f56a8

  Copy full SHA for 66f56a8

• Add comments about Proper_cat_Kleisli

  Lysxia

  committed
  259e162

  Copy full SHA for 259e162

• README: Add Coq 8.10 to list of supported versions

  Lysxia

  committed
  9711019

  Copy full SHA for 9711019

• ci: add Coq 8.10

  Lysxia

  committed
  6871109

  Copy full SHA for 6871109

• Refactor AsmCombinator local lemmas

  Lysxia

  committed
  75a5a71

  Copy full SHA for 75a5a71

• Remove Proper_cat_Kleisli instance (subsumed by Category)

  Lysxia

  committed
  e43cd6d

  Copy full SHA for e43cd6d

• Add pure_inl and pure_inr

  Lysxia

  committed
  bf6bd1e

  Copy full SHA for bf6bd1e

• Remove Core/KTreeBasicFacts

  Lysxia

  committed
  a5148f7

  Copy full SHA for a5148f7

• opam: fix coq-ext-lib and coq versions

  Lysxia

  committed
  5897bb8

  Copy full SHA for 5897bb8

• examples: Adapt to Coq 8.10

  Lysxia

  committed
  2365f88

  Copy full SHA for 2365f88

• Adapt to Coq 8.10

  Lysxia

  committed
  b75fc77

  Copy full SHA for b75fc77

• Adapt to coq-ext-lib changes in notations (odd level <-> right associativity)

  Lysxia

  committed
  d9ac3ff

  Copy full SHA for d9ac3ff

• Fix tutorial with updated Proper lemma

  Lysxia

  committed
  ad3e458

  Copy full SHA for ad3e458

Commits on Jan 10, 2020

• reintroduce eq instance of eutt_interp_state

  Zdancewic

  committed
  6a23fbc

  Copy full SHA for 6a23fbc

Commits on Jan 8, 2020

• generalize eutt_interp_state

  Zdancewic

  committed
  a94d1a6

  Copy full SHA for a94d1a6

Pagination

Previous

Next