aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-web
Commit message (Collapse)AuthorAge
* feat(language): type inferenceLibravatar Kristóf Marussy2024-04-07
| | | | | | * Customizable operator overloads. * Customizable aggregation operators. * Simplify ProblemQualifiedNameProvider.
* fix(web): Sonar security issueLibravatar Kristóf Marussy2024-02-24
| | | | | See https://sonarcloud.io/organizations/graphs4value/rules?open=java%3AS1989&rule_key=java%3AS1989
* fix(web): CSP for SVG rasterizationLibravatar Kristóf Marussy2024-02-24
| | | | | | | We have to allow img-src blob: to be able to rasterize SVG files by loading their blobs as object URLs into <img> objects. Also fixes font-style for PNG export.
* refactor(language): name disambiguationLibravatar Kristóf Marussy2024-02-02
| | | | | | * Use fully qualified names starting with :: (as in C++) to unambiguously refer to an element. * Name shadowing within modules.
* refactor(language): module and node declarationsLibravatar Kristóf Marussy2024-01-31
| | | | | | | | * New default file extension: .refinery (.problem is also supported). * Add module keyword for self-contained modules. * Rename indiv declarations to atom declaration. * Add node and multi declarations for explicitly declared nodes and multi-objects, respectively.
* feat(web): color identifiers and nodesLibravatar Kristóf Marussy2024-01-03
| | | | | We use a palette-based coloring strategy, where each class and enum gets a color from
* refactor: matching node names in CLI and webLibravatar Kristóf Marussy2024-01-01
|
* refactor: smenatics and facadesLibravatar Kristóf Marussy2023-11-03
| | | | | Also moves model metadata into language-web, since we only use it on the frontent.
* refactor(langauge-web): use generator facadesLibravatar Kristóf Marussy2023-11-03
|
* feat(frontend): save in URL fragmentLibravatar Kristóf Marussy2023-09-26
|
* chore: remove VIATRA brandingLibravatar Kristóf Marussy2023-09-16
| | | | | | | | Rename VIATRA subprojects to Refinery Interpreter to avoid interfering with Eclipse Foundation trademarks. Uses refering to a specific (historical) version of VIATRA were kept to avoid ambiguity.
* feat: specify random seed for generationLibravatar Kristóf Marussy2023-09-14
|
* refactor: do not construct uneeded interpretationLibravatar Kristóf Marussy2023-09-13
| | | | | | Model generation only has to extract the candidate interpretaion, partial intepretation queries are only needed if they appear in a rule, constraint, or objective.
* fix: hide new node names in generated modelsLibravatar Kristóf Marussy2023-09-13
|
* feat: connect model generator to UILibravatar Kristóf Marussy2023-09-12
|
* feat: cancellation token for ModelStoreLibravatar Kristóf Marussy2023-09-11
|
* fix: build failures after integrating generationLibravatar Kristóf Marussy2023-09-11
|
* feat(web): control server settings with env varsLibravatar Kristóf Marussy2023-09-05
|
* refactor: server environemntal variablesLibravatar Kristóf Marussy2023-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.
* build: add DockerfileLibravatar Kristóf Marussy2023-09-03
|
* feat: scope propagator in languageLibravatar Kristóf Marussy2023-09-03
|
* refactor(frontent): improve graph drawingLibravatar Kristóf Marussy2023-08-26
|
* feat: dot visualizationLibravatar Kristóf Marussy2023-08-23
|
* feat: improve semantics error reportingLibravatar Kristóf Marussy2023-08-20
| | | | | Also makes model seeds cancellable to reduce server load during semantic analysis.
* feat: interruptible VIATRA engineLibravatar Kristóf Marussy2023-08-19
| | | | Reduce server load by introducing a timeout for semantics analysis.
* refactor: candidate interpreation only on demandLibravatar Kristóf Marussy2023-08-17
| | | | Avoid creating interpretations not needed for the graph analysis task.
* fix: typo in language-web build scriptLibravatar Kristóf Marussy2023-08-17
|
* fix: more precise new object typesLibravatar Kristóf Marussy2023-08-17
| | | | | A new object should not be an instance of any subclasses. Also, it should be possible cleare a node without any other type.
* fix: opposite translation error reportingLibravatar Kristóf Marussy2023-08-17
|
* fix: containment link translationLibravatar Kristóf Marussy2023-08-17
| | | | | Improper equality implementation of representative election literals merged weak and strong connected components during query canonicalization.
* feat: basic semantics mapping and visualizationLibravatar Kristóf Marussy2023-08-17
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-06-18
|
* build: improve Xtext project isolationLibravatar Kristóf Marussy2023-04-26
| | | | | | * Avoid writing generated source files directly into sibling projects. * Full project isolation cannot be enabled yet, because the frontend plugin still requires cross-projects task dependencies for Node.js installation.
* build: enable parallel Gradle buildLibravatar Kristóf Marussy2023-04-25
| | | | | Also increases timeout in WebSocket integration test to avoid failures due to increased CPU usage during build.
* chore(deps): downgrade to Java 17Libravatar Kristóf Marussy2023-04-15
| | | | | | | | | | | Java 19 is out of support, but Gradle current does not run on Java 20: https://github.com/gradle/gradle/issues/23488 To avoid the complexity of running the build tool on a different JDK than the application, we temporarily remove code that depends on experimental Java 19 or Java 20 features. Revert once the build can run on Java 20.
* refactor: remove virtual thread supportLibravatar Kristóf Marussy2023-04-15
| | | | | | | | | | | Java 19 is out of support, but Gradle current does not run on Java 20: https://github.com/gradle/gradle/issues/23488 To avoid the complexity of running the build tool on a different JDK than the application, we temporarily remove code that depends on experimental Java 19 or Java 20 features. Revert once the build can run on Java 20.
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
| | | | | | | | | | | | | | Make sure we obey the REUSE (https://reuse.software) specification and the origin, copyright owner, and license of all files are clearly marked. The whole project is under the EPL-2.0, except for trivial files where copyright is not applicable that are marked with the CC0-1.0 license. Moreover, code included from third parties is also available under the respective license. chore: add CONTRIBUTORS.md List all authors and supporting organizations in accordance with the REUSE specification.
* build: organize build scripts into packagesLibravatar Kristóf Marussy2023-04-09
| | | | | | | Also take advantage of precompiled Kotlin scripts to write build scripts in a more straightforward manner through generated accessors. Might increase memory usage of Gradle.
* build: avoid repeating task names in build scriptsLibravatar Kristóf Marussy2023-04-09
|
* chore(web): fix lint errorsLibravatar Kristóf Marussy2023-04-09
|
* build: always prefer slf4j instead of log4j 1.xLibravatar Kristóf Marussy2023-04-08
| | | | | | Make sure we get slf4j in every test source set and every application by default. Saves configuration effort when creating a new library that tests VIATRA or other dependencies that require log4j.
* build: convert Gradle scripts to KotlinLibravatar Kristóf Marussy2023-04-08
| | | | | | | Improves IDE support build scripts in IntelliJ. There is no Eclipse IDE support, but Eclipse didn't have support for Groovy either, so there is no degradation of functionality.
* chore(web): upgrade to Jetty 12.0.0.alpha3Libravatar Kristóf Marussy2022-12-12
| | | | | Also refactor virtual thread ExecutorService handling and integration tests.
* refactor: be more conservative w/preview featuresLibravatar Kristóf Marussy2022-12-09
| | | | Also test with virtual threads in we are using them in production.
* chore(web): fix lint errorLibravatar Kristóf Marussy2022-12-09
|
* chore: upgrade to Java 19Libravatar Kristóf Marussy2022-11-22
| | | | | Use Java 19 and Jetty 12 to take advantage of Project Loom preview features to reduce CPU usage due to XtextWebDocumentAccess thread pools.
* refactor(language): simplify syntaxLibravatar Kristóf Marussy2022-11-22
|
* refactor(test): WebSocket integ test robustnessLibravatar Kristóf Marussy2022-11-22
|
* feat(language): numeric expressionsLibravatar Kristóf Marussy2022-11-22
|
* feat(web): backend URL configurationLibravatar Kristóf Marussy2022-11-10
| | | | | | | | To point the frontend to a backend server, update the config.json file in the website root. The config.json is generated automatically in debug mode and when running from a standalone jar.
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 15:23:03 +0000