PROBCORE-404 implemented an Event-B translator to translate from Rodin .bum and .buc to the AbstractModel implementation in ProB 2.0
PROBCORE-404 Theorems are now saved as well.
PROBCORE-404 Implemented basic translator for Theories (but not sufficiently tested yet)
Merge branch 'develop' into feature/eventBtranslating
Merge remote-tracking branch 'origin/develop' into feature/eventBtranslating
PROBCORE-404 Lots unfinished junk that I probably should commit even though it currently looks horrific and needs A LOT more work. But version control is probably a good idea because I still have to refactor A LOT of classes.
PROBCORE-404 Finished making the classes for the Theory translator a LITTLE BIT prettier.
PROBCORE-404 Simple parsing of datatypes and operators works for test cases. Not certain if correct AST is being generated.
PROBCORE-404 Finished writing tests for TheoryTranslator. All tests are successful, and it is possible to recursively parse all Theories to ProB elements.
PROBCORE-404 destructors type arguments are now parsed after the datatype has been defined.
PROBCORE-404 Replaced old visitors with new TranslationVisitor. Theories can now be completely parsed.
PROBCORE-404 Created support in EventB and ClassicalB for assignments
PROBCORE-404 Finished editing the EventBTranslator so that the correct type environment is used for the creation of the elements.
Working on PROBCORE-404 Translation of the .pbo and .pbr files.
PROBCORE-404 Working on implementing proofs
PROBCORE-404 New test case for complete proof works!!!!!!!
Proofs work for INV, THM, and WD
excluded prob.core.kernel in runtime section of Manifest files via script
Added some more proof obligations
PROBCORE-404 Changed Event elements so that they have a reference to their parent event