Commits

Branch selector

 e466915

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 4, 2021

• ml family paper

  spitters

  committedJul 4, 2021
  e466915

• ml family paper

  spitters

  committedJul 4, 2021
  3f6f704

Commits on Jun 29, 2021

• Misc fixes in extraction (#100)

  

  annenkov

  and

  jakobbotsch

  authoredJun 29, 2021
  1441332

Commits on Jun 21, 2021

• Update README: rearrange papers, add new Coq WC paper.

  annenkov

  authoredJun 21, 2021
  4c2dae8

Commits on Jun 19, 2021

• Invalid actions (#101)

  4ever2

  authoredJun 19, 2021
  f30536c

Commits on Jun 18, 2021

• Discard invalid actions (#99)

  4ever2

  authoredJun 18, 2021
  5fd6a9e

• QuickChick testing improvements (#98)

  4ever2

  authoredJun 18, 2021
  c867494

Commits on May 27, 2021

• Handling the elimination from empty types (#96)

  annenkov

  authoredMay 27, 2021
  c4fa5d2

Commits on May 17, 2021

• Opam config, pin to a new MetaCoq commit (#95)

  annenkov

  authoredMay 17, 2021
  f291ce9

• Fix opam config

  annenkov

  committedMay 17, 2021
  a78a6ab

• Add opam config

  annenkov

  committedMay 17, 2021
  f9655c0

Commits on May 6, 2021

• Remove partial_alter (closes #91); fix inlining (#94)

  annenkov

  authoredMay 6, 2021
  b6992ef

Commits on May 4, 2021

• Update ElmForms

  annenkov

  committedMay 4, 2021
  c44e068

Commits on Apr 28, 2021

• Update README.md

  spitters

  authoredApr 28, 2021
  3b8e1a8

Commits on Apr 15, 2021

• BAT Token implementation fix (#89)

  4ever2

  authoredApr 15, 2021
  fb5ab02

Commits on Apr 7, 2021

• Implement 'push-button' extraction (#88)

  jakobbotsch

  authoredApr 7, 2021
  280da2a

Commits on Mar 29, 2021

• Certifying passes (#86)

  

  annenkov

  and

  jakobbotsch

  authoredMar 29, 2021
  56e26d4

• ERC20 extraction to liquidity (#85)

  mikkelmilo

  authoredMar 29, 2021
  e076443

Commits on Mar 17, 2021

• Update docker file for newest MetaCoq

  jakobbotsch

  authoredMar 17, 2021
  bd9f671

• Adapting ConCert to the newest MetaCoq (coq-8.11 branch) (#83)

  

  annenkov

  and

  jakobbotsch

  authoredMar 17, 2021
  a5a4529

Commits on Mar 16, 2021

• Only allow contracts access to their own balance (#82)

  jakobbotsch

  authoredMar 16, 2021
  3cb415a

Commits on Mar 15, 2021

• Save field names of inductive ctors when extracting (#81)

  jakobbotsch

  authoredMar 15, 2021
  de54d9e

Commits on Mar 13, 2021

• Elm web application (#80)

  

  annenkov

  and

  jakobbotsch

  authoredMar 13, 2021
  1da1d02

Commits on Mar 11, 2021

• Update README.md (#79)

  spitters

  authoredMar 11, 2021
  eb260f8

Commits on Mar 8, 2021

• Update coq-stdpp

  

  4ever2

  authored and

  jakobbotsch

  committedMar 8, 2021
  c44ce13

Commits on Mar 1, 2021

• Extraction: integration with the Concordium infrastructure WIP (#77)

  annenkov

  authoredMar 1, 2021
  bf2daa6

Commits on Feb 20, 2021

• Fix anchor

  annenkov

  authoredFeb 20, 2021
  75b0305

Commits on Jan 26, 2021

• Update citations

  annenkov

  authoredJan 26, 2021
  c8639c1

• Update README.md

  spitters

  authoredJan 26, 2021
  ea3611a

Commits on Dec 11, 2020

• Fixing the build process to generate extracted output

  annenkov

  committedDec 11, 2020
  97e88db

• Add extraction artifacts to the build

  annenkov

  authoredDec 11, 2020
  76611ce

Commits on Dec 1, 2020

• Add remapping in Rust and Bernstein-Yang example

  jakobbotsch

  committedDec 1, 2020
  fc7604e

Commits on Nov 24, 2020

• Add inlining pass

  jakobbotsch

  committedNov 24, 2020
  7d58b15

Commits on Nov 23, 2020

• Add a plugin to derive record setters using MetaCoq

  jakobbotsch

  committedNov 23, 2020
  88600e5

Commits on Nov 19, 2020

• Update MetaCoq

  jakobbotsch

  committedNov 19, 2020
  2b441c8

Pagination

PreviousNext