repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
update isl for isl_pw_qpolynomial_bound_range
2010-05-14
S
v
en Verdoo
l
aege
update
isl for i
s
l_pw_qpolynomial_
b
ound
_
range
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
test_b
o
und: use isl
dur
i
n
g verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvinok_b
o
und: use i
s
l
during
verificatio
n
commit
|
commitdiff
|
tree
2010-05-14
S
ven V
e
rdoolaege
verify
.
c: extract some helper functions for isl bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
int
r
oduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
o
p
ti
o
ns
.
c: fix printf form
a
t
commit
|
commitdiff
|
tree
2010-05-10
Sven
Verdool
a
ege
is
c
c: add application o
p
era
t
ions
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doolaege
isc
c
: add read
o
peration
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc
:
free o
p
tion
s
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Ver
d
oolaege
update
i
sl for
r
ead
i
ng of st
r
ings
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
update isl for fix
i
n isl
_
printer
_
print_pw_qpolynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
update
isl
-
poly
l
ib fo
r
change in
pk
g
-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
isc
c
: allow
s
p
e
cificati
o
n o
f
o
utput
format
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoolae
g
e
update isl
f
or
c
h
a
n
ge in i
s
l
_
s
et_gist
ar
g
u
m
ent
commit
|
commitdiff
|
tree
2010-04-11
S
ven
Verdoolaege
update is
l
for renam
e
of isl
_
map_m
o
ve
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configure
.
in
:
add isl flags a
n
d libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
s
c
c: test isl
_
stream for eof rather than the unde
r
ly
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven
V
erdoolaege
iscc: add
d
eltas operation
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verd
o
olae
g
e
update isl for fix in
i
sl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven
V
e
r
doola
e
ge
drop
b
a
r
v
i
nok_enumerate_
p
ip_wi
t
h_opt
i
o
ns
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaege
iscc:
a
dd cross prod
u
c
t
operati
o
ns
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
iscc:
a
dd coalesce op
e
rat
i
ons
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
rdoolaege
update
isl f
o
r
isl_pw_qpoly
n
o
m
ial_c
o
a
l
e
s
ce
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n V
e
rdo
o
laege
drop "Omega counting calcu
l
ator"
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
e
rdoola
e
ge
te
s
t
_
bound
.
cc:
f
ix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoo
l
aege
bernstein
.
c
c: f
i
x printf forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdo
o
l
a
ege
evalue
_
range_pr
o
pagation:
f
ix
s
ubstitu
t
ion for nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoo
l
aege
b
ern
s
tein/
c
onfi
g
ure
.
in:
use absolute srcdir of Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Ve
r
doola
e
g
e
only distri
b
u
t
e bundled submodu
l
es
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdoolaege
update o
m
ega for configu
r
ation issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
configur
e
.
in: al
l
ow "buil
d
" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdo
o
l
a
ege
isl
_
qpolyno
m
i
al_fold_from
_
ginac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n Verdoolaege
isl_qpol
y
nomial_
f
rom_ginac: expand
ex before i
n
spection
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verd
o
ola
e
g
e
i
s
l_obj_list
.
c: update
to u
s
e of is
l
_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc: a
d
d gist op
e
r
ations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
laege
update is
l
for introduct
i
on of i
s
l_printe
r
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdoolaege
isl_p
w
_q
p
oly
n
omial_
u
p
p
er_bound
:
se
t
up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
laege
iscc: add some
comp
a
ris
o
n opera
t
ion
s
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoo
l
aege
iscc: add
inverse o
p
er
a
tion
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoola
e
ge
iscc: f
i
x u
p
ty
p
e of find_
m
a
tching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoola
e
ge
iscc: a
d
d a
f
fi
n
e
hul
l
opera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
iscc: add operation to construct universal map
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
ool
a
ege
is
c
c
:
ad
d
"joi
n
" operatio
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add inter
s
e
ct_do
m
ain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoo
l
a
ege
iscc: allow
o
v
e
rl
o
a
din
g
bina
r
y op
s
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoola
e
ge
iscc: add more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
doc
:
reorgani
z
e table of iscc
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
u
p
date isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barv
i
no
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
AU
T
HORS:
up
d
a
te support informatio
n
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaege
randomvector: double size of co
e
fficients on e
a
c
h attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
ola
e
g
e
iscc: support transitive clo
s
ure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update isl to vers
i
o
n
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
b
a
rvino
k
_e
.
cc: enumerate_vd:
remove unuse
d
variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: Pol
y
hedron_
I
nsert
:
add missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
r
doolae
g
e
evalue
.
c:
r
educe_ev
a
lue: r
e
move unused variable
commit
|
commitdiff
|
tree
2010-03-09
S
v
en V
e
rdoolaege
isc
c
: ad
d
@ opera
t
or
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
add isl_pw_
q
polynomi
a
l_upper
_
bou
n
d
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoola
e
ge
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
doolaege
add isl_pw_qp
o
lynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdo
o
laeg
e
add is
l
_pw_qpo
l
yno
m
ial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoolaege
update isl for isl_pw
_
qpolynom
i
al_foreac
h
_piec
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
ren
a
m
e
e
v
alue2isl to is
l
_pw_qpolynomial
_
f
r
om_ev
a
l
u
e
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
is
c
c: det
e
ct more
k
inds
of errors
commit
|
commitdiff
|
tree
2010-03-05
S
ven V
e
rdoola
e
g
e
b
arvinok_enumerat
e
: u
s
e isl during the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdool
a
ege
a
dd iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
add
isl_set_card a
n
d isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
S
ven
V
erdoolae
g
e
evalue_conv
e
rt:
e
xp
o
rt as application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_e
n
u
m
erate_e: optionally use
i
s
l to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
add isl submodu
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX
_
SUBMODULE:
acc
e
p
t "-" in modulenam
e
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
barvinok_en
u
merate: return N
a
N for infinite prob
l
ems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove_all_equalities: handle integrally, but not rationall
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
doo
l
aege
barvinok_enumer
a
te_e: always return a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
olaege
barvin
o
k_enumerate: chec
k
tha
t
dimension o
f
input
i
n
cludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
ge
pa
r
tition2
e
num
e
r
ation: check that input is r
e
ally
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
ven Verdoolaege
update pipli
b
for change in config
u
r
e options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
update omega for c
o
nfigura
t
ion/c
o
mpilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
e
r
dool
a
e
g
e
b
a
rvinok_count_with_optio
n
s
: check
r
e
t
urn value
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdool
a
ege
P
olyhedron_Sample: plug mem
o
ry leak
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
rdoolaege
summate
.
c: add missing inc
l
ud
e
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c
:
sup
p
o
r
t ne
w
er
v
e
rsions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdool
a
e
ge
to
p
c
o
m
.
c:
compute_d
o
main: skip vertice
s
wit
h
out doma
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdo
o
laege
polytope_min
i
mi
z
e: tak
e
const
a
nt term to be
z
ero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoola
e
ge
doc: reflect t
h
at --enable-fractional is now th
e
defau
l
t
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
gl
p
k_pol
y
hedr
o
n_affine_
s
ign: special c
a
se 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Pol
y
h
e
dron_Insert_Columns
:
f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verd
o
o
laege
Polyhedron_Fac
t
or: fix updat
i
ng
of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Ver
d
oolaege
configure
.
in: use AX_SUBMODULE instea
d
of BV_SUBM
O
DULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove_equ
a
liti
e
s: us
e
Polyhe
d
ron_Preimage inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven
V
erdoolaege
b
arvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olae
g
e
doc: add experimen
t
al comparison betwe
e
n ol
d
and
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verd
o
olaege
l
e
xmin
.
cc:
remove "ana
c
hronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdool
a
ege
doc: fix
t
y
po
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaege
doc: add
some
l
ess commo
n
.
sty
f
iles
commit
|
commitdiff
|
tree
2009-07-21
S
ven Verdoo
l
aeg
e
add "cleve
r
" Lau
r
en
t
e
x
pansio
n
based
s
ummation
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verd
o
olae
g
e
mov
e
Last_Non_Zero t
o
ut
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract
out param_p
o
lynomial from la
u
rent
.
c
c
commit
|
commitdiff
|
tree
next