Commits

Branch selector

 master

User selector

fdedden

Datepicker

All time

Commit History

Commits on Jan 2, 2025

• copilot-c99: Document changes in CHANGELOG. Refs #296.

  fdedden

  committed
  1d38949

  Copy full SHA for 1d38949

• copilot-c99: Disallow conflicting trigger definitions. Refs #296.

  Show description for 4cd8005
  fdedden

  committed
  4cd8005

  Copy full SHA for 4cd8005

• copilot-c99: Remove duplicate trigger declarations in .h output. Refs #296.

  Show description for 3f866c8
  fdedden

  committed
  3f866c8

  Copy full SHA for 3f866c8

• copilot-c99: Adapt top-level compilation functions to use unique triggers. Refs #296.

  Show description for c1f2738
  fdedden

  committed
  c1f2738

  Copy full SHA for c1f2738

• copilot-c99: Adapt `mkStep` to use unique triggers. Refs #296.

  Show description for e6356ef
  fdedden

  committed
  e6356ef

  Copy full SHA for e6356ef

• copilot-c99: Add specific `Trigger` representation. Refs #296.

  Show description for 5ac8092
  fdedden

  committed
  5ac8092

  Copy full SHA for 5ac8092

Commits on Oct 28, 2024

• copilot: Document changes in CHANGELOG. Refs #542.

  fdedden

  committed
  ff79683

  Copy full SHA for ff79683

Commits on Oct 24, 2024

• copilot: Add installation instructions for Fedora 40 and up. Refs #542.

  Show description for 2fbe5d2
  fdedden

  committed
  2fbe5d2

  Copy full SHA for 2fbe5d2

Commits on Jul 7, 2024

• copilot-theorem: Document changes in CHANGELOG. Refs #514.

  

  fdedden

  authored and

  ivanperez-keera

  committed
  4cf2dce

  Copy full SHA for 4cf2dce

• copilot-theorem: Bump `what4` upper bound to `< 1.7`. Refs #514.

  Show description for f1ffc11
  

  fdedden

  authored and

  ivanperez-keera

  committed
  f1ffc11

  Copy full SHA for f1ffc11

Commits on May 7, 2024

• copilot-theorem: Document changes in CHANGELOG. Refs #452.

  fdedden

  committed
  c947b3e

  Copy full SHA for c947b3e

• copilot-theorem: Remove references to old modules in README. Refs #452.

  Show description for b76c1ef
  fdedden

  committed
  b76c1ef

  Copy full SHA for b76c1ef

• copilot-theorem: Remove outdated section about proof schemes in README. Refs #452.

  Show description for 1afdeb9
  fdedden

  committed
  1afdeb9

  Copy full SHA for 1afdeb9

• copilot-theorem: Remove section about combining provers in README. Refs #452.

  Show description for a5340b4
  fdedden

  committed
  a5340b4

  Copy full SHA for a5340b4

• copilot-theorem: Remove outdated section about prover interface in README. Refs #452.

  Show description for 383f9bd
  fdedden

  committed
  383f9bd

  Copy full SHA for 383f9bd

• copilot-theorem: Update usage of `prove` in README. Refs #452.

  Show description for 0fdd6f5
  fdedden

  committed
  0fdd6f5

  Copy full SHA for 0fdd6f5

• copilot-theorem: Update installation instructions in README. Refs #452.

  Show description for 4be2777
  fdedden

  committed
  4be2777

  Copy full SHA for 4be2777

• copilot-theorem: Add `forAll` to propositions in README. Refs #452.

  Show description for 0c77e6c
  fdedden

  committed
  0c77e6c

  Copy full SHA for 0c77e6c

• copilot-theorem: Ignore output of `prop` in README. Refs #452.

  Show description for 1d616d4
  fdedden

  committed
  1d616d4

  Copy full SHA for 1d616d4

• copilot-theorem: Replace usage of Light Prover in README. Refs #452.

  Show description for beb6e28
  fdedden

  committed
  beb6e28

  Copy full SHA for beb6e28

• copilot-theorem: Remove sections about `lightProver` in README. Refs #452.

  Show description for 78d7fbe
  fdedden

  committed
  78d7fbe

  Copy full SHA for 78d7fbe

• copilot-theorem: Remove mention of non-existent `Driver.hs` in README. Refs #452.

  Show description for bdf0d63
  fdedden

  committed
  bdf0d63

  Copy full SHA for bdf0d63

Commits on Oct 31, 2022

• copilot-c99: Document changes in CHANGELOG. Refs #373.

  fdedden

  committed
  d97202d

  Copy full SHA for d97202d

• copilot-c99: Include type declarations in generated `.c` file. Refs #373.

  Show description for b40d1c4
  fdedden

  committed
  b40d1c4

  Copy full SHA for b40d1c4

• copilot-c99: Write type declarations in separate header file. Refs #373.

  Show description for 01e1016
  fdedden

  committed
  01e1016

  Copy full SHA for 01e1016

• copilot-c99: Add function to generate type declarations. Refs #373.

  Show description for 87c16d6
  fdedden

  committed
  87c16d6

  Copy full SHA for 87c16d6

• copilot-c99: Remove struct declarations from `.c` file. Refs #373.

  Show description for 6c5d49e
  fdedden

  committed
  6c5d49e

  Copy full SHA for 6c5d49e

Commits on Aug 23, 2022

• copilot-c99: Document changes in CHANGELOG. Refs #371.

  

  fdedden

  authored and

  ivanperez-keera

  committed
  18fe324

  Copy full SHA for 18fe324

• copilot-c99: Adapt to work with language-c99-simple >= 0.2. Refs #371.

  Show description for 05868c8
  

  fdedden

  authored and

  ivanperez-keera

  committed
  05868c8

  Copy full SHA for 05868c8

Commits on May 7, 2022

• Document changes in CHANGELOG. Refs #294.

  

  fdedden

  authored and

  ivanperez-keera

  committed
  dbe1e38

  Copy full SHA for dbe1e38

• Add GHC 9.0.1 to CI setup. Refs #294.

  Show description for cd2a3d4
  

  fdedden

  authored and

  ivanperez-keera

  committed
  cd2a3d4

  Copy full SHA for cd2a3d4

Commits on Jul 7, 2021

• Updated changelog. Refs #141.

  

  fdedden

  authored and

  ivanperez-keera

  committed
  71a3d11

  Copy full SHA for 71a3d11

• Deprecated the Copilot.Core.Locals module. Refs #141.

  

  fdedden

  authored and

  ivanperez-keera

  committed
  43cf085

  Copy full SHA for 43cf085

• Updated changelog. Refs #144.

  

  fdedden

  authored and

  ivanperez-keera

  committed
  d2e6382

  Copy full SHA for d2e6382

• Deprecated the Copilot.Core.Type.Read module. Refs #144.

  

  fdedden

  authored and

  ivanperez-keera

  committed
  23548ab

  Copy full SHA for 23548ab

Pagination

Previous

Next