Skip to content

Pull requests: tnelson/Forge

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

forge/domains/abac updates, fix import namespace clash, misc improvements
#291 by tnelson was merged Jan 28, 2025 Loading…
[patch] update Sterling, small fixes
#290 by tnelson was merged Jan 22, 2025 Loading…
1
[patch] Fix for semver generation, racket package server
#289 by tnelson was merged Jan 21, 2025 Loading…
[major] 4.0 release, fix semantic version script
#288 by tnelson was merged Jan 20, 2025 Loading…
[major] Update for 4.0
#287 by tnelson was merged Jan 20, 2025 Loading…
[major] Update to 4.0
#286 by tnelson was merged Jan 20, 2025 Loading…
[major] Update for Spring 2025
#285 by tnelson was closed Jan 20, 2025 Loading…
[major] Merging features for 4.0
#284 by tnelson was merged Jan 20, 2025 Loading…
Feat run menu
#283 by tnelson was merged Jan 15, 2025 Loading…
Adding support for Consistency Assertions
#282 by sidprasad was merged Jan 9, 2025 Loading…
Docker container for CI
#280 by k-mouline was merged Nov 19, 2024 Loading…
Fix update check
#279 by k-mouline was merged Oct 29, 2024 Loading…
Version checking and handling added
#278 by k-mouline was merged Oct 25, 2024 Loading…
1
2
Change misleading is theorem to is checked
#276 by tnelson was merged Oct 21, 2024 Loading…
Add additional comments, windows compatibility, to crypto DSL
#275 by tnelson was merged Oct 1, 2024 Loading…
Prototype SMT backend
#273 by tnelson was merged Nov 20, 2024 Loading…
Fix prime check
#272 by tnelson was merged Aug 20, 2024 Loading…
Feat smt s exp
#271 by tnelson was merged Aug 20, 2024 Loading…
logging: beware of read failures
#270 by bennn was merged Aug 20, 2024 Loading…
1
Fixing issue with to-smt visitor; refactor lang-specific error code
#267 by tnelson was merged Aug 5, 2024 Loading…
feat_smt_new_int into feat_smt_int
#266 by tnelson was merged Aug 1, 2024 Loading…
Comparison pull request
#265 by k-mouline was merged Aug 1, 2024 Loading…
add: enrich collector to update context
#264 by tnelson was merged Jul 17, 2024 Loading…
Satisfiability Assertions
#263 by sidprasad was merged Jul 19, 2024 Loading…
1
[minor] Command-line support
#262 by tnelson was merged Jun 17, 2024 Loading…
ProTip! Filter pull requests by the default branch with base:main.