Commits · adc26ab7f7e3333f06da279fde7cbb1f5556a887 · Vladimír Štill / hsExprTest · GitLab

This project is mirrored from https://*****@github.com/vlstill/hsExprTest.git. Pull mirroring updated May 19, 2024.

May 26, 2019
- ext: Add signal set abstraction to brick-proc · adc26ab7
  Vladimír Štill authored May 26, 2019
  
  adc26ab7
- ext: Apply timeout also to subprocesses of spawn · c041410c
  Vladimír Štill authored May 26, 2019
  
  c041410c
May 25, 2019
- ext: Fix timeout with output in brick-proc · ac61fa52
  Vladimír Štill authored May 25, 2019
  
  ac61fa52
- ext: Add timeouts to brick-proc · fce33031
  Vladimír Štill authored May 25, 2019
  
  fce33031
- ext: Add support for extra outputs in brick-proc, use epoll instead of threads · c1d20811
  Vladimír Štill authored May 25, 2019
  
  c1d20811
- ext: Import fixes of brick-proc from DIVINE · f851a388
  Vladimír Štill authored May 25, 2019
  
  f851a388
- ext: Cleanup GCC warnings in brick-{fs,string} · 144dc40a
  Vladimír Štill authored May 25, 2019
  
  144dc40a
- ext: Bring back brick::fs::Fd, but with changed semantics · 1e12f79a
  Vladimír Štill authored May 25, 2019
  
  1e12f79a
- ext: Add brick-unittest & update brick-assert · 1c680687
  Vladimír Štill authored May 25, 2019
  
  1c680687
Jan 11, 2019
- Release as 3.0.0.0. · fe82b16b
  Vladimír Štill authored Jan 11, 2019
  
  v3.0
  
  fe82b16b
Nov 08, 2018
- Enable DeriveDataTypeable for teacher. · dbb150dd
  Vladimír Štill authored Nov 08, 2018
  
  dbb150dd
Oct 29, 2018
- hs: Allow specifying type to be degeneralized to. · 8d390fb1
  Vladimír Štill authored Oct 29, 2018
  
  8d390fb1
- Add Eq, Ord instance to Test.QuickCheck.Range types. · 717079ee
  Vladimír Štill authored Oct 29, 2018
  
  717079ee
- hs: Bring back the import metadirective. · 1b5ce29a
  Vladimír Štill authored Oct 29, 2018
  
  1b5ce29a
Oct 22, 2018
- hs: Enable builds with GHC 8.6. · 6c454841
  Vladimír Štill authored Oct 22, 2018
  
  6c454841
Oct 16, 2018
- service: Wrap the output in tag set for monospace font. · c3ac040d
  Vladimír Štill authored Oct 16, 2018
  
  c3ac040d
- service: HTML escape output. · cf635eb7
  Vladimír Štill authored Oct 16, 2018
  
  cf635eb7
Oct 15, 2018
- hs: Enable StandaloneDeriving in teacher files. · c0f3879a
  Vladimír Štill authored Oct 15, 2018
  
  c0f3879a
Oct 10, 2018
- CI: Fix doc build. · 8a142996
  Vladimír Štill authored Oct 10, 2018
  
  8a142996
- CI: Don't run doc in all targets. · 26d1cf63
  Vladimír Štill authored Oct 10, 2018
  
  26d1cf63
- More Haddock links. · fb928b3b
  Vladimír Štill authored Oct 10, 2018
  
  fb928b3b
- Add/update Haddock links. · 7810dccf
  Vladimír Štill authored Oct 10, 2018
  
  7810dccf
- CI: Try fixing travis YAML. · ab263979
  Vladimír Štill authored Oct 10, 2018
  
  ab263979
- CI: Try deploying to github pages. · 3c8d6bd5
  Vladimír Štill authored Oct 10, 2018
  
  3c8d6bd5
- make: Add doc make target (for haddock doc). · 691f3ac8
  Vladimír Štill authored Oct 10, 2018
  
  691f3ac8
Oct 09, 2018
- hs: Fix include path option in driver. · 06f7c6f3
  Vladimír Štill authored Oct 09, 2018
  
  06f7c6f3
Sep 30, 2018
- hs: Limit generated instances for tuples to 16-tuples to speed up compilation. · 13a8ac6f
  Vladimír Štill authored Sep 30, 2018
  
  13a8ac6f
Sep 27, 2018
- hs: Report timeout on SIGALRM. · 6c62566f
  Vladimír Štill authored Sep 27, 2018
  
  6c62566f
Sep 26, 2018
- test: Allow running tests with --hint. · 82432b1a
  Vladimír Štill authored Sep 26, 2018
  
  82432b1a
- Update .gitignore. · 674e07ed
  Vladimír Štill authored Sep 26, 2018
  
  674e07ed
- hs: Add support for type comparisons. · f036ee84
  Vladimír Štill authored Sep 26, 2018
  
  f036ee84
- test: Add tests for type comparison of Haskell types. · 925e499f
  Vladimír Štill authored Sep 26, 2018
  
  925e499f
Sep 25, 2018
- hs: Plug the new conversions into generated expressions. · 66131fce
  Vladimír Štill authored Sep 25, 2018
  
  66131fce
- test: Add a test with list of functions. · 2fe3068e
  Vladimír Štill authored Sep 25, 2018
  
  2fe3068e
- hs: Add support for more general conversions then Coercible. · 33ef468c
  Vladimír Štill authored Sep 25, 2018
```
This adds support to converting from QuickCheck Fun functions to Haskell
functions, with automatic uncurring and even in lists of such functions.
```
  33ef468c
Sep 24, 2018
- hs: Fix range of AsciiPrintableRange. · ed44ca5b
  Vladimír Štill authored Sep 24, 2018
  
  ed44ca5b
- Add Test.QuickCheck.Range.AsciiPrintableRange convenient alias. · becad18b
  Vladimír Štill authored Sep 24, 2018
  
  becad18b
- Make Test.QuickCheck.Range.Range newtype to make it coercible. · c08c97cf
  Vladimír Štill authored Sep 24, 2018
  
  c08c97cf
Sep 17, 2018
- hs: Reintroduce type annotation of user provided patterns, fix untyped patterns. · e0297b99
  Vladimír Štill authored Sep 17, 2018
  
  e0297b99
- test: Add tests of user-provided patterns. · 5a504de5
  Vladimír Štill authored Sep 17, 2018
  
  5a504de5