Pull requests: input-output-hk/quickcheck-dynamic

2 Open 69 Closed

Author

Filter by author

Loading

Label

Filter by label

Loading

Projects

Filter by project

Loading

Milestones

Filter by milestone

Loading

Reviews

Filter by reviews

No reviews Review required Approved review Changes requested

Assignee

Filter by who’s assigned

Assigned to nobody Loading

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated Best match

Most reactions

👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Not require Typable s on DynLogicModel

#1 by ch1bo was merged Jul 4, 2022 Loading…

2

State-model compatibility layer to do IOSim models

#4 by MaximilianAlgehed was merged Aug 18, 2022 Loading…

6

Prepare open sourcing

#2 by ghost was merged Jul 8, 2022 Loading…

9

Add links to 2 papers and fix hackage broken links

#9 by ghost was merged Aug 25, 2022 Loading…

1

2

Make compatible with ghc-9.2

#3 by locallycompact was merged Jul 6, 2022 Loading…

Generalize postcondition

#11 by edsko was closed Sep 5, 2022 Loading…

38

DL and StateModel improvements

#28 by MaximilianAlgehed was merged Nov 10, 2022 Loading…

1 task done

1

40

Update 2022-09-28-introduce-q-d.md

#22 by ThomasArts was closed Oct 3, 2022 Loading…

Bump io-sim dependency and fix registry test

#24 by MaximilianAlgehed was merged Oct 4, 2022 Loading…

10

Introductory blog post about q-d library

#21 by ghost was merged Oct 11, 2022 Loading…

35

Some additional info in README

#6 by ThomasArts was merged Aug 18, 2022 Loading…

1

Make Monadic formulae main interface for writing properties

#5 by ghost was merged Aug 18, 2022 Loading…

1

Fourmolu formatting in CI

#13 by MaximilianAlgehed was merged Sep 28, 2022 Loading…

2 tasks

1

Add Typeable constraint to nextState

#16 by edsko was merged Sep 6, 2022 Loading…

2

Refactoring to remove uncontroversial language extensions

#14 by MaximilianAlgehed was merged Sep 6, 2022 Loading…

7

Add link to Edsko's blog post

#20 by ghost was merged Sep 29, 2022 Loading…

1

1

Improvements to IOSim compatibility

#12 by MaximilianAlgehed was merged Sep 5, 2022 Loading…

34

sentence rewording

#23 by ThomasArts was closed Oct 3, 2022 Loading…

PR template

#26 by MaximilianAlgehed was merged Oct 5, 2022 Loading…

Pr pr template

#27 by MaximilianAlgehed was merged Oct 5, 2022 Loading…

Coercive Pattern for EnvEntry

#25 by MaximilianAlgehed was merged Oct 5, 2022 Loading…

6

Bump IOGX to V4

#60 by zeme-wana was merged Nov 8, 2023 Loading…

1

Update nix documentation the README

#61 by zeme-wana was merged Nov 10, 2023 Loading…

IOGX Integration

#33 by zeme-iohk was merged Jun 30, 2023 Loading…

8

Bump IOGX

#36 by zeme-wana was closed Jul 1, 2023 • Draft