nixpkgs / fdr - The CSP refinement checker

Homepage - https://cocotec.io/fdr/

Maintainers - Nick Hu

Releases

4.2.7 (expand/collapse)

From commit 02c142a2 to 00460bd6

4.2.3 (expand/collapse)

From commit 074ef76e to 074ef76e

4.2.7 (expand/collapse)

From commit 04855119 to 07557e3b

4.2.3 (expand/collapse)

From commit 065a8102 to 065a8102

4.2.7 (expand/collapse)

From commit 03cd97a2 to 04de1306

4.2.3 (expand/collapse)

From commit 06ea32f7 to 06ea32f7

4.2.7 (expand/collapse)

From commit 06c19c70 to 05173bc3

4.2.3 (expand/collapse)

From commit 052e0227 to 036eef1d

4.2.7 (expand/collapse)

From commit 029f5773 to 029f5773

4.2.3 (expand/collapse)

From commit 045e1332 to 013c6c32