Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 1, 2019

• Merge pull request coq-community#49 from mattam82/pr9918-overlay

  Show description for 4b50b55
  palmskog

  authored
  4b50b55

• Remove unnecessary #[universes(template)] annotations

  mattam82

  committed
  1f91f5d

Commits on Jun 10, 2019

• Merge pull request coq-community#47 from ejgallego/proof_global+move_termination_routine_out

  Show description for 4869852
  ppedrot

  authored
  4869852

Commits on Jun 9, 2019

• Merge pull request coq-community#48 from SkySkimmer/depr-lemma-with

  Show description for 5a054f9
  ppedrot

  authored
  5a054f9

Commits on Jun 7, 2019

• Stop using Lemma ... with ... (anticipate deprecation)

  SkySkimmer

  committed
  33737c4

Commits on Jun 5, 2019

• [coq] Overlay for coq/coq#9566

  ejgallego

  committed
  86cb743

Commits on May 16, 2019

• Merge pull request coq-community#43 from coq-community/update-templates-new

  Show description for 775590a
  palmskog

  authored
  775590a

• update meta.yml and regenerate from templates

  palmskog

  committed
  63ef08c

Commits on May 7, 2019

• Merge pull request coq-community#42 from ppedrot/cleanup-logic-convert-hyp

  Show description for 3b156bf
  palmskog

  authored
  3b156bf

Commits on May 6, 2019

• Adapt to coq/coq#10052.

  ppedrot

  committed
  2331ca1

Commits on Apr 1, 2019

• Merge pull request coq-community#40 from fakusb/fix-depricated

  Show description for 071d4da
  fakusb

  authored
  071d4da

• -binding of ocaml-code to coq constants is now via "Register."

  Show description for 3b66a04
  fakusb

  committed
  3b66a04

• Merge pull request coq-community#39 from fakusb/fix-warning

  Show description for 3b388da
  fakusb

  authored
  3b388da

• removed uneeded function

  

  ejgallego

  authored and

  fakusb

  committed
  c388723

Commits on Mar 29, 2019

• [coq] Adapt to coq/coq#9129 "removal of imperative proof state"

  Show description for cda7a2d
  

  ejgallego

  authored and

  vbgl

  committed
  cda7a2d

Commits on Mar 20, 2019

• Merge pull request coq-community#34 from fakusb/new-proof-engine

  Show description for 511a4e1
  fakusb

  authored
  511a4e1

• Now uses Proofview and removed CPS at various points

  fakusb

  committed
  ac7fcbe

Commits on Mar 15, 2019

• Merge pull request coq-community#28 from SkySkimmer/sprop

  Show description for 04ae275
  Zimmi48

  authored
  04ae275

Commits on Feb 20, 2019

• Merge pull request coq-community#33 from ejgallego/fix_warnings

  Show description for 9ae4da7
  fakusb

  authored
  9ae4da7

• [coq] Fix OCaml warnings.

  Show description for a58710c
  ejgallego

  committed
  a58710c

Commits on Feb 5, 2019

• Merge pull request coq-community#30 from coq-community/update-templates-license

  Show description for 2ae12cb
  palmskog

  authored
  2ae12cb

• regenerate opam file from latest template

  palmskog

  committed
  ed121e5

Commits on Jan 30, 2019

• Update coq.cachix.org public key.

  Zimmi48

  committed
  a5ccaaa

Commits on Jan 25, 2019

• Adapt to coq/coq#8817 (SProp)

  SkySkimmer

  committed
  734ecd4

Commits on Jan 2, 2019

• Merge branch 'v8.9'

  palmskog

  committed
  7960457

• update meta.yml with paper info, regenerate README.md

  palmskog

  committed
  78dc44b

Commits on Dec 22, 2018

• Merge pull request coq-community#29 from maximedenes/no-refine-instance

  Show description for f478ca6
  palmskog

  authored
  f478ca6

• Do not rely on Refine Instance Mode

  Show description for 45a50c9
  maximedenes

  committed
  45a50c9

Commits on Dec 19, 2018

• merged from v8.9

  palmskog

  committed
  97a0021

Commits on Dec 18, 2018

• add copyright header in license and specify SPDX license info

  palmskog

  committed
  4394be4

Commits on Dec 13, 2018

• Merge pull request coq-community#27 from SkySkimmer/auto-template-warn

  Show description for a4f8ce8
  palmskog

  authored
  a4f8ce8

• Adapt to coq/coq#8488 (warning on automatic template polymorphism)

  Show description for 0351c73
  SkySkimmer

  committed
  0351c73

Commits on Dec 6, 2018

• Merge pull request coq-community#26 from coq-community/build-adjustments

  Show description for d7164e7
  palmskog

  authored
  d7164e7

• more in core db

  palmskog

  committed
  5a71d30

• Hint Resolve in core, explicitly

  palmskog

  committed
  afed923

Pagination

PreviousNext