Getting Started Documentation

Organisations ocaml-gospel gospel pull/391 Build History

Build History for pull/391

Builds (7)

removed redundant transformation

May 10 08:49 +00:00

Passed in 7h24m

removed redundant function

Apr 06 11:55 +00:00

Passed in 25m42s

removed free variable check

Apr 05 18:41 +00:00

Passed in 1h18m

removed redundant try-catch

Apr 05 18:32 +00:00

Failed in 6m57s

removed redundant try-catch

Apr 05 18:28 +00:00

Failed in 3m01s

Apr 05 16:56 +00:00

Passed in 13m56s

removed internal distinction between bool and prop

Mar 30 19:32 +00:00

Failed in 3h28m