Search results

Please pick the version you prefer for Rocq 9.0 in Rocq Platform 2025.09

Status: Open.

#151 In rocq-community/coq-dpdgraph;

· Justme0606 opened on Aug 29, 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

feature request: add location info in the dpd file

enhancement

Status: Open.

#15 In rocq-community/coq-dpdgraph;

· hendriktews opened on Feb 27, 2017

feature request: whitelist for dpdusage

enhancement

Status: Open.

#14 In rocq-community/coq-dpdgraph;

· hendriktews opened on Feb 27, 2017