Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 31, 2020

• coq: Evaluate function arguments left-to-right

  cpitclaudel

  committed
  10d24ca

  Copy full SHA for 10d24ca

Commits on Jan 22, 2020

• coq, ocaml: Add function calls in typed AST

  cpitclaudel

  committed
  e1eae17

  Copy full SHA for e1eae17

Commits on Jan 14, 2020

• coq: Finalize split of Circuits.v and remove redundant 'uscheduler'

  cpitclaudel

  committed
  55dc689

  Copy full SHA for 55dc689

• coq: Finalize split of Semantics.v

  cpitclaudel

  committed
  140d072

  Copy full SHA for 140d072

• coq: Unify treatment of circuit signatures and typed signatures

  cpitclaudel

  committed
  b01dde5

  Copy full SHA for b01dde5

Commits on Nov 25, 2019

• all: Add documentation headers in preparation for the release

  cpitclaudel

  committed
  9a4771c

  Copy full SHA for 9a4771c

Commits on Nov 16, 2019

• coq: Clean up imports

  cpitclaudel

  committed
  b389491

  Copy full SHA for b389491

Commits on Oct 31, 2019

• all: Adjust paths and names and rewrite dune files and Makefiles

  cpitclaudel

  committed
  608e297

  Copy full SHA for 608e297

Commits on Oct 29, 2019

• all: Reorganize repository in preparation for release

  cpitclaudel

  committed
  e6d4e1a

  Copy full SHA for e6d4e1a

Loading