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
options.c: fix printf format
2010-05-14
S
ven Verd
o
olaege
option
s
.
c: f
i
x printf fo
r
mat
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
Verdool
a
ege
iscc: add
appl
i
cation oper
a
tions
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
i
s
cc: ad
d
read op
e
ration
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
r
d
oolaeg
e
iscc: f
r
ee op
t
ion
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
o
o
laege
up
d
ate isl for rea
d
ing of string
s
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoo
l
aege
update isl fo
r
fix in isl_
p
rinter_prin
t
_pw_
q
polynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
upda
t
e is
l
-polylib
f
or change in pk
g
-config file
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Ve
r
doolaege
iscc: allo
w
speci
f
ication of ou
t
put fo
r
mat
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
update
i
sl for chan
g
e
i
n is
l
_
s
et
_
g
i
st ar
g
ument
commit
|
commitdiff
|
tree
2010-04-11
Sven V
e
rdoolae
g
e
u
p
date isl
f
o
r
r
e
n
a
m
e
o
f isl_map_m
o
ve
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
configure
.
in: add
isl f
l
ags and libs to pkg
-
config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaege
i
s
cc: test isl_stream
f
or e
o
f
ra
t
h
er than the
un
d
e
rlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: add del
t
as operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
update isl for fix in isl_
m
ap_deltas
commit
|
commitdiff
|
tree
2010-04-04
S
v
e
n
Ve
r
doolaege
drop bar
v
i
n
ok_enumerate_pi
p
_with_o
p
tions
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
ola
e
ge
i
s
c
c
: add cross
product
operati
o
ns
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdo
o
laege
iscc: add coalesce operatio
n
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdo
o
la
e
ge
u
p
date
isl fo
r
isl_p
w
_qpolynomia
l
_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verd
o
olaege
drop "Omega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
test_
b
ound
.
cc:
fix printf forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
bernstein
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
evalue
_
range_propagation: fix substitution for neg
a
ti
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
b
e
rnstein
/
co
n
figure
.
in
:
use absolute srcd
i
r
of PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
only dis
t
ribute bundled sub
m
odules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
update omega
f
or con
f
iguration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaege
c
o
nfigure
.
in: allow
"
bu
i
ld" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
S
v
en
V
erdoolaege
i
s
l
_
qpolynomial_fol
d
_
f
r
om_ginac
:
handle fail
n
o
d
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qp
o
ly
n
omial
_
from_gi
n
ac: exp
a
n
d
ex befor
e
inspectio
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
ola
e
ge
is
l
_
o
bj_list
.
c: update to use of isl
_
p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
aeg
e
i
s
c
c
: add gist
operat
i
on
s
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
is
l
_
p
w_q
p
olynomial
_
upper
_
bound:
set up variable
v
ect
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n
Verd
o
olae
g
e
iscc: add some comparison
operati
o
ns
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verdoolaege
iscc: add inverse o
p
erati
o
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolae
g
e
isc
c
: fix u
p
typ
e
of find_matchin
g
_
bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
iscc:
add affine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoo
l
aege
isc
c
: add o
p
era
t
ion to construc
t
univers
a
l m
a
p
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
d
oolaege
iscc: ad
d
"
join
"
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
add
intersect_
d
omain o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoola
e
ge
iscc:
allow
o
v
e
rloa
d
ing binary
o
ps
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
g
e
i
s
cc:
a
dd more dom ope
r
a
tio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
doo
l
aege
doc: reor
g
anize table of iscc operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
rd
o
o
laege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
barvin
o
k 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdool
a
eg
e
AU
T
HORS: update supp
o
rt
in
f
o
rmation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
e
g
e
randomvector: double
size o
f
coeffi
c
i
e
nts on e
a
c
h at
t
em
p
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
iscc: sup
p
or
t
transiti
v
e closure
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Ve
r
doolaege
update isl t
o
ver
s
ion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoola
e
ge
barvinok_e
.
cc:
enume
r
ate_v
d
: remove unused variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ev
a
l
u
e
.
c: Poly
h
e
dron_Insert:
add
m
issi
n
g r
e
t
ur
n
type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
e
v
alue
.
c
:
r
educe_evalue: remove unu
s
e
d varia
b
le
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ve
r
d
o
olaege
i
s
cc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
iscc
:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_p
w
_qpolynomial_upper_b
o
und
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
is
c
c: add sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaeg
e
add isl_pw_
q
pol
y
nomial_s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdool
a
ege
add i
s
l_pw_q
p
olynomial
_
to
_
evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
u
pdate isl for is
l
_p
w
_qpolynomial_forea
c
h_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
e
g
e
renam
e
eval
u
e2isl to i
s
l_pw_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verd
o
olaege
iscc: dete
c
t more k
i
nds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ver
d
oolaege
barvino
k
_enumerate: use isl durin
g
the
v
eri
f
icati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
add isl_se
t
_card and
isl_map_car
d
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add evalue
2
isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_convert: expor
t
a
s
a
p
plica
t
ion
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_enumerate_e: optiona
l
ly us
e
isl to pr
o
ject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Ver
d
o
olaege
add isl s
u
bmodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SUBMODULE: accep
t
"
-
"
i
n modu
l
ename
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
b
arvinok_enu
m
e
rate: r
e
t
u
rn
N
aN for
infinite proble
m
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove_all_eq
u
alities
:
hand
l
e int
e
gra
l
ly, but not ratio
n
a
lly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
barvinok_enumerate
_
e: alw
a
ys re
t
u
rn a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdo
o
laege
barvinok_enumerate:
check that dimension of input
i
ncludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
er
d
oolaege
par
t
ition2
e
numerati
o
n
: check that
input
i
s rea
l
ly a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
u
p
date piplib
for change in configure options
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoo
l
aege
update omega
f
or conf
i
g
urati
o
n
/
compi
l
ation iss
u
es
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oolaege
barvinok
_
count_w
i
th_op
t
ions: c
h
eck return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoo
l
a
e
g
e
Polyhedron_Sample:
plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoo
l
a
ege
summate
.
c
: ad
d
mi
s
sing incl
u
de
commit
|
commitdiff
|
tree
2009-11-12
S
ven V
e
rdool
a
eg
e
topcom
.
c
: sup
p
ort newer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
topc
o
m
.
c: compute_d
o
m
ain: skip ve
r
t
i
c
es w
i
th
o
ut domain
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdo
o
laege
doc: r
e
flect that --enable-fr
a
ction
a
l
is no
w
the d
e
f
a
ult
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
g
l
pk_polyhedron_affine_sign: special case 0D polyhe
d
r
a
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
Polyhedron_Inser
t
_Columns: fix ty
p
o
commit
|
commitdiff
|
tree
2009-11-11
Sven V
e
rdoolaege
P
o
lyhedron
_
Factor: fi
x
updating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven V
e
r
doolaeg
e
co
n
figur
e
.
in: use AX
_
SUB
M
ODU
L
E
i
n
stead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verd
o
olaege
re
m
ov
e
_equalities: use Polyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
barvin
o
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
ven Ver
d
oolaege
doc: add e
x
pe
r
im
e
ntal
c
ompar
i
son betwee
n
old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lexmin
.
cc: remove "anachron
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
ege
d
o
c
:
add some less common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
S
v
en Verdoolaege
add "clev
e
r" Laur
e
nt expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
S
ven V
e
rdoolaege
mov
e
Last_No
n
_Zer
o
to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
e
n Verdoolaege
e
x
trac
t
out param_polyn
o
mial from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
ae
g
e
extract
v
ertex_con
e
from laur
e
nt
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven V
e
rdoolaege
upd
a
te polylib for speed improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
update
p
iplib
f
or distribution
i
s
sue
commit
|
commitdiff
|
tree
2009-05-26
Sven
Verdoolaege
Polyhedron_F
a
ctor: fix merging of groups o
f
columns
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
Verdoolae
g
e
(t)co
u
nter: move
c
ounter::reset(
)
up to counte
r
_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoola
e
ge
Ma
k
efile
.
am: keep better track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doola
e
g
e
Line_L
e
ngth: handle 0D poly
t
op
e
in 1D space
commit
|
commitdiff
|
tree
2009-04-02
Sven Verd
o
o
laeg
e
P
ol
y
hed
r
on_Factor
:
han
d
le polyhedra wi
t
h a non-trivia
l
.
.
.
commit
|
commitdiff
|
tree
next