Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 17, 2020

• Merge pull request math-comp#433 from math-comp/output-test

  CohenCyril

  authored
  bff7cdf

• Merge pull request math-comp#588 from pi8027/fix-big-meet-join

  CohenCyril

  authored
  09954b1

• Fix big meet and join notations for dual_display, and add 0^d and 1^d notations

  pi8027

  committed
  15e57ba

Commits on Sep 16, 2020

• Merge pull request math-comp#594 from chdoc/contra-not-neq

  CohenCyril

  authored
  98315a4

• add missing contra lemmas (fixes math-comp#587)

  chdoc

  committed
  ddac4a5

Commits on Sep 14, 2020

• don't use all.v in output.v

  gares

  committed
  38b28c7

• test-suite works both in local and system wide mode

  gares

  committed
  755068f

Commits on Sep 12, 2020

• avoid all.vo

  gares

  committed
  cfa2192

Commits on Sep 11, 2020

• avoid rebuild

  gares

  committed
  a28ed91

• Update mathcomp/Makefile.test-suite.coq.local

  

  gares

  and

  erikmd

  authored
  bcbf085

• coq 8.13 does not exists yet

  gares

  committed
  4c35b30

• fix 8.9, 8.8 and 8.7

  gares

  committed
  f3ad953

• rm docker run

  gares

  committed
  8d17e97

Commits on Sep 10, 2020

• fix

  gares

  committed
  39d3e31

• new attempt

  gares

  committed
  c7b1927

• Update mathcomp/Makefile.test-suite.coq.local

  

  gares

  and

  erikmd

  authored
  ff61778

• Update mathcomp/Makefile.test-suite.coq.local

  

  gares

  and

  erikmd

  authored
  18edef7

• Update mathcomp/Makefile.test-suite.coq.local

  

  gares

  and

  erikmd

  authored
  8bfcb13

Commits on Sep 9, 2020

• Merge pull request math-comp#492 from CohenCyril/big_rmcond

  pi8027

  authored
  c2e7bad

• Merge pull request math-comp#578 from CohenCyril/contra_le

  pi8027

  authored
  b28d7cd

• default reference file for < 8.12

  gares

  committed
  c0214cd

Commits on Sep 8, 2020

• Merge pull request math-comp#566 from CohenCyril/sub_sums_genmxP

  thery

  authored
  312a40c

• Adding sub_sums_genmxP (generalizes sub_sumsmxP)

  CohenCyril

  committed
  4a6bb95

• Merge pull request math-comp#573 from CohenCyril/horner_diag

  thery

  authored
  be33b7f

• Merge pull request math-comp#577 from CohenCyril/mulmxP

  affeldt-aist

  authored
  e92551c

• Merge pull request math-comp#567 from CohenCyril/find_split

  gares

  authored
  b069769

• Lemma mul_rvP

  CohenCyril

  committed
  5d90649

Commits on Sep 7, 2020

• split_find_nth and split_find lemmas

  CohenCyril

  committed
  8710f75

• Merge pull request math-comp#562 from CohenCyril/rowcol_dlrsubmx

  gares

  authored
  c43abda

• Adding [row|col]_[udlr]submx lemmas

  CohenCyril

  committed
  c2721f5

• [test suite] infrastructure to test how some statements are printed

  gares

  committed
  bc0a710

• compat Coq < 8.10

  CohenCyril

  committed
  ed040ad

• Refactoring proof of det_trig and spawning sublemmas

  CohenCyril

  committed
  abb204c

• Polynomial evaluation and minimal poly of a diagonal matrix

  CohenCyril

  committed
  e7067ea

• Merge pull request math-comp#557 from erikmd/lighten-nightly-build

  CohenCyril

  authored
  9adc523

Pagination

PreviousNext