Repository navigation

WCV example - #5

Merged

RyanGlScott merged 3 commits into

mainfrom

Nov 15, 2021

Merged

WCV example#5
RyanGlScott merged 3 commits into
mainfrom
wcv-example

Commits on Nov 15, 2021
- Add a verifier example based on well-clear violations.
  
  robdockins
  authored and
  RyanGlScott
  committed
  446cff8
- Update submodules and plumb through floating-point values.
  
  robdockins
  authored and
  RyanGlScott
  committed
  f76c325
- Incorporate codegen improvements from GaloisInc/copilot-1#6
  RyanGlScott
  committed
  cc8c213