coq-community/coq-dpdgraph issues and pull requests

#134 - Publish a release compatible with Coq 8.20

Issue - State: open - Opened by SnarkBoojum 6 days ago

#133 - Adapt to https://github.com/coq/coq/pull/19310

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

#130 - Preparation of a release for Coq 8.19

Issue - State: closed - Opened by SnarkBoojum 8 months ago - 5 comments

#100 - Ignore warning 70

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

#100 - Ignore warning 70

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

#99 - Add distrib doc

Pull Request - State: open - Opened by ybertot over 2 years ago - 1 comment

#98 - Revert "do not include the tests in the distributed files"

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

#98 - Revert "do not include the tests in the distributed files"

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

#97 - test files have to be included after all see #95

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

#97 - test files have to be included after all see #95

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

#96 - fix opam package and ci for 8.15 using boilerplate from coq-master

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

#95 - Please create a tag for Coq 8.15 in Coq Platform 2022.02

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

#94 - opam: make "test-suite" not "test"

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

#94 - opam: make "test-suite" not "test"

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

#93 - adapt to coq/coq#15220

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

#93 - adapt to coq/coq#15220

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

#92 - enable running test suite in ci via opam

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

#92 - enable running test suite in ci via opam

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

#91 - CI doesn't run tests

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

#91 - CI doesn't run tests

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

#90 - Adapt to coq/coq#15104 (reduction tactics don't insert useless casts)

Pull Request - State: closed - Opened by SkySkimmer almost 3 years ago - 5 comments

#90 - Adapt to coq/coq#15104 (reduction tactics don't insert useless casts)

Pull Request - State: closed - Opened by SkySkimmer almost 3 years ago - 5 comments

#89 - Port to use Dune as build system

Pull Request - State: closed - Opened by palmskog almost 3 years ago - 22 comments

#89 - Port to use Dune as build system

Pull Request - State: closed - Opened by palmskog almost 3 years ago - 22 comments

#88 - Please create a tag for Coq 8.14 in Coq Platform 2021.11

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

#87 - add meta.yml and generate boilerplate for 8.13

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

#86 - add meta.yml and generate boilerplate for 8.14

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

#85 - add meta.yml and generate boilerplate

Pull Request - State: closed - Opened by palmskog almost 3 years ago - 4 comments

#84 - Inclusion to Coq Platform

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

#83 - Adapt to Coq PR #14846: references to inductive types in the type of constructors are directly Ind rather than Rel nodes

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

#82 - Fix test oracle for coq/coq#14099

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

#81 - Dummy

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

#80 - Adapt w.r.t. #13563

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

#79 - Adapt w.r.t. coq/coq#13075.

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

#78 - Revert "Adapt w.r.t. coq/coq#13075."

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

#77 - an attempts at reducing false alarms by sorting oracle files and logs

Pull Request - State: open - Opened by ybertot almost 4 years ago - 1 comment

#76 - avoid warnings emitted by Coq

Pull Request - State: open - Opened by ybertot almost 4 years ago - 8 comments

#75 - test files are too flimsy

Issue - State: open - Opened by ybertot almost 4 years ago

#74 - Adapt w.r.t. coq/coq#13075.

Pull Request - State: closed - Opened by ppedrot almost 4 years ago - 1 comment

#73 - fixed for ocaml 4.10.0

Pull Request - State: closed - Opened by Alizter about 4 years ago - 11 comments

#72 - Adapt to small change of search API (Coq PR #8855).

Pull Request - State: closed - Opened by Zimmi48 over 4 years ago - 1 comment

#71 - Explicit which hint database to use with “firstorder”

Pull Request - State: closed - Opened by vbgl over 4 years ago

#70 - No kill on warning

Pull Request - State: closed - Opened by ybertot over 4 years ago - 1 comment

#69 - new coq/ocaml compat

Issue - State: closed - Opened by vzaliva over 4 years ago - 3 comments

#68 - Adapt to coq/coq#11368 (Turn trailing implicit warning into an error)

Pull Request - State: closed - Opened by SimonBoulier over 4 years ago

#67 - Adapt to coq/coq#10811 (SProp default on)

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

#66 - Adapt to coq/coq#10390 (UIP in SProp)

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

#65 - Fix w.r.t. coq/coq#10362.

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

#64 - Fix for coq/coq#10201.

Pull Request - State: closed - Opened by ppedrot over 5 years ago - 5 comments

#63 - feature request: more robust output format for dpdusage

Issue - State: open - Opened by chdoc over 5 years ago - 1 comment
Labels: enhancement

#62 - installation from source code problem

Issue - State: closed - Opened by LouGlzHuesca over 5 years ago - 3 comments

#61 - fix deprecation warning for UnivGen.type_of_global

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

#60 - fixes warnings about non-exhaustivepattern-matching and some deprecation

Pull Request - State: closed - Opened by ybertot over 5 years ago

#59 - [coq] Fix OCaml warnings.

Pull Request - State: closed - Opened by ejgallego over 5 years ago - 1 comment

#58 - coq-8.9 support

Issue - State: closed - Opened by vzaliva over 5 years ago - 3 comments

