Commits

Commit history

1. Commits on Nov 8, 2026

   • Merge branch 'release-4.8.2'. Close #792.

     Show description for d955697
     ivanperez-keera

     committed
     d955697View commit details

     Copy full SHA for d955697

     Browse repository at this point

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

     ivanperez-keera

     committed
     8049dbbView commit details

     Copy full SHA for 8049dbb

     Browse repository at this point

   • copilot-visualizer: Document changes in CHANGELOG. Refs #792.

     ivanperez-keera

     committed
     11c0601View commit details

     Copy full SHA for 11c0601

     Browse repository at this point

   • copilot-verifier: Document changes in CHANGELOG. Refs #792.

     ivanperez-keera

     committed
     090ff4eView commit details

     Copy full SHA for 090ff4e

     Browse repository at this point

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

     ivanperez-keera

     committed
     1efa2d7View commit details

     Copy full SHA for 1efa2d7

     Browse repository at this point

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

     ivanperez-keera

     committed
     184eaeaView commit details

     Copy full SHA for 184eaea

     Browse repository at this point

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

     ivanperez-keera

     committed
     c6dcc87View commit details

     Copy full SHA for c6dcc87

     Browse repository at this point

   • copilot-interpreter: Document changes in CHANGELOG. Refs #792.

     ivanperez-keera

     committed
     3b79a5bView commit details

     Copy full SHA for 3b79a5b

     Browse repository at this point

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

     ivanperez-keera

     committed
     c8e5d84View commit details

     Copy full SHA for c8e5d84

     Browse repository at this point

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

     ivanperez-keera

     committed
     3096f93View commit details

     Copy full SHA for 3096f93

     Browse repository at this point

   • copilot-bluespec: Document changes in CHANGELOG. Refs #792.

     ivanperez-keera

     committed
     8511f48View commit details

     Copy full SHA for 8511f48

     Browse repository at this point

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

     ivanperez-keera

     committed
     9a6a2d4View commit details

     Copy full SHA for 9a6a2d4

     Browse repository at this point

   • copilot: Version bump (4.8.2). Refs #792.

     ivanperez-keera

     committed
     82d2e07View commit details

     Copy full SHA for 82d2e07

     Browse repository at this point

   • copilot-visualizer: Version bump (4.8.2). Refs #792.

     ivanperez-keera

     committed
     a984738View commit details

     Copy full SHA for a984738

     Browse repository at this point

   • copilot-verifier: Version bump (4.8.2). Refs #792.

     ivanperez-keera

     committed
     dabb556View commit details

     Copy full SHA for dabb556

     Browse repository at this point

   • copilot-libraries: Version bump (4.8.2). Refs #792.

     ivanperez-keera

     committed
     c97769bView commit details

     Copy full SHA for c97769b

     Browse repository at this point

   • copilot-language: Version bump (4.8.2). Refs #792.

     ivanperez-keera

     committed
     1f67ea0View commit details

     Copy full SHA for 1f67ea0

     Browse repository at this point

   • copilot-theorem: Version bump (4.8.2). Refs #792.

     ivanperez-keera

     committed
     8e714c7View commit details

     Copy full SHA for 8e714c7

     Browse repository at this point

   • copilot-interpreter: Version bump (4.8.2). Refs #792.

     ivanperez-keera

     committed
     d17de87View commit details

     Copy full SHA for d17de87

     Browse repository at this point

   • copilot-prettyprinter: Version bump (4.8.2). Refs #792.

     ivanperez-keera

     committed
     c2b0269View commit details

     Copy full SHA for c2b0269

     Browse repository at this point

   • copilot-c99: Version bump (4.8.2). Refs #792.

     ivanperez-keera

     committed
     fd210f8View commit details

     Copy full SHA for fd210f8

     Browse repository at this point

   • copilot-bluespec: Version bump (4.8.2). Refs #792.

     ivanperez-keera

     committed
     c666b71View commit details

     Copy full SHA for c666b71

     Browse repository at this point

   • copilot-core: Version bump (4.8.2). Refs #792.

     ivanperez-keera

     committed
     1a137a8View commit details

     Copy full SHA for 1a137a8

     Browse repository at this point

   • Merge branch 'develop-ci-github'. Close #790.

     Show description for a6cb7b1
     ivanperez-keera

     committed
     a6cb7b1View commit details

     Copy full SHA for a6cb7b1

     Browse repository at this point

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

     ivanperez-keera

     committed
     701880bView commit details

     Copy full SHA for 701880b

     Browse repository at this point

   • copilot: Replace Travis CI badge with Github Actions badge in README. Refs #790.

     Show description for b0e6e69
     ivanperez-keera

     committed
     b0e6e69View commit details

     Copy full SHA for b0e6e69

     Browse repository at this point

   • copilot: Remove Travis CI file. Refs #790.

     Show description for a399522
     ivanperez-keera

     committed
     a399522View commit details

     Copy full SHA for a399522

     Browse repository at this point

   • copilot: Add Github Actions workflow file. Refs #790.

     Show description for e6d4b64
     ivanperez-keera

     committed
     e6d4b64View commit details

     Copy full SHA for e6d4b64

     Browse repository at this point
2. Commits on Nov 4, 2026

   • Merge branch 'develop-libraries-random'. Close #766.

     Show description for 8dd380b
     ivanperez-keera

     committed
     8dd380bView commit details

     Copy full SHA for 8dd380b

     Browse repository at this point
3. Commits on Nov 3, 2026

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

     jamestoddgloyd

     committed
     3954875View commit details

     Copy full SHA for 3954875

     Browse repository at this point

   • copilot-libraries: Add random stream generation module. Refs #766.

     Show description for 5c32631
     jamestoddgloyd

     committed
     5c32631View commit details

     Copy full SHA for 5c32631

     Browse repository at this point
4. Commits on Oct 18, 2026

   • Merge branch 'develop-fix-core-test-size'. Close #784.

     Show description for 08f6b96
     ivanperez-keera

     committed
     08f6b96View commit details

     Copy full SHA for 08f6b96

     Browse repository at this point

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

     ivanperez-keera

     committed
     1aac617View commit details

     Copy full SHA for 1aac617

     Browse repository at this point

   • copilot-core: Fix test to use `typeSize` instead of `typeLength`. Refs #784.

     Show description for 6046703
     ivanperez-keera

     committed
     6046703View commit details

     Copy full SHA for 6046703

     Browse repository at this point

   • Merge branch 'develop-typo-core-tests-comment'. Close #783.

     Show description for 8c2048d
     ivanperez-keera

     committed
     8c2048dView commit details

     Copy full SHA for 8c2048d

     Browse repository at this point