From 8965bca67740db260e9c45bd38f61de41dc09d69 Mon Sep 17 00:00:00 2001 From: Samuel Hym Date: Mon, 23 Oct 2023 19:15:25 +0200 Subject: [PATCH 1/2] Fix a typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 74629992..c1d45c26 100644 --- a/README.md +++ b/README.md @@ -111,7 +111,7 @@ plugin to see how it can be used. The wrapper plugin can be used to generate a _wrapper_ module that will expose the same interface as the original module but instrumenting all function calls with assertions corresponding to the -Gospel specifications. Look in the [dedicate README][wrapper README] +Gospel specifications. Look in the [dedicated README][wrapper README] for the wrapper plugin to see how it can be used. From 524d68437cd537f2d2b03fe6f4cb803e5a67c956 Mon Sep 17 00:00:00 2001 From: Samuel Hym Date: Mon, 23 Oct 2023 19:17:09 +0200 Subject: [PATCH 2/2] Remove the requirement for an unreleased Gospel in the README --- README.md | 3 --- 1 file changed, 3 deletions(-) diff --git a/README.md b/README.md index c1d45c26..6a95c458 100644 --- a/README.md +++ b/README.md @@ -44,9 +44,6 @@ The easiest way to try `ortac` out is to `opam pin` it: opam pin add -y https://github.com/ocaml-gospel/ortac.git ``` -It requires a yet-unreleased version of Gospel because Gospel evolved -quite a lot since its 0.1.0 release. - This repository contains the following OPAM packages: - `ortac-core.opam` which provides the `ortac` command-line tool and the core