| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-12-08 | have coq be enabled as a prover by enabling the coq option | Quentin Aristote | |
| 2021-12-08 | debug coq support | Quentin Aristote | |
| 2021-12-07 | why3 : pass the generated config file with --config instead of --extra-config | Quentin Aristote | |
| with ~--extra-config~ ~why3 --list-provers~ outputs no known provers | |||
| 2021-12-06 | apply nix-format | Quentin Aristote | |
| 2021-12-06 | finish why3 module creation | Quentin Aristote | |
| - provers are added as packages in the provers option - a local package builds why3.conf by detecting the provers provided in the provers option and appending the extra configuration - why3 is aliased to load that why3.conf file | |||
| 2021-12-06 | add options to specify provers | Quentin Aristote | |
| 2021-12-06 | add basic options | Quentin Aristote | |
 |
index : nix/venv-manager | |
| (unmaintained) Modular Nix shell. |
| summaryrefslogtreecommitdiff |