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

7 Open 62 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… updated Jul 4, 2022

2

Make compatible with ghc-9.2

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

Prepare open sourcing

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

9

Make Monadic formulae main interface for writing properties

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

1

Some additional info in README

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

1

Improvements to IOSim compatibility

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

34

Add Typeable constraint to nextState

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

2

Refactoring to remove uncontroversial language extensions

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

7

Generalize postcondition

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

38

sentence rewording

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

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

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

PR template

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

Introductory blog post about q-d library

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

35

Add links to 2 papers and fix hackage broken links

#9 by ghost was merged Aug 25, 2022 Loading… updated Feb 13, 2023

1

2

State-model compatibility layer to do IOSim models

#4 by MaximilianAlgehed was merged Aug 18, 2022 Loading… updated Feb 13, 2023

6

Add link to Edsko's blog post

#20 by ghost was merged Sep 29, 2022 Loading… updated Feb 13, 2023

1

1

Fourmolu formatting in CI

#13 by MaximilianAlgehed was merged Sep 28, 2022 Loading… updated Jun 26, 2023

2 tasks

1

Coercive Pattern for EnvEntry

#25 by MaximilianAlgehed was merged Oct 5, 2022 Loading… updated Jun 26, 2023

6

DL and StateModel improvements

#28 by MaximilianAlgehed was merged Nov 10, 2022 Loading… updated Jun 26, 2023

1 task done

1

40

Bump io-sim dependency and fix registry test

#24 by MaximilianAlgehed was merged Oct 4, 2022 Loading… updated Jun 26, 2023

10

Pr pr template

#27 by MaximilianAlgehed was merged Oct 5, 2022 Loading… updated Jun 26, 2023

Bump IOGX

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

Bump IOGX to 04ef47

#37 by zeme-wana was merged Jul 1, 2023 Loading… updated Jul 1, 2023

Bump IOGX

#39 by zeme-wana was merged Jul 5, 2023 Loading… updated Jul 5, 2023

2

Bump IOGX

#40 by zeme-wana was merged Jul 7, 2023 Loading… updated Jul 7, 2023

2