0
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 14 hours ago. based on code collected about 14 hours ago.
Jun 09, 2024 — Jun 09, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
- New tests More... over 14 years ago
- A list reversion was missing for a correct intersection of contexts More... over 14 years ago
- Export a context to a string More... over 14 years ago
- First tests for contexts More... over 14 years ago
- Export union and intersection of contexts More... over 14 years ago
- Comments More... over 14 years ago
- Export the empty context More... over 14 years ago
- New function to test the equality of two contexts More... over 14 years ago
- Whitespaces More... over 14 years ago
Merge branch 'master' of /Users/hal/lab/code/smldd/smldd More... over 14 years ago
- Different flags for test and profiling More... over 14 years ago
- Added a stub for environment tests More... over 14 years ago
Merge branch 'master' of /Users/hal/lab/code/smldd/smldd More... over 14 years ago
- Comments More... over 14 years ago
- Remove useless tests: we were testing if saturation enabled operations were applied on |1| which is impossible, as the 'apply' operation does not allow that. More... over 14 years ago
Merge branch 'master' of /Users/hal/lab/code/smldd/smldd More... over 14 years ago
- Remove useless test More... over 14 years ago
- Removal of a variable in a context implemented More... over 14 years ago
- Function to add values for a variable to a context implemented. More... over 14 years ago
- Intersection of a list of contexts More... over 14 years ago
Merge branch 'master' of /Users/hal/lab/code/smldd/smldd More... over 14 years ago
- Use '#1' instead of deconstruction More... over 14 years ago
Merge branch 'master' of /Users/hal/lab/code/smldd/smldd More... over 14 years ago
- Work in progress to implement contexts More... over 14 years ago
Merge ../smldd-env More... over 14 years ago
- Union and intersection of non-stored (non-unique) Values More... over 14 years ago
Merge ../smldd-env More... over 14 years ago
- New function to sort SDDs More... over 14 years ago
- Avoid a list partition if the F part of a commutative composition is empty More... over 14 years ago
- Improved intersection of homomorphisms More... over 14 years ago