coq-dpdgraph

coq-dpdgraph copied to clipboard

Please create a tag for Coq 8.16 in Coq Platform 2022.09

3

The Coq team released Coq `8.16+rc1` on June 01, 2022. The corresponding Coq Platform release `2022.09` should be released before **September 15, 2022**. It can be delayed in case of...

MSoegtropIMC

Preparation of a release version for coq-8.16

8

Not really an issue, just a report about work in progress. A branch coq-v8.16 is currently available at https://github.com/ybertot/coq-dpdgraph/commit/4728cb8e752594ac1c2f186dee6b2dd8e2cfead7 This branch should be all ready for creating the necessary files...

ybertot

ybertot

Port to use Dune as build system

12

Using the regular coq_makefile for coq-dpdgraph is a lot of work for an essentially deprecated approach to building Coq plugins. Here is a quick port to Dune instead. The plugin...

palmskog

Add distrib doc

1

ybertot

Inclusion to Coq Platform

2

Dear dpdgraph Team, @palmskog requested here: (https://github.com/coq/platform/issues/12) to include your development into the Coq Platform, which is the standard user facing distribution of Coq. Coq Platform has a "full" and...

MSoegtropIMC

avoid warnings emitted by Coq

8

Only modifications in the Coq source files.

ybertot

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

1

If this is merged, tests will be slightly less precise but will be resistant to some changes in order of lines. We may consider that the occasions where sorting is...

ybertot

After the merge of PR#74 make tests reports changes that are not relevant. Files are mostly the same, except the order of lines has changed. We should compare logs with...

ybertot

feature request: whitelist for dpdusage

6

Thanks for this very nice tool set!! Since I use Coq I have always been looking for a way to find unused definitions and lemmas. My project has quite a...

hendriktews