- 11 Dec, 2020 2 commits
-
-
Steffen Michels authoredAdd time field to EndEvent See merge request !37
-
Camil Staps authored
-
- 13 Oct, 2020 1 commit
-
-
Steffen Michels authored
Add possible fail reasons to counter-examples to give the user hints See merge request !36
-
- 11 Oct, 2020 1 commit
-
-
Camil Staps authored
-
- 01 Oct, 2020 3 commits
-
-
Steffen Michels authored
Generate less duplicates in ggen{|Real|}; document this instance Closes #16 See merge request !35 -
Camil Staps authored
-
Camil Staps authored
-
- 19 Sep, 2020 2 commits
-
-
Camil Staps authored
Use new maybe type See merge request !34
-
Camil Staps authored
-
- 10 Aug, 2020 2 commits
-
-
Camil Staps authored
Use strict maybe See merge request !33
-
Camil Staps authored
-
- 10 Apr, 2020 2 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
- 28 Nov, 2019 2 commits
-
-
Camil Staps authored
add <.> operator See merge request !32
-
Steffen Michels authored
-
- 25 Nov, 2019 1 commit
-
-
Bas Lijnse authored
-
- 14 Nov, 2019 1 commit
-
-
Mart Lubbers authored
use limits for integer & reals from Data.Int/Real See merge request !31
-
- 13 Nov, 2019 1 commit
-
-
Steffen Michels authored
-
- 25 Sep, 2019 2 commits
-
-
Steffen Michels authored
Use gcc as linker in Gast.env; remove DynLink from Mac OS and Linux versions where it is not used See merge request !30
-
Camil Staps authored
-
- 17 Sep, 2019 2 commits
-
-
Camil Staps authored
fix stack overflow with bent generation mode See merge request !29
-
Steffen Michels authored
-
- 16 Sep, 2019 1 commit
-
-
Steffen Michels authored
-
- 22 Aug, 2019 2 commits
-
-
Steffen Michels authored
Add option to control maximum length of generated strings See merge request !28
-
Camil Staps authored
-
- 19 Aug, 2019 1 commit
-
-
Camil Staps authored
Add module_and_name besides name See merge request !27
-
- 17 Aug, 2019 1 commit
-
-
Camil Staps authored
-
- 12 Aug, 2019 1 commit
-
-
Camil Staps authored
-
- 09 Aug, 2019 1 commit
-
-
Camil Staps authored
-
- 31 Jul, 2019 1 commit
-
-
Camil Staps authored
-
- 13 Jul, 2019 1 commit
-
-
Camil Staps authored
add instances for () See merge request !26
-
- 12 Jul, 2019 1 commit
-
-
Steffen Michels authored
-
- 04 Feb, 2019 1 commit
-
-
Camil Staps authored
-
- 29 Jan, 2019 1 commit
-
-
Camil Staps authored
-
- 15 Jan, 2019 2 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
- 14 Jan, 2019 2 commits
-
-
Mart Lubbers authored
use NaN/Infininty constants from StdReal See merge request !25
-
Steffen Michels authored
-
- 23 Nov, 2018 2 commits
-
-
Camil Staps authored
-
Camil Staps authored
Add special real values to the gen function See merge request !24
-