#57 - [warnings] Please fix OCaml warnings

Issue - State: closed - Opened by ejgallego over 5 years ago - 1 comment

#56 - Adapt to coq/coq#8817 (SProp)

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

#55 - Port to coqpp.

Pull Request - State: closed - Opened by ppedrot almost 6 years ago - 8 comments

#54 - Merge old master to coq-v8.8 branch

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

#53 - Coq trunk

Pull Request - State: closed - Opened by ybertot over 6 years ago

#52 - check stability of coq implementation

Pull Request - State: closed - Opened by ybertot over 6 years ago

#51 - force travis to recompile Coq when version on master branch is different

Pull Request - State: closed - Opened by ybertot over 6 years ago

#50 - Clarify the meaning of branches

Issue - State: closed - Opened by maximedenes over 6 years ago - 2 comments
Labels: enhancement

#49 - Tweak the graph structure so that it uses the right equivalence notion.

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

#48 - Adapt to Coq's PR #7797 (removal of reference).

Pull Request - State: closed - Opened by maximedenes over 6 years ago - 3 comments

#47 - Tweak a let open to support old camlp5

Pull Request - State: closed - Opened by ejgallego over 6 years ago - 4 comments

#46 - Merge changes from 8.8 branch into coq-trunk

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

#45 - [coq] Remove more deprecated 8.8 deprecated objects.

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

#44 - [api] Fix use of deprecated types.

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

#43 - Deprecation removal may 18

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

#42 - removes three deprecation messages by switching to type Names.GlobRef.t

Pull Request - State: closed - Opened by ybertot over 6 years ago - 4 comments

#41 - Fix compiler warnings

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

#40 - [coq] Adapt to coq/coq#6837. Superseedes #39

Pull Request - State: closed - Opened by ejgallego over 6 years ago - 6 comments

#39 - [coq] Adapt to coq/coq#6837.

Pull Request - State: closed - Opened by ejgallego over 6 years ago - 6 comments

#38 - Change Arguments Scope to Arguments

Pull Request - State: closed - Opened by jashug over 6 years ago

#37 - adapt to API.mli removal

Pull Request - State: closed - Opened by gares over 6 years ago - 3 comments

#36 - escape names 'graph' and 'digraph' to avoid bugs with graph viewers

Pull Request - State: closed - Opened by ybertot about 7 years ago - 1 comment

#35 - Avoid race condition when building with -j2 (on coq 8.7)

Pull Request - State: closed - Opened by gares about 7 years ago

#34 - Avoid race condition when building with -j2

Pull Request - State: closed - Opened by gares about 7 years ago - 1 comment

#33 - Coq v8.7

Pull Request - State: closed - Opened by JasonGross about 7 years ago - 1 comment

#32 - There should be a separate branch for v8.7

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

#31 - Fix #30

Pull Request - State: closed - Opened by SkySkimmer about 7 years ago - 2 comments

#30 - Code does not build with Coq master

Issue - State: closed - Opened by JasonGross about 7 years ago

#29 - Merge master into coq-trunk

Pull Request - State: closed - Opened by JasonGross about 7 years ago

#28 - Update test-suite oracles for trunk

Pull Request - State: closed - Opened by JasonGross about 7 years ago

#27 - Move the travis script into the makefile

Pull Request - State: closed - Opened by JasonGross about 7 years ago - 5 comments

#26 - Fix for coq API, and simplify test for Prop

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

#25 - Fix configure: ocamlc does not accept --version

Pull Request - State: closed - Opened by JasonGross over 7 years ago - 1 comment

#24 - Compatibility with Coq trunk

Pull Request - State: closed - Opened by JasonGross over 7 years ago - 1 comment

#23 - Clobber attributes.err file

Pull Request - State: closed - Opened by JasonGross over 7 years ago

#22 - Fail on travis if `make tests` fails

Pull Request - State: closed - Opened by JasonGross over 7 years ago

#21 - Fix make tests

Pull Request - State: closed - Opened by JasonGross over 7 years ago - 1 comment

#20 - Display differences in travis log

Pull Request - State: closed - Opened by JasonGross over 7 years ago

#19 - Don't load the ~/.coqrc file when building tests

Pull Request - State: closed - Opened by JasonGross over 7 years ago - 1 comment

#18 - Does not build with trunk

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

#17 - coq-dpdgraph fails to build on trusty because of -safe-string

Issue - State: closed - Opened by JasonGross over 7 years ago - 2 comments
Labels: bug

#16 - add whitelist feature to dpdusage

Pull Request - State: open - Opened by hendriktews over 7 years ago - 2 comments

#15 - feature request: add location info in the dpd file

Issue - State: open - Opened by hendriktews over 7 years ago
Labels: enhancement

#14 - feature request: whitelist for dpdusage

Issue - State: open - Opened by hendriktews over 7 years ago - 6 comments
Labels: enhancement

#13 - Better handling of primitive projections

Pull Request - State: closed - Opened by JasonGross over 7 years ago - 5 comments

GitHub / coq-community/coq-dpdgraph issues and pull requests