openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
F
finitedomain
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Inactive
Commits
: Listings
Analyzed
about 4 hours
ago. based on code collected
1 day
ago.
Mar 28, 2023 — Mar 28, 2024
Showing page 1 of 33
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
Small update to readme
Peter van der Zee
More...
almost 7 years ago
Also bump package.json
Peter van der Zee
More...
almost 7 years ago
Bump to v3.0.0
Peter van der Zee
More...
almost 7 years ago
Merge pull request #195 from the-grid/preboot
Peter van der Zee
More...
almost 7 years ago
Update changelog
Peter van der Zee
More...
almost 7 years ago
Leftover targets stuff. Remove conditional dsl builds.
Peter van der Zee
More...
almost 7 years ago
Properly set anonymous reifier results to a bool domain because multiverse expects it
Peter van der Zee
More...
almost 7 years ago
Improve error message
Peter van der Zee
More...
almost 7 years ago
Support `@custom targets` instead of `@targets` in the dsl
Peter van der Zee
More...
almost 7 years ago
Support `realName` option for exporter to not mangle var names
Peter van der Zee
More...
almost 7 years ago
Fix bug in domain_containsValue for oob bitdom values
Peter van der Zee
More...
about 7 years ago
Change reified result to be interpreted as "booly" rather than strictly "boolean"
Peter van der Zee
More...
about 7 years ago
Add some domain methods
Peter van der Zee
More...
about 7 years ago
Fix bug in mul optimizer. brute force tests coming in followup
Peter van der Zee
More...
about 7 years ago
Debugging improvements
Peter van der Zee
More...
about 7 years ago
Support XNOR, fix an unsafe assignment edge case for isall
Peter van der Zee
More...
about 7 years ago
Tentative support for logical NAND
Peter van der Zee
More...
about 7 years ago
Tentative support for logical XOR
Peter van der Zee
More...
about 7 years ago
Tentative support for logical OR
Peter van der Zee
More...
about 7 years ago
Tentative support for logical AND
Peter van der Zee
More...
about 7 years ago
Tentative support for isnone similar to isall/isnall
Peter van der Zee
More...
about 7 years ago
Tentative support for isNall, similar to isAll
Peter van der Zee
More...
about 7 years ago
Add tentative support for isall reifier (high numbers will fail for now)
Peter van der Zee
More...
about 7 years ago
Actually add tests for nall
Peter van der Zee
More...
about 7 years ago
Support `nall` (not all) in the dsl
Peter van der Zee
More...
about 7 years ago
report which var caused a rejection
Peter van der Zee
More...
about 7 years ago
Merge pull request #172 from the-grid/dsl-stuff
Peter van der Zee
More...
over 7 years ago
Add logging option to solver constructor
Peter van der Zee
More...
over 7 years ago
Add regression test case to check optimizations
Peter van der Zee
More...
over 7 years ago
Improve debugging tools
Peter van der Zee
More...
over 7 years ago
←
1
2
3
4
5
6
7
8
9
…
32
33
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree