summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-12-11correct description of nativeBuildInputsQuentin Aristote
2021-12-11ocaml : simplify default value for versionQuentin Aristote
2021-12-11ocaml : add libDirs optionQuentin Aristote
2021-12-11ocaml : add version optionQuentin Aristote
2021-12-11add defaultEditor optionQuentin Aristote
2021-12-11clean extra whitespaceQuentin Aristote
2021-12-08have coq be enabled as a prover by enabling the coq optionQuentin Aristote
2021-12-08debug coq supportQuentin Aristote
2021-12-08add option to specify rc (commands prepended to any coq file)Quentin Aristote
2021-12-07why3 : pass the generated config file with --config instead of --extra-configQuentin Aristote
2021-12-06apply nix-formatQuentin Aristote
2021-12-06import the why3 moduleQuentin Aristote
2021-12-06finish why3 module creationQuentin Aristote
2021-12-06add options to specify proversQuentin Aristote
2021-12-06Merge branch 'master' into why3Quentin Aristote
2021-12-06remove quoting around nix paths cast to stringsQuentin Aristote
2021-12-06add basic optionsQuentin Aristote
2021-12-05explain and add example for default configurationsQuentin Aristote
2021-12-05add todo listQuentin Aristote
2021-12-05explain where to find available optionsQuentin Aristote
2021-12-05rephrase readmeQuentin Aristote
2021-12-05add readmeQuentin Aristote
2021-12-03change import path to point to current directoryQuentin Aristote
2021-12-03enable nixQuentin Aristote
2021-12-03add a template file for shell.nixQuentin Aristote
2021-12-03ignore tests directoryQuentin Aristote
2021-12-03add basic shell.nix fileQuentin Aristote
2021-12-03initial commitQuentin Aristote
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-25 07:22:35 +0000