Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • WIP
  • main default protected
2 results
Created with Raphaël 2.2.024Apr2331Mar15Dec146524Nov2120171610Update file README.mdmainmainKompilierung auf Yapex gesetztAdded for each error a classWIPWIPSyntax errors are now reported in the same way as semantic analysis. If a syntax error occur, semantic analysis is skipped. Removed test case that is covered by syntax analysis.Added tests to ExtraTest. Some test cases which violate grammar do not work with non deadly errors, so they are deadly now. removed test cases for errors which are now deadly. TODO: improve antlr error reporting to not start semantic analysis if syntax analysis got errors.changed possible errrors to non deadly in both proof listener; Added test cases for all non deadly semantic errors. TODO: employ those tests in the test manager (some of the tests may be impossible to test due to syntax error from antlr)make same Listener helper for both proof listener.removed unused constructor parameters of Listener_Helper, changed possible errors to non deadly in Task_Listenerrepaired name of AbstractEingabeverwalter, changed all possible errors to nondeadly in Listener_Helper and ADT_Listener, Added Tests for ADT for non deadly semantic errorsAdded Error to namespace Metamodell; Added new Semantic Errors: deadly, non deadly and warning; transformed all KontexExceptions in Listener_Helper to SemanticErrors.Update link to tests in README.mdUpdate the link to tests in README.mdreplaced maxpt with confpt in assessment formula to not punish twice for not enough stepsNow the giving of maxpt when no errors are found applies to singletasks and configured inductioncases instead of only to the whole proofAdded Comments and Test for Comments, repaired excamples for FTree in antlr grammarsMove back to dotnet 5.0 from 6.0added coords to trees; changed all Exceptions related to trees to show its coordsadded coords to element, so every Part of the proof got coords. Changed all Exceptions related to elements to print its coords to the message. Maybe do the same for Trees?All Exceptions in Parsing now show coordsAdded separator after function Trees (optional for classic Trees), which where needed to parse the trees correctly. Addes new automatic Test for function Trees - Test is passed.improved the grammar of function Trees, so it is possible to ignore unneeded brackets; implemented building of function Trees; WIP: Add a auto Test for function Trees and test function Treesadjusted grammar of fTree, so only 1 nonterminal composes two fTrees. endless brackets still possibleImplemented ExitFTreeleaf for building TreeLeafs for function Treesadopted Create_And_Test_Parsers.bat to new project name; Added alternative Tree form: like functions in Haskell; works currently with classic trees; TODO: implement function trees BUG: need seperator between each function tree (like end of lemma or inductioncase)adopted readme to .NET 6.0; minor fixes in I/Orename project from BaumtransformationBewerter to BewerterStrukturellerInduktion; switch to .Net 6.0 from .Net 3.1merge from https://gitlab.informatik.uni-halle.de/ajnwd/bewerter-struktureller-induktionInitial Commit