Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | build: move modules into subproject directory | 2021-12-12 | |
| | |||
* | build: library and application convetion plugins | 2021-11-17 | |
| | |||
* | build: merge java and junit conventions | 2021-11-17 | |
| | | | | All Java code should have tests, anyways. | ||
* | build: move scripts into script plugins | 2021-11-17 | |
| | | | | | Script plugins allow applying other plugins from plugins { } blocks, which simplifies the build script. | ||
* | build: use version catalogs | 2021-11-16 | |
| | | | | | | | | | | | Gradle version catalogs allow centralized management of dependency artifact coordinates using a toml file. Previously, we use the gradle.properties file, which cannot manage group and name coordinates, only versions. Node and yarn versions still have to be in gradle.properties, because they do not correspond to any coordiates of a maven artifact. | ||
* | Improved sonar report | 2021-10-25 | |
| | |||
* | Removed unnecessary quantified variables | 2021-10-25 | |
| | |||
* | Query transaction testing first example | 2021-10-25 | |
| | |||
* | Simple test added for all kinds of query constraints | 2021-10-25 | |
| | |||
* | another undeterministic variable export | 2021-10-25 | |
| | |||
* | Small fixes in query transformation and view equivalence checking | 2021-10-25 | |
| | |||
* | Existentially quantified variable test | 2021-10-24 | |
| | |||
* | Fixed query parameter list undeterministic order | 2021-10-24 | |
| | |||
* | QueryTest update to binery relations | 2021-10-24 | |
| | |||
* | Querytest first final case | 2021-10-24 | |
| | |||
* | Missed packaging tuple values to tuple1 in views | 2021-10-24 | |
| | |||
* | KeyOnly filters out default values | 2021-10-24 | |
| | |||
* | exotic map bug fix | 2021-10-23 | |
| | |||
* | minor fixes | 2021-10-23 | |
| | |||
* | QueryableModel restoring with Replay and Reinitialization. | 2021-10-22 | |
| | |||
* | Viatra-specific code moved inside to QueriableModel | 2021-10-22 | |
| | |||
* | Test compilation fixes for Query building | 2021-10-22 | |
| | |||
* | Almost finished QueriableModel and QueryableModelStore | 2021-10-22 | |
| | |||
* | Buffered Model update listener, first version | 2021-10-22 | |
| | |||
* | RawPatternMatcher for exposing raw pattern matches | 2021-10-22 | |
| | |||
* | Add DNF to PQuery translator | 2021-10-12 | |
| | | | | Also added tests for the translator | ||
* | chore(store): rename store package | 2021-10-05 | |
| | |||
* | chore: change package name | 2021-10-05 | |
| | |||
* | chore: fix Java 17 Sonar warnings | 2021-10-02 | |
| | | | | | Had to disable code coverage measurement in the Quality Gate, we should switch it on again once we have a complete test suite. | ||
* | build: migration to Gradle 7 | 2021-09-29 | |