GitHub / input-output-hk/quickcheck-dynamic / commits
A library for stateful property-based testing
| SHA | Message | Author | Date | Stats |
|---|---|---|---|---|
| 252826fe | Update github actions | Sebastian Nagel <s****l@n****t> | 4 months ago | |
| d6452527 | Enter nix shell in CI | Sebastian Nagel <s****l@n****t> | 4 months ago | |
| fcb61ced | Pin iogx to specific rev | Sebastian Nagel <s****l@n****t> | 4 months ago | |
| c0f14d35 | merge Merge pull request #91 from fraser-iohk/fraser-iohk/support-QuickCheck-2.16 |
Sebastian Nagel <c****o@u****m>
Committed by: GitHub <n****y@g****m> |
4 months ago | |
| e033b7bd | support QuickCheck-2.16 | Fraser Murray <f****y@i****o> | 4 months ago | |
| 6a4b08ac | merge Merge pull request #89 from input-output-hk/drop-quickcheck-dynamic-iosim |
Sebastian Nagel <c****o@u****m>
Committed by: GitHub <n****y@g****m> |
8 months ago | |
| 70bc9fa1 | Drop now-unrelated quickcheck-dynamic-iosim | Sebastian Nagel <s****l@n****t> | 8 months ago | |
| ed9a72cd | Update .envrc and github workflows | Sebastian Nagel <s****l@n****t> | 8 months ago | |
| 5f7c2d25 | merge Merge pull request #74 from input-output-hk/add-mkVar-haddock |
Sebastian Nagel <c****o@u****m>
Committed by: GitHub <n****y@g****m> |
8 months ago | |
| 7bb43882 | Release 4.0.0 | Sebastian Nagel <s****l@n****t> | 8 months ago | |
| 5f662ced |
Fix links to the Registry example (#87)
Co-authored-by: Maximilian Algehed <M****d@u****m>, Maximilian Algehed <M****d@u****m> |
Georgy Lukyanov <m****l@g****o>
Committed by: GitHub <n****y@g****m> |
8 months ago | |
| 071092c9 |
Introduce a QuickCheck-style `MoreActions` type modifier to make it easier to...
Co-authored-by: Ulf Norell <u****l@g****m> |
Maximilian Algehed <M****d@u****m>
Committed by: GitHub <n****y@g****m> |
about 1 year ago | |
| 95b8ad15 | Update CI to non-deprecated version of upload-artifact | Maximilian Algehed <m****d@g****m> | about 1 year ago | |
| 9ab580a5 | update changelog |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
over 1 year ago | |
| 221cfa80 | Move `Error state` to `RunModel` |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
over 1 year ago | |
| b50a995a | remove Realized (#76) |
Maximilian Algehed <M****d@u****m>
Committed by: GitHub <n****y@g****m> |
over 1 year ago | |
| 25bac1ab |
Document how generated test cases are validated (#75)
Co-authored-by: Maximilian Algehed <M****d@u****m> |
Arnaud Bailly <7****k@u****m>
Committed by: GitHub <n****y@g****m> |
over 1 year ago | |
| e178d4aa | Add a haddock to mkVar | Sebastian Nagel <s****l@n****t> | over 1 year ago | |
| 3187fd08 | Prepare for release 3.4.1 | Arnaud Bailly <a****y@i****o> | over 1 year ago | |
| c9e87ffd | Link to BOBKonf 2024 slides | Arnaud Bailly <a****y@i****o> | over 1 year ago | |
| ae5d642c | Refactor runActions to distinguish more clearly various cases (#71) |
Arnaud Bailly <7****k@u****m>
Committed by: GitHub <n****y@g****m> |
over 1 year ago | |
| cf5273fa | Expose only the class name for IsPerformResult (#70) |
Joris Dral <j****s@w****m>
Committed by: GitHub <n****y@g****m> |
over 1 year ago | |
| 228b2a25 | Clarify release process | Arnaud Bailly <a****y@i****o> | over 1 year ago | |
| 1bc65c64 | Prepare release 3.4.0 | Arnaud Bailly <a****y@i****o> | over 1 year ago | |
| 03da23ae | Clarify Quantification usage and functions (#65) |
Arnaud Bailly <7****k@u****m>
Committed by: GitHub <n****y@g****m> |
over 1 year ago | |
| 5ebbf125 |
Adding errors to actions to help negative testing (#58)
Co-authored-by: Ulf Norell <u****l@g****m> |
Maximilian Algehed <M****d@u****m>
Committed by: GitHub <n****y@g****m> |
over 1 year ago | |
| c309099a | Bump IOGX 2024-01-17 (#64) |
zeme-wana <1****a@u****m>
Committed by: GitHub <n****y@g****m> |
almost 2 years ago | |
| 6ce3e534 | update github output format (#63) |
Maximilian Algehed <M****d@u****m>
Committed by: GitHub <n****y@g****m> |
almost 2 years ago | |
| f72463bd | Update nix documentation the README (#61) |
zeme-wana <1****a@u****m>
Committed by: GitHub <n****y@g****m> |
almost 2 years ago | |
| d1d13341 | Bump IOGX to V4 (#60) |
zeme-wana <1****a@u****m>
Committed by: GitHub <n****y@g****m> |
almost 2 years ago | |
| b9e4f8ed |
Putback MonadTrans instance for postcondition (#57)
Co-authored-by: Ulf Norell <u****l@g****m>, Ulf Norell <u****l@g****m> |
Arnaud Bailly <7****k@u****m>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| 5a5314bd | Make `isWellTyped` more lazy and add missing `isEmptyCtx` function to | Maximilian Algehed <m****d@g****m> | about 2 years ago | |
| 54b4cf8f | Add instance of `HasVariables` for `Any f`. (#56) |
Maximilian Algehed <M****d@u****m>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| 17a70309 | Relax some dependencies bounds (#55) |
Arnaud Bailly <7****k@u****m>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| f69ca85d | Bump version to 3.3.0 | Arnaud Bailly <a****y@i****o> | about 2 years ago | |
| b3b41aaf | Update changelog | Arnaud Bailly <a****y@i****o> | about 2 years ago | |
| 348cfdb4 | Add signature to help typeclass resolution fix #47 (#48) |
Arnaud Bailly <7****k@u****m>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| 2c85370c | Bump GHC 927 -> 962 (#50) |
zeme-wana <1****a@u****m>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| e02a6de6 | Fix workflow badge (#52) |
Maximilian Algehed <M****d@u****m>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| e5109d78 | CHANGELOG |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
about 2 years ago | |
| c6040807 | Remove one non-binding action at a time |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
about 2 years ago | |
| 08b1a828 | Implement some lightweight double-shrinking |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
about 2 years ago | |
| 7243e632 | Release 3.2.0 | Maximilian Algehed <m****d@g****m> | about 2 years ago | |
| bf2ee843 | Bump IOGX V3 (#46) |
zeme-wana <1****a@u****m>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| f8da278e | Compatibility with `ghc-9.4` and `ghc-9.6` (#38) |
Joris Dral <j****l@g****m>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| f9679485 | Get rid of io-sim in tests + move tests to quickcheck-dynamic (#42) |
Maximilian Algehed <M****d@u****m>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| 3d594fe5 | Remove more of the negative.* names |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
over 2 years ago | |
| dadb1338 | Updated names and documentation |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
over 2 years ago | |
| 02eae069 | Fix comment on `afterNegative` |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
over 2 years ago | |
| 035628df | negativePrecondition -> validFailingAction |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
over 2 years ago | |
| 2593ac4f | Bump IOGX (#43) |
zeme-wana <1****a@u****m>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| 8146e9e4 | Bump IOGX |
zeme <l****i@i****o>
Committed by: Maximilian Algehed <M****d@u****m> |
over 2 years ago | |
| 44e1fe69 | Bump IOGX (#39) Added native aarch64-darwin Shell |
zeme-wana <1****a@u****m>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| 4b31609f | Bump IOGX to 04ef47 (#37) |
zeme-wana <1****a@u****m>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| 2f57d061 |
IOGX Integration (#33)
Co-authored-by: zeme <z****1@p****e>, zeme <l****i@i****o> |
zeme-iohk <l****i@i****d>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| 62c07bbb | Upgrade nix install action (#34) |
Arnaud Bailly <7****k@u****m>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| 13e4ac14 | Conservative extension for negative testing |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
over 2 years ago | |
| 2b0cdf5b | CHANGELOG | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| a327b16e | Hack to get around GHC reporting annoying type errors when we are | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| 96bbfcf6 | Better convenience functions | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| e95e89a8 | Update changelog | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| 0647286d | fmt | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| ec88b27c | Use `monitorPost` in registry model example | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| cf6954b9 | Version bump | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| 8ddf40a0 | Allow users to do monitoring directly in counterexamples | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| 2aac8182 | Release notes | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| 87133519 | Formatting + implementation of `hasNoVariablesQ` quantification | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| 11e1e1a9 | Updated changelog | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| f96f098b | Version bump | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| 78d019e5 | Fixed bad arguments to forAllUniqueDL | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| ddeeaa91 | More minor fixes | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| 1988669a | Fix missing export of newtype for deriving gadget | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| 8183cf1b | Bump version and release | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| 18fea14b | Remove unused dependency | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| f26dff3e | Updated changelog | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| b72a7b4e | Remove TH pragma | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| a9685b27 | Remote TH utility module (broken anyway on GHC 9.2.4 and of dubious | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| f21332ba | Fix fmt in nix-shell | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| 76c4444b | Fix formatting by lifting CPP to toplevel | Arnaud Bailly <a****y@i****o> | over 2 years ago | |
| fa025c7a | Fix TH-related bug in DL model of RegState by simply avoiding the TH. | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| 410089c3 | Fix GHC version issues | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| f324f9ed | Bump qc-d version | Maximilian Algehed <m****d@g****m> | over 2 years ago | |
| 3175012a | Re-export Generic and add instance of realized for identity monad | Maximilian Algehed <m****d@g****m> | almost 3 years ago | |
| aef136ed |
DL and StateModel improvements (#28)
Co-authored-by: Ulf Norell <u****l@g****m> |
Maximilian Algehed <M****d@u****m>
Committed by: GitHub <n****y@g****m> |
almost 3 years ago | |
| 782620e3 | Bump next version number to 2.1.0 | Arnaud Bailly <a****e@g****m> | about 3 years ago | |
| 5da1f886 | Update CHANGELOG with 2.0.0 stuff | Arnaud Bailly <a****e@g****m> | about 3 years ago | |
| 0683263d |
Introductory blog post about q-d library (#21)
Co-authored-by: Thomas Arts <t****s@q****m>, Thomas Arts <t****s@q****m>, Thomas Arts <t****s@q****m>, Thomas Arts <t****s@q****m>, Sebastian Nagel <c****o@u****m>, Sebastian Nagel <c****o@u****m>, Sebastian Nagel <c****o@u****m>, Sebastian Nagel <c****o@u****m>, Maximilian Algehed <M****d@u****m>, Arnaud Bailly <a****e@g****m>, Thomas Arts <t****s@q****m>, Sebastian Nagel <c****o@u****m>, Maximilian Algehed <M****d@u****m> |
Arnaud Bailly <7****k@u****m>
Committed by: GitHub <n****y@g****m> |
about 3 years ago | |
| 3180e458 | Move PR template to the right spot |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
about 3 years ago | |
| c1f06fe5 | PR template |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
about 3 years ago | |
| 60e6e3a9 | fmt.sh |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
about 3 years ago | |
| 29049020 | Introduce a pattern that coerces env entries to the desired type |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
about 3 years ago | |
| 55439b1e | Remove unnecessary comment |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
about 3 years ago | |
| 3c732bc3 | fmt.sh |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
about 3 years ago | |
| 6946005e | Fix precondition... |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
about 3 years ago | |
| c2ac7685 | Initial attempt to bump io-sim dependencies. Registry example tests |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
about 3 years ago | |
| d017f6a5 |
Add link to Edsko's blog post fix #8 (#20)
Co-authored-by: Arnaud Bailly <a****e@g****m> |
Arnaud Bailly <7****k@u****m>
Committed by: GitHub <n****y@g****m> |
about 3 years ago | |
| 5881793d | Fix formatting | Arnaud Bailly <a****y@i****o> | about 3 years ago | |
| ad95801d | Move fourmolu as build tool | Arnaud Bailly <a****y@i****o> | about 3 years ago | |
| 1199da07 | Fourmolu formatting in CI (#13) |
Maximilian Algehed <M****d@u****m>
Committed by: GitHub <n****y@g****m> |
about 3 years ago | |
| 81310df2 | Add -Werror to CI |
Maximilian Algehed <m****d@g****m>
Committed by: Maximilian Algehed <M****d@u****m> |
about 3 years ago |