Getting Started Documentation

Organisations ocaml-gospel gospel branch/main Build History

Build History for branch/main

Builds (40)

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

Feb 17 23:22 +00:00

Passed in 5m00s

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