Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Feb 23, 2026

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

  aschackmull

  committed
  e0eb653

  Copy full SHA for e0eb653

Commits on Sep 12, 2025

• Java: Accept guards test results.

  aschackmull

  committed
  e8f1ec6

  Copy full SHA for e8f1ec6

Commits on Aug 7, 2025

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

  aschackmull

  committed
  f90b6ab

  Copy full SHA for f90b6ab

• Guards: Generalise wrapper guards.

  aschackmull

  committed
  0c31a80

  Copy full SHA for 0c31a80

Commits on Jun 26, 2025

• Java: Switch to the shared Guards library.

  aschackmull

  committed
  5c0dcd9

  Copy full SHA for 5c0dcd9

• Shared: Bugfix for unique value implication.

  aschackmull

  committed
  22d5dc9

  Copy full SHA for 22d5dc9

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

  aschackmull

  committed
  a0c8491

  Copy full SHA for a0c8491

Loading