B

barvinok

Settings | Report Duplicate

4

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 23 hours ago. based on code collected about 23 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 04, 2024 — Sep 04, 2025 Showing page 96 of 104 Search / Filter on:
experimental "unfringe" code	skimo	More...				over 21 years ago
type	skimo	More...				over 21 years ago
fix decomposition test and add polarized decompostion test	skimo	More...				over 21 years ago
eliminate a variable if we can (not tested)	skimo	More...				over 21 years ago
oops; we need quotient rather than remainder	skimo	More...				over 21 years ago
handle equalities	skimo	More...				over 21 years ago
Handle ONE_NEG for any position of the variable correctly	skimo	More...				over 21 years ago
Handle ONE_NEG for any position of the variable.	skimo	More...				over 21 years ago
Only use independent bounds to construct the one_dep. Correctly recalculate constant.	skimo	More...				over 21 years ago
Truly partition validity domains. This apparently means that some domains can be unions of polytopes. I guess I should check this out, later.	skimo	More...				over 21 years ago
copy in_domain from polylib	skimo	More...				over 21 years ago
Special case "infinite" polytopes, i.e., those with rays that are independent of the parameters.	skimo	More...				over 21 years ago
Initial implementation of barvinok_enumerate_e. Should work for some cases of a single existential variable.	skimo	More...				over 21 years ago
Don't use modulo if quotient is the same over the whole validity domain.	skimo	More...				over 21 years ago
remove note to self	skimo	More...				over 21 years ago
support add for partitions	skimo	More...				over 21 years ago
remove debug.{cpp,h}	skimo	More...				over 21 years ago
support free and dummy add for partitions	skimo	More...				over 21 years ago
support printing for partitions	skimo	More...				over 21 years ago
Calculate count as a partition and convert to Enumeration afterwards	skimo	More...				over 21 years ago
define partition type	skimo	More...				over 21 years ago
Partial implementation of parametric polyhedral reduction. Only for modulo representation for now and only for unique upper and lower bounds.	skimo	More...				over 21 years ago
s/indicator/relation/	skimo	More...				over 21 years ago
simplify Polyhedron_Reduce a bit	skimo	More...				over 21 years ago
change comment about modulo rep	skimo	More...				over 21 years ago
add tests/ehrhart/equal5	skimo	More...				over 21 years ago
bump version	skimo	More...				over 21 years ago
use indicator functions to mask when using modulo expressions	skimo	More...				over 21 years ago
partial "indicator function" support	skimo	More...				over 21 years ago
add comment on factor parameter	skimo	More...				over 21 years ago

←
1
2
…
92
93
94
95
96
97
98
99
100
…
103
104
→