Commits

Branch selector

 cpp2022

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 5, 2021

• cleaning up arguments & notations

  co-dan

  committed
  93aa954

Commits on Dec 1, 2021

• Further cleanup

  co-dan

  committed
  5562479

Commits on Nov 27, 2021

• Define implication in C in terms of the interior operator

  co-dan

  committed
  e598d8a

• Align the proof closer with the paper, as per reviewers comments.

  co-dan

  committed
  94cf67c

Commits on Sep 29, 2021

• Remove the dependency on coq-equations.

  

  daniil

  committed
  4b3ca4c

Commits on Sep 20, 2021

• fix seqcalc_s4.v

  co-dan

  committed
  8ea1e7a

• fix .opam

  co-dan

  committed
  f5cb731

• remove dependency on Iris and shorten some stuff

  co-dan

  committed
  db15e00

Commits on Aug 24, 2021

• u got loicense for that m8?

  co-dan

  committed
  34e8f1c

Commits on Aug 9, 2021

• fix opam

  co-dan

  committed
  fd9e03b

• update the meta stuff

  co-dan

  committed
  8470bfa

• add comments and remove dead code

  co-dan

  committed
  f718dfd

Commits on Jul 30, 2021

• Coqdoc stuff

  co-dan

  committed
  1a7f1f2

Commits on Jul 26, 2021

• Add disjunction to the sequent calculusx

  co-dan

  committed
  7c2f14e

• tweaks

  co-dan

  committed
  82f0afb

• Incoroprate ∧ into bunched terms

  co-dan

  committed
  cef3cea

Commits on Jul 25, 2021

• bump opam?

  co-dan

  committed
  2ab0fc8

• bump .opam

  co-dan

  committed
  3428aab

• some comments

  co-dan

  committed
  2d1bc61

• a bit of cleanup

  co-dan

  committed
  bbfb2cd

• Incorporating simple structural extensions.

  co-dan

  committed
  c5390ce

• Reorganize code

  co-dan

  committed
  4270c46

• Progess on formalizing bunched terms

  co-dan

  committed
  d9ab43b

Commits on Jul 23, 2021

• prove that cl preserves ∗

  co-dan

  committed
  a63e914

Commits on Jul 22, 2021

• don't forget disjunction!

  co-dan

  committed
  d4f5378

Commits on Jul 17, 2021

• Merge pull request #1 from co-dan/box

  Show description for 72d9673
  co-dan

  authored
  72d9673

Commits on Jul 1, 2021

• Cut elimination for BI + S4

  co-dan

  committed
  61f4e86

Commits on Jun 30, 2021

• wip s4

  co-dan

  committed
  8fa6ead

Commits on Jun 21, 2021

• cleanup workflow

  co-dan

  committed
  29db160

• .

  co-dan

  committed
  05419e8

• try it again?

  co-dan

  committed
  43d1ca7

• tweak workflow

  co-dan

  committed
  e5391d6

• im silly

  co-dan

  committed
  d9df1ed

• more workflow tweaks

  co-dan

  committed
  8698777

• i hate yaml

  co-dan

  committed
  942640b

Pagination

Previous

Next