-
Notifications
You must be signed in to change notification settings - Fork 6
Issues: Lysxia/coq-simple-io
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Is it possible to implement functions like read, lseek, and write in the unix module?
#82
by Tralalero-Tralalal
was closed May 29, 2025
Fix open_modules: use temp file in dedicated tmp directory
#79
by Lysxia
was merged Feb 27, 2025
Loading…
Add mode to forward stdin and stdout to RunIO scripts
#78
by Lysxia
was merged Dec 11, 2024
Loading…
Please pick the version you prefer for Coq 8.20 in Coq Platform 2025.01
#77
by MSoegtropIMC
was closed Dec 7, 2024
Non-terminating New feature or request
read_line from the command line
enhancement
#76
by zacque0
was closed Dec 11, 2024
Adapt to coq/coq#18422 (indirect accessor handled through vernactypes)
#66
by SkySkimmer
was merged Apr 8, 2024
Loading…
Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01
#65
by rtetley
was closed Apr 24, 2024
Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10
#62
by rtetley
was closed Oct 8, 2023
Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03
#61
by MSoegtropIMC
was closed Apr 19, 2023
Please pick the version you prefer for Coq 8.16 in Coq Platform 2022.09
#58
by MSoegtropIMC
was closed Sep 9, 2022
Previous Next
ProTip!
Follow long discussions with comments:>50.