- 10 May, 2022 5 commits
-
-
Gebhart97 authored
-
Gebhart97 authored
-
Gebhart97 authored
Some Test Cases, that should hopefully work now.
-
Gebhart97 authored
-
Gebhart97 authored
Feel free to remove this or fix it, if it creates Problems on Linux. This is just a small fix for me, because without it, I always get an "unexpected carriage return" error.
-
- 04 May, 2022 1 commit
-
-
Hans-Peter Deifel authored
As per warning, this must be stated as an exact version, not a version range.
-
- 20 Nov, 2020 1 commit
-
-
Hans-Peter Deifel authored
-
- 17 Nov, 2020 2 commits
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
- 16 Nov, 2020 3 commits
-
-
Bastian Kauschke authored
-
Bastian Kauschke authored
-
Hans-Peter Deifel authored
-
- 13 Nov, 2020 3 commits
-
-
Hans-Peter Deifel authored
It's just a natural place to showcase the initial state feature and we need a few easy examples with initial states. This removes dfa-with-init from ui-tests, since it's now covered by the main example.
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
A final newline is automatically inserted by many traditional unix tools and editors, which makes editing .mini files rather hard with e.g - vim, emacs, - `copar minimize foo.input > foo.mini`. All of the above insert a trailing newline automatically.
-
- 11 Nov, 2020 4 commits
-
-
Bastian Kauschke authored
-
Bastian Kauschke authored
-
Bastian Kauschke authored
-
Bastian Kauschke authored
-
- 04 Nov, 2020 2 commits
-
-
Hans-Peter Deifel authored
-
-
- 03 Nov, 2020 1 commit
-
-
Bastian Kauschke authored
-
- 02 Nov, 2020 2 commits
-
-
Bastian Kauschke authored
-
Hans-Peter Deifel authored
This reverts commit 2008c0af.
-
- 28 Oct, 2020 1 commit
-
-
Thorsten Wißmann authored
-
- 22 Oct, 2020 1 commit
-
-
Hans-Peter Deifel authored
-
- 21 Oct, 2020 1 commit
-
-
Bastian Kauschke authored
-
- 20 Oct, 2020 1 commit
-
-
Hans-Peter Deifel authored
small cleanup See merge request !41
-
- 19 Oct, 2020 4 commits
-
-
Bastian Kauschke authored
-
Bastian Kauschke authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
- 16 Oct, 2020 1 commit
-
-
Bastian Kauschke authored
-
- 13 Oct, 2020 4 commits
-
-
Bastian Kauschke authored
-
Bastian Kauschke authored
-
Bastian Kauschke authored
-
Hans-Peter Deifel authored
-
- 06 Oct, 2020 2 commits
-
-
Hans-Peter Deifel authored
-
Bastian Kauschke authored
-
- 05 Oct, 2020 1 commit
-
-
Bastian Kauschke authored
-