Lysxia/coq-simple-io

Issues

• Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01

  #65 opened 7 months ago by rtetley
  4

• Broken in Coq CI

  #68 opened 8 months ago by SkySkimmer
  0

• what is the best version for coq 8.12

  #60 opened 8 months ago by brando90
  1

• CI is broken

  #64 opened a year ago by Lysxia
  2

• Build fails when V is exported

  #57 opened 2 years ago by LocutusOfBorg
  3

• Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10

  #62 opened a year ago by rtetley
  0

• Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03

  #61 opened 2 years ago by MSoegtropIMC
  1

• Please pick the version you prefer for Coq 8.16 in Coq Platform 2022.09

  #58 opened 2 years ago by MSoegtropIMC
  3

• This library assumes extracted code is compiled with the same version of OCaml as this library was compiled with

  #45 opened 3 years ago by Lysxia
  1

• Cite this repository

  #46 opened 3 years ago by liyishuai
  1

• Please pick the version you prefer for Coq 8.15 in Coq Platform 2022.02

  #39 opened 3 years ago by MSoegtropIMC
  3

• Add an example in the README

  #42 opened 3 years ago by Lysxia
  1

• Informative: pick of tag for upcoming release of Coq Platform for Coq 8.14

  #32 opened 3 years ago by MSoegtropIMC
  3

• Pervasives -> Stdlib

  #17 opened 3 years ago by Lysxia
  2

• Throw exceptions with messages

  #30 opened 3 years ago by liyishuai
  4

• Sample command

  #27 opened 3 years ago by liyishuai
  4

• Tag for Coq 8.13

  #26 opened 4 years ago by gares
  2

• Bring back the MonadFix instance in a separate module

  #24 opened 4 years ago by lthms
  2

• Mention coqffi in the `Related' section of the README.md

  #22 opened 4 years ago by lthms
  1

• Release 1.3.0

  #15 opened 5 years ago by Lysxia
  1

• Switch to Circle CI

  #13 opened 5 years ago by Lysxia
  2

• Documentation on GH pages

  #4 opened 6 years ago by Lysxia
  10

• Blacklists

  #9 opened 5 years ago by Lysxia
  0

• What OCaml type to extract IO to?

  #2 opened 6 years ago by Lysxia
  1

• Debug module

  #3 opened 6 years ago by Lysxia
  0