0
I Use This!
Inactive

Commits : Listings

Analyzed about 4 hours ago. based on code collected 1 day ago.
Mar 28, 2023 — Mar 28, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Small update to readme More... almost 7 years ago
Also bump package.json More... almost 7 years ago
Bump to v3.0.0 More... almost 7 years ago
Merge pull request #195 from the-grid/preboot More... almost 7 years ago
Update changelog More... almost 7 years ago
Leftover targets stuff. Remove conditional dsl builds. More... almost 7 years ago
Properly set anonymous reifier results to a bool domain because multiverse expects it More... almost 7 years ago
Improve error message More... almost 7 years ago
Support `@custom targets` instead of `@targets` in the dsl More... almost 7 years ago
Support `realName` option for exporter to not mangle var names More... almost 7 years ago
Fix bug in domain_containsValue for oob bitdom values More... about 7 years ago
Change reified result to be interpreted as "booly" rather than strictly "boolean" More... about 7 years ago
Add some domain methods More... about 7 years ago
Fix bug in mul optimizer. brute force tests coming in followup More... about 7 years ago
Debugging improvements More... about 7 years ago
Support XNOR, fix an unsafe assignment edge case for isall More... about 7 years ago
Tentative support for logical NAND More... about 7 years ago
Tentative support for logical XOR More... about 7 years ago
Tentative support for logical OR More... about 7 years ago
Tentative support for logical AND More... about 7 years ago
Tentative support for isnone similar to isall/isnall More... about 7 years ago
Tentative support for isNall, similar to isAll More... about 7 years ago
Add tentative support for isall reifier (high numbers will fail for now) More... about 7 years ago
Actually add tests for nall More... about 7 years ago
Support `nall` (not all) in the dsl More... about 7 years ago
report which var caused a rejection More... about 7 years ago
Merge pull request #172 from the-grid/dsl-stuff More... over 7 years ago
Add logging option to solver constructor More... over 7 years ago
Add regression test case to check optimizations More... over 7 years ago
Improve debugging tools More... over 7 years ago