coq-community/coq-dpdgraph

Issues

• Please pick the version you prefer for Coq 8.20 in Coq Platform 2025.01

  #137 opened 21 days ago by MSoegtropIMC
  0

• Publish a release compatible with Coq 8.20

  #134 opened a month ago by SnarkBoojum
  7

• Preparation of a release for Coq 8.19

  #130 opened 3 months ago by SnarkBoojum
  5

• Please create a tag for Coq 8.19 in Coq Platform 2024.01

  #131 opened 9 months ago by rtetley
  2

• Preparation of a release version for coq-8.16

  #109 opened 2 years ago by ybertot
  8

• Preparation of a release for coq-8.17

  #116 opened 2 years ago by ybertot
  1

• Preparation of release for coq-8.18

  #124 opened a year ago by SnarkBoojum
  1

• Please create a tag for Coq 8.18 in Coq Platform 2023.10

  #125 opened a year ago by rtetley
  3

• COQBIN should be used in configure.ac

  #127 opened a year ago by Villetaneuse
  5

• Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03

  #113 opened 2 years ago by MSoegtropIMC
  3

• Please create a tag for Coq 8.16 in Coq Platform 2022.09

  #110 opened 2 years ago by MSoegtropIMC
  4

• Don't treat missing mli file as error

  #103 opened 2 years ago by SnarkBoojum
  5

• Please create a tag for Coq 8.15 in Coq Platform 2022.02

  #95 opened 3 years ago by MSoegtropIMC
  22

• CI doesn't run tests

  #91 opened 3 years ago by SkySkimmer
  1

• Please create a tag for Coq 8.14 in Coq Platform 2021.11

  #88 opened 3 years ago by MSoegtropIMC
  12

• Inclusion to Coq Platform

  #84 opened 3 years ago by MSoegtropIMC
  2

• test files are too flimsy

  #75 opened 4 years ago by ybertot
  0

• feature request: whitelist for dpdusage

  #14 opened 8 years ago by hendriktews
  6

• new coq/ocaml compat

  #69 opened 5 years ago by vzaliva
  3

• feature request: more robust output format for dpdusage

  #63 opened 6 years ago by chdoc
  1

• installation from source code problem

  #62 opened 6 years ago by LouGlzHuesca
  3

• coq-8.9 support

  #58 opened 6 years ago by vzaliva
  3

• [warnings] Please fix OCaml warnings

  #57 opened 6 years ago by ejgallego
  1

• Clarify the meaning of branches

  #50 opened 7 years ago by maximedenes
  2

• Fix compiler warnings

  #41 opened 7 years ago by ejgallego
  2

• Code does not build with Coq master

  #30 opened 7 years ago by JasonGross
  0

• There should be a separate branch for v8.7

  #32 opened 7 years ago by JasonGross
  2

• Does not build with trunk

  #18 opened 7 years ago by JasonGross
  7

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

  #17 opened 8 years ago by JasonGross
  2

• make: *** No rule to make target 'test'. Stop.

  #8 opened 8 years ago by georgydunaev
  3

• feature request: add location info in the dpd file

  #15 opened 8 years ago by hendriktews
  0

• How to prevent opam from installing Coq?

  #9 opened 8 years ago by georgydunaev
  1

• coq 8.6 compatibility

  #11 opened 8 years ago by vzaliva
  2

• The configure script is missing

  #10 opened 8 years ago by Timothy-G-Griffin
  2

• make install fails: no setting for BINDIR

  #7 opened 9 years ago by jonleivent
  5

• Problem with universe polymorphism

  #2 opened 9 years ago by SimonBoulier
  10

• Minimal instructions?

  #3 opened 9 years ago by cpitclaudel
  6