Code

New test files#8

Code

Merged

jtristan merged 15 commits intomainleanprover/SHerLOC:mainfrom CParserleanprover/SHerLOC:CParserCopy head branch name to clipboardSep 4, 2024

+911-313

Commits

Commits on Sep 2, 2024

• New test files

  jtristan

  committed
  90eb1f7

  Copy full SHA for 90eb1f7

• More tests

  jtristan

  committed
  786192d

  Copy full SHA for 786192d

• More examples

  jtristan

  committed
  bf96c9a

  Copy full SHA for bf96c9a

• Removing old tests

  jtristan

  committed
  5fa062b

  Copy full SHA for 5fa062b

• New test harness

  jtristan

  committed
  430b10a

  Copy full SHA for 430b10a

• Panic

  jtristan

  committed
  02e567b

  Copy full SHA for 02e567b

• Updated CI

  jtristan

  committed
  ca32ad1

  Copy full SHA for ca32ad1

• CI run name

  jtristan

  committed
  2abe80c

  Copy full SHA for 2abe80c

• Mode to run on single file

  jtristan

  committed
  abf158a

  Copy full SHA for abf158a

• Fixed parsing of constant operation

  jtristan

  committed
  903cb76

  Copy full SHA for 903cb76

Commits on Sep 3, 2024

• Short and Long type annotation for operations

  jtristan

  committed
  ef0d878

  Copy full SHA for ef0d878

• Better error information for parsing

  jtristan

  committed
  e2e4d3b

  Copy full SHA for e2e4d3b

• Return code

  jtristan

  committed
  a950eb3

  Copy full SHA for a950eb3

• Tracing all derivations

  jtristan

  committed
  9a3e8c1

  Copy full SHA for 9a3e8c1

• parsing examples with more than one returned value for an op

  jtristan

  committed
  509e6b4

  Copy full SHA for 509e6b4