lysxia/coq-simple-io issues and pull requests

#75 - Adapt to https://github.com/coq/coq/pull/19530

Pull Request - State: closed - Opened by proux01 2 months ago - 2 comments

#74 - Release 1.10.0

Pull Request - State: closed - Opened by Lysxia 2 months ago

#73 - Publish version compatible with Coq 8.20

Issue - State: closed - Opened by SnarkBoojum 2 months ago - 1 comment

#72 - Restore compatibility with released Coq

Pull Request - State: closed - Opened by Lysxia 7 months ago

#71 - README: add Circle CI badge

Pull Request - State: closed - Opened by Lysxia 8 months ago

#70 - Dunify tests

Pull Request - State: closed - Opened by Lysxia 8 months ago

#69 - Update dune config

Pull Request - State: closed - Opened by Lysxia 8 months ago

#68 - Broken in Coq CI

Issue - State: closed - Opened by SkySkimmer 8 months ago

#67 - Update

Pull Request - State: closed - Opened by Lysxia 8 months ago

#66 - Adapt to coq/coq#18422 (indirect accessor handled through vernactypes)

Pull Request - State: closed - Opened by SkySkimmer 8 months ago - 2 comments

#65 - Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01

Issue - State: closed - Opened by rtetley 8 months ago - 4 comments

#64 - CI is broken

Issue - State: closed - Opened by Lysxia 12 months ago - 2 comments

#63 - Do not use V variable prepended in cppo.

Pull Request - State: closed - Opened by LocutusOfBorg 12 months ago

#62 - Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10

Issue - State: closed - Opened by rtetley about 1 year ago

#61 - Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03

Issue - State: closed - Opened by MSoegtropIMC over 1 year ago - 1 comment

#60 - what is the best version for coq 8.12

Issue - State: closed - Opened by brando90 almost 2 years ago - 1 comment

#59 - Release 1.8.0

Pull Request - State: closed - Opened by Lysxia about 2 years ago

#58 - Please pick the version you prefer for Coq 8.16 in Coq Platform 2022.09

Issue - State: closed - Opened by MSoegtropIMC over 2 years ago - 3 comments

#57 - Build fails when V is exported

Issue - State: open - Opened by LocutusOfBorg over 2 years ago - 3 comments
Labels: bug

#56 - ci: test dependants

Pull Request - State: closed - Opened by liyishuai over 2 years ago

#55 - Update Dune

Pull Request - State: closed - Opened by liyishuai over 2 years ago - 2 comments

#54 - Silence warnings

Pull Request - State: closed - Opened by Lysxia over 2 years ago

#53 - Correct dependencies

Pull Request - State: closed - Opened by jjhugues over 2 years ago

#52 - Adapt to coq/coq#15945

Pull Request - State: closed - Opened by SkySkimmer over 2 years ago - 1 comment

#51 - Relicense to LGPL

Pull Request - State: closed - Opened by Lysxia over 2 years ago - 4 comments

#50 - Export Uint63, add tests

Pull Request - State: closed - Opened by Lysxia over 2 years ago

#49 - Refactor plugin code as a library Coqsimpleio_plugin.Lib

Pull Request - State: closed - Opened by Lysxia over 2 years ago

#48 - Handle extraction of Uint63

Pull Request - State: closed - Opened by Lysxia over 2 years ago - 7 comments

#47 - Add citation

Pull Request - State: closed - Opened by liyishuai over 2 years ago - 1 comment

#46 - Cite this repository

Issue - State: closed - Opened by liyishuai over 2 years ago - 1 comment

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

Issue - State: open - Opened by Lysxia over 2 years ago - 1 comment
Labels: question

#44 - Add Filename module

Pull Request - State: closed - Opened by liyishuai over 2 years ago - 9 comments

#43 - Release 1.7.0

Pull Request - State: closed - Opened by Lysxia almost 3 years ago

#42 - Add an example in the README

Issue - State: closed - Opened by Lysxia almost 3 years ago - 1 comment

#41 - Fix compilation

Pull Request - State: closed - Opened by liyishuai almost 3 years ago

#41 - Fix compilation

Pull Request - State: closed - Opened by liyishuai almost 3 years ago

#40 - Add OSys.argv to retrieve the command line arguments

Pull Request - State: closed - Opened by jjhugues almost 3 years ago - 1 comment

#39 - Please pick the version you prefer for Coq 8.15 in Coq Platform 2022.02

Issue - State: closed - Opened by MSoegtropIMC almost 3 years ago - 3 comments

#38 - adapt to coq/coq#15220

Pull Request - State: closed - Opened by gares almost 3 years ago - 1 comment

#37 - RunIO: fix compilation error

Pull Request - State: closed - Opened by liyishuai about 3 years ago

#36 - Stdlib: add input functions

Pull Request - State: closed - Opened by liyishuai about 3 years ago - 2 comments

#35 - Rename Pervasives to Stdlib

Pull Request - State: closed - Opened by Lysxia about 3 years ago

#34 - Sys: add command

Pull Request - State: closed - Opened by liyishuai about 3 years ago

#33 - Rewrite perl hack and fix tmp directory setting

Pull Request - State: closed - Opened by Lysxia about 3 years ago

#32 - Informative: pick of tag for upcoming release of Coq Platform for Coq 8.14

Issue - State: closed - Opened by MSoegtropIMC about 3 years ago - 3 comments

#31 - compat.pl -> cppo

Pull Request - State: closed - Opened by liyishuai about 3 years ago - 1 comment

#30 - Throw exceptions with messages

Issue - State: closed - Opened by liyishuai about 3 years ago - 4 comments

#29 - More functions in Stdlib and Sys

Pull Request - State: closed - Opened by liyishuai about 3 years ago - 5 comments

#28 - RunIO command

Pull Request - State: closed - Opened by Lysxia over 3 years ago - 1 comment

#27 - Sample command

Issue - State: closed - Opened by liyishuai over 3 years ago - 4 comments
Labels: enhancement

#26 - Tag for Coq 8.13

Issue - State: closed - Opened by gares almost 4 years ago - 2 comments

#25 - Re-Add Monadfix instance in a separate module

Pull Request - State: closed - Opened by Lysxia almost 4 years ago