Getting Started
Documentation
Organisations
ocaml-gospel
gospel
pull/449
Build History
Build History for pull/449
Builds (127)
Update change log
d97881
-
Jun 26 16:55 +00:00
Passed in 4m57s
Add pretty printer for typed AST
80b381
-
Jun 26 13:12 +00:00
Passed in 3m26s
tmp
f499d7
-
Jun 26 12:26 +00:00
Passed in 38m14s
Add pretty printer for typed AST
5d52e9
-
Jun 12 14:12 +00:00
Passed in 6m35s
test
ac6821
-
Jun 11 16:49 +00:00
Failed in 9m09s
Add pretty printer for typed AST
c17ee8
-
Jun 11 16:20 +00:00
Failed in 22m49s
test
6c6bbd
-
Jun 11 15:56 +00:00
Failed in 21m43s
test
e77f51
-
Jun 11 15:50 +00:00
Failed in 5m48s
Add pretty printer for typed AST
83631a
-
Jun 11 12:30 +00:00
Failed in 1h28m
Add pretty printer for typed AST
fb3272
-
Jun 02 12:45 +00:00
Failed in 8m31s
Add pretty printer for typed AST
a92bea
-
Jun 01 13:13 +00:00
Failed in 22m32s
Pretty printer for the untyped AST
30e786
-
May 20 17:55 +00:00
Failed in 8m12s
Let bindings can destruct tuples
c5bc4e
-
May 19 09:36 +00:00
Failed in 8m58s
Let bindings can destruct tuples
97ce3f
-
May 19 09:12 +00:00
Failed in 21m44s
Let bindings can destruct tuples
5ecf2f
-
May 19 09:01 +00:00
Failed in 10m36s
Let bindings can destruct tuples
0c917c
-
May 18 15:52 +00:00
Failed in 8m09s
Let bindings can destruct tuples
b7d6db
-
May 18 15:46 +00:00
Failed in 5m02s
Let bindings can destruct tuples
789896
-
May 18 15:40 +00:00
Failed in 6m12s
Let bindings can destruct tuples
37507c
-
May 18 12:32 +00:00
Failed in 8m40s
Let bindings can destruct tuples
27c54e
-
May 18 12:13 +00:00
Failed in 15m39s
Let bindings can destruct tuples
67719a
-
May 18 12:13 +00:00
Failed in 23s
(Probably temporary) Add files describing changes
310a99
-
May 18 11:30 +00:00
Failed in 12m04s
(Probably temporary) Add files describing changes
ffa69b
-
May 16 12:26 +00:00
Failed in 8m00s
(Probably temporary) Add files describing changes
111f20
-
May 16 12:11 +00:00
Failed in 12m50s
Disallow explicit produces clauses.
d8bba1
-
May 15 17:22 +00:00
Failed in 6h47m
Disallow explicit produces clauses.
ba22c9
-
May 15 17:04 +00:00
Failed in 14m05s
Disallow explicit produces clauses.
cf8b35
-
May 15 17:02 +00:00
Failed in 1m20s
Disallow explicit produces clauses.
e88992
-
May 15 16:20 +00:00
Failed in 17m13s
Disallow explicit produces clauses.
c2f2b4
-
May 14 13:45 +00:00
Failed in 12m06s
Disallow explicit produces clauses.
69b5ee
-
May 14 13:45 +00:00
Failed in 6s
OCaml function specification tests
f20c3e
-
May 14 13:33 +00:00
Failed in 2m18s
OCaml function specification tests
dd5c5d
-
May 14 12:19 +00:00
Failed in 48m49s
Change priority for old tag
64cfb8
-
May 14 12:18 +00:00
Failed in 44s
Type check exceptional post conditions
aea76a
-
May 14 11:45 +00:00
Failed in 7m23s
Type check exceptional post conditions
9c4d74
-
May 14 11:22 +00:00
Failed in 2m08s
Type check exceptional post conditions
ffca4f
-
May 14 08:31 +00:00
Failed in 2m03s
Type check exceptional post conditions
1456a9
-
May 14 08:28 +00:00
Failed in 1m38s
tall frosty glass of oooooh boy
96ace9
-
May 13 21:23 +00:00
Failed in 2m33s
Add exceptional specification to the parser
566cd7
-
May 13 19:35 +00:00
Failed in 2m02s
OCaml function specification tests
b2d905
-
May 13 14:22 +00:00
Failed in 2m16s
OCaml function specification tests
7e09d0
-
May 13 13:34 +00:00
Failed in 2m13s
Track mutability of OCaml variables
e5e2a0
-
May 12 19:57 +00:00
Failed in 6m39s
Track mutability of OCaml variables
2203e9
-
May 12 19:43 +00:00
Failed in 12m28s
Track mutability of OCaml variables
2835bf
-
May 12 15:59 +00:00
Failed in 21m29s
Track mutability of OCaml variables
5982dc
-
May 12 15:50 +00:00
Failed in 4m38s
Track mutability of OCaml variables
1d33c5
-
May 12 15:48 +00:00
Failed in 1m09s
Track mutability of OCaml variables
428325
-
May 12 15:13 +00:00
Failed in 2m03s
Track if mutability of OCaml variables
d70325
-
May 12 15:13 +00:00
Failed in 9s
OCaml top level values can be used within specs
36c0de
-
May 12 13:49 +00:00
Failed in 27m16s
OCaml top level values can be used within specs
a0546e
-
May 11 19:03 +00:00
Failed in 0s
OCaml top level values can be used within specs
bf2caf
-
May 11 18:04 +00:00
Failed in 7m56s
OCaml function specification tests
b7171e
-
May 10 21:31 +00:00
Failed in 10h19m
OCaml function specification tests
79ba4f
-
May 09 18:51 +00:00
Failed in 2m32s
OCaml function specification tests
cb18c7
-
May 09 17:52 +00:00
Failed in 22m13s
Changes to the structure of OCaml function specs
908b52
-
May 02 11:08 +00:00
Failed in 7m51s
Changes to the structure of OCaml function specs
539234
-
Apr 21 21:42 +00:00
Failed in 7s
wip
098cdc
-
Apr 22 12:03 +00:00
Failed in 8m07s
Changes to the structure of OCaml function specs
ce825d
-
Apr 17 16:58 +00:00
Failed in 3h46m
Changes to the structure of OCaml function specs
07f102
-
Apr 17 13:36 +00:00
Failed in 1h50m
Changes to the structure of OCaml function specs
989bc2
-
Apr 17 13:26 +00:00
Failed in 5m45s
Add lens for each OCaml type
07088a
-
Apr 17 13:11 +00:00
Failed in 1m37s
needs rebase maybe?
58d2d1
-
Apr 17 12:05 +00:00
Failed in 17m26s
Process exception declarations
925601
-
Apr 17 10:42 +00:00
Failed in 4m50s
Process exception declarations
94a89f
-
Apr 17 10:00 +00:00
Failed in 33m11s
Process exception declarations
2d2efd
-
Apr 14 14:57 +00:00
Failed in 16m01s
Add model fields
102e9c
-
Apr 11 07:41 +00:00
Failed in 11m17s
Add model fields
079219
-
Apr 10 20:58 +00:00
Failed in 6m02s
Add model fields
271ee8
-
Apr 10 20:41 +00:00
Failed in 6m16s
Add model fields
d9a9bc
-
Apr 10 20:14 +00:00
Failed in 6m12s
Add model fields
a7a58d
-
Apr 10 16:52 +00:00
Failed in 13m48s
Change ephemeral keyword to mutable
2d01e8
-
Apr 10 14:47 +00:00
Failed in 29m55s
Change ephemeral keyword to mutable
1a11e6
-
Apr 10 14:26 +00:00
Failed in 8m00s
Change ephemeral keyword to mutable
1e5eda
-
Apr 10 14:11 +00:00
Failed in 14m25s
Change ephemeral keyword to mutable
e558f8
-
Apr 10 13:29 +00:00
Failed in 19m43s
Change ephemeral keyword to mutable
94a7f4
-
Apr 10 12:14 +00:00
Failed in 0s
Tests for different namespaces
6ca36f
-
Apr 10 11:58 +00:00
Failed in 3m20s
Tests for different namespaces
8e5827
-
Apr 10 10:57 +00:00
Failed in 2m17s
Tests for different namespaces
d959b4
-
Apr 10 10:45 +00:00
Failed in 2m13s
Tests for different namespaces
0065b2
-
Apr 10 09:17 +00:00
Failed in 11m11s
Tests for different namespaces
3d4f04
-
Apr 10 09:16 +00:00
Failed in 49s
Tests for different namespaces
b28602
-
Apr 09 13:03 +00:00
Failed in 4m07s
Tracks OCaml type declarations
962988
-
Apr 09 12:41 +00:00
Failed in 2m18s
Tracks OCaml type declarations
b2e080
-
Apr 09 11:45 +00:00
Failed in 2m11s
Tracks OCaml type declarations
9369eb
-
Apr 09 11:39 +00:00
Failed in 2m15s
Tracks OCaml type declarations
d93ec5
-
Apr 09 11:01 +00:00
Failed in 8m16s
Can track OCaml type declarations
f76dc0
-
Apr 07 22:13 +00:00
Failed in 11m05s
Support for OCaml type declarations
9fc103
-
Apr 07 21:17 +00:00
Failed in 1m34s
Support for OCaml type declarations
8fc251
-
Apr 07 21:09 +00:00
Failed in 2m05s
Support for OCaml type declarations
22a8af
-
Apr 07 20:59 +00:00
Failed in 7m14s
Differentiate between Gospel and OCaml namespaces.
824a6d
-
Apr 07 09:49 +00:00
Failed in 5m57s
Differentiate between Gospel and OCaml namespaces.
05cca1
-
Apr 07 09:32 +00:00
Failed in 16m39s
Differentiate between Gospel and OCaml namespaces.
6e197f
-
Apr 07 09:19 +00:00
Failed in 12m02s
Differentiate between Gospel and OCaml namespaces.
3e7b33
-
Jan 01 00:00 +00:00
Failed in 0s
Differentiate between Gospel and OCaml namespaces.
649d26
-
Jan 01 00:00 +00:00
Failed in 0s
Differentiate between Gospel and OCaml namespaces.
cf46d9
-
Apr 04 09:38 +00:00
Failed in 0s
Differentiate between Gospel and OCaml namespaces.
eda984
-
Apr 03 20:45 +00:00
Failed in 10m54s
wip
68502d
-
Apr 03 11:11 +00:00
Failed in 5m43s
Add tests for type specifications
240610
-
Apr 02 15:04 +00:00
Failed in 5m38s
Type checks type specifications
a8a657
-
Apr 02 13:14 +00:00
Failed in 6m09s
Add tests for name resolution of modules
2cd5fa
-
Apr 02 11:23 +00:00
Failed in 2m20s
Add typechecking tests
81c9af
-
Apr 02 09:16 +00:00
Failed in 2m20s
Add typechecking tests
a7c8d2
-
Apr 02 08:59 +00:00
Failed in 3m23s
Add typechecking tests
d64bd5
-
Apr 02 08:56 +00:00
Failed in 2m21s
Allow local opens
850e43
-
Apr 02 08:44 +00:00
Failed in 8m35s
Allow opening modules
7d167e
-
Apr 01 17:38 +00:00
Failed in 16m17s
Processes function specifications
1c779e
-
Apr 01 16:40 +00:00
Failed in 22m09s
Processes function specifications
7b9778
-
Apr 01 16:05 +00:00
Failed in 19m58s
Processes function specifications
21b007
-
Apr 01 16:05 +00:00
Failed in 11s
Processes function specifications
315138
-
Apr 01 15:20 +00:00
Failed in 24m29s
Processes function specifications
f3f356
-
Apr 01 15:14 +00:00
Failed in 4m21s
Tests for mutually recursive types
73030c
-
Apr 01 14:14 +00:00
Failed in 27m33s
Tests for mutually recursive types
5b3429
-
Apr 01 12:27 +00:00
Failed in 1h35m
Tests for mutually recursive types
c0ae73
-
Apr 01 11:17 +00:00
Failed in 28m59s
Tests for mutually recursive types
fbc5de
-
Apr 01 11:09 +00:00
Failed in 2m26s
Processes recursive type declarations
22b219
-
Apr 01 10:58 +00:00
Failed in 2m18s
Processes recursive type declarations
5a8470
-
Apr 01 08:53 +00:00
Failed in 40m09s
Processes recursive type declarations
082afe
-
Mar 31 22:15 +00:00
Failed in 2h46m
Add typechecking tests
061cd2
-
Mar 31 14:38 +00:00
Failed in 5m22s
Add typechecking tests
732c04
-
Mar 31 14:32 +00:00
Failed in 5m26s
fixup! Avoid name collisions for generated type variables
eb7dea
-
Mar 28 21:59 +00:00
Failed in 5m52s
Add typechecking tests
8b61cb
-
Mar 28 21:59 +00:00
Running for 0s
Add typechecking tests
d4fd28
-
Mar 28 21:53 +00:00
Failed in 6m30s
Add typechecking tests
e2a5fa
-
Mar 28 18:23 +00:00
Failed in 12m29s
Add typechecking tests
1b5e9e
-
Mar 28 15:11 +00:00
Failed in 36m47s
Add typechecking tests
369044
-
Mar 28 14:00 +00:00
Failed in 0s
Add typechecking tests
3d2aaf
-
Mar 28 13:46 +00:00
Failed in 11m36s
Add typechecking tests
a8ef6d
-
Jan 01 00:00 +00:00
Failed in 0s