Getting Started Documentation

Organisations ocaml-gospel gospel branch/main Build History

Build History for branch/main

Builds (55)

Merge pull request #473 from mrjazzybread/namelookup Refactor name lookup

Dec 14 10:12 +00:00

Passed in 4m20s

Merge pull request #466 from n-osborne/test/unsupported Add test cases for some unsupported contructs

Nov 28 12:48 +00:00

Passed in 4m24s

Merge pull request #471 from mrjazzybread/header_bug Warning for invalid header name states expected name

Nov 28 12:46 +00:00

Failed in 1m16s

Merge pull request #472 from mrjazzybread/qualid_bug Use the correct equality for qualified identifiers

Nov 28 12:43 +00:00

Failed in 2m11s

Merge pull request #470 from n-osborne/cmdliner-2.0.0 Cmdliner 2.0.0

Nov 27 09:06 +00:00

Passed in 12m16s

Merge pull request #458 from mrjazzybread/print_bug Fix print function for tagged identifiers

Nov 26 14:29 +00:00

Passed in 4m04s

Merge pull request #459 from n-osborne/test/if-then-else Add test for conditional in terms

Nov 26 10:10 +00:00

Passed in 10m55s

Merge pull request #464 from n-osborne/fix-option Add `option` as an OCaml primitive type constructor

Nov 26 08:48 +00:00

Passed in 4m21s

Merge pull request #461 from n-osborne/test/option Add test for function returning an option

Nov 14 14:54 +00:00

Passed in 5m24s

Merge pull request #457 from mrjazzybread/letpat More expressive let pattern matching

Nov 10 10:23 +00:00

Passed in 4m55s

Merge pull request #455 from mrjazzybread/lambdabug Fix bug in building constraints for lambdas

Nov 03 13:20 +00:00

Passed in 3h20m

Merge pull request #453 from mrjazzybread/fixity Identifiers now contain field stating if they are infix

Oct 14 14:34 +00:00

Passed in 8m45s

Merge pull request #452 from mrjazzybread/parser Value headers now appear at top of the spec

Sep 27 13:30 +00:00

Merge pull request #451 from mrjazzybread/Documentation Removed GitHub workflow files for documentation

Sep 16 09:45 +00:00

Failed in 3m19s

Update change log

Sep 15 18:37 +00:00

Failed in 4m18s

Merge pull request #447 from n-osborne/typing-refactoring Extract and document typing environment

Jan 01 00:00 +00:00

Merge pull request #445 from n-osborne/document-ttypes Add documentation to Symbols and Ttypes modules

Jan 24 09:15 +00:00

Passed in 12m42s

Merge pull request #442 from n-osborne/document-tmodule Add documentation and refactor Tmodule

Jan 23 08:53 +00:00

Passed in 23m56s

Merge pull request #444 from n-osborne/check-repeated-names Check for repeated name of module and module types

Jan 20 16:08 +00:00

Failed in 17m25s

Merge pull request #435 from mrjazzybread/bugfix Fix bug in creation of fresh type variables

Jan 20 08:05 +00:00

Passed in 9m29s

Merge pull request #438 from n-osborne/design-notes Start design document

Jan 17 21:50 +00:00

Passed in 19m19s

Merge pull request #440 from ocaml-gospel/revert-439-rerun-ocamlformat Revert "Run ocamlformat again"

Jan 14 14:45 +00:00

Passed in 7m48s

Merge pull request #439 from n-osborne/rerun-ocamlformat Run ocamlformat again

Jan 14 10:25 +00:00

Passed in 3m57s

Merge pull request #437 from mrjazzybread/changelog Fix bug on change log Github action

Jan 10 13:24 +00:00

Passed in 15m06s

Merge pull request #434 from n-osborne/update-ocamlformat.0.27.0 update ocamlformat.0.27.0

Jan 06 12:15 +00:00

Passed in 20h13m

Merge pull request #429 from n-osborne/pattern-inlined-records Fix typing of pattern with inlined record

Dec 19 13:36 +00:00

Passed in 8m56s

Merge pull request #423 from mrjazzybread/stdlib Stdlib

Dec 18 11:16 +00:00

Passed in 2h14m

Merge pull request #428 from n-osborne/remove-syntax-for-record-update Remove support for the record update syntax

Dec 12 15:36 +00:00

Passed in 22m00s

Merge pull request #425 from mrjazzybread/main Update to the Documentation Site

Dec 09 14:12 +00:00

Passed in 9m12s

Merge pull request #416 from n-osborne/record-same-fields-test-case Add test case for record with partially same fields

Dec 05 17:48 +00:00

Passed in 11m58s

Merge pull request #410 from n-osborne/update-record-test-case Add test case for failing record update

Dec 05 15:09 +00:00

Passed in 41m40s

Merge pull request #408 from n-osborne/test-case-for-inlined-record Add test case for pattern on inlined record

Dec 04 14:53 +00:00

Merge pull request #427 from n-osborne/update-workflow Update github workflows

Dec 02 10:47 +00:00

Passed in 12m25s

Merge pull request #426 from n-osborne/cosmetic-fixes-CHANGES Fix formatting in CHANGES.md

Nov 19 18:58 +00:00

Passed in 25m03s

Merge pull request #403 from n-osborne/mutually-defined-ghost-type Add support for mutually recursive ghost types

Nov 03 23:04 +00:00

Passed in 12m42s

Merge pull request #420 from n-osborne/inlined-records Fix typing of expression with inlined records

Oct 07 09:05 +00:00

Passed in 5m16s

Merge pull request #419 from n-osborne/fix-unbound-field-error Improve error message for unbound record fields

Oct 07 08:21 +00:00

Passed in 12m49s

Merge pull request #418 from n-osborne/missing-fields-error Fix incomplete record error

Oct 04 14:58 +00:00

Passed in 8m12s

Merge pull request #391 from mrjazzybread/bool Bool

Oct 04 13:25 +00:00

Passed in 12m29s

Merge pull request #406 from n-osborne/add-unsupported-error-msg Add proper error messages for a number unsupported constructions

Oct 01 14:14 +00:00

Passed in 14m42s

Merge pull request #404 from n-osborne/catch-functor-application-failure Catch longindent Invalid_arg

Jun 03 08:58 +00:00

Passed in 13m59s

Merge pull request #396 from mrjazzybread/main Adding paths to Gospel identifiers

May 30 08:50 +00:00

Passed in 24m12s

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

May 10 22:03 +00:00

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