Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 8, 2025

• Merge branch 'release-4.3'. Close #604.

  Show description for e042933
  ivanperez-keera

  committed
  e042933

  Copy full SHA for e042933

• Document changes in CHANGELOG. Refs #604.

  ivanperez-keera

  committed
  04f7bc4

  Copy full SHA for 04f7bc4

• Bump versions and constraints. Refs #604.

  ivanperez-keera

  committed
  bfc176a

  Copy full SHA for bfc176a

Commits on Mar 7, 2025

• Merge branch 'develop-deprecate-arrayAccess'. Close #599.

  Show description for 4e22d07
  ivanperez-keera

  committed
  4e22d07

  Copy full SHA for 4e22d07

• copilot-libraries: Document changes in CHANGELOG. Refs #599.

  ivanperez-keera

  committed
  7d22a1b

  Copy full SHA for 7d22a1b

• copilot-language: Document changes in CHANGELOG. Refs #599.

  ivanperez-keera

  committed
  f5bad96

  Copy full SHA for f5bad96

• copilot-libraries: Remove deprecated function Copilot.Library.Utils.(!!). Refs #599.

  Show description for 7414eba
  ivanperez-keera

  committed
  7414eba

  Copy full SHA for 7414eba

• copilot-language: Remove deprecated function Copilot.Language.Operators.Array.(.!!). Refs #599.

  Show description for 83086bf
  ivanperez-keera

  committed
  83086bf

  Copy full SHA for 83086bf

• Merge branch 'develop-what4-respect-quantifiers-T254'. Close #254.

  Show description for ca626c0
  ivanperez-keera

  committed
  ca626c0

  Copy full SHA for ca626c0

Commits on Mar 6, 2025

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

  RyanGlScott

  committed
  700508a

  Copy full SHA for 700508a

• copilot-prettyprinter: Document changes in CHANGELOG. Refs #254.

  RyanGlScott

  committed
  88a67f5

  Copy full SHA for 88a67f5

• copilot-language: Document changes in CHANGELOG. Refs #254.

  RyanGlScott

  committed
  b4664cd

  Copy full SHA for b4664cd

• copilot-core: Document changes in CHANGELOG. Refs #254.

  RyanGlScott

  committed
  3ea5f12

  Copy full SHA for 3ea5f12

• copilot-theorem: Reject existentially quantified propositions in What4 backend. Refs #254.

  Show description for d139242
  RyanGlScott

  committed
  d139242

  Copy full SHA for d139242

Commits on Mar 5, 2025

• copilot-theorem: Preserve proposition quantifiers. Refs #254.

  Show description for bce4c10
  RyanGlScott

  committed
  bce4c10

  Copy full SHA for bce4c10

• copilot-prettyprinter: Preserve proposition quantifiers. Refs #254.

  Show description for 8e46a13
  RyanGlScott

  committed
  8e46a13

  Copy full SHA for 8e46a13

• copilot-language: Preserve proposition quantifiers. Refs #254.

  Show description for 0c3e702
  RyanGlScott

  committed
  0c3e702

  Copy full SHA for 0c3e702

• copilot-core: Preserve proposition quantifiers. Refs #254.

  Show description for 5b08e81
  RyanGlScott

  committed
  5b08e81

  Copy full SHA for 5b08e81

• Merge branch 'dev-readme-installation'. Close #597.

  Show description for 0845db1
  ivanperez-keera

  committed
  0845db1

  Copy full SHA for 0845db1

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

  ivanperez-keera

  committed
  ea702c9

  Copy full SHA for ea702c9

• copilot: List all Copilot packages in installation command in README. Refs #597.

  Show description for 6061af7
  ivanperez-keera

  committed
  6061af7

  Copy full SHA for 6061af7

Commits on Feb 28, 2025

• Merge branch 'develop-copilot-theorem-counterexamples-take-three'. Close #589.

  Show description for f39b9da
  ivanperez-keera

  committed
  f39b9da

  Copy full SHA for f39b9da

Commits on Feb 27, 2025

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

  RyanGlScott

  committed
  9861071

  Copy full SHA for 9861071

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

  RyanGlScott

  committed
  134bbdc

  Copy full SHA for 134bbdc

• copilot-core: Document changes in CHANGELOG. Refs #589.

  RyanGlScott

  committed
  a3d2310

  Copy full SHA for a3d2310

• copilot: Add example of how to use proveWithCounterExample. Refs #589.

  Show description for ed24a0e
  RyanGlScott

  committed
  ed24a0e

  Copy full SHA for ed24a0e

• copilot-theorem: Add test cases for proveWithCounterExample. Refs #589.

  Show description for 0727256
  RyanGlScott

  committed
  0727256

  Copy full SHA for 0727256

• copilot-theorem: Add Show and ShowF instances for counterexamples. Refs #589.

  Show description for 8d2a643
  RyanGlScott

  committed
  8d2a643

  Copy full SHA for 8d2a643

• copilot-theorem: Add function to produce counterexamples for invalid properties. Refs #589.

  Show description for c5ea1c0
  RyanGlScott

  committed
  c5ea1c0

  Copy full SHA for c5ea1c0

• copilot-theorem: Add XEmptyArray and XArray cases for valFromExpr. Refs #589.

  Show description for e23df09
  RyanGlScott

  committed
  e23df09

  Copy full SHA for e23df09

Commits on Feb 24, 2025

• copilot-theorem: Record Typed evidence in XEmptyArray and XArray. Refs #589.

  Show description for 86d7543
  RyanGlScott

  committed
  86d7543

  Copy full SHA for 86d7543

• copilot-core: Add Show instance for Type. Refs #589.

  Show description for 0bd29d5
  RyanGlScott

  committed
  0bd29d5

  Copy full SHA for 0bd29d5

Commits on Feb 3, 2025

• Merge branch 'develop-readme-ghc9.10'. Close #590.

  Show description for e234f1b
  ivanperez-keera

  committed
  e234f1b

  Copy full SHA for e234f1b

Commits on Jan 31, 2025

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

  estherdconrad

  committed
  c1829da

  Copy full SHA for c1829da

• copilot: Update version of GHC in README. Refs #590.

  Show description for 565d016
  estherdconrad

  committed
  565d016

  Copy full SHA for 565d016

Pagination

Previous

Next