ocaml-gospel/ortac

Issues

• [qcheck-stm] Add support for function with multiple `sut`s as argument

  #236 opened 20 days ago by n-osborne
  0

• [qcheck-stm] Incorrect runnable scenario on normal behaviour when function could have raised an exception

  #248 opened 22 days ago by n-osborne
  1

• [qcheck-stm] Incomplete computation warning

  #238 opened 24 days ago by nikolaushuber
  1

• Generate cleanup function with custom code

  #208 opened 3 months ago by Lucccyo
  2

• Parsing mistake of arrows from Gospel to Ortac in case of function declaration

  #212 opened 3 months ago by Lucccyo
  1

• Ortac could possibly generate a file without any commands

  #213 opened 3 months ago by Lucccyo
  1

• Add/Move to a module-based configuration

  #173 opened 3 months ago by n-osborne
  2

• [qcheck-stm] Add an optional function for running tests in config module

  #233 opened 4 months ago by n-osborne
  0

• [qcheck-stm] Make the configuration module legal OCaml

  #232 opened 4 months ago by n-osborne
  0

• Unbound constructor error in Ortac-generated file

  #209 opened 4 months ago by Lucccyo
  3

• Name collisions between STM and user-provided code

  #231 opened 4 months ago by shym
  0

• [wrapper] Add support for models

  #224 opened 5 months ago by n-osborne
  0

• `ortac` binary always requires a plugin, even to just show up its help or version number

  #216 opened 5 months ago by shym
  0

• Write documentation for ortac-dune plugin

  #199 opened 7 months ago by n-osborne
  0

• Add support for `qcheck-stm.domain` to `qcheck-stm` plugin

  #119 opened a year ago by n-osborne
  0

• Add type invariant to postcond

  #186 opened 5 months ago by n-osborne
  5

• Ortac swaps the type `unit` and the value `()`

  #207 opened 5 months ago by Lucccyo
  1

• ortac-qcheck-stm: print which invariant failed and more details about the failure

  #188 opened 6 months ago by edwintorok
  1

• Add support for function returning tuples

  #203 opened 7 months ago by n-osborne
  3

• Add a comment warning that this is a generated file at the beginning of the generated files

  #184 opened 7 months ago by n-osborne
  0

• [wrapper] Add support for `old` operator

  #201 opened 7 months ago by n-osborne
  0

• Enable test of function without any sut as argument

  #182 opened 10 months ago by n-osborne
  0

• qcheck-stm generates `next_state` function pattern matching on out of scope returned value

  #171 opened 10 months ago by n-osborne
  1

• Problem with coercion int to integer in pattern matching

  #172 opened 10 months ago by n-osborne
  0

• Delegate `opam` files generation to `dune`

  #169 opened 10 months ago by shym
  0

• Update README after release

  #165 opened a year ago by shym
  0

• Update OPAM packages

  #159 opened a year ago by shym
  0

• Need to qualify type constructor in state type declaration

  #155 opened a year ago by n-osborne
  1

• Issues from a first-time user

  #150 opened a year ago by jmid
  8

• catch exception when evaluating translated Gospel terms

  #153 opened a year ago by n-osborne
  2

• Write a tutorial for `qcheck-stm` mode

  #102 opened a year ago by n-osborne
  1

• qcheck-stm is a bit too leniant on some clauses

  #142 opened a year ago by shym
  0

• qcheck-stm is wrongly assuming that only one OCaml value is returned

  #143 opened a year ago by shym
  0

• conjunctive clauses are discarded

  #147 opened a year ago by n-osborne
  0

• Add warning flags to command-line

  #151 opened a year ago by n-osborne
  0

• qcheck-stm ignores pure functions

  #115 opened a year ago by shym
  1

• Confusing display of two erros

  #133 opened a year ago by n-osborne
  0

• Rework error messages

  #103 opened a year ago by shym
  1

• Disable warning in generated files instead of in dune file

  #138 opened a year ago by n-osborne
  0

• Add a `-o` optional argument to `qcheck` plugin

  #117 opened a year ago by n-osborne
  0

• qcheck-stm does not recognize non-abstract SUT types

  #131 opened a year ago by shym
  0

• qcheck-stm should filter out functions with ghost arguments or results

  #113 opened a year ago by shym
  2

• assertion failed about constant

  #123 opened a year ago by n-osborne
  0

• Update documentation with wrapper plugin (was: Pluginifiy and rename default mode)

  #100 opened a year ago by n-osborne
  1

• qcheck-stm plugin generates useless with clauses

  #120 opened a year ago by n-osborne
  0

• Generate printer for `cmd` in `qcheck-stm`

  #101 opened a year ago by n-osborne
  0

• Filter models type to forbid non purely functional values

  #107 opened a year ago by n-osborne
  0

• Extend supported gospel stdlib

  #85 opened a year ago by n-osborne
  0

• [ortac-monolith] declare abstract type when it is an alias for a core_type

  #84 opened a year ago by n-osborne
  0

• [ortac-monolith] generation of `Monolith.spec` for function arguments that are not core_type is broken

  #83 opened a year ago by n-osborne
  0