University/BoxLang
Archived
1
Fork 0
Code Activity
A language and compiler for creating PRISM models of non-local boxes.
This repository has been archived on 2025-03-29. You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.
11 commits 1 branch 0 tags 954 KiB
Find a file
Exact
Scott Johnston fa6889aae8 Started on actual prism conversion 
A lot missing/ugly/needing generalised, but it's a start
2017-03-28 02:13:05 +01:00
bad_box_models added box models 2017-02-09 16:12:07 +00:00
lib Started on Java side of code 2017-02-24 03:07:52 +00:00
rd-prism-examples added prism examples 2016-11-16 18:05:37 +00:00
src/com/mobiusreactor/boxlang Started on actual prism conversion 2017-03-28 02:13:05 +01:00
test-boxlang-files new test 2017-03-23 15:26:57 +00:00
.classpath Started on Java side of code 2017-02-24 03:07:52 +00:00
.gitignore Started on Java side of code 2017-02-24 03:07:52 +00:00
.project Started on Java side of code 2017-02-24 03:07:52 +00:00
antlr.sh Started on Java side of code 2017-02-24 03:07:52 +00:00
BoxLang.g4 Added Box class 2017-03-08 04:54:25 +00:00
BoxLang.pdf Initial version of ANTLR grammar, along with the design document 2017-02-17 05:33:58 +00:00
README.md Initial commit 2016-11-02 16:47:44 +00:00

README.md

BoxLang

A language and compiler for creating PRISM models of non-local boxes