Home /
Input Output /
quickcheck-dynamic
Jul 09, 1-2 PM (0)
Jul 09, 2-3 PM (0)
Jul 09, 3-4 PM (1)
Jul 09, 4-5 PM (0)
Jul 09, 5-6 PM (0)
Jul 09, 6-7 PM (0)
Jul 09, 7-8 PM (0)
Jul 09, 8-9 PM (0)
Jul 09, 9-10 PM (0)
Jul 09, 10-11 PM (0)
Jul 09, 11-12 AM (0)
Jul 10, 12-1 AM (0)
Jul 10, 1-2 AM (0)
Jul 10, 2-3 AM (0)
Jul 10, 3-4 AM (0)
Jul 10, 4-5 AM (0)
Jul 10, 5-6 AM (0)
Jul 10, 6-7 AM (0)
Jul 10, 7-8 AM (0)
Jul 10, 8-9 AM (0)
Jul 10, 9-10 AM (1)
Jul 10, 10-11 AM (0)
Jul 10, 11-12 PM (0)
Jul 10, 12-1 PM (1)
Jul 10, 1-2 PM (1)
Jul 10, 2-3 PM (0)
Jul 10, 3-4 PM (0)
Jul 10, 4-5 PM (0)
Jul 10, 5-6 PM (0)
Jul 10, 6-7 PM (0)
Jul 10, 7-8 PM (0)
Jul 10, 8-9 PM (0)
Jul 10, 9-10 PM (0)
Jul 10, 10-11 PM (0)
Jul 10, 11-12 AM (0)
Jul 11, 12-1 AM (0)
Jul 11, 1-2 AM (0)
Jul 11, 2-3 AM (0)
Jul 11, 3-4 AM (0)
Jul 11, 4-5 AM (0)
Jul 11, 5-6 AM (0)
Jul 11, 6-7 AM (1)
Jul 11, 7-8 AM (0)
Jul 11, 8-9 AM (0)
Jul 11, 9-10 AM (0)
Jul 11, 10-11 AM (0)
Jul 11, 11-12 PM (0)
Jul 11, 12-1 PM (1)
Jul 11, 1-2 PM (0)
Jul 11, 2-3 PM (3)
Jul 11, 3-4 PM (2)
Jul 11, 4-5 PM (0)
Jul 11, 5-6 PM (0)
Jul 11, 6-7 PM (0)
Jul 11, 7-8 PM (0)
Jul 11, 8-9 PM (0)
Jul 11, 9-10 PM (0)
Jul 11, 10-11 PM (0)
Jul 11, 11-12 AM (0)
Jul 12, 12-1 AM (0)
Jul 12, 1-2 AM (0)
Jul 12, 2-3 AM (0)
Jul 12, 3-4 AM (0)
Jul 12, 4-5 AM (0)
Jul 12, 5-6 AM (0)
Jul 12, 6-7 AM (0)
Jul 12, 7-8 AM (0)
Jul 12, 8-9 AM (0)
Jul 12, 9-10 AM (0)
Jul 12, 10-11 AM (0)
Jul 12, 11-12 PM (0)
Jul 12, 12-1 PM (0)
Jul 12, 1-2 PM (0)
Jul 12, 2-3 PM (0)
Jul 12, 3-4 PM (0)
Jul 12, 4-5 PM (0)
Jul 12, 5-6 PM (0)
Jul 12, 6-7 PM (0)
Jul 12, 7-8 PM (0)
Jul 12, 8-9 PM (0)
Jul 12, 9-10 PM (0)
Jul 12, 10-11 PM (0)
Jul 12, 11-12 AM (0)
Jul 13, 12-1 AM (0)
Jul 13, 1-2 AM (0)
Jul 13, 2-3 AM (0)
Jul 13, 3-4 AM (0)
Jul 13, 4-5 AM (0)
Jul 13, 5-6 AM (0)
Jul 13, 6-7 AM (0)
Jul 13, 7-8 AM (0)
Jul 13, 8-9 AM (0)
Jul 13, 9-10 AM (0)
Jul 13, 10-11 AM (0)
Jul 13, 11-12 PM (0)
Jul 13, 12-1 PM (0)
Jul 13, 1-2 PM (0)
Jul 13, 2-3 PM (0)
Jul 13, 3-4 PM (0)
Jul 13, 4-5 PM (0)
Jul 13, 5-6 PM (0)
Jul 13, 6-7 PM (0)
Jul 13, 7-8 PM (0)
Jul 13, 8-9 PM (0)
Jul 13, 9-10 PM (0)
Jul 13, 10-11 PM (0)
Jul 13, 11-12 AM (0)
Jul 14, 12-1 AM (0)
Jul 14, 1-2 AM (0)
Jul 14, 2-3 AM (0)
Jul 14, 3-4 AM (0)
Jul 14, 4-5 AM (0)
Jul 14, 5-6 AM (0)
Jul 14, 6-7 AM (0)
Jul 14, 7-8 AM (0)
Jul 14, 8-9 AM (0)
Jul 14, 9-10 AM (0)
Jul 14, 10-11 AM (0)
Jul 14, 11-12 PM (6)
Jul 14, 12-1 PM (0)
Jul 14, 1-2 PM (0)
Jul 14, 2-3 PM (0)
Jul 14, 3-4 PM (0)
Jul 14, 4-5 PM (0)
Jul 14, 5-6 PM (0)
Jul 14, 6-7 PM (0)
Jul 14, 7-8 PM (0)
Jul 14, 8-9 PM (0)
Jul 14, 9-10 PM (0)
Jul 14, 10-11 PM (0)
Jul 14, 11-12 AM (0)
Jul 15, 12-1 AM (0)
Jul 15, 1-2 AM (0)
Jul 15, 2-3 AM (0)
Jul 15, 3-4 AM (0)
Jul 15, 4-5 AM (0)
Jul 15, 5-6 AM (0)
Jul 15, 6-7 AM (0)
Jul 15, 7-8 AM (0)
Jul 15, 8-9 AM (0)
Jul 15, 9-10 AM (0)
Jul 15, 10-11 AM (0)
Jul 15, 11-12 PM (0)
Jul 15, 12-1 PM (0)
Jul 15, 1-2 PM (0)
Jul 15, 2-3 PM (0)
Jul 15, 3-4 PM (0)
Jul 15, 4-5 PM (0)
Jul 15, 5-6 PM (0)
Jul 15, 6-7 PM (0)
Jul 15, 7-8 PM (0)
Jul 15, 8-9 PM (0)
Jul 15, 9-10 PM (0)
Jul 15, 10-11 PM (0)
Jul 15, 11-12 AM (0)
Jul 16, 12-1 AM (0)
Jul 16, 1-2 AM (0)
Jul 16, 2-3 AM (0)
Jul 16, 3-4 AM (0)
Jul 16, 4-5 AM (0)
Jul 16, 5-6 AM (0)
Jul 16, 6-7 AM (0)
Jul 16, 7-8 AM (0)
Jul 16, 8-9 AM (0)
Jul 16, 9-10 AM (0)
Jul 16, 10-11 AM (0)
Jul 16, 11-12 PM (0)
Jul 16, 12-1 PM (0)
Jul 16, 1-2 PM (0)
17 commits this week
Jul 09, 2025
-
Jul 16, 2025
deploy: 252826feb7cb17b4286978e131b54cb42b96ea76
Pin iogx to specific rev
This ensures that flake lock inputs are still found on this old version of the iogx repository.
deploy: c0f14d351d5a3b433a695c03535173ffcdc84225
Pin iogx to specific rev
This ensures that flake lock inputs are still found on this old version of the iogx repository.
Fix CI jobs with new recommended nix shell
Remove broken nix flake
Updated README instructions to use github:input-output-hk/devx instead for nix dev setup.
Re-initialize flake using iogx
The iogx flake input we used before is now a template. The project still uses haskell.nix and a dev shell provides haskell tools to compile and develop.
support QuickCheck-2.16
deploy: c0f14d351d5a3b433a695c03535173ffcdc84225
Merge pull request #91 from fraser-iohk/fraser-iohk/support-QuickCheck-2.16
support QuickCheck-2.16