Getting Started Documentation

Organisations ocaml-gospel ortac branch/main Build History

Build History for branch/main

Builds (38)

Merge pull request #249 from nikolaushuber/fix-invariants Fix invariant bug with multiple suts

Sep 05 11:54 +00:00

Passed in 7m47s

Merge pull request #247 from nikolaushuber/multi-sut Add support for multiple sut arguments

Sep 01 14:12 +00:00

Passed in 15m17s

Merge pull request #246 from n-osborne/dependencies-cleanup Clean up some dependencies

Aug 21 14:39 +00:00

Failed in 15m40s

Merge pull request #245 from nikolaushuber/sut-as-type-inst Sut as type argument or inside tuple

Jul 29 13:57 +00:00

Passed in 4m44s

Merge pull request #244 from n-osborne/minimal-monolith-version-bis Update dune-project with monolith minimal version

Jul 17 11:42 +00:00

Passed in 48m38s

Merge pull request #243 from n-osborne/minimal-monolith-version Add minimal version for Monolith

Jul 15 17:33 +00:00

Passed in 49m18s

Merge pull request #241 from n-osborne/prepare-0.3.0-release prepare 0.3.0 release

Jul 04 09:01 +00:00

Failed in 6d05h

Merge pull request #242 from nikolaushuber/mention-dune-plugin Mention dune-rules plugin in qcheck-stm README

Jul 03 15:43 +00:00

Passed in 49m03s

Merge pull request #226 from n-osborne/stm-cleanup Read optional `cleanup` function from configuration module

Jul 01 15:17 +00:00

Passed in 12m13s

Merge pull request #229 from n-osborne/fix-field-access-printing Fix field access translation

Jul 01 14:07 +00:00

Merge pull request #239 from n-osborne/use-ppxlib-longident Use existing functionaly from `Ppxlib.Longident`

Jul 01 13:43 +00:00

Passed in 16m07s

Merge pull request #230 from n-osborne/functional-model Add support for functional models

Jul 01 13:42 +00:00

Merge pull request #218 from n-osborne/revise-dune-plugin Revise Ortac/Dune to minimize yet again boilerplate

Jul 01 12:16 +00:00

Passed in 17m54s

Merge pull request #240 from nikolaushuber/incomplete-comp-warning Remove bug with integers in return values

Jul 01 11:52 +00:00

Passed in 19m36s

Merge pull request #237 from nikolaushuber/tuples Add support for tuples

Jun 26 08:21 +00:00

Passed in 1h30m

Merge pull request #235 from nikolaushuber/test-without-sut Add support for functions without SUT argument

Jun 17 14:03 +00:00

Passed in 1h09m

Merge pull request #234 from nikolaushuber/empty-cmd-error Add empty cmd error

Jun 06 12:42 +00:00

Passed in 29m47s

Merge pull request #214 from n-osborne/module-based-config Move to a module based configuration

Jun 04 11:15 +00:00

Failed in 17h34m

Merge pull request #228 from n-osborne/support-custom-ghost-types Add support for custom ghost type as model

May 29 14:36 +00:00

Passed in 14m02s

Merge pull request #227 from n-osborne/add-doc-for-ocaml_file Add doc for `ocaml_file` Cmdliner arg

May 16 11:32 +00:00

Failed in 1h22m

Merge pull request #225 from n-osborne/update-ocamlformat Update ocamlformat to 0.26.2

May 16 09:42 +00:00

Passed in 16m52s

Merge pull request #223 from n-osborne/fix-lower-bounds Fix lower bounds

May 10 08:50 +00:00

Merge pull request #222 from n-osborne/hotfix Add missing dependency

Apr 15 09:27 +00:00

Passed in 23m45s

Merge pull request #221 from n-osborne/bump-version-0.2.0-bis Propagate dune-project changes to opam files

Apr 15 08:50 +00:00

Passed in 5m33s

Merge pull request #220 from n-osborne/bump-version-to-0.2.0 Bump version number

Apr 15 07:13 +00:00

Passed in 8m48s

Merge pull request #217 from n-osborne/default-term Move to use a default `Cmdliner.term` rather than the `usage` function

Apr 15 06:54 +00:00

Passed in 15m54s

Merge pull request #211 from n-osborne/consistent-ocaml-version Bump all OCaml version to the same number

Apr 12 12:25 +00:00

Passed in 11m24s

Merge pull request #219 from n-osborne/update-gospel Update to gospel.0.3.0

Apr 12 12:04 +00:00

Passed in 1m53s

Merge pull request #215 from n-osborne/dune-build-info Use `dune-build-info` rather than `dune subst`

Apr 09 10:06 +00:00

Passed in 12m45s

Merge pull request #206 from n-osborne/print-exn-result Add support for exceptional behaviour to printing runnable scenario

Mar 27 16:25 +00:00

Passed in 35m00s

Merge pull request #210 from shym/cram-typos Fix a small bug in a cram test and some typos

Mar 18 09:35 +00:00

Passed in 33m10s

Merge pull request #204 from n-osborne/print-runnable-scenario Print runnable scenario in case of test failure

Mar 18 09:09 +00:00

Failed in 16m09s

Merge pull request #202 from n-osborne/failure-message Improve failure message

Mar 14 10:34 +00:00

Passed in 31m50s

Add support for type invariants (#197) * Cleanup a bit Ir_of_gospel.state function * Add some new functions to Builder Mostly add `list_or` and `enot` that will soon be needed, but take the opportunity to move `qualify` and redefine some functions that where worngfully using `evar` on qualified names. * Add invariants in intermediate representation * Translate invariants and check them in postcond This will guarantee preservation of type invariants for `sut` * Check type invariants in `init_state` and add some tests * Update Changelog

Mar 13 15:10 +00:00

Add a comment at BOF warning that it is a generated file (#198)

Feb 29 14:02 +00:00

Merge pull request #190 from n-osborne/ortac-dune ortac-dune plugin

Feb 12 13:42 +00:00

Passed in 1h13m

update to latest gospel (#194) * Add a pin to last version of gospel Representation of type invariants were modified. * Update ortac wrapper to new gospel

Jan 31 11:16 +00:00

Passed in 9m32s

Merge pull request #193 from shym/deploy-gh-3 github pages deployment, take 3

Jan 11 17:54 +00:00

Passed in 38m41s