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