Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jul 27, 2023

• Define bunched equivalence in two steps

  co-dan

  committed
  332c680

  Copy full SHA for 332c680

Commits on Jul 24, 2023

• bump readme

  co-dan

  committed
  276ae21

  Copy full SHA for 276ae21

• `analytic_completion_sound` <-> `analytic_completion_complete`

  co-dan

  committed
  fedfdfc

  Copy full SHA for fedfdfc

• fix `bunch_decomp_box`

  co-dan

  committed
  3fa1cb2

  Copy full SHA for 3fa1cb2

Commits on Jul 17, 2023

• reuse the from_monoid and from_closure code for s4

  co-dan

  committed
  2c435dd

  Copy full SHA for 2c435dd

• bump coq version

  co-dan

  committed
  16b25c6

  Copy full SHA for 16b25c6

• alternative version of rules_valid

  co-dan

  committed
  14103e9

  Copy full SHA for 14103e9

• fix a lemma in analytic_completion

  co-dan

  committed
  fec6390

  Copy full SHA for fec6390

Commits on Jul 16, 2023

• factor out the representation of bunches better

  Show description for c672358
  co-dan

  committed
  c672358

  Copy full SHA for c672358

Commits on Jul 15, 2023

• more generic representation of bunches

  Show description for 30c22ff
  co-dan

  committed
  30c22ff

  Copy full SHA for 30c22ff

Commits on Jul 14, 2023

• update to work with the latest coq version

  co-dan

  committed
  369198a

  Copy full SHA for 369198a

Commits on Oct 12, 2022

• bump readme

  co-dan

  committed
  cfbabc6

  Copy full SHA for cfbabc6

• bump coq version

  co-dan

  committed
  d70ef1a

  Copy full SHA for d70ef1a

Commits on Oct 11, 2022

• update stdpp

  co-dan

  committed
  d476878

  Copy full SHA for d476878

• bump readme

  co-dan

  committed
  13851d6

  Copy full SHA for 13851d6

Commits on Jun 22, 2022

• Merge pull request #2 from co-dan/extra_terms

  Show description for d26ff19
  co-dan

  authored
  d26ff19

  Copy full SHA for d26ff19

Commits on Jun 5, 2022

• tweak 'Forall_exists_Forall2'

  co-dan

  committed
  b68b506

  Copy full SHA for b68b506

• cleanup

  co-dan

  committed
  a511cd3

  Copy full SHA for a511cd3

• A bit of cleanup

  co-dan

  committed
  b445116

  Copy full SHA for b445116

Commits on May 30, 2022

• update the set_map_2 interface

  co-dan

  committed
  f776818

  Copy full SHA for f776818

Commits on May 28, 2022

• a bit of cleanup

  co-dan

  committed
  9a602ca

  Copy full SHA for 9a602ca

• oops

  co-dan

  committed
  0b325f1

  Copy full SHA for 0b325f1

• bigg reorganization

  co-dan

  committed
  625ce0c

  Copy full SHA for 625ce0c

• prove the linearization/analytic completion

  co-dan

  committed
  0eddcce

  Copy full SHA for 0eddcce

• WIP

  co-dan

  committed
  d48cdfa

  Copy full SHA for d48cdfa

• working on linearizing terms

  co-dan

  committed
  6288ea1

  Copy full SHA for 6288ea1

• tweak CI''''

  co-dan

  committed
  6a5fa24

  Copy full SHA for 6a5fa24

• tweak CI'''

  co-dan

  committed
  78d7bb6

  Copy full SHA for 78d7bb6

• tweak CI''

  co-dan

  committed
  d9e04bc

  Copy full SHA for d9e04bc

• tweak CI'

  co-dan

  committed
  73f7a34

  Copy full SHA for 73f7a34

• tweak CI

  co-dan

  committed
  73a94aa

  Copy full SHA for 73a94aa

Commits on May 17, 2022

• tweak

  co-dan

  committed
  5500ff5

  Copy full SHA for 5500ff5

• WIP on linearizations of terms

  co-dan

  committed
  d959ee0

  Copy full SHA for d959ee0

Commits on Dec 5, 2021

• cleaning up arguments & notations

  co-dan

  committed
  93aa954

  Copy full SHA for 93aa954

Commits on Dec 1, 2021

• Further cleanup

  co-dan

  committed
  5562479

  Copy full SHA for 5562479