Skip to content

Pull requests: knowsys/nemo

New pull request New
9 Open 418 Closed
9 Open 418 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

Reuse Skolem terms for repeated existential variables bug Something isn't working transformation related to program transformations
#807 opened Aug 18, 2026 by xR0xEr Collaborator Loading… Release 0.11.0
1
Fix mixed numeric extrema
#806 opened Aug 16, 2026 by mattfaltyn Contributor Loading…
1
Improve defragmentation strategy bug Something isn't working
#799 opened Aug 6, 2026 by aannleax Member Loading… Release 0.11.0
Improve Performance of Parsing
#798 opened Aug 5, 2026 by aannleax Member Loading… Release 0.11.0
3
Add built-in functions builtins Issue related to built-in functions
#781 opened Apr 8, 2026 by aannleax Member Loading… Release 0.11.0
2
158
Structured JSON import enhancement New feature or request io Input/Output logical logical layer Parser Rule-Parser-Related Issue physical physical layer type system Issue related to the type system
#736 opened Oct 23, 2025 by mmarx Member • Draft
@mmarx
Feature/saturation
#698 opened Sep 10, 2025 by matzemathics Collaborator • Draft
add external filters
#664 opened Apr 23, 2025 by matzemathics Collaborator • Draft
1
1
Rule Set Classification enhancement New feature or request
#610 opened Feb 3, 2025 by monsterkrampe Member • Draft
@monsterkrampe
122
ProTip! Mix and match filters to narrow down what you’re looking for.