Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | | Additional tests for delta restoration | 2023-02-16 | ||
| | | | ||||
| * | | Fuzz test environment is parametrized by VersionedMapStoreBuilder configurations | 2023-02-14 | ||
| | | | ||||
| * | | Test environment cannot rely upon the order of elements in a map since ↵ | 2023-02-14 | ||
| | | | | | | | | | | | | VersionedMapDelta appeared. | |||
| * | | Nasty error fixed in VersionedMapStoreDeltaImpl.java | 2023-02-14 | ||
| | | | | | | | | | | | | when setting the new parent state | |||
| * | | Potential synchronization issue fixed in VersionedMapStoreDeltaImpl.getStates | 2023-02-13 | ||
| | | | ||||
| * | | Multiple small updates and fixes to support all upcoming tests. | 2023-02-13 | ||
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - AnyVersionedMap.checkIntegrity added to the superclass - Default value of the map is gettable. - Errors fixed: - Delta store failed to update reference to the previous transaction in some cases. Fixed in VersionedMapStoreDeltaImpl.java import java.util.HashMap; - Null values caused issues in UncommittedDeltaMapStore.java as putIfAbsent does not work with null. - Small fixes in DeltaDiffCursor.java and IteratorAsCursor.java | |||
| * | | VersionedMapStoreBuilder returns builder state. | 2023-02-13 | ||
| | | | ||||
| * | | Moved test parametrization to FuzzTestCollections.java | 2023-02-10 | ||
| | | | ||||
| * | | VersionedMapStoreBuilder for delta and state based stores | 2023-02-10 | ||
| | | | ||||
| * | | Delta store commit | 2023-02-05 | ||
| | | | ||||
| * | | Fixing warning caused by an "unused parameter" which is used by an annotation | 2023-02-05 | ||
| | | | ||||
| * | | Formatting fuzz tests + improving code qualitz | 2023-02-05 | ||
| | | | ||||
| * | | Extending map tests with null as default value. | 2023-02-05 | ||
| | | | ||||
| * | | fixup! Performance improvements by replacing hash depth calculation with ↵ | 2023-02-05 | ||
| | | | | | | | | | | | | shifting, improving code quality. + formatting | |||
| * | | Cursor comparison bugfix with empty cursors (and null values). | 2023-02-05 | ||
| | | | ||||
| * | | DiffCursor value comparison support for null values. | 2023-02-05 | ||
| | | | | | | | | | | | | in case null != default | |||
| * | | Code quality improvements in cursors | 2023-02-05 | ||
| | | | ||||
| * | | Code quality improvements in nodes | 2023-02-05 | ||
| | | | | | | | | | | | | printer appending + empty node stack checking | |||
| * | | Performance improvements by replacing hash depth calculation with shifting, ↵ | 2023-02-04 | ||
| | | | | | | | | | | | | | | | | | | improving code quality. + formatting | |||
* | | | feat(web): control server settings with env vars | 2023-09-05 | ||
| | | | ||||
* | | | fix(frontend): GraphArea scroll | 2023-09-05 | ||
| | | | | | | | | | | | | | | | When the VisibilityDialog is not open, it should be unmounted to allow the VisibilityPanel to become small and not cover the GraphArea below. | |||
* | | | refactor: disable all animations for large graphs | 2023-09-05 | ||
| | | | ||||
* | | | refactor: server environemntal variables | 2023-09-04 | ||
| | | | | | | | | | | | | | | | | | | * Prefix each variable with REFINERY_ * If not public host is specified, allow all origings and compute the WebSocket address on the client from the origin. | |||
* | | | refactor(frontend): graph visualizer performance | 2023-09-04 | ||
| | | | | | | | | | | | | Also show scopes unconditionally if enabled. | |||
* | | | build: add Dockerfile | 2023-09-03 | ||
| | | | ||||
* | | | feat(frontend): hide object scopes by default | 2023-09-03 | ||
| | | | ||||
* | | | chore: prefer Prolog-style comments | 2023-09-03 | ||
| | | | ||||
* | | | feat: scope propagator in language | 2023-09-03 | ||
| | | | ||||
* | | | build: runtimeOnly Eclipse Collections if posible | 2023-09-03 | ||
| | | | ||||
* | | | feat: type scope propagator | 2023-09-03 | ||
| | | | ||||
* | | | chore(build): replce deprecated Gradle API use | 2023-08-31 | ||
| | | | ||||
* | | | refactor(viatra): replace Stack with Deque | 2023-08-31 | ||
| | | | ||||
* | | | chore(deps): bump dependencies | 2023-08-31 | ||
| | | | ||||
* | | | chore(deps): downgrade to @mui/x-data-grid 6.10.0 | 2023-08-31 | ||
| | | | | | | | | | | | | | | | | | | | | | Versions 6.10.1 use eval, which causes problems with CSP and minification: https://github.com/mui/mui-x/issues/9771 https://github.com/mui/mui-x/issues/10056 | |||
* | | | refactor(frontend): secondary pane switch shortcut | 2023-08-31 | ||
| | | | ||||
* | | | refactor(frontend): compact relation table | 2023-08-31 | ||
| | | | ||||
* | | | refactor(frontend): pane button theme | 2023-08-31 | ||
| | | | ||||
* | | | feat(frontend): implement grid view | 2023-08-31 | ||
| | | | ||||
* | | | feat(frontend): window pane switcher | 2023-08-30 | ||
| | | | ||||
* | | | refactor(frontend): filter dialog formatting | 2023-08-30 | ||
| | | | ||||
* | | | chore(deps): bump frontend dependencies | 2023-08-30 | ||
| | | | | | | | | | | | | Also downgrade @types/node to match the running Node version. | |||
* | | | fix(frontend): completion cache invalidation | 2023-08-30 | ||
| | | | | | | | | | | | | | | | | | | In some cases, especially with an empty editor, trying to map completions over the last changes may result in a RangeError. If unhandled, the error corrupts editor state. | |||
* | | | feat(frontend): hide isolated nodes | 2023-08-30 | ||
| | | | ||||
* | | | feat(frontend): projection dialog | 2023-08-30 | ||
| | | | ||||
* | | | refactor(frontend): containment arrow size | 2023-08-29 | ||
| | | | ||||
* | | | refactor: rename invalidNumberOfContainers | 2023-08-29 | ||
| | | | | | | | | | | | | | | | Use a simplified name invalidContainer, since this pattern may match even if there is a sufficient number of ERROR containers. | |||
* | | | refactor: disable contains refinement | 2023-08-27 | ||
| | | | | | | | | | | | | | | | | | | Providing an efficient refinement calculus would be too difficult at this point, and contains is much more useful as a constraint in predicates that as an assertions anyway. | |||
* | | | fix: strong represenative election algorithm | 2023-08-27 | ||
| | | | | | | | | | | | | Make sure to merge all clusters reachable from source and target. | |||
* | | | chore(deps): bump frontend dependencies | 2023-08-26 | ||
| | | | ||||
* | | | refactor(frontent): improve graph drawing | 2023-08-26 | ||
| | | |