Code

add flags for optimizations#27

Code

Merged

jcp19 merged 6 commits intomainviperproject/gobra-action:mainfrom add-flags-optimizationsviperproject/gobra-action:add-flags-optimizationsCopy head branch name to clipboardMar 15, 2024

+18-2

Commits

Commits on Mar 15, 2024

• add flags for optimizations

  jcp19

  committed
  349df8d

  Copy full SHA for 349df8d

• add option to test

  jcp19

  committed
  a3f562e

  Copy full SHA for a3f562e

• drop test that depends on Gobra #742

  jcp19

  committed
  c8cadeb

  Copy full SHA for c8cadeb

• backup

  jcp19

  committed
  f0d573d

  Copy full SHA for f0d573d

• disable failing test due to missing theory

  jcp19

  committed
  c29a7b0

  Copy full SHA for c29a7b0

• disable API for now

  jcp19

  committed
  b92dbae

  Copy full SHA for b92dbae