Code

Advanced Logical Proofs#775

Code

Closed

ArquintL wants to merge 21 commits intomasterviperproject/silver:masterfrom advanced-logical-proofsviperproject/silver:advanced-logical-proofsCopy head branch name to clipboard

+3,430-35

Commits

Commits on Nov 9, 2022

• Existential Elimination v1

  dinanoe

  committed
  9c034cc

  Copy full SHA for 9c034cc

• Merge branch 'master' of https://github.com/dinanoe/silver

  dinanoe

  committed
  c229ac5

  Copy full SHA for c229ac5

• Existential Elimination added Trigger typecheck

  dinanoe

  committed
  a2c5c6d

  Copy full SHA for a2c5c6d

• Existential Elimination comments

  dinanoe

  committed
  1b56187

  Copy full SHA for 1b56187

Commits on Nov 15, 2022

• Merge branch 'viperproject:master' into master

  dinanoe

  authored
  8704df5

  Copy full SHA for 8704df5

Commits on Nov 16, 2022

• Universal Introduction v1

  dinanoe

  committed
  2eba4da

  Copy full SHA for 2eba4da

Commits on Feb 14, 2023

• Added Flow Analysis with Graph

  dinanoe

  committed
  2b2211f

  Copy full SHA for 2b2211f

Commits on Feb 25, 2023

• oldCall added, restructured Code

  dinanoe

  committed
  76ed0cd

  Copy full SHA for 76ed0cd

• merge1

  dinanoe

  committed
  37429f9

  Copy full SHA for 37429f9

Commits on Mar 21, 2023

• Complete Bachelor Thesis

  dinanoe

  committed
  2118cef

  Copy full SHA for 2118cef

Commits on Apr 16, 2023

• Merge branch 'viperproject:master' into master

  dinanoe

  authored
  ab682a9

  Copy full SHA for ab682a9

Commits on Apr 20, 2023

• Merge branch 'master' into master

  ArquintL

  authored
  437b56c

  Copy full SHA for 437b56c

Commits on Feb 28, 2024

• Merges tag 'v.24.01-release' into 'advanced-logical-proofs'

  ArquintL

  committed
  7dc7952

  Copy full SHA for 7dc7952

• fixes parser to correctly parse syntax of reasoning plugin

  ArquintL

  committed
  663797f

  Copy full SHA for 663797f

• reduces diff

  ArquintL

  committed
  abe8a9c

  Copy full SHA for abe8a9c

• adds license headers

  ArquintL

  committed
  3195a8d

  Copy full SHA for 3195a8d

• fixes a compiler error

  ArquintL

  committed
  0c0efd7

  Copy full SHA for 0c0efd7

• changes testcases that use 'heap', which is now a keyword

  ArquintL

  committed
  3da1caf

  Copy full SHA for 3da1caf

• cleans up reasoning plugin further

  ArquintL

  committed
  c217565

  Copy full SHA for c217565

• Merges branch 'master' into 'advanced-logical-proofs'

  ArquintL

  committed
  383a4df

  Copy full SHA for 383a4df

• changes yet another testcase that uses 'heap', which is now a keyword

  ArquintL

  committed
  4847f56

  Copy full SHA for 4847f56