Getting Started
Documentation
Organisations
ocaml-gospel
gospel
gospel
https://github.com/ocaml-gospel/gospel
Default Branch
main
Merge pull request #398 from n-osborne/bump-version-0.3.0 Bump version number
3031a4
-
Apr 11 12:42 +00:00
Passed in 10m41s
Branches (1)
type-checker-dev-meeting
Add notes for 2024-03-29
b0308c
-
Apr 24 12:49 +00:00
Failed in 0s
Refs Branches (4)
Merge implementations branch with main
account for new merge
c2fc98
-
#390
-
Apr 05 08:32 +00:00
Passed in 12m33s
Bool
removed redundant transformation
9c6d0d
-
#391
-
Apr 09 10:46 +00:00
Passed in 11m15s
Adding paths to Gospel identifiers
fixed tests and id pretty print
637aac
-
#396
-
Apr 09 17:23 +00:00
Passed in 12m13s
Add test case for pattern analysis of tuple
Add test case for pattern analysis of tuple
76e9de
-
#400
-
Apr 19 08:12 +00:00
Passed in 12m21s