- 11 Apr, 2021 1 commit
-
-
Steffen Michels authored
Add old examples and test them in CI Closes #18 See merge request !45
-
- 10 Apr, 2021 1 commit
-
-
Camil Staps authored
-
- 23 Mar, 2021 3 commits
-
-
Camil Staps authored
Revert "Merge branch... See merge request !44
-
Camil Staps authored
Revert "Merge branch '17-various-instances-needed-for-generic-functions-are-not-exported' into 'master'" This reverts merge request !43
-
John van Groningen authored
import Gast.Gen in its entirity Closes #17 See merge request !43
-
- 08 Mar, 2021 1 commit
-
-
Mart Lubbers authored
-
- 26 Feb, 2021 10 commits
-
-
Camil Staps authored
make input list of Testable.diagonal lazy to reduce heap usage See merge request !42
-
Steffen Michels authored
-
Camil Staps authored
prevent evaluating all elements in Testable.diagonal See merge request !41
-
Steffen Michels authored
-
Camil Staps authored
Remove strictness annotation in diagBent that causes excessive heap usage on recursive types See merge request !40
-
Camil Staps authored
-
Steffen Michels authored
Import Control.GenBimap in Gast.Gen; it is usually needed now that ggen returns a [!] See merge request !39
-
Camil Staps authored
-
Camil Staps authored
optimise test data generation See merge request !38
-
Camil Staps authored
-
- 25 Feb, 2021 1 commit
-
-
Steffen Michels authored
-
- 17 Feb, 2021 3 commits
-
-
Steffen Michels authored
-
Steffen Michels authored
-
Steffen Michels authored
-
- 11 Dec, 2020 2 commits
-
-
Steffen Michels authored
Add 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
-