openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
B
barvinok
Settings
|
Report Duplicate
4
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Very Low Activity
Commits
: Listings
Analyzed
1 day
ago. based on code collected
1 day
ago.
Apr 26, 2023 — Apr 26, 2024
Showing page 95 of 103
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
experimental "unfringe" code
skimo
More...
about 20 years ago
type
skimo
More...
about 20 years ago
fix decomposition test and add polarized decompostion test
skimo
More...
about 20 years ago
eliminate a variable if we can (not tested)
skimo
More...
about 20 years ago
oops; we need quotient rather than remainder
skimo
More...
about 20 years ago
handle equalities
skimo
More...
over 20 years ago
Handle ONE_NEG for any position of the variable correctly
skimo
More...
over 20 years ago
Handle ONE_NEG for any position of the variable.
skimo
More...
over 20 years ago
Only use independent bounds to construct the one_dep. Correctly recalculate constant.
skimo
More...
over 20 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 20 years ago
copy in_domain from polylib
skimo
More...
over 20 years ago
Special case "infinite" polytopes, i.e., those with rays that are independent of the parameters.
skimo
More...
over 20 years ago
Initial implementation of barvinok_enumerate_e. Should work for some cases of a single existential variable.
skimo
More...
over 20 years ago
Don't use modulo if quotient is the same over the whole validity domain.
skimo
More...
over 20 years ago
remove note to self
skimo
More...
over 20 years ago
support add for partitions
skimo
More...
over 20 years ago
remove debug.{cpp,h}
skimo
More...
over 20 years ago
support free and dummy add for partitions
skimo
More...
over 20 years ago
support printing for partitions
skimo
More...
over 20 years ago
Calculate count as a partition and convert to Enumeration afterwards
skimo
More...
over 20 years ago
define partition type
skimo
More...
over 20 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 20 years ago
s/indicator/relation/
skimo
More...
over 20 years ago
simplify Polyhedron_Reduce a bit
skimo
More...
over 20 years ago
change comment about modulo rep
skimo
More...
over 20 years ago
add tests/ehrhart/equal5
skimo
More...
over 20 years ago
bump version
skimo
More...
over 20 years ago
use indicator functions to mask when using modulo expressions
skimo
More...
over 20 years ago
partial "indicator function" support
skimo
More...
over 20 years ago
add comment on factor parameter
skimo
More...
over 20 years ago
←
1
2
…
91
92
93
94
95
96
97
98
99
…
102
103
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree