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

Custom Solver support enhancement New feature or request
#27 by mlavrent was merged Mar 25, 2020 Loading…
@tnelson
organize files to allow install from racket package index
#3 by dcabatin was merged Jan 24, 2020 Loading…
Checks
#4 by mlavrent was merged Jan 29, 2020 Loading…
add test construct
#7 by a-wagner was closed Feb 4, 2020 Loading…
1
add test command, remove statefulness from command execution
#9 by a-wagner was merged Feb 5, 2020 Loading…
add test expect blocks
#10 by a-wagner was merged Feb 7, 2020 Loading…
Ints
#12 by mlavrent was merged Feb 12, 2020 Loading…
1
Maxs & Mins & Lots galore
#17 by mlavrent was merged Feb 15, 2020 Loading…
@tnelson @asvarga @cemcutting
Docs
#18 by mlavrent was merged Feb 15, 2020 Loading…
Sum quant
#21 by mlavrent was merged Feb 24, 2020 Loading…
doc getting up to date
#22 by mlavrent was merged Feb 23, 2020 Loading…
Integers in the Evaluator!
#24 by mlavrent was merged Feb 28, 2020 Loading…
1
Kod kod backend doesn't compile
#1 by westluke was closed Jul 30, 2019 Loading…
update docs branch
#25 by mlavrent was merged Feb 27, 2020 Loading…
[patch] Fixed 2 bugs: xml source and ints in insts
#28 by asvarga was merged Mar 12, 2020 Loading…
[minor] Add my-solver feature in time for SAT assignment
#31 by mlavrent was merged Mar 30, 2020 Loading…
[patch] remove heap size flag
#33 by cemcutting was merged Apr 25, 2020 Loading…
[minor] Instance Support
#34 by asvarga was merged Apr 29, 2020 Loading…
[patch] Fix cardinality op in evaluator
#35 by mlavrent was merged May 3, 2020 Loading…
[patch] Add sum quant support in evaluator
#36 by mlavrent was merged May 3, 2020 Loading…
[patch] LHS patch + instance Ints patch
#37 by asvarga was merged May 5, 2020 Loading…
Add BDD support to Kodkod/Forge
#38 by mlavrent was merged May 11, 2020 Loading…
[minor] Add BDD solver support to Forge
#39 by mlavrent was merged May 11, 2020 Loading…
[patch] fixed issue with lists in place of sets in semi-concrete instances
#40 by asvarga was merged May 13, 2020 Loading…
[patch] forge/domains/abac updates, fix import namespace clash, misc improvements
#292 by tnelson was merged Jan 29, 2025 Loading…
ProTip! Follow long discussions with comments:>50.