Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Jun 06, 2024 — Jun 06, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
- Use correct hash function for variables (Variable.hash instead of MLton.hash) - Whitespaces
Alexandre Hamez
More... over 14 years ago
- A valuation is now required to tell if it's empty.
Alexandre Hamez
More... over 14 years ago
- Remove sort_unique. It implied that a valuation is always discrete.
Alexandre Hamez
More... over 14 years ago
- Whitespaces
Alexandre Hamez
More... over 14 years ago
- Whitespaces
Alexandre Hamez
More... over 14 years ago
- Make internal part of operations on valuations and SDDs local
Alexandre Hamez
More... over 14 years ago
- Factorize the compatibility of SDD operands checking process
Alexandre Hamez
More... over 14 years ago
- Avoid to cache constant-time operations on SDD
Alexandre Hamez
More... over 14 years ago
- Added a structure ValuationOperations to evaluate operations on valuations when called by the cache - Rename Op into SDDOperations in order to avoid confusion with the structure above
Alexandre Hamez
More... over 14 years ago
- A hash signature for the difference of SDD was missing
Alexandre Hamez
More... over 14 years ago
- Code cleanup
Alexandre Hamez
More... over 14 years ago
- SDD becomes the functor SDDFun subscribing the SDD signature - Renamed the substructure SDD into Definition for more clarity - Raise NotYetImplement instead of returning zero for unifinished functions - SDDFun.paths throws DoNotPanic - Mark end of long functions, structures and functor with a comment - Code cleanup
Alexandre Hamez
More... over 14 years ago
- Code cleanup
Alexandre Hamez
More... over 14 years ago
- Remove binary file
Alexandre Hamez
More... over 14 years ago
- Initial commit
Alexandre Hamez
More... over 14 years ago