Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 15, 2022

• Add FArgs parameters on the inductives in functors

  clarus

  committed
  7e53845

Commits on Jan 25, 2022

• Add header to explicit files generated by coq-of-ocaml

  clarus

  committed
  1cc5249

• Escape single letter names

  clarus

  committed
  1f704e9

• Add special treatment for functions with a type synonym

  clarus

  committed
  4b972a4

• Remove empty lines from large matches

  clarus

  committed
  bb8427d

Commits on Nov 29, 2021

• Activate back the coq_match_gadt flag

  clarus

  committed
  d5ff5d9

• Code cleaning for the detection of phantom types

  clarus

  committed
  dcf2d02

• Fix a bug where we were forgetting to check for the attribute of a record

  clarus

  committed
  7992d43

Commits on Nov 25, 2021

• Detect unknown attributes starting with @coq_

  clarus

  committed
  0a709dc

• Remove utils which are not in the OCaml's stdlib

  clarus

  committed
  cfa961c

• Add comments on varEnv.ml

  clarus

  committed
  3514518

Commits on Nov 24, 2021

• Do not print empty terms, to allow to remove monads

  clarus

  committed
  def12d1

Commits on Oct 27, 2021

• Run ocamlformat

  clarus

  committed
  6b42918

• Have a more explicit error message for polymorphic variants

  clarus

  committed
  f1956c1

Commits on Sep 6, 2021

• Disable grab of existentials

  pedrotst

  committed
  8b04f79

Commits on Sep 2, 2021

• Fix make coverage

  pedrotst

  committed
  2aa6494

• Merge branch 'master' into merge_tags_record

  pedrotst

  committed
  dafabe4

• Print left behind

  pedrotst

  committed
  b637a17

Commits on Sep 1, 2021

• Remove comments

  pedrotst

  committed
  0bb9555

• Fix decode of existential variables

  pedrotst

  committed
  84df99e

Commits on Aug 18, 2021

• Remove spurious file

  pedrotst

  committed
  8d901a9

• Comments functions and clears spurious whitelines

  pedrotst

  committed
  4ba909d

• Delete old comments

  pedrotst

  committed
  979f046

• Reindent function

  pedrotst

  committed
  c4d962f

Commits on Jul 16, 2021

• Fix conflicts with master

  pedrotst

  committed
  508cac0

Commits on Jul 14, 2021

• Removes dead code and comments

  pedrotst

  committed
  c61264f

Commits on Jul 12, 2021

• Add better error message for unsupported module signature

  clarus

  committed
  3cea323

Commits on Jul 7, 2021

• Removes dangling comments

  pedrotst

  committed
  a5eff55

• Removes dangling comments

  pedrotst

  committed
  609eabf

• Add module cast for the return type of a functor

  clarus

  committed
  fb48fb8

Commits on Jul 6, 2021

• constr_tag won't show the full path anymore

  pedrotst

  committed
  d4e3607

• FIX: case when we have tags mixed with regular params

  pedrotst

  committed
  89c62e2

• Attribute to disable existential

  pedrotst

  committed
  7073b76

Commits on Jul 2, 2021

• Adds disable_existential attribute

  pedrotst

  committed
  c5dbcd5

• Build existential just for printing

  pedrotst

  committed
  51c6b39

Pagination

PreviousNext