Merge branch 'quickcheck-state-machine' into 'master' (72733afc) · Commits · Théophile Choutri / horizon-platform · GitLab

Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

horizon-platform
- Activity
- Members
- Labels
- Issues
  0
- Issue boards
- Milestones
- Wiki
- Releases
- Package Registry
- Environments
- Terraform modules
- Incidents
- Service Desk

Snippets Groups Projects

Théophile Choutri
horizon-platform
Commits
72733afc

Commit 72733afc authored 1 year ago by

Daniel Firth

Downloads
- Plain Diff

Merge branch 'quickcheck-state-machine' into 'master'

Quickcheck state machine

See merge request package-sets/horizon-platform!112

parents ea2ab632 2db4a398

Changes 9

Hide whitespace changes

Inline Side-by-side

Showing

horizon.dhall 7 additions, 0 deletions

horizon.dhall
horizon.lock 24 additions, 0 deletions

horizon.lock
overlay.nix 12 additions, 0 deletions

overlay.nix
pkgs/fgl-arbitrary.nix 21 additions, 0 deletions

pkgs/fgl-arbitrary.nix
pkgs/fgl.nix 26 additions, 0 deletions

pkgs/fgl.nix
pkgs/graphviz.nix 34 additions, 0 deletions

pkgs/graphviz.nix
pkgs/microbench.nix 21 additions, 0 deletions

pkgs/microbench.nix
pkgs/quickcheck-state-machine.nix 47 additions, 0 deletions

pkgs/quickcheck-state-machine.nix
pkgs/wl-pprint-text.nix 22 additions, 0 deletions

pkgs/wl-pprint-text.nix

with 214 additions and 0 deletions

0% or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment