| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-12-06 | apply nix-format | Quentin Aristote |
| 2021-12-06 | import the why3 module | Quentin Aristote |
| 2021-12-06 | finish why3 module creation | Quentin Aristote |
| 2021-12-06 | add options to specify provers | Quentin Aristote |
| 2021-12-06 | Merge branch 'master' into why3 | Quentin Aristote |
| 2021-12-06 | remove quoting around nix paths cast to strings | Quentin Aristote |
| 2021-12-06 | add basic options | Quentin Aristote |
| 2021-12-05 | explain and add example for default configurations | Quentin Aristote |
| 2021-12-05 | add todo list | Quentin Aristote |
| 2021-12-05 | explain where to find available options | Quentin Aristote |
| 2021-12-05 | rephrase readme | Quentin Aristote |
| 2021-12-05 | add readme | Quentin Aristote |
| 2021-12-03 | change import path to point to current directory | Quentin Aristote |
| 2021-12-03 | enable nix | Quentin Aristote |
| 2021-12-03 | add a template file for shell.nix | Quentin Aristote |
| 2021-12-03 | ignore tests directory | Quentin Aristote |
| 2021-12-03 | add basic shell.nix file | Quentin Aristote |
| 2021-12-03 | initial commit | Quentin Aristote |
 |
index : nix/venv-manager | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |