| Commit message (Collapse) | Author | Age |
|
|
|
| |
Use a transient attribute instead of an adapter.
|
|
|
|
|
| |
Modules without an explicitly declared name get a name automatically inferred
from their path.
|
|
|
|
|
|
| |
* 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.
|
|
|
|
|
| |
Also simplifies attributes and flags for now, as we don't translate them to
abstractions.
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
Restore count != capability.
Still needs semantics and tests for count atoms over partial models.
|
| |
|
| |
|
| |
|
|
|
|
| |
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
|
|
|