Skip to content

Pull requests: CakeML/cakeml

New pull request New
Clear current search query, filters, and sorts
0 Open 619 Closed
0 Open 619 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Remove pair_case_eq as it is in pairTheory
#1129 by ordinarymath was merged Feb 7, 2025 Loading…
1
Remove redundant theorem in misc. Fixes #1124
#1125 by ordinarymath was merged Jan 26, 2025 Loading…
1
Minor work towards #1122
#1123 by ordinarymath was merged Jan 27, 2025 Loading…
Update build-instructions.sh
#1119 by ordinarymath was merged Jan 23, 2025 Loading…
2
Fixes #1117
#1118 by ordinarymath was merged Dec 22, 2024 Loading…
1
1
Add linter for build directories
#1115 by dnezam was merged Dec 18, 2024 Loading…
1
add translator sub_check mode
#1114 by tanyongkiam was merged Dec 16, 2024 Loading…
1
Update README.md
#1112 by dnezam was merged Dec 10, 2024 Loading…
Try removing parsingComputeLib for issue #575
#1111 by xrchz was merged Dec 12, 2024 Loading…
Efficient cases peg
#1110 by mn200 was merged Dec 11, 2024 Loading…
Introduce non-comparable Loc values
#1107 by myreen was merged Dec 9, 2024 Loading…
Remove bitrot
#1105 by dnezam was merged Dec 8, 2024 Loading…
Remove candle/set-theory/zfc
#1102 by dnezam was merged Dec 8, 2024 Loading…
2
Make ml_progLib build evaluate_dec_list rather than evaluate_decs
#1099 by myreen was merged Dec 5, 2024 Loading…
1
Fix link to binary in developers/bin/Holmakefile
#1098 by dnezam was merged Nov 27, 2024 Loading…
Remove compilationLib, {..}_compileLib and backendComputeLib
#1097 by dnezam was merged Dec 6, 2024 Loading…
1
1
update for HOL changes
#1096 by digama0 was merged Nov 29, 2024 Loading…
Adjust what gets built by Holmake in root dir
#1094 by myreen was merged Nov 23, 2024 Loading…
Remove non-working example
#1092 by xrchz was merged Dec 8, 2024 Loading…
1
Update NEWS.md
#1087 by mktnk3 was merged Nov 12, 2024 Loading…
fix word_cse word_remove
#1086 by ordinarymath was merged Nov 10, 2024 Loading…
fix parse errors
#1085 by digama0 was merged Nov 12, 2024 Loading…
Speed up in-logic compilation by using cv_eval_raw when computing livesets
#1084 by myreen was merged Nov 12, 2024 Loading…
pancake parser: tweak concrete syntax for preprocessing
#1082 by mktnk3 was merged Nov 11, 2024 Loading…
Remove libScript.sml
#1076 by dnezam was merged Oct 26, 2024 Loading…
ProTip! What’s not been updated in a month: updated:<2025-01-10.