summaryrefslogtreecommitdiff
path: root/modules
AgeCommit message (Expand)Author
2022-07-01golang: add gocode to pathQuentin Aristote
2022-04-16typoQuentin Aristote
2022-02-14correct passing of coq configQuentin Aristote
2022-02-13add minted specific configurationQuentin Aristote
2022-02-13correct option to set versionQuentin Aristote
2022-01-26modules : add rust supportQuentin Aristote
2022-01-20latex : change default scheme ; add minted dependenciesQuentin Aristote
2021-12-27remove quoting around nix paths cast to stringsQuentin Aristote
2021-12-11ocaml : add comments in declaration of ocamlInitQuentin Aristote
2021-12-11aliases : remove bug introduced in previous commitQuentin Aristote
2021-12-11pinDerivations : add option to specify filenamesQuentin Aristote
2021-12-11add pinDerivations optionQuentin Aristote
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-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-03initial commitQuentin Aristote
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-25 02:28:09 +0000