Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / maximedenes/native-coq issues and pull requests

#15 - Fixed extraction

Pull Request - State: open - Opened by vblot over 6 years ago

#15 - Fixed extraction

Pull Request - State: open - Opened by vblot over 6 years ago

#14 - Fixes for opam and ocaml 4.06

Pull Request - State: open - Opened by vblot over 6 years ago

#14 - Fixes for opam and ocaml 4.06

Pull Request - State: open - Opened by vblot over 6 years ago

#13 - Issues with native extraction

Issue - State: open - Opened by vblot almost 7 years ago

#13 - Issues with native extraction

Issue - State: open - Opened by vblot almost 7 years ago

#12 - !!

Issue - State: closed - Opened by xiaoyu860519 almost 7 years ago - 1 comment

#12 - !!

Issue - State: closed - Opened by xiaoyu860519 almost 7 years ago - 1 comment

#11 - hhhhh

Issue - State: closed - Opened by xiaoyu860519 almost 7 years ago

#10 - Resource

Pull Request - State: closed - Opened by xiaoyu860519 almost 7 years ago - 2 comments

#9 - premisses is a misspelling of premises

Issue - State: closed - Opened by farzonl about 7 years ago - 1 comment

#8 - parsing/grammar.cma must be linked with unix.cma

Pull Request - State: closed - Opened by ckeller almost 9 years ago - 3 comments

#7 - Incorrect code generated for files with interactive tests

Issue - State: closed - Opened by maximedenes over 11 years ago

#6 - Lazy evaluation of values

Issue - State: closed - Opened by maximedenes almost 13 years ago

#5 - Unicode identifiers

Issue - State: open - Opened by maximedenes almost 13 years ago

#4 - Separate cmxs incompatible with makefiles

Issue - State: closed - Opened by maximedenes almost 13 years ago - 2 comments

#3 - Useless module imports in generated code

Issue - State: closed - Opened by maximedenes almost 13 years ago - 1 comment

#2 - Write / Restore State incompatible with native compilation

Issue - State: open - Opened by maximedenes almost 13 years ago - 1 comment

#1 - Untitled

Pull Request - State: closed - Opened by bgregoir over 13 years ago