Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 17, 2023

• Same player try again.

  Matafou

  committed
  1aa8bb5
  More actions

• Fix again.

  Matafou

  committed
  ad47f7a
  More actions

• Fixing workflow.

  Matafou

  committed
  df27e5d
  More actions

• Fixing Required LibSpecialize.

  Matafou

  committed
  2f83eaf
  More actions

Commits on Dec 15, 2023

• New attempt at fixing ci-libhyps.yml

  Matafou

  authored
  775b9f2
  More actions

• Fixing ci-libhyps.yml

  Matafou

  authored
  8f283ed
  More actions

• Update ci-libhyps.yml to use coq_makefile

  Matafou

  authored
  93ef758
  More actions

• Un plugging especialize because it does not work in coq-8.18.

  Matafou

  committed
  5168a2d
  More actions

Commits on Nov 21, 2023

• Update coq-libhyps.opam to coq 8.19.

  Matafou

  authored
  89ef46d
  More actions

• Update ci-libhyps.yml to enable tests

  Matafou

  authored
  4b70775
  More actions

• Update coq-libhyps.opam: simplified test entry.

  Matafou

  authored
  d5a7e08
  More actions

• Update coq-libhyps.opam with tests.

  Matafou

  authored
  eb9f276
  More actions

• Create ci-libhyps.yml

  Matafou

  authored
  8cadd60
  More actions

Commits on Jun 20, 2023

• Update README.md

  Matafou

  authored
  5466371
  More actions

Commits on Dec 12, 2022

• clarify doc.

  Matafou

  committed
  3729e94
  More actions

Commits on Dec 9, 2022

• Documenting especialize new options.

  Matafou

  committed
  b843f16
  More actions

Commits on Sep 9, 2022

• Merge pull request #10 from palmskog/fix-license-opam

  Matafou

  authored
  a508423
  More actions

Commits on Sep 7, 2022

• unambiguously license all files under MIT

  palmskog

  committed
  4164f94
  More actions

• synchronize opam file with coq-opam-archive version

  palmskog

  committed
  6c82ca9
  More actions

Commits on Jan 27, 2022

• Small modificatons in demo.v.

  Matafou

  committed
  7e9c895
  More actions

• Màj de la présentation de la démo.

  Matafou

  committed
  5956a13
  More actions

Commits on Nov 18, 2021

• Fixed wrong use of tactic move + optim + tests adapted.

  Matafou

  committed
  2155fbf
  More actions

Commits on Nov 17, 2021

• Fix incompatibility with coq-8.14.

  Matafou

  committed
  daf1103
  More actions

Commits on Nov 15, 2021

• compatibility with coq-v8.14.

  Matafou

  committed
  5f01288
  More actions

Commits on Aug 30, 2021

• Update README.md

  Matafou

  authored
  3522522
  More actions

Commits on Jul 6, 2021

• Switching to MIT license.

  Matafou

  committed
  c3070a1
  More actions

Commits on Jun 30, 2021

• Add a known bug in README + Fixed the url of demo.v the README file.

  Matafou

  committed
  c5566cd
  More actions

• Fixing demo link, and officializing the demo file as documentation.

  Matafou

  committed
  ac07e8d
  More actions

• Making the demo more self-explained.

  Matafou

  committed
  63d8de6
  More actions

• The demo file is the actual documentation.

  Matafou

  committed
  499e3c4
  More actions

• Updating the demo with the new options of especialize.

  Matafou

  committed
  6e0440d
  More actions

Commits on Jun 29, 2021

• Merge branch 'master' into especialize_multiple

  Matafou

  committed
  afdac86
  More actions

• README typos.

  Matafou

  committed
  83af6b7
  More actions

• demo adjustments.

  Matafou

  committed
  04044fb
  More actions

• Fixing decomp (with the "idtac;" trick).

  Matafou

  committed
  96411bc
  More actions

Pagination

PreviousNext