| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
| 2021-12-06 | apply nix-format | Quentin Aristote |
| 2021-12-06 | finish why3 module creation | Quentin Aristote |
| 2021-12-06 | add options to specify provers | Quentin Aristote |
| 2021-12-06 | add basic options | Quentin Aristote |
 |
index : nix/venv-manager | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |