-
Notifications
You must be signed in to change notification settings - Fork 8
Pull requests: ohhmm/openmind
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix: Implement coefficient normalization for quadratic equations
#812
opened Feb 23, 2025 by
devin-ai-integration
bot
Loading…
feat: Implement z^2 mod z^2 optimization
#790
opened Feb 20, 2025 by
devin-ai-integration
bot
Loading…
fix: Use consistent dynamic linking for Boost
#781
opened Feb 17, 2025 by
devin-ai-integration
bot
Loading…
fix: Implement coefficient normalization for quadratic equations
#780
opened Feb 16, 2025 by
devin-ai-integration
bot
Loading…
test: Add failing test for coefficient normalization
#776
opened Feb 16, 2025 by
devin-ai-integration
bot
Loading…
fix: restore MultiplyIfSimplifiable with proper coefficient handling
#775
opened Feb 16, 2025 by
devin-ai-integration
bot
Loading…
test: add failing test for quadratic coefficient normalization
#773
opened Feb 16, 2025 by
devin-ai-integration
bot
Loading…
refactor: add debug logging and fix coefficient handling
#770
opened Feb 15, 2025 by
devin-ai-integration
bot
Loading…
fix: Resolve VarHost incomplete type error
#769
opened Feb 15, 2025 by
devin-ai-integration
bot
Loading…
feat: Add DevinLogicInterface for OpenMind logic integration
#768
opened Feb 15, 2025 by
devin-ai-integration
bot
Loading…
better coverage for irrational fractions equality comparison
#739
opened Jan 31, 2025 by
ohhmm
Loading…
Sum::operator += IsSummationSimplifiable check: getCommonVars -> GCD
#632
opened Dec 18, 2024 by
ohhmm
Loading…
Devin: Add construct and destroy methods to custom_allocator
#365
opened Oct 13, 2024 by
ohhmm
Loading…
Add standardized install rules and improve runtime dependency checking
#311
opened Sep 22, 2024 by
ohhmm
Loading…
ProTip!
Exclude everything labeled
bug
with -label:bug.