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 |
|