Commits

Breadcrumbs

History for

onvc-substitution

User selector

All users

All time

Commit History

Commits on Jun 11, 2026

• Add Tests

  rcosta358

  committed
  07e0fa7

  Copy full SHA for 07e0fa7

Commits on Jun 9, 2026

• Minor Change

  rcosta358

  committed
  bd77390

  Copy full SHA for bd77390

• Refactoring

  rcosta358

  committed
  a487ea9

  Copy full SHA for a487ea9

• Fix

  rcosta358

  committed
  e486e28

  Copy full SHA for e486e28

• Replace `SimplifiedPredicate` with `SimplifiedVCImplication`

  rcosta358

  committed
  9c54833

  Copy full SHA for 9c54833

• Rename

  rcosta358

  committed
  c42edc8

  Copy full SHA for c42edc8

• Requested Changes

  rcosta358

  committed
  92f3d12

  Copy full SHA for 92f3d12

• Add Fixed Point Iteration

  rcosta358

  committed
  39e54c4

  Copy full SHA for 39e54c4

• Code Refactoring

  rcosta358

  committed
  6e4e1cd

  Copy full SHA for 6e4e1cd

• Add Comment

  rcosta358

  committed
  d55680d

  Copy full SHA for d55680d

• Code Refactoring

  rcosta358

  committed
  8adba68

  Copy full SHA for 8adba68

• Minor Changes

  rcosta358

  committed
  39be6f6

  Copy full SHA for 39be6f6

• Add Property Based Test using JUnit Quickcheck

  rcosta358

  committed
  da87af9

  Copy full SHA for da87af9

• Add `simplifyOnce`

  rcosta358

  committed
  3fc150d

  Copy full SHA for 3fc150d

• SimplifiedPredicate Follow-Up

  rcosta358

  committed
  03f1d88

  Copy full SHA for 03f1d88

• Add Comments

  rcosta358

  committed
  176f337

  Copy full SHA for 176f337

• Add VC Substitution

  rcosta358

  committed
  a61f0f7

  Copy full SHA for a61f0f7

• Minor Changes

  rcosta358

  committed
  8229c60

  Copy full SHA for 8229c60

• Formatting

  rcosta358

  committed
  3c358a9

  Copy full SHA for 3c358a9

• Requested Changes

  rcosta358

  committed
  abc5a02

  Copy full SHA for abc5a02

• Change SimplifiedExpression to SimplifiedPredicate

  rcosta358

  committed
  cfa1be1

  Copy full SHA for cfa1be1

• Add SimplifiedExpression

  rcosta358

  committed
  4091d36

  Copy full SHA for 4091d36

• Add SimplifiedPredicate (#246)

  rcosta358

  authored
  f2ee10d

  Copy full SHA for f2ee10d

• Refactor code in method checker (#247)

  Show description for c05f3fd
  CatarinaGamboa

  authored
  c05f3fd

  Copy full SHA for c05f3fd

• Fix VCImplication Ordering (#245)

  rcosta358

  authored
  026a409

  Copy full SHA for 026a409

Commits on Jun 8, 2026

• Allow interfaces to be also annotated with external refinements (#244)

  Show description for 9b3276e
  CatarinaGamboa

  authored
  9b3276e

  Copy full SHA for 9b3276e

Commits on Jun 1, 2026

• Release liquidjava-verifier 0.0.26

  rcosta358

  committed
  3ac0f36

  Copy full SHA for 3ac0f36

• Add Element Context to Exceptions (#237)

  rcosta358

  authored
  abaa461

  Copy full SHA for abaa461

• Implicit Constructor Refinements (#236)

  rcosta358

  authored
  31caa2c

  Copy full SHA for 31caa2c

Commits on May 28, 2026

• Refer return values in StateRefinements (#233)

  Show description for c151570
  

  CatarinaGamboa

  and

  rcosta358

  authored
  c151570

  Copy full SHA for c151570

Commits on May 22, 2026

• `StateRefinementError` was now shows all needed variables (#232)

  Show description for 58349fa
  CatarinaGamboa

  authored
  58349fa

  Copy full SHA for 58349fa

Commits on May 19, 2026

• Add debug info for each simplification pass (#230)

  Show description for 8805dab
  

  CatarinaGamboa

  and

  rcosta358

  authored
  8805dab

  Copy full SHA for 8805dab

Commits on May 18, 2026

• Release liquidjava-verifier 0.0.25

  rcosta358

  committed
  5259fd4

  Copy full SHA for 5259fd4

• Store Derivation Nodes in State Refinement Errors (#229)

  rcosta358

  authored
  17e9619

  Copy full SHA for 17e9619

• Release liquidjava-verifier 0.0.24

  rcosta358

  committed
  0d6f57b

  Copy full SHA for 0d6f57b