Commits

Commit history

1. Commits on May 8, 2025

   • Merge pull request #86 from Copilot-Language/T85-release-4.4

     Show description for cea9f8e
     RyanGlScott

     authored
     cea9f8eView commit details

     Copy full SHA for cea9f8e

     Browse repository at this point

   • Document changes in CHANGELOG. Refs #85.

     RyanGlScott

     committed
     d20fc8fView commit details

     Copy full SHA for d20fc8f

     Browse repository at this point

   • Require building with Copilot 4.4. Refs #85.

     RyanGlScott

     committed
     15f5b03View commit details

     Copy full SHA for 15f5b03

     Browse repository at this point
2. Commits on Mar 10, 2025

   • Merge pull request #83 from Copilot-Language/T82-release-4.3

     Show description for a65b91b
     RyanGlScott

     authored
     a65b91bView commit details

     Copy full SHA for a65b91b

     Browse repository at this point

   • Document changes in CHANGELOG. Refs #82.

     RyanGlScott

     committed
     94923b2View commit details

     Copy full SHA for 94923b2

     Browse repository at this point

   • Require building with Copilot 4.3. Refs #82.

     Show description for 09f3a8d
     RyanGlScott

     committed
     09f3a8dView commit details

     Copy full SHA for 09f3a8d

     Browse repository at this point
3. Commits on Feb 3, 2025

   • Merge pull request #81 from Copilot-Language/T79-IEEE-option

     Show description for 62f2d9d
     RyanGlScott

     authored
     62f2d9dView commit details

     Copy full SHA for 62f2d9d

     Browse repository at this point

   • Document changes in the CHANGELOG. Refs #79.

     RyanGlScott

     committed
     de7b226View commit details

     Copy full SHA for de7b226

     Browse repository at this point

   • Add smtFloatMode option to VerifierOptions. Refs #79.

     Show description for ccfde2f
     RyanGlScott

     committed
     ccfde2fView commit details

     Copy full SHA for ccfde2f

     Browse repository at this point
4. Commits on Jan 31, 2025

   • Merge pull request #80 from Copilot-Language/T78-configure-smt-solver

     Show description for 737c6af
     RyanGlScott

     authored
     737c6afView commit details

     Copy full SHA for 737c6af

     Browse repository at this point

   • Document changes in the CHANGELOG. Refs #78.

     RyanGlScott

     committed
     e25c954View commit details

     Copy full SHA for e25c954

     Browse repository at this point

   • Add smtSolver option to VerifierOptions. Refs #78.

     Show description for bd3e8a4
     RyanGlScott

     committed
     bd3e8a4View commit details

     Copy full SHA for bd3e8a4

     Browse repository at this point
5. Commits on Jan 20, 2025

   • Merge pull request #77 from Copilot-Language/T76-copilot-verifier-4.2

     Show description for 93d09ce
     RyanGlScott

     authored
     93d09ceView commit details

     Copy full SHA for 93d09ce

     Browse repository at this point

   • Document changes in the CHANGELOG. Refs #76.

     RyanGlScott

     committed
     c355139View commit details

     Copy full SHA for c355139

     Browse repository at this point

   • Require building with Copilot 4.2. Refs #76.

     RyanGlScott

     committed
     201efc1View commit details

     Copy full SHA for 201efc1

     Browse repository at this point

   • Merge pull request #75 from Copilot-Language/T74-reject-multiple-triggers-same-name

     Show description for 26d5649
     RyanGlScott

     authored
     26d5649View commit details

     Copy full SHA for 26d5649

     Browse repository at this point

   • Document changes in the CHANGELOG. Refs #74.

     RyanGlScott

     committed
     67b270eView commit details

     Copy full SHA for 67b270e

     Browse repository at this point

   • Reject multiple triggers with the same name. Refs #74.

     Show description for f694d21
     RyanGlScott

     committed
     f694d21View commit details

     Copy full SHA for f694d21

     Browse repository at this point
6. Commits on Nov 8, 2024

   • Merge pull request #73 from Copilot-Language/T72-copilot-verifier-4.1

     Show description for 9021bcc
     RyanGlScott

     authored
     9021bccView commit details

     Copy full SHA for 9021bcc

     Browse repository at this point

   • Document changes in the CHANGELOG. Refs #72.

     RyanGlScott

     committed
     073ae58View commit details

     Copy full SHA for 073ae58

     Browse repository at this point

   • Require building with Copilot 4.1. Refs #72.

     RyanGlScott

     committed
     19cfb9bView commit details

     Copy full SHA for 19cfb9b

     Browse repository at this point
7. Commits on Sep 9, 2024

   • Document changes in the CHANGELOG. Refs #69.

     RyanGlScott

     committed
     e366e4bView commit details

     Copy full SHA for e366e4b

     Browse repository at this point

   • Bump version to 4.0. Refs #69.

     RyanGlScott

     committed
     ef38decView commit details

     Copy full SHA for ef38dec

     Browse repository at this point

   • Document changes in the CHANGELOG. Refs #57.

     RyanGlScott

     committed
     a8114e2View commit details

     Copy full SHA for a8114e2

     Browse repository at this point

   • Add example demonstrating struct update support. Refs #57.

     Show description for 3abfa12
     RyanGlScott

     committed
     3abfa12View commit details

     Copy full SHA for 3abfa12

     Browse repository at this point

   • Document changes in the CHANGELOG. Refs #63.

     RyanGlScott

     committed
     bdae7f3View commit details

     Copy full SHA for bdae7f3

     Browse repository at this point

   • Add example demonstrating array update support. Fixes #63.

     Show description for e8c5a76
     RyanGlScott

     committed
     e8c5a76View commit details

     Copy full SHA for e8c5a76

     Browse repository at this point

   • Require building with Copilot 4.0. Refs #63.

     Show description for 94b19e0
     RyanGlScott

     committed
     94b19e0View commit details

     Copy full SHA for 94b19e0

     Browse repository at this point
8. Commits on Sep 3, 2024

   • Document changes in CHANGELOG. Refs #65.

     RyanGlScott

     committed
     e6e0cf9View commit details

     Copy full SHA for e6e0cf9

     Browse repository at this point

   • CI: Build against GHC 9.4 through 9.8. Refs #65.

     Show description for d9d3275
     RyanGlScott

     committed
     d9d3275View commit details

     Copy full SHA for d9d3275

     Browse repository at this point

   • Document changes in CHANGELOG. Refs #64.

     RyanGlScott

     committed
     2506c2fView commit details

     Copy full SHA for 2506c2f

     Browse repository at this point

   • Support building with crucible-llvm-0.7 and crux-llvm-0.9. Refs #64.

     Show description for 45bcde8
     RyanGlScott

     committed
     45bcde8View commit details

     Copy full SHA for 45bcde8

     Browse repository at this point
9. Commits on Jul 30, 2024

   • Document changes in CHANGELOG. Refs #51.

     RyanGlScott

     committed
     c753c51View commit details

     Copy full SHA for c753c51

     Browse repository at this point

   • Better distinguish between durable and non-durable proof goals. Refs #51.

     Show description for f621727
     RyanGlScott

     committed
     f621727View commit details

     Copy full SHA for f621727

     Browse repository at this point
10. Commits on Jul 19, 2024

    • Document changes in CHANGELOG. Refs #52.

      RyanGlScott

      committed
      fa57993View commit details

      Copy full SHA for fa57993

      Browse repository at this point