Repository navigation

Fix a crucial bug in the Configure relevance predicate - #174

Merged

pmbittner merged 30 commits into

developfrom

fix-configure

Nov 5, 2025

Merged

Fix a crucial bug in the Configure relevance predicate#174
pmbittner merged 30 commits into
developfrom
fix-configure

Commits on Oct 13, 2025
- delete deprecated ViewTest
  pmbittner
  committed
  207aa53
- feat: Label::observablyEqual
  pmbittner
  committed
  ed7ff62
- feat: DiffNode::isSameAsIgnoringLineNumbers
  pmbittner
  committed
  dedd98b
- feat: VariationDiff:isSameAsIgnoringLineNumbers
  pmbittner
  committed
  312ff2e
- fix: some typos in VariationTreeNode documentation
  pmbittner
  committed
  66e0970
- feat: specification for Configure
  pmbittner
  committed
  99f9df5
- docs: refine documentation on Relevance::computeViewNodesCheckAll
  pmbittner
  committed
  a51ad75
- fix: Configure falsely removed ELSE and ELIF nodes
  pmbittner
  committed
  9f2c50d
- test: new tests for Views
  pmbittner
  committed
  48f93b4
Commits on Oct 20, 2025
- refactor: extract Transformer super interface ...
  pmbittner
  committed
  8c63c20
- VariationTreeTransformer interface
  pmbittner
  committed
  9dfbfb2
- VariationTreeNode::setFormula
  pmbittner
  committed
  fa62e30
- feat: traversing variation trees in post-order
  pmbittner
  committed
  6b2bcb0
- feat: DiffNode::stealChildrenOf at time
  pmbittner
  committed
  a48b4fd
- fix: VariationNode::stealChildrenOf
  pmbittner
  committed
  fd0d96e
- feat: EliminateEmptyAlternatives transformer
  pmbittner
  committed
  1939f50
- fix: javadoc error in Transformer.java
  pmbittner
  committed
  7f70843
- fix: javadoc error in EliminateEmptyAlternatives
  pmbittner
  committed
  db2fccf
Commits on Oct 24, 2025
- fix: VariationNode::stealChildrenOf once again
  pmbittner
  committed
  7daeff0
Commits on Oct 26, 2025
- Simplify Assertion in Configure
  
  pmbittner
  and
  ibbem
  authored
  2c6d651
- remove boilerplate Variation(Tree|Diff)Transformer
  pmbittner
  committed
  8197880
Commits on Oct 27, 2025
- DiffNode::makeUnchanged()
  pmbittner
  committed
  7e0365b
- feat: HideSomeChanges
  pmbittner
  committed
  ddd4289
Commits on Oct 29, 2025
- fix: bug + alignment in DiffNode::makeUnchanged
  pmbittner
  committed
  551a1b6
- feat: IndexFormat
  pmbittner
  committed
  02804e5
- support IndexFormat in GUI
  pmbittner
  committed
  6a2c992
Commits on Nov 3, 2025
- StringUtils::getLeadingWhitespace
  pmbittner
  committed
  75be10f
- fix: EliminateEmptyAlt. making inconsistent labels
  pmbittner
  committed
  1d227f5
Commits on Nov 5, 2025
- Merge branch 'develop' into fix-configure
  pmbittner
  committed
  02ae9a3
- fix: ConfigureSpec vs new Source interface
  pmbittner
  committed
  a991942

Commits

Commits on Oct 13, 2025

Commits on Oct 20, 2025

Commits on Oct 24, 2025

Commits on Oct 26, 2025

Commits on Oct 27, 2025

Commits on Oct 29, 2025

Commits on Nov 3, 2025

Commits on Nov 5, 2025