| Commit message (Collapse) | Author | Age |
|
|
| |
translator.
|
| |
|
| |
|
| |
|
| |
|
|
|
| |
for example, a referred class is not translated to the logic problem).
|
| |
|
| |
|
|
|
|
| |
logic structure builder calls the definition when the interpretation of
the declaration is requested.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
metamodel.
Added a sample Main function.
|
| |
|
| |
|
|\ |
|
| |
| |
| | |
Added Contributors guide instructions
|
|/ |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|