ocaml-gospel gospel issues

ocaml-gospel / gospel

A tool-agnostic formal specification language for OCaml.

https://ocaml-gospel.github.io/gospel

MIT License

128 stars 16 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Update to the Documentation Site

#425 mrjazzybread opened 2 days ago
0
Handle 5.2 AST changes

#424 patricoferris opened 1 week ago
0
Stdlib

#423 mrjazzybread opened 1 week ago
0
Extending the standard library and syntax

#422 nikolaushuber opened 1 month ago
2
Uncaught assertion failure with print function

#421 nikolaushuber opened 1 month ago
0
Fix typing of expression with inlined records

#420 n-osborne closed 3 weeks ago
1
Improve error message for unbound record fields

#419 n-osborne closed 3 weeks ago
0
Fix incomplete record error

#418 n-osborne closed 3 weeks ago
1
Incomplete record pattern don't use OCaml syntax

#417 n-osborne closed 3 weeks ago
0
Add test case for record with partially same fields

#416 n-osborne opened 3 months ago
0
Records with partially same fields name

#415 n-osborne opened 3 months ago
0
Make `dumpast` less verbose

#414 n-osborne opened 3 months ago
0
Remove attribute field from identifiers

#413 n-osborne opened 4 months ago
0
Remove attributes from identifiers

#412 n-osborne opened 4 months ago
0
Make identifiers include the relative path.

#411 n-osborne opened 4 months ago
0
Add test case for failing record update

#410 n-osborne opened 4 months ago
0
Update record fails with irrelevant error

#409 n-osborne opened 4 months ago
0
Add test case for pattern on inlined record

#408 n-osborne opened 4 months ago
0
Fix printing of symbols of fixity

#407 n-osborne opened 5 months ago
2
Add proper error messages for a number unsupported constructions

#406 n-osborne closed 4 months ago
0
Type-checker fails with an assert false on extensible type

#405 n-osborne opened 5 months ago
0
Catch longindent Invalid_arg

#404 n-osborne closed 4 months ago
0
Add support for mutually recursive ghost types

#403 n-osborne closed 3 weeks ago
0
fix examples tests

#402 n-osborne closed 5 months ago
0
Inlined records as variant's argument are seen as unnamed tuples

#401 n-osborne opened 6 months ago
1
Add test case for pattern analysis of tuple

#400 n-osborne closed 5 months ago
1
Bad pattern-matching analysis for tuple

#399 n-osborne opened 6 months ago
0
Bump version number

#398 n-osborne closed 6 months ago
0
Use `dune-build-info` for version display

#397 n-osborne closed 6 months ago
1
Adding paths to Gospel identifiers

#396 mrjazzybread closed 5 months ago
8
Too much ghost keywords?

#395 n-osborne opened 6 months ago
0
Preprocessor bug

#394 ionchirica closed 6 months ago
3
Pre-processor bug

#393 ionchirica closed 6 months ago
2
How should gospel handle model names?

#392 mrjazzybread opened 7 months ago
1
Bool

#391 mrjazzybread closed 3 weeks ago
15
Merge implementations branch with main

#390 ionchirica opened 7 months ago
4
Adding paths to gospel identifiers

#389 mrjazzybread closed 6 months ago
14
Uncaught exception on mutually recursive ghost types

#388 n-osborne closed 3 weeks ago
0
Fix `ls_name` for unit logical symbol

#387 n-osborne closed 6 months ago
1
Fix `is_ts_tuple`

#386 n-osborne closed 7 months ago
0
Values of type `unit` are named `unit`

#385 n-osborne closed 6 months ago
0
Replace example png by actual code

#384 n-osborne closed 7 months ago
0
Should the type-checker force returned tuples to be destructed?

#383 n-osborne opened 8 months ago
0
The PNG in the readme is out of date syntax-wise

#382 n-osborne closed 7 months ago
2
Revise Identifier implementation

#381 n-osborne closed 4 months ago
2
Change `ls_equal` implementation

#380 n-osborne closed 9 months ago
1
Revise xposts internal representation

#379 n-osborne opened 9 months ago
1
Simplify attribute nesting

#378 n-osborne opened 9 months ago
0
Make the Gospel type-checker modular

#377 shym opened 9 months ago
4
Make type checker save type information

#376 n-osborne closed 7 months ago
2