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