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
iscc: support application of piecewise quasipolynomial (fold) on set
2010-07-31
Sv
e
n
V
e
rdoolaege
add isl_union_map_car
d
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
i
s
l_p
w
_qp
o
l
y
nom
i
al_sum: take tuple names
i
nt
o
accoun
t
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
ool
a
ege
i
s
l_map_
c
ard: preserve full domain dimen
s
ion i
n
f
o
rmation
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ve
r
dool
a
e
ge
update isl
for change
i
n isl_h
a
sh_table_f
o
re
a
ch
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
ba
r
vinok_enumerate
.
c
c
: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven V
e
rdoolaege
d
o
c: a
d
d some
m
ore
p
ape
r
s
r
e
feri
n
g to the libra
r
y
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
barv
i
nok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoola
e
ge
u
p
date
isl
t
o
v
ersion
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ver
d
oolaege
confi
g
ure
.
in: properly add isl
flags and
l
i
bs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
o
o
laege
configure
.
i
n
: drop
c
all to
gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoola
e
g
e
genfun
.
cc: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
e
rdoolaeg
e
test_ap
p
rox
.
c
: fix printf forma
t
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n V
e
rdoolaege
test_bound
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
conf
i
gure
.
in: stop
c
ompil
i
n
g
Omega
by
d
e
f
a
ult
commit
|
commitdiff
|
tree
2010-06-28
S
v
en V
e
rdoolaege
verify
_
lexs
m
aller
.
c: fi
x
typ
o
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoolaeg
e
evalue
.
c
:
avoid use
of al
l
oca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
e
valu
e
_i
s
l
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc:
r
ecov
e
r from
erro
r
s
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaeg
e
update isl f
o
r
improved
error handlin
g
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
V
e
r
doolaege
i
scc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
S
v
en Verd
o
o
l
ae
g
e
doc
:
iscc: update document
a
tion
of
"
ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
test
_
approx: in
c
lud
e
ctype
.
h
for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
test_app
r
ox: include conf
i
g
.
h for HAV
E
_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
ol
a
e
g
e
test_bou
n
d:
i
nclude config
.
h fo
r
HAV
E
_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
o
o
laege
i
s
c
c: add vertices operat
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
optio
n
ally use is
l
to perform parame
t
ric
vertex
enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolae
g
e
update isl-po
l
ylib
f
o
r
h
a
ndli
n
g of rational sets
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdo
o
laege
d
r
o
p distinction bet
w
ee
n
barv
i
nok-core
and bar
v
inok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
remo
v
e bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
update
i
sl for generic isl_pw_qpolynomial_
b
ou
n
d
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
c
onfigure
.
i
n
: drop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
ege
add
isl_ctx_peek_barvinok_optio
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sven Ve
r
do
o
l
a
ege
iscc: parse bar
v
inok opt
i
ons
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
e
x
port isl_qp
o
lyn
o
m
ial_
f
rom_evalu
e
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdo
o
l
aege
Makefile
.
am: dro
p
depen
d
ence on doc/ome
g
a
.
t
ex
commit
|
commitdiff
|
tree
2010-06-01
S
ven V
e
rdoolaege
update
is
l
for
r
ename of isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n V
e
rdo
o
l
ae
g
e
ve
r
if_ehrhart
.
c
:
add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
co
n
figure
.
i
n: fix typo
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
erdoola
e
ge
use
isl fo
r
a
r
g
ument parsin
g
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl for ke
e
p
i
ng tra
c
k of u
s
er options
commit
|
commitdiff
|
tree
2010-05-19
Sven Ve
r
doolaege
test_bound: rewrit
e
in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoola
e
ge
update isl for help me
s
sage pri
n
t
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
remove evalue_
o
ptimum
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
remove evalue_r
a
nge_p
r
opagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
test_bound: u
s
e isl
i
n
t
erface
f
or
c
o
m
puti
n
g b
o
und
s
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
l
aege
ba
r
vinok_bound
:
us
e
i
s
l
i
nterface f
o
r comp
u
tin
g
b
ounds
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verd
o
olaege
iscc: suppor
t
ub ev
e
n
i
f
GiNaC support was not co
m
p
iled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaeg
e
a
d
d
g
e
neric i
s
l_pw_qpo
l
ynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
updat
e
is
l
for isl_pw_qpolynomial_bound_rang
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
olaege
test
_
bou
n
d: use isl durin
g
verification
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdo
o
laege
barvinok_bound: use isl during
verification
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdo
o
laege
ver
i
fy
.
c: extract some help
e
r functio
n
s
for is
l
based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
i
n
t
r
o
d
u
c
e "bound" opti
o
n
commit
|
commitdiff
|
tree
2010-05-14
S
ven
V
erdoola
e
ge
o
pt
i
on
s
.
c: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
isc
c
: add applicat
i
on operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaeg
e
iscc: add read
o
p
e
ration
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdool
a
ege
iscc: free opti
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdoolaege
update
i
sl for readi
n
g of strings
commit
|
commitdiff
|
tree
2010-04-21
S
ven Ver
d
oolaege
up
d
ate isl for fix in
isl_printer_print_
p
w_qpo
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven
V
erd
o
olaege
updat
e
isl-poly
l
ib for change in
p
kg-conf
i
g f
i
le
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
isc
c
: allow specification of output format
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdoo
l
a
ege
u
p
date isl for
c
hange in isl
_
set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven
Ver
d
oolaege
upda
t
e isl
f
or
r
e
name of
isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoola
e
ge
configure
.
in: add isl
f
la
g
s and libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isc
c
:
test isl_strea
m
for eof rather
t
han the unde
r
lying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaege
i
scc: add deltas o
p
eration
commit
|
commitdiff
|
tree
2010-04-07
S
ve
n
V
e
rdo
o
laege
u
p
date isl
f
o
r fix in
isl_map_de
l
tas
commit
|
commitdiff
|
tree
2010-04-04
Sven
Verdoolaege
drop barvinok_enumerate_pip_with_opti
o
ns
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoo
l
a
ege
i
s
c
c: add cross product op
e
rations
commit
|
commitdiff
|
tree
2010-03-31
Sve
n
V
e
rdoolaege
iscc
:
add c
o
alesce
operations
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
rdo
o
laege
u
p
d
ate isl for
isl_pw_qpoly
n
o
m
i
al_co
a
lesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
drop "Omega
c
ounting calcula
t
o
r"
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
er
d
oolae
g
e
tes
t
_
bound
.
cc: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernst
e
in
.
cc: fix pri
n
tf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolae
g
e
e
v
alue_r
a
nge
_
pr
o
pagation: fi
x
su
b
stituti
o
n for ne
g
ativ
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolae
g
e
berns
t
ein
/
configure
.
in: use ab
s
olute srcdir of
P
ol
y
L
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
only distribute bundled s
u
bmo
d
ules
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
update omega for configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
configur
e
.
in:
a
l
low "b
u
ild" Poly
L
ib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
eg
e
isl_qp
o
lynomial_fold_from
_
gina
c
: handle
f
ail no
d
es
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdoo
l
aege
i
sl_
q
polynomi
a
l
_
from_ginac:
exp
a
nd
ex be
f
ore inspectio
n
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
V
erdool
a
ege
i
sl_obj_l
i
st
.
c: upda
t
e to u
s
e of
isl_
p
rinter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
olaege
iscc
:
add gist op
e
rations
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
V
e
rdo
o
l
aege
up
d
ate isl f
o
r
i
ntrodu
c
tion
of isl
_
printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
laege
is
l
_pw_q
p
ol
y
nomial_upper_bound: set u
p
v
ariabl
e
v
ector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
ven Ver
d
oola
e
ge
iscc: add some comparison oper
a
tions
commit
|
commitdiff
|
tree
2010-03-15
S
v
en
Verdoolaege
i
sc
c
:
add inverse operat
i
on
commit
|
commitdiff
|
tree
2010-03-15
Sven
Ve
r
doolaeg
e
is
c
c: fix up type
of find_matchi
n
g_bi
n
_op
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdo
o
laeg
e
i
s
cc: add a
f
f
i
n
e
hull
ope
r
ation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
add operation to
construct univ
e
r
s
al
m
ap from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
a
e
g
e
iscc: add "joi
n
" operation
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
i
s
cc:
add inters
e
ct_domain
o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
d
ool
a
ege
i
scc: allow o
v
erlo
a
d
ing bin
a
ry
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add mo
r
e dom operation
s
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdoolaeg
e
d
o
c
:
reor
g
anize tabl
e
o
f
iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
update
i
sl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
AUTHORS
:
update s
u
pport information
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rd
o
olaege
r
ando
m
vect
o
r: doub
l
e
si
z
e of
c
oefficients on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
r
doo
l
aege
iscc
:
supp
o
rt tr
a
nsitive closure
commit
|
commitdiff
|
tree
next