| Commit message (Collapse) | Author | Age |
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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.
|
|
|
|
|
|
|
| |
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.
|
|
|
|
|
|
|
| |
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.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
Restore count != capability.
Still needs semantics and tests for count atoms over partial models.
|
| |
|
| |
|
|
|
|
| |
Rules have too complex semantics to implement in the first prototype.
|
| |
|
| |
|
|
|
|
| |
This was left unchanged after refactoring the operators in the language.
|
| |
|
|
|
|
| |
Also change refinement operator based on feedback from colleagues
|
| |
|
|
|
|
|
|
| |
* Remove the direct keyword because it can be inferred
* Use may/must/current instead of value literals
* Transformation rule changes
|
|
|
|
|
|
| |
* Move all utilities for language-model to language, since they do not
make sense on their own
* Convert xtend code into java
|
| |
|
| |
|
| |
|
|
|