Skip to content

Commit 465cd9f

Browse files
n-osbornen-osborne
committed
Update Changelog
1 parent a8b74cb commit 465cd9f

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

‎CHANGES.md

+2
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
# Unreleased
22

3+
- Add `module-prefix` optional argument to Ortac/QCheck-STM and Ortac/Dune
4+
[\#280](https://github.com/ocaml-gospel/ortac/pull/280)
35
- Add support for generating function values
46
[\#277](https://github.com/ocaml-gospel/ortac/pull/277)
57
- Extend QCheck-STM plugin tests

0 commit comments

Comments
 (0)