S

smldd

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 10 hours ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jun 23, 2024 — Jun 23, 2025 Showing page 13 of 25 Search / Filter on:
- Removed useless type specification	Alexandre Hamez	More...				over 14 years ago
- Export the uid of an SDD	Alexandre Hamez	More...				over 14 years ago
- Make a clear distinction between stored values and user-view values	Alexandre Hamez	More...				over 14 years ago
- Nicer way to build a new visitor on an SDD	Alexandre Hamez	More...				over 14 years ago
- Update configuration for the new signature of Tools	Alexandre Hamez	More...				over 14 years ago
- Do not export the length of the user view of Values in SDDFun	Alexandre Hamez	More...				over 14 years ago
- Take VALUES as a parameter for Tools	Alexandre Hamez	More...				over 14 years ago
- Export the length of the user view of a Values	Alexandre Hamez	More...				over 14 years ago
- Create a new functor ToolsFun to wrap non-essential functions of SDDFun - Move nbPaths from SDDFun to ToolsFun	Alexandre Hamez	More...				over 14 years ago
- New tests	Alexandre Hamez	More...				over 14 years ago
- Can now visit an SDD without knowing its internal structure. Two types of walks: cached and non-cached	Alexandre Hamez	More...				over 14 years ago
- Whitespaces	Alexandre Hamez	More...				over 14 years ago
- Whitespaces	Alexandre Hamez	More...				over 14 years ago
- Whitespaces	Alexandre Hamez	More...				over 14 years ago
- Removed debugging print	Alexandre Hamez	More...				over 14 years ago
- Comments - Whitespaces	Alexandre Hamez	More...				over 14 years ago
- Whitespaces	Alexandre Hamez	More...				over 14 years ago
- Comments - Whitspaces	Alexandre Hamez	More...				over 14 years ago
- Comments - Whitespaces	Alexandre Hamez	More...				over 14 years ago
- Removed unused exception	Alexandre Hamez	More...				over 14 years ago
- Whitespaces	Alexandre Hamez	More...				over 14 years ago
- Don't export an internal type	Alexandre Hamez	More...				over 14 years ago
- Whitespaces	Alexandre Hamez	More...				over 14 years ago
- Comments	Alexandre Hamez	More...				over 14 years ago
- Encapsulate utilities functioninto a 'Util' struct	Alexandre Hamez	More...				over 14 years ago
- More statistics	Alexandre Hamez	More...				over 14 years ago
- Don't add an extra id to the F part of a saturated fixpoint	Alexandre Hamez	More...				over 14 years ago
- The rewriting of an homomorphism into its saturated form is now completely extracted and cached.	Alexandre Hamez	More...				over 14 years ago
- Homomorphisms have now a unique identifier - Removed, for now, any work on nested in mkUnion - mkUnion becomes mkUnion', while mkUnion does a sortUnique pass on operands before giving them to mkUnion'	Alexandre Hamez	More...				over 14 years ago
- Whitespaces	Alexandre Hamez	More...				over 14 years ago

←
1
2
…
9
10
11
12
13
14
15
16
17
…
24
25
→