Commit Graph

27 Commits

Author SHA1 Message Date
Arne Keller
22705727cb Misc. adjustments
Properties file was encoded using latin1 again!

The JaCoCo agent should not execute when running the server,
use mvn jacoco:prepare-agent test jacoco:report
when generating test coverage.
2021-02-08 09:52:09 +01:00
uogau
d4e9d3b566 StepFactoryWithLet test 2021-02-08 03:16:08 +01:00
Arne Keller
a7f1556fe6 Fix misc. UI issues 2021-02-05 17:02:08 +01:00
Arne Keller
afcf8cb252 Enforce Checkstyle 2021-02-02 21:04:34 +01:00
Moritz Dieing
1b943bbb02 Simple integration tests and structure for screenshot test 2021-02-02 20:42:35 +01:00
Moritz Dieing
1d903f7626 Structure for infoDialog 2021-01-31 14:02:05 +01:00
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