Skip to content

Pull requests: pi8027/stablesort

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Update CI
#28 by pi8027 was merged Sep 11, 2024 Approved
Update Nix toolbox
#27 by pi8027 was merged Jun 20, 2024 Approved
Fix the build instruction
#26 by pi8027 was merged Jun 20, 2024 Approved
Replace OCamlbuild with Dune
#24 by pi8027 was merged Mar 29, 2024 Approved
Add sorted_filter_sort (taken from #20)
#21 by pi8027 was merged Feb 27, 2024 Approved
Add count_sort
#19 by pi8027 was merged Feb 26, 2024 Approved
fix CI
#17 by CohenCyril was merged Feb 15, 2024 Approved
Update CI
#15 by pi8027 was merged Feb 14, 2024 Approved
Remove mathcomp_ext
#14 by pi8027 was merged Nov 5, 2023
Get rid of traces
#13 by pi8027 was merged Nov 3, 2023
Remove the nilp_rev lemma
#12 by pi8027 was merged Oct 19, 2023 Approved
Update CI
#11 by pi8027 was merged Sep 22, 2023 Loading…
Update CI
#10 by pi8027 was merged Mar 21, 2023 Loading…
Remove some compatibility hacks
#9 by pi8027 was merged Mar 1, 2022 Loading…
Improve benchmark programs and Makefile
#8 by pi8027 was merged Feb 28, 2022 Loading…
Update CI
#6 by pi8027 was merged Jan 12, 2022 Loading…
adding nix toolbox + shorten proofs
#5 by CohenCyril was merged Jan 7, 2022 Loading…
Update CI
#4 by pi8027 was merged Nov 5, 2021 Loading…
Update CI
#3 by pi8027 was merged Sep 25, 2021 Loading…
Add sort_sort(_in) lemmas
#2 by pi8027 was merged Apr 4, 2021 Loading…
ProTip! Add no:assignee to see everything that’s not assigned.