repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
configure.in: drop call to gl_EARLY
2010-06-29
Sven Verd
o
olae
g
e
config
u
re
.
in: d
r
op ca
l
l to gl_
E
ARLY
commit
|
commitdiff
|
tree
2010-06-29
S
v
en V
e
rdoolaege
g
enfun
.
cc:
f
ix printf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
test_appr
o
x
.
c: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test
_
b
ound
.
c
:
f
ix printf format
commit
|
commitdiff
|
tree
2010-06-29
S
ven V
e
rdoolaege
configure
.
in: stop compilin
g
O
m
eg
a
by default
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdoolaege
v
e
rif
y
_lex
s
maller
.
c
:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
eg
e
eva
l
ue
.
c:
a
void use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
e
v
alue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolaege
i
s
cc: recover fr
o
m
errors
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdoo
l
aege
upda
t
e isl for improved error ha
n
d
ling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
a
e
ge
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verd
o
olaege
d
o
c: is
c
c: update docu
m
entation of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
test_approx:
i
n
clude ctype
.
h
for iss
p
ace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
e
s
t
_
a
pprox: include config
.
h for HAVE_SY
S
_TI
M
ES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
test_bound: include confi
g
.
h f
o
r HAVE_SYS_
T
I
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoola
e
ge
iscc:
a
dd vertice
s
o
perations
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
optionally use isl to pe
r
f
o
rm parame
t
ri
c
ver
t
ex enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
update isl-poly
l
ib
f
o
r
handli
n
g of
r
ational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaege
drop dist
i
nction be
t
ween
barvi
n
ok-c
o
re and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoo
l
aege
re
m
o
ve bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
d
oola
e
ge
update i
s
l
f
o
r
g
e
neric
i
sl_pw_qpoly
n
o
mial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
configure
.
in: drop
b
v
_omega_program
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
a
ege
add is
l
_c
t
x_pe
e
k_barv
i
nok_o
p
tions
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc
:
p
arse barvino
k
options
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
export i
s
l_qpolynomial_from_
e
v
alue
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
Makefile
.
a
m
: drop dependence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdo
o
l
a
e
ge
update isl for rename
o
f
isl_pw_qp
o
ly
n
omial_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sven
Ver
d
oolaege
verif_ehrhart
.
c: add mis
s
i
n
g include
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoo
l
aege
conf
i
gure
.
in: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ver
d
o
o
lae
g
e
use isl fo
r
argumen
t
parsing
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
u
p
date isl f
o
r k
e
epi
n
g
t
r
a
c
k of
user opt
i
ons
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolae
g
e
test_
b
ound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdoolaege
upda
t
e
i
s
l
fo
r
h
elp message
p
ri
n
ting
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
re
m
ove evalu
e
_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoola
e
ge
rem
o
ve e
v
alue_range_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
test_bound: u
s
e isl int
e
rface for co
m
puting bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
b
arvinok_bou
n
d:
use i
s
l
i
n
terf
a
ce f
o
r computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
iscc: suppo
r
t
ub even if GiNaC support was not compile
d
in
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verd
o
olaege
add generic i
s
l
_
pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
upd
a
te isl for
isl_pw_qpolynomial_bou
n
d_r
a
nge
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
test_
b
ound: use isl
d
urin
g
verifica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
V
e
r
doolaege
barvinok_b
o
u
n
d
: use isl du
r
ing ver
i
fication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c: extract s
o
me hel
p
er functions for isl
b
ased
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
r
doola
e
ge
introduce "bound"
o
ption
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
options
.
c: fix
p
r
intf
form
a
t
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolae
g
e
i
s
cc: add applica
t
ion o
p
e
r
atio
n
s
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdo
o
la
e
ge
iscc: add rea
d
operatio
n
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
do
o
laege
iscc: free
o
pti
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n
V
erdoolaege
updat
e
i
s
l
fo
r
readin
g
of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
update isl for fix in i
s
l_printer_
p
rint_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
u
p
date i
s
l-po
l
ylib for change in
pkg-confi
g
file
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
iscc: allow specification of output for
m
at
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
er
d
ool
a
ege
upda
t
e
i
s
l for
change in isl_set_g
i
st argume
n
t
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
u
p
date isl
f
o
r rename of is
l
_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoola
e
g
e
configure
.
in: add isl flags and li
b
s to pk
g
-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: t
e
st isl_stream for eof rather than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
ae
g
e
is
c
c:
add deltas op
e
ration
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
update
i
sl fo
r
fix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
S
v
en Verdoolaege
drop
barvin
o
k_enumerate_pip_
w
ith_o
p
tions
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoola
e
ge
iscc
:
add cross product
o
per
a
t
i
o
ns
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdo
o
laege
iscc: add
c
oales
c
e operations
commit
|
commitdiff
|
tree
2010-03-30
S
v
en
V
erd
o
ola
e
ge
upda
t
e
isl for isl_pw_qpo
l
ynomia
l
_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
o
l
aege
d
r
o
p "
O
meg
a
counting calculato
r
"
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoo
l
ae
g
e
test_bo
u
nd
.
cc:
f
ix printf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verd
o
ol
a
ege
bernste
i
n
.
c
c: fix
p
r
i
ntf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rd
o
ol
a
ege
evalue_ran
g
e_propagation: fix substitution
for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
bernst
e
in/
c
onf
i
gu
r
e
.
in: use absolute srcdir of
P
o
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
dool
a
ege
only
dis
t
ribu
t
e
bundl
e
d
s
ubmodules
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoolaege
up
d
ate omega for
c
onfigurati
o
n issue
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdo
o
laege
c
onfigure
.
i
n
: all
o
w "b
u
i
l
d" P
o
l
y
Lib
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoola
e
g
e
i
sl_qpolyno
m
ial_fold_fro
m
_ginac:
h
an
d
le fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
is
l
_
qpolyn
o
mial_fr
o
m_gina
c
: expand ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoolaege
isl_
o
b
j_list
.
c:
u
p
date to use of isl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdo
o
laege
iscc
:
add g
i
s
t
operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
update isl for int
r
o
duction of isl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoola
e
ge
isl_pw_qpolynom
i
al_upper_bound: set
up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add so
m
e comparison operat
i
o
ns
commit
|
commitdiff
|
tree
2010-03-15
S
v
en
V
e
r
d
oola
e
ge
iscc: add inver
s
e opera
t
ion
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
iscc: fix up type of f
i
nd_mat
c
hi
n
g
_
bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaeg
e
iscc: add affin
e
hull oper
a
tio
n
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ver
d
oola
e
g
e
i
scc:
a
dd operatio
n
t
o
c
o
nstruct universal map fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erd
o
olaege
iscc: add "j
o
in"
o
peration
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
V
erdoolaege
iscc: add i
n
tersect_
d
omain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc: allow overloading bina
r
y ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add
more
dom
o
pe
r
ati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoola
e
ge
doc: reor
g
aniz
e
t
a
ble of i
s
cc
operations
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
u
p
d
ate
i
sl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barv
i
no
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS
:
update
suppor
t
infor
m
at
i
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
randomvector: dou
b
le size
of coefficients on
each attempt
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
iscc
:
supp
o
rt trans
i
tive clos
u
r
e
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
barvinok_e
.
cc: enu
m
erate_vd: remo
v
e unu
s
ed variables
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoo
l
aeg
e
ev
a
lue
.
c: Polyhed
r
on_I
n
sert
:
add m
i
ssin
g
return type
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rd
o
olaeg
e
ev
a
lue
.
c: reduce_evalue:
remov
e
unused varia
b
le
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: a
d
d @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
oolaege
i
scc: ad
d
"ub"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolae
g
e
add isl_pw_qpolynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Ve
r
doola
e
g
e
i
scc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoola
e
ge
add isl_
p
w_qpolyn
o
m
ia
l
_sum
commit
|
commitdiff
|
tree
next