0
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 2 hours ago. based on code collected about 22 hours ago.
Jun 23, 2024 — Jun 23, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
- Some light saturation (no nested processing, no partition cache) More... over 14 years ago
- Comments More... over 14 years ago
- Declaration of exception DoNotPanic in only one place More... over 14 years ago
- Factorize union logic More... over 14 years ago
- Simplify writing when possible (deconstruct references directly in function paramaters declaration) - Whitespaces More... over 14 years ago
- New implementation of the unicity table that gives an unique id to each unified value (ids are int which are recycled regularly). More... over 14 years ago
- Simplify signature More... over 14 years ago
- Do not use a fixed threshold to decide when to clean the unicity table from its weak pointers More... over 14 years ago
- Not all hash matters were centralized. Fixed. More... over 14 years ago
- Remove wrongly commited change More... over 14 years ago
- Delete unused file More... over 14 years ago
- Whitespaces More... over 14 years ago
- Rename Definition.SDD into Definition.iSDD to avoid confusion with the SDD exported to the user More... over 14 years ago
- Avoid redondant deconstruction More... over 14 years ago
- Use IntInf to store the number of paths of an SDD More... over 14 years ago
- Curry-able skipVariable More... over 14 years ago
- More stats More... over 14 years ago
- New structure Hash to regroup hashing concerns More... over 14 years ago
- Do not expose internal component ('util.sml') - For now, do not expose the generic SDD package More... over 14 years ago
- Comments More... over 14 years ago
- Use new structure SortedVector - Whitespaces More... over 14 years ago
- New structure SortedVector used by DiscreteIntValues, which is now only a wrapper. This structure is exactly like the old DiscreteIntValues, but it exposes convenient functions like insert, map and mapPartial. More... over 14 years ago
- Directly return the computed (for the cache) or unified (for the unicity table) value More... over 14 years ago
- Comments More... over 14 years ago
- Whitespaces More... over 14 years ago
- Cache can now output some statistics. Still some print to know when a cache cleanup occurs. More... over 14 years ago
- Wildcard for unused variable in deconstruction - Whitespaces - Comments More... over 14 years ago
- Avoid multiple calls to IntVector.concat More... over 14 years ago
- Comments More... over 14 years ago
- Hierarchical SDD union based on the new version for the flat SDDs. More... over 14 years ago