All issues

Search results

ECHO_CIBLE is used but unassigned

Status: Open.

#177 In rocq-community/coq-dpdgraph;

· JasonGross opened on Apr 16, 2026

dpdgraph disagrees with Print Assumptions on module-locked opaque constants

Status: Open.

#172 In rocq-community/coq-dpdgraph;

· JasonGross opened on Feb 3, 2026

dpd2dot gives invalid .dot files when the file path has a /

Status: Open.

#163 In rocq-community/coq-dpdgraph;

· JasonGross opened on Dec 24, 2025

Renaming?

question

Status: Open.

#155 In rocq-community/coq-dpdgraph;

· SkySkimmer opened on Nov 20, 2025

No dpdgraph.cmxs file

Status: Open.

#147 In rocq-community/coq-dpdgraph;

· bfurmane opened on Aug 1, 2025

Setting for emitting full kernel names rather than short names

Status: Open.

#141 In rocq-community/coq-dpdgraph;

· JasonGross opened on Jan 29, 2025

COQBIN should be used in configure.ac

Status: Open.

#127 In rocq-community/coq-dpdgraph;

· Villetaneuse opened on Oct 25, 2023

Preparation of a release for coq-8.17

Status: Open.

#116 In rocq-community/coq-dpdgraph;

· ybertot opened on Mar 24, 2023

Preparation of a release version for coq-8.16

Status: Open.

#109 In rocq-community/coq-dpdgraph;

· ybertot opened on Jul 21, 2022

Inclusion to Coq Platform

Status: Open.

#84 In rocq-community/coq-dpdgraph;

· MSoegtropIMC opened on Sep 25, 2021

test files are too flimsy

Status: Open.

#75 In rocq-community/coq-dpdgraph;

· ybertot opened on Sep 24, 2020

feature request: more robust output format for dpdusage

enhancement

Status: Open.

#63 In rocq-community/coq-dpdgraph;

· chdoc opened on Apr 5, 2019