about summary refs log tree commit diff
path: root/pkgs/development/compilers/fstar
AgeCommit message (Expand)AuthorFilesLines
2024-01-30fstar: 2023.09.03 -> 2024.01.13R. Ryantm1-2/+2
2023-12-27fstar: build with dune (#275924)Paul-Nicolas Madelaine3-45/+120
2023-10-30fstar: 2023.04.25 -> 2023.09.03Mario Rodas1-2/+3
2023-08-08fstar: 2023.02.01 -> 2023.04.25Mario Rodas1-4/+4
2023-02-07fstar: use proper z3 version and build .checked filesRicardo M. Correia1-6/+3
2023-02-03fstar: 2022.11.19 → 2023.02.01Vincent Laporte1-2/+2
2022-12-20fstar: remove unnecessary store path & build artifactsLucas Franceschino1-1/+6
2022-12-20fstar: 2022.01.15 -> 2022.11.19Lucas Franceschino1-2/+2
2022-12-20fstar: add update scriptLucas Franceschino1-1/+10
2022-05-29ocamlPackages: rename sedlex_2 into sedlexVincent Laporte1-1/+1
2022-05-04treewide: add meta.mainProgram to many packagesMalo Bourgon1-2/+3
2022-02-24ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid1-4/+10
2022-01-24fstar: 2021.12.25 -> 2022.01.15R. Ryantm1-2/+2
2021-12-30fstar: 2021.11.27 -> 2021.12.25Paul-Nicolas Madelaine1-2/+2
2021-11-27fstar: 2021.10.16 -> 2021.11.27Mario Rodas1-18/+3
2021-10-20fstar: 2021.09.30 -> 2021.10.16Paul-Nicolas Madelaine1-2/+2
2021-10-05fstar: 2021.09.11 -> 2021.09.30Paul-Nicolas Madelaine1-4/+6
2021-09-11fstar: 2021.08.27 -> 2021.09.11Mario Rodas1-2/+2
2021-09-01fstar: 2021.07.31 -> 2021.08.27 (#136215)Mario Rodas1-2/+3
2021-08-26fstar: 0.9.6.0 -> 2021.07.31Paul-Nicolas Madelaine1-12/+42
2021-06-05ocamlPackages.menhir: 20190626 → 20210419Vincent Laporte1-1/+1
2021-01-23pkgs/development/compilers: stdenv.lib -> libBen Siraphob1-2/+2
2020-04-29fstar: install completionsMario Rodas1-2/+5
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-12-30treewide: replace make/build/configure/patchFlags with nix listsMerijn Broeren1-2/+2
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2018-05-25fstar: 0.9.5.0 -> 0.9.6.0Gabriel Ebner1-3/+6
2017-11-14ocamlPackages.batteries: 2.7.0 -> 2.8.0Vincent Laporte1-1/+1
2017-10-02fstar: 0.9.4.0 -> 0.9.5.0Gabriel Ebner1-56/+9
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger1-1/+1
2017-05-30fstar: fix build on darwinVincent Laporte1-1/+2
2017-05-10fstar: 0.9.2.0 -> 0.9.4.0Gabriel Ebner1-5/+16
2016-09-13fstar: disable tests https://github.com/FStarLang/FStar/issues/676Domen Kožar1-1/+2
2016-09-06fstar: remove workaround (#18331)Alexander Ried1-4/+0
2016-06-30fstar: fix build on DarwinVincent Laporte1-2/+2
2016-03-13fstar: 2016-01-12 -> 0.9.2.0Joachim Fasting1-4/+6
2016-01-19fstar: init at 2016-01-12Ricardo M. Correia1-0/+78
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-26 11:51:26 +0000