aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
...
| * | build: improve Xtext project isolationLibravatar Kristóf Marussy2023-04-26
| * | build: enable parallel Gradle buildLibravatar Kristóf Marussy2023-04-25
| * | chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-04-25
| * | refactor: query termsLibravatar Kristóf Marussy2023-04-23
| * | refactor: simplify ModelAdapterLibravatar Kristóf Marussy2023-04-21
| * | fix: REAL_SUM input and result typeLibravatar Kristóf Marussy2023-04-21
| * | refactor: remove useless DataVariable overloadLibravatar Kristóf Marussy2023-04-21
| * | refactor: lambda-based Dnf and Query factoryLibravatar Kristóf Marussy2023-04-21
| * | chore(deps): downgrade to Java 17Libravatar Kristóf Marussy2023-04-15
| * | refactor: remove virtual thread supportLibravatar Kristóf Marussy2023-04-15
| * | chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-04-15
| * | refactor: rename RelationView to SymbolViewLibravatar Kristóf Marussy2023-04-15
| * | build: add workflow for REUSE compliance checkLibravatar Kristóf Marussy2023-04-15
| * | chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
| * | build: organize build scripts into packagesLibravatar Kristóf Marussy2023-04-09
| * | build: avoid repeating task names in build scriptsLibravatar Kristóf Marussy2023-04-09
| * | chore(web): fix lint errorsLibravatar Kristóf Marussy2023-04-09
| * | build: add clobberEclipse taskLibravatar Kristóf Marussy2023-04-09
| * | build: refactor frontend buildLibravatar Kristóf Marussy2023-04-09
| * | build: always prefer slf4j instead of log4j 1.xLibravatar Kristóf Marussy2023-04-08
| * | chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-04-08
| * | build: convert Gradle scripts to KotlinLibravatar Kristóf Marussy2023-04-08
| * | refactor: remove TupleLikeLibravatar Kristóf Marussy2023-04-07
|/ /
* | Merge pull request #24 from kris7t/partial-interpretationLibravatar Kristóf Marussy2023-03-31
|\ \
| * | build: try to fix secret detection in workflowLibravatar Kristóf Marussy2023-03-31
| * | chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-03-31
| * | feat: terms and improved query evaluationLibravatar Kristóf Marussy2023-03-31
| * | refactor: use Cursor in query result setsLibravatar Kristóf Marussy2023-03-01
| * | refactor: more direct access to VIATRA result setLibravatar Kristóf Marussy2023-03-01
| * | chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-02-26
| * | refactor: rename PartialInterpretation adapterLibravatar Kristóf Marussy2023-02-25
| * | feat: Dnf reduction and structural equalityLibravatar Kristóf Marussy2023-02-24
| * | refactor: split query and partial from storeLibravatar Kristóf Marussy2023-02-20
| * | feat: type inference for class hierarchiesLibravatar Kristóf Marussy2023-02-20
| * | feat: PartialInterpretation representationsLibravatar Kristóf Marussy2023-02-17
| * | refactor: EDSL for DNF literalsLibravatar Kristóf Marussy2023-02-09
| * | refactor: Atom -> Literal naming conventionLibravatar Kristóf Marussy2023-02-09
|/ /
| * decreasing steps in fast fuzz testsLibravatar OszkarSemerath2023-07-21
| * Improved tuple hash calculationLibravatar OszkarSemerath2023-07-21
| * VersionedMapStoreFactoryBuilder.java is introduced, all tests are updated.Libravatar OszkarSemerath2023-07-21
| * Fixing long-standing bug with state based diff cursor.Libravatar OszkarSemerath2023-07-18
| * Initialization bugs with empty DeltaDiffCursor fixedLibravatar OszkarSemerath2023-02-20
| * Additional tests for delta restorationLibravatar OszkarSemerath2023-02-16
| * Fuzz test environment is parametrized by VersionedMapStoreBuilder configurationsLibravatar OszkarSemerath2023-02-14
| * Test environment cannot rely upon the order of elements in a map since Versio...Libravatar OszkarSemerath2023-02-14
| * Nasty error fixed in VersionedMapStoreDeltaImpl.javaLibravatar OszkarSemerath2023-02-14
| * Potential synchronization issue fixed in VersionedMapStoreDeltaImpl.getStatesLibravatar OszkarSemerath2023-02-13
| * Multiple small updates and fixes to support all upcoming tests.Libravatar OszkarSemerath2023-02-13
| * VersionedMapStoreBuilder returns builder state.Libravatar OszkarSemerath2023-02-13
| * Moved test parametrization to FuzzTestCollections.javaLibravatar OszkarSemerath2023-02-10