Skip to content

Pull requests: tnelson/Forge

New pull request New
Clear current search query, filters, and sorts
0 Open 219 Closed
0 Open 219 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

add flag to hide preds
#181 by bennn was merged Feb 7, 2023 Loading…
6
lang to hide wheat code
#162 by bennn was merged Jan 17, 2023 Loading…
2 of 3 tasks
5
froglet in-progress
#194 by bennn was merged Jun 2, 2024 Loading…
1 task done
4
Unset _JAVA__OPTIONS in `java>=1.9?'
#193 by TsarFox was merged Feb 10, 2023 Loading…
4
logging: don't log during DrRacket background expansion
#81 by bennn was merged Feb 5, 2021 Loading…
4
fix #63
#69 by bennn was closed Jan 26, 2023 Loading…
4
semanticVersion: canonize major/minor numbers
#205 by bennn was merged Jul 16, 2023 Loading…
3
print git branch, commit, timestamp info
#195 by bennn was merged Mar 8, 2023 Loading…
3 tasks done
3
simpler wheat decoding
#180 by bennn was closed Feb 15, 2024 • Draft
3
Syntax Update -- Property/Where syntax in terms of necessary and sufficient
#161 by sidprasad was closed Jan 19, 2023 Loading…
3
Version checking and handling added
#278 by k-mouline was merged Oct 25, 2024 Loading…
1
2
[minor] Add prime checking, xor operator
#258 by tnelson was merged May 1, 2024 Loading…
2
do-time
#210 by bennn was merged Jul 16, 2023 Loading…
2
flush logs at toplevel
#177 by bennn was merged Jan 30, 2023 Loading…
1 of 2 tasks
2
don't export unnamed tests / runs
#172 by bennn was merged Jan 19, 2023 Loading…
2
Refactor some logic for defining sequence built-ins
#134 by tdelv was merged Feb 21, 2022 Loading…
2
log2022: checkpoint, time to test
#126 by bennn was merged Jan 25, 2022 Loading…
4 tasks done
2
[minor] Fixed break composition algorithm + Problem isomorphism testing
#44 by asvarga was closed Feb 20, 2022 Loading…
3
Update so tests run when forge package builds.
#43 by tdelv was merged Jun 4, 2020 Loading…
2
[patch] update Sterling, small fixes
#290 by tnelson was merged Jan 22, 2025 Loading…
1
logging: beware of read failures
#270 by bennn was merged Aug 20, 2024 Loading…
1
Satisfiability Assertions
#263 by sidprasad was merged Jul 19, 2024 Loading…
1
Fix: source location for identifier names
#225 by tnelson was closed Feb 1, 2024 Loading…
1
[minor] Merging from Dev in prep for Spring 2024 semester
#218 by tnelson was merged Jan 5, 2024 Loading…
1
Basic updates to AST, parsing to prep for 2024
#217 by tnelson was merged Jan 4, 2024 Loading…
1
ProTip! Adding no:label will show everything without a label.