lthms/FreeSpec

Issues

• Publish FreeSpec and extensions to Opam

  #6 opened 3 years ago by lthms
  1

• Support Coq 8.13

  #56 opened 3 years ago by lthms
  0

• Use extensible array in plugins/exec/store.ml

  #52 opened 4 years ago by lthms
  0

• Should we use ExtLib in place of coq-prelude

  #39 opened 4 years ago by lthms
  3

• Do we treat Coq int correctly?

  #49 opened 4 years ago by lthms
  2

• Transparent way to handle opaque OCaml resources on the Coq side

  #15 opened 4 years ago by yurug
  1

• Broken CI

  #41 opened 4 years ago by lthms
  1

• Investigate support for primitive types of Coq

  #10 opened 4 years ago by lthms
  0

• Add a dedicated notations to seemlessly declare typeclass constrains

  #38 opened 4 years ago by lthms
  0

• Contributing and coding styles guidelines

  #20 opened 4 years ago by lthms
  0

• Documentation overhaul

  #27 opened 4 years ago by lthms
  0

• FreeSpec.Exec may fail to execute terms with opaque parts

  #31 opened 4 years ago by vtourneur
  0

• Should we change the name of the Program monad?

  #21 opened 4 years ago by lthms
  1

• Investigate the use of SProp

  #30 opened 5 years ago by lthms
  0

• Should we restrict the domain of [abstract_step] to valid effects and results?

  #32 opened 5 years ago by vtourneur
  1

• Submit a PR to yallop/effects-bibliography

  #5 opened 5 years ago by lthms
  1

• Investigate introducing better combinators to inspect Coq terms

  #11 opened 5 years ago by lthms
  1

• Support interface composition (<+>) and abstraction (Use) in FreeSpec.Exec

  #7 opened 5 years ago by lthms
  0

• Investigate the use of newly introduced Coq pragma

  #14 opened 5 years ago by lthms
  1

• List contributors into a single file?

  #12 opened 5 years ago by lthms
  0

• A useless test?

  #3 opened 5 years ago by yurug
  3

• Remove the Bind constructor of Program

  #1 opened 5 years ago by lthms
  3