- Nov 24, 2023
-
-
Edward Sabinus authored
-
- Nov 21, 2023
-
-
Edward Sabinus authored
Added 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.
-
- Nov 20, 2023
-
-
Edward Sabinus authored
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 Trees
-
Edward Sabinus authored
adjusted grammar of fTree, so only 1 nonterminal composes two fTrees. endless brackets still possible
-
- Nov 17, 2023
-
-
Edward Sabinus authored
-
Edward Sabinus authored
adopted 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)
-
Edward Sabinus authored
-
Edward Sabinus authored
rename project from BaumtransformationBewerter to BewerterStrukturellerInduktion; switch to .Net 6.0 from .Net 3.1
-
- Nov 16, 2023
-
- Nov 10, 2023
-
-
Edward Sabinus authored
-