Commits

Commit history

1. Commits on Sep 10, 2025

   • Java: Consolidate Assertions.qll and Preconditions.qll.

     aschackmull

     committed
     3815503View commit details

     Copy full SHA for 3815503

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

   • Merge remote-tracking branch 'github/main' into kaspersv/overlay-java-annotations

     kaspersv

     committed
     9d2dd78View commit details

     Copy full SHA for 9d2dd78

     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
3. Commits on Jun 24, 2025

   • Overlay: Add overlay annotations to Java & shared libraries

     kaspersv

     committed
     c207cfdView commit details

     Copy full SHA for c207cfd

     View code at this pointBrowse repository at this point
4. Commits on May 21, 2025

   • Java: Deprecate redundant basic block predicates.

     aschackmull

     committed
     db01828View commit details

     Copy full SHA for db01828

     View code at this pointBrowse repository at this point

   • Java: Use the shared BasicBlocks library.

     aschackmull

     committed
     f202586View commit details

     Copy full SHA for f202586

     View code at this pointBrowse repository at this point
5. Commits on Nov 30, 2023

   • autoformat

     smowton

     committed
     53ca8e5View commit details

     Copy full SHA for 53ca8e5

     View code at this pointBrowse repository at this point

   • Introduce and use SwitchBlock instead of StmtParent for switch-statement-or-expression

     smowton

     committed
     633b92dView commit details

     Copy full SHA for 633b92d

     View code at this pointBrowse repository at this point

   • Expose getFirstPatternCase, not getPatternCase/2

     smowton

     committed
     6f3bff1View commit details

     Copy full SHA for 6f3bff1

     View code at this pointBrowse repository at this point

   • Eliminate duplicate predicate

     smowton

     committed
     40464edView commit details

     Copy full SHA for 40464ed

     View code at this pointBrowse repository at this point

   • Avoid quadratic switch case intermediate

     smowton

     committed
     9b5b496View commit details

     Copy full SHA for 9b5b496

     View code at this pointBrowse repository at this point

   • Revert unnecessary exists statement

     smowton

     committed
     ef6ea71View commit details

     Copy full SHA for ef6ea71

     View code at this pointBrowse repository at this point

   • Make DefaultCase include NullDefaultCase

     smowton

     committed
     6e868d2View commit details

     Copy full SHA for 6e868d2

     View code at this pointBrowse repository at this point

   • Handle 'case null, default:'

     smowton

     committed
     54a89d6View commit details

     Copy full SHA for 54a89d6

     View code at this pointBrowse repository at this point
6. Commits on Oct 24, 2023

   • Mass-rename MethodAccess -> MethodCall

     smowton

     authored
     f552a15View commit details

     Copy full SHA for f552a15

     View code at this pointBrowse repository at this point
7. Commits on Oct 9, 2023

   • Java: delete various outdated deprecations

     erik-krogh

     committed
     e3e8f3dView commit details

     Copy full SHA for e3e8f3d

     View code at this pointBrowse repository at this point
8. Commits on Sep 28, 2023

   • Java: Add guards logic for SwitchExpr default cases.

     aschackmull

     committed
     9455607View commit details

     Copy full SHA for 9455607

     View code at this pointBrowse repository at this point
9. Commits on Jun 2, 2023

   • delete old deprecations

     erik-krogh

     committed
     44b6366View commit details

     Copy full SHA for 44b6366

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

    • Autoformat and fix typo

      smowton

      committed
      2829770View commit details

      Copy full SHA for 2829770

      View code at this pointBrowse repository at this point
11. Commits on Mar 22, 2022

    • Refactor to conditionCheckArgument deprecate old method

      JLLeitschuh

      committed
      bd87be6View commit details

      Copy full SHA for bd87be6

      View code at this pointBrowse repository at this point
12. 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
13. 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
14. Commits on Jan 21, 2022

    • Java: Use more set literal syntax.

      aschackmull

      committed
      5f7ee33View commit details

      Copy full SHA for 5f7ee33

      View code at this pointBrowse repository at this point

    • Java: Add support for bitwise compound assignments in Guards.

      aschackmull

      committed
      41d2942View commit details

      Copy full SHA for 41d2942

      View code at this pointBrowse repository at this point
15. Commits on Aug 19, 2021

    • Packaging: Java refactoring

      Show description for 8e750f1
      aeisenberg

      committed
      8e750f1View commit details

      Copy full SHA for 8e750f1

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