Commits

Branch selector

 counterexamples

User selector

All users

All time

Commit History

Commits on Feb 11, 2026

• Skip Uninterpreted Constants

  rcosta358

  committed
  5e003b7

  Copy full SHA for 5e003b7

• Fix

  rcosta358

  committed
  ea87100

  Copy full SHA for ea87100

• Merge branch 'main' into counterexamples

  rcosta358

  committed
  2270950

  Copy full SHA for 2270950

• Improve Readability of Ghosts in Counterexamples

  Show description for 76a7c99
  

  rcosta358

  and

  CatarinaGamboa

  committed
  76a7c99

  Copy full SHA for 76a7c99

• Add Ghost Dot Syntax (#142)

  rcosta358

  authored
  3562af1

  Copy full SHA for 3562af1

• Fix Annotation Position Lookup (#141)

  rcosta358

  authored
  e7933ea

  Copy full SHA for e7933ea

• AST Simplified `toString` (#148)

  rcosta358

  authored
  f3e86b3

  Copy full SHA for f3e86b3

• Custom Messages Fix (#147)

  rcosta358

  authored
  a49b948

  Copy full SHA for a49b948

Commits on Feb 10, 2026

• Fix Merge

  rcosta358

  committed
  b3f1112

  Copy full SHA for b3f1112

• Merge branch 'main' into counterexamples

  rcosta358

  committed
  dd71f59

  Copy full SHA for dd71f59

• Add Counterexamples to Refinement Errors

  rcosta358

  committed
  089dc0a

  Copy full SHA for 089dc0a

Commits on Feb 9, 2026

• Add Custom Error Messages (#140)

  rcosta358

  authored
  62a28a3

  Copy full SHA for 62a28a3

Commits on Jan 30, 2026

• Add support for Long operations inside predicates (#139)

  Show description for 1b290cb
  CatarinaGamboa

  authored
  1b290cb

  Copy full SHA for 1b290cb

Commits on Jan 23, 2026

• Add badges to README for VS Code and Maven Central

  Show description for 791d404
  CatarinaGamboa

  authored
  791d404

  Copy full SHA for 791d404

• Minor Fixes

  rcosta358

  committed
  033fcb4

  Copy full SHA for 033fcb4

Commits on Dec 10, 2025

• Simplification Fixes (#125)

  rcosta358

  authored
  8685353

  Copy full SHA for 8685353

Commits on Dec 4, 2025

• Use Annotation Position in `ExternalClassNotFoundWarning` (#130)

  rcosta358

  authored
  6e9d4fe

  Copy full SHA for 6e9d4fe

• Fix Alias & Ghost Argument Mismatch (#127)

  rcosta358

  authored
  883171c

  Copy full SHA for 883171c

• Fix Java Compilation Warning (#128)

  rcosta358

  authored
  8e1ff89

  Copy full SHA for 8e1ff89

• Check Expected Errors in Tests (#126)

  rcosta358

  authored
  f59d1c4

  Copy full SHA for f59d1c4

Commits on Nov 21, 2025

• Java Compilation Warning (#124)

  rcosta358

  authored
  d4ef259

  Copy full SHA for d4ef259

Commits on Nov 20, 2025

• Error Refactoring (#123)

  rcosta358

  authored
  08af804

  Copy full SHA for 08af804

Commits on Nov 17, 2025

• Cleanup (#122)

  rcosta358

  authored
  308ad81

  Copy full SHA for 308ad81

Commits on Nov 16, 2025

• Multiple Errors (#121)

  rcosta358

  authored
  a05507f

  Copy full SHA for a05507f

Commits on Nov 14, 2025

• Refactor Diagnostics (#119)

  rcosta358

  authored
  9b14c3f

  Copy full SHA for 9b14c3f

Commits on Nov 13, 2025

• Add `.gitattributes` For LF Line Endings

  rcosta358

  committed
  0cbd6fb

  Copy full SHA for 0cbd6fb

• Prevent Index Out-Of-Bounds in Function Call With Empty Args (#117)

  rcosta358

  authored
  87a2153

  Copy full SHA for 87a2153

• Fix Single Equality Expression Simplification (#113)

  rcosta358

  authored
  01a39ff

  Copy full SHA for 01a39ff

• Replace `ErrorEmitter` with `LJDiagnostics` (#110)

  rcosta358

  authored
  b4b41e0

  Copy full SHA for b4b41e0

Commits on Nov 10, 2025

• Code Refactoring (#109)

  rcosta358

  authored
  11a9263

  Copy full SHA for 11a9263

• Update Links and Maven Configs (#108)

  rcosta358

  authored
  06f8437

  Copy full SHA for 06f8437

Commits on Nov 8, 2025

• Update groupId (#106)

  rcosta358

  authored
  5bf4eab

  Copy full SHA for 5bf4eab

• Check If Refinement Predicates Are Boolean Expressions (#85)

  rcosta358

  authored
  1ca6aa2

  Copy full SHA for 1ca6aa2

• Skip String Literals in Typechecking (#89)

  rcosta358

  authored
  57ccfcc

  Copy full SHA for 57ccfcc

Commits on Nov 5, 2025

• Handle Alias Syntax Errors (#79)

  rcosta358

  authored
  d906b45

  Copy full SHA for d906b45

Pagination

Previous

Next