Commits · 08fe984206f62203d3b37d4b2f83dfd8f3b9a063 · Edward Sabinus / Bewerter Struktureller Induktion · GitLab

Snippets Groups Projects

Apr 24, 2024
- Added for each error a class · 08fe9842
  Edward Sabinus authored 1 year ago
  
  08fe9842
- Syntax errors are now reported in the same way as semantic analysis. If a... · fdf61e1b
  Edward Sabinus authored 1 year ago
  fdf61e1b
- Added tests to ExtraTest. Some test cases which violate grammar do not work... · 11691f38
  Edward Sabinus authored 1 year ago
  11691f38
Apr 23, 2024
- changed possible errrors to non deadly in both proof listener; Added test... · d56a6b1d
  Edward Sabinus authored 1 year ago
  d56a6b1d
Mar 31, 2024
- make same Listener helper for both proof listener. · 4cf19d67
  Edward Sabinus authored 1 year ago
  
  4cf19d67
Dec 15, 2023
- removed unused constructor parameters of Listener_Helper, changed possible... · d6b45a68
  Edward Sabinus authored 1 year ago
  d6b45a68
- repaired name of AbstractEingabeverwalter, changed all possible errors to... · 4b8203fe
  Edward Sabinus authored 1 year ago
  4b8203fe
Dec 14, 2023
- Added Error to namespace Metamodell; Added new Semantic Errors: deadly, non... · 381c1ee4
  Edward Sabinus authored 1 year ago
  381c1ee4
- Update link to tests in README.md · 9147364a
  Edward Sabinus authored 1 year ago
  
  9147364a
- Update the link to tests in README.md · 121ee568
  Edward Sabinus authored 1 year ago
  
  121ee568
Dec 06, 2023
- replaced maxpt with confpt in assessment formula to not punish twice for not enough steps · ff8c8a53
  Edward Sabinus authored 1 year ago
  
  ff8c8a53
- Now the giving of maxpt when no errors are found applies to singletasks and... · a1beb174
  Edward Sabinus authored 1 year ago
  a1beb174
- Added Comments and Test for Comments, repaired excamples for FTree in antlr grammars · 53245fe8
  Edward Sabinus authored 1 year ago
  
  53245fe8
Dec 05, 2023
- Move back to dotnet 5.0 from 6.0 · b094e908
  Edward Sabinus authored 1 year ago
  
  b094e908
Nov 24, 2023
- added coords to trees; changed all Exceptions related to trees to show its coords · 01597efd
  Edward Sabinus authored 1 year ago
  
  01597efd
- added coords to element, so every Part of the proof got coords. Changed all... · d92b6032
  Edward Sabinus authored 1 year ago
  d92b6032
- All Exceptions in Parsing now show coords · c1a2a6b1
  Edward Sabinus authored 1 year ago
  
  c1a2a6b1
Nov 21, 2023
- Added separator after function Trees (optional for classic Trees), which where... · 937d2ac6
  Edward Sabinus authored 1 year ago
  937d2ac6
Nov 20, 2023
- improved the grammar of function Trees, so it is possible to ignore unneeded... · 219c7280
  Edward Sabinus authored 1 year ago
  219c7280
- adjusted grammar of fTree, so only 1 nonterminal composes two fTrees. endless... · 04ab693d
  Edward Sabinus authored 1 year ago
  04ab693d
Nov 17, 2023
- Implemented ExitFTreeleaf for building TreeLeafs for function Trees · 446d889b
  Edward Sabinus authored 1 year ago
  
  446d889b
- adopted Create_And_Test_Parsers.bat to new project name; Added alternative... · 232268bc
  Edward Sabinus authored 1 year ago
  232268bc
- adopted readme to .NET 6.0; minor fixes in I/O · 307e5cf7
  Edward Sabinus authored 1 year ago
  
  307e5cf7
- rename project from BaumtransformationBewerter to... · 058809fb
  Edward Sabinus authored 1 year ago
  058809fb
Nov 16, 2023
- merge from https://gitlab.informatik.uni-halle.de/ajnwd/bewerter-struktureller-induktion · 3e167800
  Edward Sabinus authored 1 year ago
  
  3e167800
Nov 10, 2023
- Initial Commit · 34b3227f
  Edward Sabinus authored 1 year ago
  
  34b3227f