Getting Started Documentation

Organisations ocaml-gospel gospel branch/main Build History

Build History for branch/main

Builds (13)

Merge pull request #402 from n-osborne/fix-examples-tests fix examples tests

May 10 08:50 +00:00

Passed in 10h23m

Merge pull request #362 from shym/test-examples Run tests on the new example

May 06 14:45 +00:00

Failed in 16h59m

Merge pull request #400 from n-osborne/test-case-for-pattern-analysis-tuple Add test case for pattern analysis of tuple

May 06 14:44 +00:00

Merge pull request #398 from n-osborne/bump-version-0.3.0 Bump version number

Apr 11 12:42 +00:00

Passed in 13m33s

Merge pull request #397 from n-osborne/dune-build-info Use `dune-build-info` for version display

Apr 11 07:57 +00:00

Passed in 13m24s

Merge pull request #387 from n-osborne/fix-fs_unit-ls_name Fix `ls_name` for unit logical symbol

Apr 09 08:19 +00:00

Failed in 2h20m

Preprocessor bug (#394) * Preprocessor bug * Update CHANGES * Test file * Fixed dune.inc

Apr 04 07:27 +00:00

Passed in 28m01s

Merge pull request #386 from n-osborne/fix-is_ts_tuple Fix `is_ts_tuple`

Apr 02 15:38 +00:00

Passed in 19m14s

Merge pull request #376 from n-osborne/write-gospel-file Make type checker save type information

Mar 25 10:14 +00:00

Passed in 29m18s

Merge pull request #384 from n-osborne/update-readme Replace example png by actual code

Mar 13 15:40 +00:00

Passed in 41m46s

Merge pull request #380 from n-osborne/ls_equality Change `ls_equal` implementation

Feb 12 13:41 +00:00

Passed in 1h21m

Merge pull request #375 from n-osborne/syntax-error-in-test Fix syntax error in ppx test

Jan 29 19:34 +00:00

Merge pull request #374 from n-osborne/invariant-bis Propagate non-optional name to typed ast

Jan 11 18:00 +00:00

Passed in 45m53s