Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 17, 2025

• Liveness2: add weight func

  Mai-LinhC

  committed
  6deb0b4

  Copy full SHA for 6deb0b4

• Liveness2: fix compHist module

  Mai-LinhC

  committed
  3da4604

  Copy full SHA for 3da4604

Commits on Nov 12, 2025

• Liveness2: comp module with history

  Mai-LinhC

  committed
  40d6e86

  Copy full SHA for 40d6e86

• Merge branch 'main' of github.com:VCA-EPFL/graphiti

  Mai-LinhC

  committed
  a35691d

  Copy full SHA for a35691d

• Liveness: continue reach empty proof

  Mai-LinhC

  committed
  9f9cd01

  Copy full SHA for 9f9cd01

Commits on Nov 5, 2025

• Remove SplitElimCorrect to fix build

  ymherklotz

  committed
  81cd8fa

  Copy full SHA for 81cd8fa

Commits on Nov 4, 2025

• Liveness: finished input proof and started output proof

  ortolino

  committed
  8c88c28

  Copy full SHA for 8c88c28

Commits on Nov 3, 2025

• Merge branch 'main' of github.com:VCA-EPFL/graphiti

  ortolino

  committed
  ce15c36

  Copy full SHA for ce15c36

• Merge branch 'main' of github.com:VCA-EPFL/graphiti

  Mai-LinhC

  committed
  a25efca

  Copy full SHA for a25efca

• Liveness: prove refl reachness_empty_2

  Mai-LinhC

  committed
  4b58ac5

  Copy full SHA for 4b58ac5

• Liveness: commented uncompiling parts

  ortolino

  committed
  8e05ed7

  Copy full SHA for 8e05ed7

• Merge branch 'temp'

  ortolino

  committed
  003a0b7

  Copy full SHA for 003a0b7

• Liveness: fixing the pass of property to input lemma

  ortolino

  committed
  3b3ff6d

  Copy full SHA for 3b3ff6d

Commits on Nov 2, 2025

• Liveness: almost finished hold step

  ortolino

  committed
  350fbf2

  Copy full SHA for 350fbf2

Commits on Oct 30, 2025

• Liveness: def reachable_empty lemma

  Mai-LinhC

  committed
  bad055e

  Copy full SHA for bad055e

Commits on Oct 29, 2025

• Add JoinSplitElim proof template

  ymherklotz

  committed
  f51233a

  Copy full SHA for f51233a

• Make build unbroken

  ymherklotz

  committed
  8aee4f9

  Copy full SHA for 8aee4f9

• Noc: Continue ExprHighSem and reduce type, need further evaluation

  Gurvan-dev

  committed
  9ee5d5f

  Copy full SHA for 9ee5d5f

Commits on Oct 28, 2025

• Merge branch 'main' of github.com:VCA-EPFL/graphiti

  ortolino

  committed
  db469ed

  Copy full SHA for db469ed

• Liveness: modified recursive proof to add emtyness of state

  ortolino

  committed
  7acd48a

  Copy full SHA for 7acd48a

• Add inductive phi definition to JoinRewrite

  ymherklotz

  committed
  ebcc9d2

  Copy full SHA for ebcc9d2

• Merge branch 'main' of github.com:VCA-EPFL/graphiti

  ortolino

  committed
  6cc96c0

  Copy full SHA for 6cc96c0

• advanced the input theorem

  ortolino

  committed
  8d814b1

  Copy full SHA for 8d814b1

Commits on Oct 27, 2025

• Liveness: add reachable_P_implies_empty_state and start reach_empty

  Mai-LinhC

  committed
  869aa23

  Copy full SHA for 869aa23

Commits on Oct 23, 2025

• Update to lean v4.25.0-rc2

  ymherklotz

  committed
  ce046e3

  Copy full SHA for ce046e3

Commits on Oct 17, 2025

• Liveness: restructured the input subproof so that a single lemma has to proven

  ortolino

  committed
  e62edf6

  Copy full SHA for e62edf6

Commits on Oct 15, 2025

• Merge branch 'main' of github.com:VCA-EPFL/graphiti

  Mai-LinhC

  committed
  0cd789a

  Copy full SHA for 0cd789a

• Liveness: lemm_in proof

  Mai-LinhC

  committed
  af5f0a0

  Copy full SHA for af5f0a0

• Liveness: modified the empty proof for it to use new steps

  ortolino

  committed
  6509eef

  Copy full SHA for 6509eef

• Liveness: refactored start of the proof and modified form of the states in proof

  ortolino

  committed
  52da3d9

  Copy full SHA for 52da3d9

Commits on Oct 14, 2025

• Merge branch 'main' of github.com:VCA-EPFL/graphiti

  ortolino

  committed
  5a376e4

  Copy full SHA for 5a376e4

• Modified liveness proof with new assumption and different structure

  ortolino

  committed
  603b5f4

  Copy full SHA for 603b5f4

Commits on Oct 13, 2025

• temp in case f ervything breaks

  ortolino

  committed
  22809ea

  Copy full SHA for 22809ea

• liveness: add P_concat theorem

  Mai-LinhC

  committed
  3859cb4

  Copy full SHA for 3859cb4

Commits on Oct 6, 2025

• Liveness: split up final lemma between input and output

  ortolino

  committed
  451c7aa

  Copy full SHA for 451c7aa

Pagination

Previous

Next