Code

Demo example test case#146

Code

Merged

l-kent merged 19 commits intomainUQ-PAC/BASIL:mainfrom demo-example-test-caseUQ-PAC/BASIL:demo-example-test-caseCopy head branch name to clipboardJan 22, 2024

+9,636-2,292

Commits

Commits on Nov 14, 2023

• working example

  ailrst

  committed
  c3bff6e

Commits on Dec 4, 2023

• add example

  ailrst

  committed
  ad1c0cb

• recursive make lifting setup

  ailrst

  committed
  bdab873

• Support extra boogie files in tests

  ailrst

  committed
  8624061

• update expected

  ailrst

  committed
  269b099

Commits on Jan 4, 2024

• simplify makefile config requirements

  ailrst

  committed
  1bea876

• allow lifting everything

  ailrst

  committed
  a9421e5

• cleanup

  ailrst

  committed
  4bdc4e5

• add exclusions

  ailrst

  committed
  28f1aab

• readme

  ailrst

  committed
  0073c9a

Commits on Jan 12, 2024

• fix verify and defaults

  ailrst

  committed
  ec98020

• cleanup

  ailrst

  committed
  3efb2e2

• fix clang target

  ailrst

  committed
  bb889eb

Commits on Jan 15, 2024

• SystemTests check for verification failure message

  ailrst

  committed
  31c97b5

• add test and expected files

  ailrst

  committed
  2a334d7

Commits on Jan 16, 2024

• update lifted

  ailrst

  committed
  dae7c3a

• remove unneccessary makefile

  ailrst

  committed
  a0ead2c

Commits on Jan 22, 2024

• only keep O2 case

  ailrst

  committed
  9d851ae

• update expected

  

  l-kent

  committed
  c63e4e8