Code

Constraints sdts refactoring#96

Code

Open

fhowar wants to merge 26 commits intomainLearnLib/ralib:mainfrom constraints-sdts-refactoringLearnLib/ralib:constraints-sdts-refactoringCopy head branch name to clipboard

Commits

Commits on Feb 21, 2025

• remove transition guards, remove generics from datavalue

  fhowar

  committed
  a80c68f

  Copy full SHA for a80c68f

• remove guardexpression

  fhowar

  committed
  e03b523

  Copy full SHA for e03b523

• simplify constraint solver utils

  fhowar

  committed
  f151896

  Copy full SHA for f151896

• maven compiler level 16

  fhowar

  committed
  3cf1f58

  Copy full SHA for 3cf1f58

• many small clean ups and remove Relation

  fhowar

  committed
  077ffed

  Copy full SHA for 077ffed

• remove unused code and extract merge from SDTGuard

  fhowar

  committed
  06ed217

  Copy full SHA for 06ed217

• spotless

  fhowar

  committed
  afe8ed6

  Copy full SHA for afe8ed6

Commits on Feb 25, 2025

• simplified SDTGuards

  fhowar

  committed
  086dfae

  Copy full SHA for 086dfae

• increase java version

  fhowar

  committed
  573a850

  Copy full SHA for 573a850

• spotless

  fhowar

  committed
  9a84382

  Copy full SHA for 9a84382

• Update ci.yml

  Show description for 951edfd
  fhowar

  authored
  951edfd

  Copy full SHA for 951edfd

Commits on Feb 26, 2025

• remove SymbolicDecisionTree interface

  fhowar

  committed
  2ed7ee1

  Copy full SHA for 2ed7ee1

• spotless

  fhowar

  committed
  b7c9dbb

  Copy full SHA for b7c9dbb

• Make code base work with Java 17

  kostis

  committed
  5c80382

  Copy full SHA for 5c80382

• improve classanalyzer tests

  fhowar

  committed
  2200498

  Copy full SHA for 2200498

Commits on Feb 27, 2025

• Remove or comment out some leftover prints

  kostis

  committed
  e7c288d

  Copy full SHA for e7c288d

Commits on Mar 10, 2025

• add bijection class and new sdt equivalence implementation

  FredrikTaquist

  committed
  7d4384f

  Copy full SHA for 7d4384f

• add class missing in previous commit

  FredrikTaquist

  committed
  21bf79e

  Copy full SHA for 21bf79e

Commits on Mar 11, 2025

• fix mappings and valuations

  fhowar

  committed
  7e4016d

  Copy full SHA for 7e4016d

Commits on Mar 17, 2025

• Add org.checkerframework:checker-qual to pom.xml

  kostis

  authored
  316490a

  Copy full SHA for 316490a

Commits on Mar 20, 2025

• removed piv

  fhowar

  committed
  ffa909e

  Copy full SHA for ffa909e

• Fix spelling error in SDTLogicOracle.java

  kostis

  authored
  a295918

  Copy full SHA for a295918

• Fix spelling error in RegisterAssignment.java

  kostis

  authored
  66f63ed

  Copy full SHA for 66f63ed

• fixed some bugs

  fhowar

  committed
  d5b2aa9

  Copy full SHA for d5b2aa9

Commits on Mar 21, 2025

• memorables as set

  fhowar

  committed
  fc107f7

  Copy full SHA for fc107f7

• two more small bugs

  fhowar

  committed
  45ed014

  Copy full SHA for 45ed014