Skip to content

Pull requests: liquid-java/liquidjava

New pull request New
Clear current search query, filters, and sorts
10 Open 198 Closed
10 Open 198 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Remove Group Expression
#263 by rcosta358 Collaborator was merged Jun 21, 2026 Loading…
2 of 7 tasks
@rcosta358
2
Track Simplification Origins by Full VC Implication simplification Related to the simplification of expressions
#262 by rcosta358 Collaborator was merged Jun 21, 2026 Loading…
4 of 7 tasks
@rcosta358
4
Simplification Migration simplification Related to the simplification of expressions
#261 by rcosta358 Collaborator was merged Jun 21, 2026 Loading…
@rcosta358
1
VC Simplification Refactoring simplification Related to the simplification of expressions
#260 by rcosta358 Collaborator was merged Jun 21, 2026 Loading…
2 of 7 tasks
@rcosta358
1
Fix VC Substitution bug Something isn't working simplification Related to the simplification of expressions
#259 by rcosta358 Collaborator was merged Jun 21, 2026 Loading…
3 of 7 tasks
@rcosta358
1
Add VC Function Substitution enhancement New feature or request simplification Related to the simplification of expressions
#258 by rcosta358 Collaborator was merged Jun 21, 2026 Loading…
3 of 7 tasks
@rcosta358
1
Soundness holes: Tests and fixes
#257 by GUIpsp Collaborator was closed Jun 17, 2026 Loading…
3 of 7 tasks
2
Return Null Origin for Unsimplified VCs simplification Related to the simplification of expressions
#256 by rcosta358 Collaborator was merged Jun 21, 2026 Loading…
@rcosta358
3
Add VC Binder Simplification enhancement New feature or request simplification Related to the simplification of expressions
#255 by rcosta358 Collaborator was merged Jun 21, 2026 Loading…
3 of 7 tasks
@rcosta358
1
Refactor VC Simplification simplification Related to the simplification of expressions
#254 by rcosta358 Collaborator was merged Jun 21, 2026 Loading…
3 of 7 tasks
@rcosta358
7
Add VC Logical Simplification enhancement New feature or request simplification Related to the simplification of expressions
#253 by rcosta358 Collaborator was merged Jun 21, 2026 Loading…
3 of 7 tasks
@rcosta358
1
Get Refinements needs to visit the variable first
#252 by CatarinaGamboa Collaborator was merged Jun 13, 2026 Loading…
3 of 7 tasks
1
1
Add VC Arithmetic Simplification enhancement New feature or request simplification Related to the simplification of expressions
#251 by rcosta358 Collaborator was merged Jun 21, 2026 Loading…
3 of 7 tasks
@rcosta358
1
Add VC Folding Simplification enhancement New feature or request simplification Related to the simplification of expressions
#250 by rcosta358 Collaborator was merged Jun 21, 2026 Loading…
3 of 7 tasks
@rcosta358
9
Add VC Substitution Simplification enhancement New feature or request simplification Related to the simplification of expressions
#249 by rcosta358 Collaborator was merged Jun 12, 2026 Loading…
3 of 7 tasks
@rcosta358
17
Add more complex examples to test suite
#248 by CatarinaGamboa Collaborator was merged Jun 9, 2026 Loading…
2 of 8 tasks
Refactor code in method checker
#247 by CatarinaGamboa Collaborator was merged Jun 9, 2026 Loading…
2 of 7 tasks
3
Add SimplifiedPredicate simplification Related to the simplification of expressions
#246 by rcosta358 Collaborator was merged Jun 9, 2026 Loading…
@rcosta358
13
Fix VCImplication Ordering bug Something isn't working
#245 by rcosta358 Collaborator was merged Jun 9, 2026 Loading…
2 of 7 tasks
@rcosta358
3
Allow interfaces to be also annotated with external refinements
#244 by CatarinaGamboa Collaborator was merged Jun 8, 2026 Loading…
4 of 7 tasks
Fix StateSet in Interface without ExternalRefinements bug Something isn't working
#242 by rcosta358 Collaborator was merged Jun 13, 2026 Loading…
3 of 7 tasks
1
@rcosta358
1
Add Element Context to Exceptions error messages Related to error messages
#237 by rcosta358 Collaborator was merged Jun 1, 2026 Loading…
2 of 7 tasks
@rcosta358
1
Implicit Constructor Refinements bug Something isn't working enhancement New feature or request
#236 by rcosta358 Collaborator was merged Jun 1, 2026 Loading…
5 of 7 tasks
@rcosta358
1
Initialize Unknown States bug Something isn't working enhancement New feature or request
#235 by rcosta358 Collaborator was closed May 30, 2026 Loading…
5 of 7 tasks
@rcosta358
Resolve bare #x / !#x conjuncts as boolean substitutions to trigger simplification simplification Related to the simplification of expressions
#234 by CatarinaGamboa Collaborator was closed Jun 17, 2026 • Draft
3 of 6 tasks
5
ProTip! Adding no:label will show everything without a label.