AU-COBRA/ConCert

Issues

• ReAdd SSProve to MC reverse CI

  #254 opened 25 days ago by spitters
  0

• Test

  #253 opened 2 months ago by 4ever2
  0

• Publish Concert extraction (at least to rust) as an opam package

  #201 opened 5 months ago by thewalker77
  2

• Update to MetaCoq 1.3

  #242 opened 8 months ago by womeier
  7

• Create a `make` target for running QuickChick tests

  #92 opened 2 years ago by annenkov
  0

• Remove removal of function applications in cameLIGO pretty printer

  #97 opened 4 years ago by mikkelmilo
  0

• Multi-argument recursive functions

  #146 opened 3 years ago by annenkov
  1

• Add support for views

  #149 opened 3 years ago by annenkov
  0

• Introduce entrypoints

  #150 opened 3 years ago by annenkov
  0

• Updating the FA2 interface

  #163 opened 3 years ago by weis611
  0

• Port examples using FA2LegacyInterface

  #166 opened 3 years ago by 4ever2
  0

• [Liquidity][CameLIGO] Shadowing in Liquidity (and probably CameLIGO) extraction

  #76 opened 3 years ago by annenkov
  1

• [Testing] Split printing of serialised values

  #115 opened 3 years ago by annenkov
  0

• Build fails on systems with case insensitive file system

  #84 opened 3 years ago by 4ever2
  7

• Cleanup imports

  #102 opened 3 years ago by mikkelmilo
  0

• [execution] Add `origin` to the call context

  #118 opened 3 years ago by annenkov
  0

• Problems reusing proofs proven by contract_induction

  #105 opened 3 years ago by 4ever2
  9

• [Liquidity] Extraction to Liquidity is broken for some examples

  #90 opened 3 years ago by annenkov
  0

• No way to consume invalid Actions in ChainStates

  #93 opened 4 years ago by 4ever2
  9

• Remove `partial_alter` from ERC20token implementation

  #91 opened 4 years ago by annenkov
  0

• Test issue, please ignore

  #66 opened 4 years ago by jakobbotsch
  0

• Delete _CoqProject/Makefile from the "execution" folder?

  #17 opened 5 years ago by annenkov
  7

• Embedding does not work with Coq 8.11

  #16 opened 5 years ago by jakobbotsch
  24

• Move example contracts from execution/theories

  #15 opened 5 years ago by annenkov
  2

• [Feature] Code extraction to Liquidity

  #10 opened 5 years ago by annenkov
  0