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
Added some more proof obligations
PROBCORE-404 Changed Event elements so that they have a reference to their parent event
PROBCORE-404 implemented an Event-B translator to translate from Rodin .bum and .buc to the AbstractModel implementation in ProB 2.0