Commit Graph

21 Commits

Author SHA1 Message Date
Arne Keller
e540c6ec4c CI: optimize Maven usage 2021-01-30 13:52:54 +01:00
Johanna Stuber
9affbb4807 Tests for Substitution, Constraint 2021-01-30 13:13:51 +01:00
Arne Keller
370acda75c First integration test 2021-01-29 18:23:33 +01:00
Arne Keller
4e5488e1eb Include token in ParseError + more error handling 2021-01-29 09:40:35 +01:00
Arne Keller
878130ebba Handle empty lambda term in parser 2021-01-29 08:12:45 +01:00
ucrhh
c8c5f2b63b run checkstyle on mvn test 2021-01-29 00:28:38 +01:00
Arne Keller
2bb2b98a36 Checkstyle: ignore resource files 2021-01-28 16:24:08 +01:00
Arne Keller
9f13bb7e42 MathJax without Shadow DOM (did not work)
Checkstyle excludes
Bundle MathJax
2021-01-28 16:18:42 +01:00
Arne Keller
5f2e07fd82 CI: Use JaCoCo for test coverage 2021-01-28 14:44:34 +01:00
ucrhh
e114e7e3f5 merge 2021-01-28 14:36:33 +01:00
ucrhh
9e06712552 vaadin fix 2021-01-28 14:32:35 +01:00
Moritz Dieing
82aa689084 InputBar und UpperBar erweitert 2021-01-28 13:20:44 +01:00
Arne Keller
c5a3cce7bf CI: test coverage
And a complicated parser test
2021-01-28 10:32:28 +01:00
Arne Keller
f51e3304e2 Term-Paket fertig 2021-01-28 09:52:26 +01:00
Arne Keller
cf00fb803b Checkstyle-Fehler behoben 2021-01-27 21:02:52 +01:00
Arne Keller
15134d544d CI: Checkstyle 2021-01-27 21:02:52 +01:00
Arne Keller
5cf04a979a Checkstyle für Maven konfiguriert 2021-01-27 21:02:51 +01:00
Arne Keller
3d5c84be03 Erster Unittest für Parser 2021-01-27 10:23:54 +01:00
Arne Keller
c8564e14bd Nicht benötigte Vaadin-Bibliotheken (date picker etc.) entfernt 2021-01-27 09:12:15 +01:00
Me
6b70e3b9db add ControlPanel(View) 2021-01-26 17:05:47 +01:00
Me
e0b3a9165b Vaadin init 2021-01-26 16:05:33 +01:00