Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | feat(web): find occurrences when idle | 2021-10-31 | ||
| | | ||||
| * | feat(web): use 4 space for indentation | 2021-10-31 | ||
| | | ||||
| * | feat(web): semantic highlighting | 2021-10-31 | ||
| | | ||||
| * | feat(web): show error count on generate button | 2021-10-31 | ||
| | | ||||
| * | fix(web): make lint panel readable | 2021-10-31 | ||
| | | ||||
| * | feat(web): use theme colors in error markers | 2021-10-31 | ||
| | | ||||
| * | chore(web): refactor UpdateService | 2021-10-31 | ||
| | | | | | | | | | | extract utils/ConditionVariable from xtext/UpdateService as a generally useful utility class for waiting for conditions | |||
| * | chore(web): move logger to utils/ | 2021-10-31 | ||
| | | ||||
| * | feat(web): server-side content assist filtering | 2021-10-31 | ||
| | | ||||
| * | chore(web): refactor xtext client | 2021-10-31 | ||
| | | ||||
| * | feat(web): add xtext content assist | 2021-10-31 | ||
| | | ||||
| * | chore(web): refactor PendingTask | 2021-10-31 | ||
| | | ||||
| * | chore(web): simplify websocket state machine | 2021-10-31 | ||
| | | ||||
| * | chore(web): refactor websocket state machine | 2021-10-31 | ||
| | | ||||
| * | feat(web): show lint status on lint button | 2021-10-31 | ||
| | | ||||
| * | feat(web): disconnect background tabs only | 2021-10-31 | ||
| | | ||||
| * | fix(web): only try to read properties of objects | 2021-10-31 | ||
| | | ||||
| * | feat(web): application-level pings | 2021-10-31 | ||
| | | ||||
| * | feat(web): add xtext websocket client | 2021-10-31 | ||
| | | ||||
| * | test(web): more websocket integration tests | 2021-10-31 | ||
| | | ||||
| * | test(web): websockets fixes and tests | 2021-10-31 | ||
| | | ||||
| * | feat(web): push precomputed service results | 2021-10-31 | ||
| | | ||||
| * | feat(web): batched xtext websocket prototype | 2021-10-31 | ||
| | | ||||
| * | feat(web): batch operations for websocket protocol | 2021-10-31 | ||
| | | ||||
| * | feat(web): better websocket logging | 2021-10-31 | ||
| | | ||||
| * | feat(web): add websocket server | 2021-10-31 | ||
| | | ||||
| * | feat(web): simplify contextual parsing | 2021-10-31 | ||
| | | | | | | | | | | | | | | | | * More relaxted parsing in the browser for stable variable/node identifier classification. * String support in the browser. * contains, refers, and opposite keywords are no longer contextual, which simplifies parsing in the browser. | |||
| * | fix(web): a11y issue reported by Lighthouse | 2021-10-31 | ||
| | | ||||
| * | chore(web): remove CodeMirror 5 MWE2 integration | 2021-10-31 | ||
| | | | | | | | | | | CodeMirror 6 uses a hand-writter Lezer parser instead of the stream parser generated by Xtext for CodeMirror 5. | |||
| * | feat(web): experiment with Lezer parser | 2021-10-31 | ||
| | | ||||
| * | feat(web): add CodeMirror 6 editor | 2021-10-31 | ||
|/ | ||||
* | Merge pull request #7 from golej-marci/language-to-store | 2021-10-25 | ||
|\ | | | | | Test for the case study added. | |||
| * | Test for the case study added. | 2021-10-25 | ||
| | | ||||
* | | Merge pull request #6 from OszkarSemerath/main | 2021-10-25 | ||
|\ \ | | | | | | | QueriableModel code quality improvement | |||
| * | | Improved sonar report | 2021-10-25 | ||
|/ / | ||||
* | | Merge pull request #5 from OszkarSemerath/main | 2021-10-25 | ||
|\ \ | | | | | | | Quarriable model support for treemap data structures | |||
| * | | 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 | ||
| | | |