| .architecture.yaml | |
|
|
| .codeclimate.yml | |
|
|
| .gitignore | |
|
|
| .hlint.yaml | |
|
|
| .hspec | |
|
|
| .mdl-verigraph.rb | 1 | A 0 mins |
|
| .mdlrc | |
|
|
| .stylish-haskell.yaml | |
|
|
| .travis.yml | |
|
|
| CODE_OF_CONDUCT.md | |
|
|
| CONTRIBUTING.md | |
|
|
| LICENSE | |
|
|
| README.md | |
|
|
| Setup.hs | |
|
|
| grammars/ADTs/CircularBuffer.ggx | |
|
|
| grammars/ADTs/createList.ggx | |
|
|
| grammars/ADTs/treeToList.ggx | |
|
|
| grammars/ConcurrentRule/simple-injective-epi-pair.ggx | |
|
|
| grammars/Constraints/atomic.ggx | |
|
|
| grammars/Dangling/produceDangling.ggx | |
|
|
| grammars/Dangling/removeDang.ggx | |
|
|
| grammars/Elevator/elevator.ggx | |
|
|
| grammars/MedicalGuideline/evolutionVersion/instrutivo-agulha-pos.ggx | |
|
|
| grammars/MedicalGuideline/evolutionVersion/instrutivo-agulha-pre.ggx | |
|
|
| grammars/MedicalGuideline/evolutionVersion/instrutivo-infiltrar-pos.ggx | |
|
|
| grammars/MedicalGuideline/evolutionVersion/instrutivo-infiltrar-pre.ggx | |
|
|
| grammars/MedicalGuideline/evolutionVersion/instrutivo-lesao-pos.ggx | |
|
|
| grammars/MedicalGuideline/evolutionVersion/instrutivo-lesao-pre.ggx | |
|
|
| grammars/MedicalGuideline/evolutionVersion/instrutivo-original-layer1.ggx | |
|
|
| grammars/MedicalGuideline/evolutionVersion/instrutivo-original-layer2.ggx | |
|
|
| grammars/MedicalGuideline/evolutionVersion/instrutivo-original-layer3.ggx | |
|
|
| grammars/MedicalGuideline/evolutionVersion/instrutivo-original.ggx | |
|
|
| grammars/MedicalGuideline/treatment.ggx | |
|
|
| grammars/Mutex/mutex.ggx | |
|
|
| grammars/Mutex/mutualExclusion.ggx | |
|
|
| grammars/Pacman/pacman.ggx | |
|
|
| grammars/Pacman/pacman2.ggx | |
|
|
| grammars/Pacman/pacman3.ggx | |
|
|
| grammars/Process/abstract.ggx | |
|
|
| grammars/Process/server.ggx | |
|
|
| grammars/Process/server_2.ggx | |
|
|
| grammars/Process/simple-process.ggx | |
|
|
| grammars/Process/simple-process2.ggx | |
|
|
| grammars/Process/simple-process3.ggx | |
|
|
| grammars/Process/simple-process4.ggx | |
|
|
| grammars/Process/simple-process5.ggx | |
|
|
| grammars/Process/simple-process6.ggx | |
|
|
| grammars/Process/simple-process7.ggx | |
|
|
| grammars/Process/simple-process8.ggx | |
|
|
| grammars/SecondOrder/2rules.ggx | |
|
|