Getting Started
Documentation
Organisations
ocaml-gospel
gospel
branch/main
Build History
Build History for branch/main
Builds (16)
Merge pull request #406 from n-osborne/add-unsupported-error-msg Add proper error messages for a number unsupported constructions
85dc67
-
Sep 01 14:12 +00:00
Passed in 19m25s
Merge pull request #404 from n-osborne/catch-functor-application-failure Catch longindent Invalid_arg
e5fb9b
-
Jun 03 08:58 +00:00
Passed in 13m59s
Merge pull request #396 from mrjazzybread/main Adding paths to Gospel identifiers
babde9
-
May 30 08:50 +00:00
Passed in 24m12s
Merge pull request #402 from n-osborne/fix-examples-tests fix examples tests
43eb2b
-
May 10 22:03 +00:00
Passed in 0s
Merge pull request #362 from shym/test-examples Run tests on the new example
8f4d7f
-
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
60c9d6
-
May 06 14:44 +00:00
Running for 0s
Merge pull request #398 from n-osborne/bump-version-0.3.0 Bump version number
3031a4
-
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
987139
-
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
367bb8
-
Apr 09 08:19 +00:00
Failed in 2h20m
Preprocessor bug (#394) * Preprocessor bug * Update CHANGES * Test file * Fixed dune.inc
181e69
-
Apr 04 07:27 +00:00
Passed in 28m01s
Merge pull request #386 from n-osborne/fix-is_ts_tuple Fix `is_ts_tuple`
f8a38c
-
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
c198f1
-
Mar 25 10:14 +00:00
Passed in 29m18s
Merge pull request #384 from n-osborne/update-readme Replace example png by actual code
2f9019
-
Mar 13 15:40 +00:00
Passed in 41m46s
Merge pull request #380 from n-osborne/ls_equality Change `ls_equal` implementation
df2f88
-
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
66bd47
-
Jan 29 19:34 +00:00
Passed in 0s
Merge pull request #374 from n-osborne/invariant-bis Propagate non-optional name to typed ast
044f1d
-
Jan 11 18:00 +00:00
Passed in 45m53s