issues
search
ocaml-gospel
/
ortac
Runtime assertion checking based on Gospel specifications
https://ocaml-gospel.github.io/ortac/
MIT License
37
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
catch exception when evaluating translated Gospel terms
#153
n-osborne
closed
11 months ago
2
Adapt warning message for ensures not found
#152
n-osborne
closed
11 months ago
2
Add warning flags to command-line
#151
n-osborne
opened
11 months ago
0
Issues from a first-time user
#150
jmid
closed
10 months ago
8
Distinguish SUT-type unification errors
#149
shym
closed
11 months ago
1
Use more idiomatic specifications
#148
shym
closed
11 months ago
0
conjunctive clauses are discarded
#147
n-osborne
closed
11 months ago
0
Add pure OCaml and ghost functions to the context
#146
shym
closed
11 months ago
0
handle returned tuple
#145
n-osborne
closed
11 months ago
3
Reject clauses that involves returned `sut` for `init_state`
#144
n-osborne
closed
11 months ago
2
qcheck-stm is wrongly assuming that only one OCaml value is returned
#143
shym
closed
11 months ago
0
qcheck-stm is a bit too leniant on some clauses
#142
shym
closed
11 months ago
0
Documentation/tutorial for ortac-stm plugin
#141
n-osborne
closed
11 months ago
3
Load only the QCheck-STM plugin in its cram tests
#140
shym
closed
12 months ago
1
Disable warnings in generated code
#139
n-osborne
closed
11 months ago
1
Disable warning in generated files instead of in dune file
#138
n-osborne
closed
11 months ago
0
Add an output option to qcheck-stm plugin cli
#137
n-osborne
closed
12 months ago
4
Bring Ortac up-to-date with the current development version of Gospel
#136
shym
closed
12 months ago
1
Restrict `subst_term` to `x.f` where `f` is a model field
#135
shym
closed
12 months ago
3
Translate Gospel `integer` as `Ortac_runtime.integer`
#134
shym
closed
1 year ago
0
Confusing display of two erros
#133
n-osborne
closed
11 months ago
0
Use the core type to test the return type of `init_sut`
#132
shym
closed
1 year ago
0
qcheck-stm does not recognize non-abstract SUT types
#131
shym
closed
1 year ago
0
Update ocamlformat to version 0.26.0
#130
shym
closed
1 year ago
1
Add a Github Action CI workflow to run all the tests
#129
shym
closed
1 year ago
1
Reformat `dune-project`
#128
shym
closed
1 year ago
0
Use a better work-around for the `dune-site` dependency problem for tests
#127
shym
closed
1 year ago
2
Clean up opam and dune files
#126
n-osborne
closed
1 year ago
0
testing warnings
#125
n-osborne
closed
1 year ago
3
Seperate monadic checks and assertion.
#124
n-osborne
closed
1 year ago
2
assertion failed about constant
#123
n-osborne
closed
1 year ago
0
Cleanup QCheck-STM warnings
#122
shym
closed
11 months ago
5
qcheck-stm: Avoid `{ state with ... }` syntax when all models are updated
#121
shym
closed
1 year ago
0
qcheck-stm plugin generates useless with clauses
#120
n-osborne
closed
1 year ago
0
Add support for `qcheck-stm.domain` to `qcheck-stm` plugin
#119
n-osborne
opened
1 year ago
0
Filter out functions with ghost values
#118
n-osborne
closed
1 year ago
1
Add a `-o` optional argument to `qcheck` plugin
#117
n-osborne
closed
12 months ago
0
Route Gospel errors as other errors in qcheck-stm plugin
#116
shym
closed
1 year ago
2
qcheck-stm ignores pure functions
#115
shym
closed
11 months ago
1
Set up styled rendered in QCheck-STM plugin
#114
shym
closed
1 year ago
0
qcheck-stm should filter out functions with ghost arguments or results
#113
shym
closed
1 year ago
2
Update READMEs (wrapper plugin, packages, Stdlib support)
#112
shym
closed
1 year ago
2
Add a monolith test for the `Gospelstdlib.Set` module
#111
shym
closed
1 year ago
2
Add assymetric conjunction to possible quantification
#110
n-osborne
closed
1 year ago
0
Draft PR to test a workaround for dune in CI
#109
shym
closed
1 year ago
1
Make wrapper a plugin
#108
n-osborne
closed
1 year ago
4
Filter models type to forbid non purely functional values
#107
n-osborne
opened
1 year ago
0
Cmd pretty printer
#106
n-osborne
closed
1 year ago
1
Implement the full Gospel Stdlib
#105
shym
closed
1 year ago
2
update to the latest gospel
#104
n-osborne
closed
1 year ago
3
Previous
Next