| Commit message (Collapse) | Author | Age |
|
|
|
|
| |
References marked as partial are not concretized during model generation. The
should be managed by the user manually using propagation rules instead.
|
|
|
|
| |
Make the rule syntax more similar to the predicate syntax.
|
| |
|
|
|
|
|
| |
Only highlight the * character as a number when it is not used as a
multiplication operator.
|
|
|
|
|
|
| |
* Customizable operator overloads.
* Customizable aggregation operators.
* Simplify ProblemQualifiedNameProvider.
|
|
|
|
| |
Also reorganizes operator names for easier future extension.
|
|
|
|
|
| |
Also changes ReferenceDeclaration to declare attributes, since reference and
attributes can only be distinguished at linking time.
|
| |
|
|
|
|
|
|
| |
* Use fully qualified names starting with :: (as in C++) to unambiguously refer
to an element.
* Name shadowing within modules.
|
| |
|
|
|
|
|
|
|
|
| |
* 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.
|
|
|
|
|
|
|
| |
Make sure contains is parsed as a contextual keyword whenever possible.
The existing cut operator wasn't sufficient for this, so we also add dynamic
precedence to the grammar rule.
|
|
|
|
|
|
|
|
|
|
|
|
| |
For permissive licenses like MIT and BSD, OR EPL doesn't make sense, because the
copyright original permission notice must be retained at all times.
For code simply copied with minimal modifications that are unrelated to
Refinery, we can just use the plain MIT license or BSD-3-clause license.
For code with complex modifications related to Refinery, we can instead use the
MIT AND EPL-2.0 SPDX expression, which forces downstream users to retain the
original MIT notices as required by the MIT license, but also extends Refinery's
copyleft to our modifications.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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 bumps some dependencies and updates tsconfig.json
The added workarounds should be remove once
https://github.com/mobxjs/mobx/issues/3582 is resolved.
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
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.
|
| |
|
| |
|
| |
|
|
|
|
| |
Also bumps frontend dependencies.
|
|
|
|
| |
Also overhaulds the building and linting for frontend assets.
|
| |
|
|
|
|
| |
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
|
| |
|
|
This allows us to simplify the webpack configuration and the gradle
build scripts.
|