Commits

Commit history

1. Commits on May 7, 2026

   • C#/Java: Accept test changes.

     aschackmull

     committed
     6b6df37View commit details

     Copy full SHA for 6b6df37

     View code at this pointBrowse repository at this point
2. Commits on Mar 4, 2026

   • Java: Align BinaryExpr.getOp() with AssignOp.getOp().

     aschackmull

     committed
     3c129fcView commit details

     Copy full SHA for 3c129fc

     View code at this pointBrowse repository at this point
3. Commits on Feb 23, 2026

   • Java: Accept guards test changes for revised switch CFG.

     aschackmull

     committed
     e0eb653View commit details

     Copy full SHA for e0eb653

     View code at this pointBrowse repository at this point

   • Java: Adjust BasicBlock-based qltests.

     aschackmull

     committed
     12b9999View commit details

     Copy full SHA for 12b9999

     View code at this pointBrowse repository at this point
4. Commits on Sep 12, 2025

   • Java: Accept guards test results.

     aschackmull

     committed
     e8f1ec6View commit details

     Copy full SHA for e8f1ec6

     View code at this pointBrowse repository at this point
5. Commits on Sep 10, 2025

   • Java: Accept test output.

     aschackmull

     committed
     b5c7bc1View commit details

     Copy full SHA for b5c7bc1

     View code at this pointBrowse repository at this point
6. Commits on Aug 7, 2025

   • Guards: Add support for wrappers that may throw exceptions.

     aschackmull

     committed
     f90b6abView commit details

     Copy full SHA for f90b6ab

     View code at this pointBrowse repository at this point

   • Guards: Generalise wrapper guards.

     aschackmull

     committed
     0c31a80View commit details

     Copy full SHA for 0c31a80

     View code at this pointBrowse repository at this point
7. Commits on Jul 17, 2025

   • Java: Accept test changes.

     aschackmull

     committed
     e7a6259View commit details

     Copy full SHA for e7a6259

     View code at this pointBrowse repository at this point
8. Commits on Jun 26, 2025

   • Java: Fix qltests

     aschackmull

     committed
     42b1b12View commit details

     Copy full SHA for 42b1b12

     View code at this pointBrowse repository at this point

   • Java: Switch to the shared Guards library.

     aschackmull

     committed
     5c0dcd9View commit details

     Copy full SHA for 5c0dcd9

     View code at this pointBrowse repository at this point

   • Shared: Bugfix for unique value implication.

     aschackmull

     committed
     22d5dc9View commit details

     Copy full SHA for 22d5dc9

     View code at this pointBrowse repository at this point

   • Java: Add guards-logic qltest with inline expectation.

     aschackmull

     committed
     a0c8491View commit details

     Copy full SHA for a0c8491

     View code at this pointBrowse repository at this point
9. Commits on Mar 21, 2022

   • Refactor Preconditions and add Tests

     JLLeitschuh

     committed
     b3ee1bdView commit details

     Copy full SHA for b3ee1bd

     View code at this pointBrowse repository at this point
10. Commits on Mar 19, 2022

    • [Java]: Add precondition support for testing library asserts

      JLLeitschuh

      committed
      1d02753View commit details

      Copy full SHA for 1d02753

      View code at this pointBrowse repository at this point
11. Commits on Jun 3, 2021

    • Java: Adjust toString() for statements

      Marcono1234

      committed
      e0a4550View commit details

      Copy full SHA for e0a4550

      View code at this pointBrowse repository at this point

    • Java: Override toString() for statements

      Show description for 7e778bc
      Marcono1234

      committed
      7e778bcView commit details

      Copy full SHA for 7e778bc

      View code at this pointBrowse repository at this point
12. Commits on Feb 9, 2021

    • Java: fix javac errors in test code

      yo-h

      committed
      e194411View commit details

      Copy full SHA for e194411

      View code at this pointBrowse repository at this point
13. Commits on Jan 30, 2020

    • Java: Deprecate ParExpr.

      aschackmull

      committed
      75c549bView commit details

      Copy full SHA for 75c549b

      View code at this pointBrowse repository at this point
14. Commits on Apr 2, 2019

    • Java: Support precondition calls as guards.

      aschackmull

      committed
      b1e364bView commit details

      Copy full SHA for b1e364b

      View code at this pointBrowse repository at this point
15. Commits on Oct 11, 2018

    • Java: Autoformat most queries.

      aschackmull

      committed
      dd5a8f0View commit details

      Copy full SHA for dd5a8f0

      View code at this pointBrowse repository at this point
16. Commits on Aug 30, 2018

    • Migrate Java code to separate QL repo.

      pavgust

      committed
      846c9d5View commit details

      Copy full SHA for 846c9d5

      View code at this pointBrowse repository at this point
17. Loading