DONE Ábel: edit release post to indicate problems with 1.2.0 release Maven artifacts
DONE Ábel: perform CPS rebasing and add new commits after merging
TODO Dani: see if test failures can be mapped to known undefined semantics and differences between Rete and Local search
Tests are failing because they use observable match lists which update when matches change (when using Rete), but the localsearch is not re-run to get updated matches - bug not in our test framework
TODO Zoli: add QBE to build and to experimental features on update site
TODO Gaben: create issue for documentation, create wiki page for overview and check easy to fix problems
TODO Dini: QBF initialization testing
TODO Ábel: Wiki page and New and Noteworthy page for Query registry runtime
TODO Tomi evaluate on aggregate functions after discussions with Gaben
1.2.1 release status
Dini tested viatra-maven-plugin, added info to wiki
Minutes
CPS: incquery-examples-cps, viatra-cps-benchmark
TODO Ábel Update their readmes
TODO Ábel Move them to VIATRA organisation
TODO ? Move wiki to viatra-docs
TODO Ábel create local search variant of transformations
Bugzilla
TODO Zoli Create new components:
Examples
Move relevant issues from incquery-examples-cps
Common
TODO István collect remaining TODOs to Basecamp
Local search
Some issues found regarding corner cases
Mostly functional
Balázs is working on issues
Inequality constraint must have both ends already evaluated
Count uses base index to traverse tuples
Multiple Evals in pattern
Regression tests created for them
QBE
Merged, added to update site
TODO Gaben test installation from update site manually, write user guide, create screencast