Octachron/codept issues and pull requests

#45 - Split single opam into two

Pull Request - State: closed - Opened by jonahbeckford about 2 months ago - 4 comments

#44 - Add tests for opening a functor application

Pull Request - State: closed - Opened by jonahbeckford 2 months ago - 1 comment

#43 - AST parsing fails when opening a functor application

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

#42 - dune runtest failure on Windows: backslash/forward slashes

Issue - State: closed - Opened by jonahbeckford 2 months ago - 4 comments

#41 - Use binary mode to open and get size of /reference files

Pull Request - State: closed - Opened by jonahbeckford 2 months ago - 1 comment

#40 - Strip carriage returns from files before processing

Pull Request - State: closed - Opened by jonahbeckford 2 months ago - 1 comment

#40 - Strip carriage returns from files before processing

Pull Request - State: closed - Opened by jonahbeckford 2 months ago - 1 comment

#39 - dune runtest failure on Windows: End_of_file

Issue - State: closed - Opened by jonahbeckford 2 months ago

#38 - dune runtest failure on Windows: Carriage Return

Issue - State: closed - Opened by jonahbeckford 2 months ago

#38 - dune runtest failure on Windows: Carriage Return

Issue - State: closed - Opened by jonahbeckford 2 months ago

#37 - Seeking opinion on adding "external" declarations to M2l

Issue - State: closed - Opened by jonahbeckford 4 months ago - 2 comments

#36 - Sharing how DkCoder uses codept

Issue - State: open - Opened by jonahbeckford 7 months ago - 2 comments

#35 - Export the codept library

Pull Request - State: closed - Opened by dinosaure 8 months ago - 1 comment

#34 - Feature request: Expose source code location for Failure.Extern missing modules

Issue - State: open - Opened by jonahbeckford 8 months ago

#33 - Split directories on platform separator and /

Pull Request - State: closed - Opened by jonahbeckford 8 months ago - 1 comment

#32 - Avoid modulizing filename when reading file

Pull Request - State: closed - Opened by jonahbeckford 8 months ago - 7 comments

#31 - Signature serialization is different on Windows

Issue - State: closed - Opened by jonahbeckford 9 months ago - 5 comments

#30 - Is there a way to save solver state?

Issue - State: closed - Opened by jonahbeckford 9 months ago - 3 comments

#29 - Raise an exception `Fatal` instead of `exit 1`

Pull Request - State: closed - Opened by dinosaure over 1 year ago - 1 comment

#28 - Make codept as a library (4/n)

Issue - State: open - Opened by dinosaure over 1 year ago - 2 comments

#27 - Clarify some types into the module `fault.ml`

Pull Request - State: closed - Opened by dinosaure over 1 year ago - 1 comment

#26 - Delete the useless `Namespaced._exact_sch`

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

#25 - Use `cuts` instead of `split_on_char`

Pull Request - State: closed - Opened by dinosaure almost 2 years ago - 5 comments

#24 - fix typo in README.md

Pull Request - State: closed - Opened by mobileink almost 2 years ago - 1 comment

#23 - New `modname` module

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

#22 - Make codept as a library (3/n)

Issue - State: open - Opened by dinosaure almost 2 years ago

#21 - An generator for `bundle_refs` files

Issue - State: open - Opened by dinosaure almost 2 years ago - 1 comment

#20 - Add a new module Debug and use it into the core library

Pull Request - State: closed - Opened by dinosaure almost 2 years ago

#19 - Be able to enable `debug` outputs

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

#18 - The `codept_server` does not compile on 4.14.0

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

#17 - Fix the implementation of Support.{remove_,}extension and update tests

Pull Request - State: closed - Opened by dinosaure almost 2 years ago - 3 comments

#16 - Issue with `Support.remove_extension`

Issue - State: closed - Opened by dinosaure almost 2 years ago

#15 - Make codept as a library (2/n)

Issue - State: open - Opened by dinosaure almost 2 years ago - 1 comment

#14 - Make `codept` as a library (1/n)

Issue - State: open - Opened by dinosaure almost 2 years ago - 4 comments

#13 - Fix some renamed arguments

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

#12 - Normalizing input files

Issue - State: open - Opened by Octachron about 2 years ago

#11 - Incremental use of codept?

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

#10 - Nativeint not recognized

Issue - State: closed - Opened by nojb over 2 years ago - 5 comments

#9 - Add support for OCaml 4.14

Pull Request - State: closed - Opened by kit-ty-kate over 2 years ago - 1 comment

#8 - enhancement request: extension node dependencies

Issue - State: closed - Opened by mobileink about 3 years ago - 1 comment

#7 - how to analyze namespaced libs, like bin_prot

Issue - State: closed - Opened by mobileink over 3 years ago - 7 comments

#6 - codept as a library?

Issue - State: closed - Opened by mobileink over 3 years ago - 7 comments

#5 - module_collision test fail on MacOS

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

#4 - Install error (codept opam pkg) with OCaml 4.11.1

Issue - State: closed - Opened by Fourchaux about 4 years ago - 2 comments

#3 - Bugfix: escape graphviz keywords regardless of case

Pull Request - State: closed - Opened by raphael-proust over 6 years ago - 1 comment

#2 - flag -dot should special case some identifiers

Issue - State: closed - Opened by raphael-proust over 6 years ago - 3 comments

#1 - codept broken on 4.06 due to parsetree changes

Issue - State: closed - Opened by gasche about 7 years ago - 2 comments

GitHub / Octachron/codept issues and pull requests