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
isl_pw_qpolynomial_sum: handle isl_pw_qpolynomials with wrapped domains
2010-08-05
Sven Verdoolae
g
e
isl_pw_qpo
l
yno
m
ial_
s
um:
h
an
d
l
e
isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoola
e
ge
update isl for nested
d
imension specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oola
e
ge
isl_m
a
p_card: postp
o
ne shuffli
n
g around of dimen
s
io
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update i
s
l for isl_basic
_
map_
m
ove_dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
en
V
er
d
oolaege
isl_pw
_
qpolyn
o
m
i
al_sum
:
pu
s
h conversion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
v
e
n Verdool
a
eg
e
isl_pw_qpolyn
o
mia
l
_sum: c
h
eck
f
or
u
nbound
e
d domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
dool
a
ege
avoid use of isl_dim i
n
ternals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: su
p
port
codegen
operation
i
f CLooG is
a
v
ail
a
ble
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolae
g
e
isc
c
: switch to using un
i
o
ns
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolae
g
e
add isl_union_pw_qpolyno
m
ial
_
su
m
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoo
l
aege
a
d
d isl
_
union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoo
l
aeg
e
i
s
l
_pw
_
qp
o
lynomial_sum: tak
e
tuple nam
e
s into accoun
t
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
isl_map_card:
preserve full domain
d
imension i
n
f
ormation
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
upd
a
te
isl
for c
h
ange in isl_hash_t
a
b
l
e_
f
oreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
barvinok_enu
m
erate
.
c
c:
fix printf format
commit
|
commitdiff
|
tree
2010-07-03
S
v
e
n Ver
d
oolaeg
e
do
c
: add so
m
e m
o
re
p
apers re
f
e
ring to the
l
i
b
r
a
ry
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
b
a
rvinok 0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
update isl to
v
ersion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdo
o
l
a
ege
c
o
n
figure
.
in: prope
r
l
y
add isl flags and l
i
bs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verd
o
o
l
aege
configure
.
in: drop call to
gl
_
EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
g
e
nfu
n
.
cc: f
i
x
p
rintf
format
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
test_approx
.
c: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bound
.
c: fix
prin
t
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
c
onfi
g
ure
.
in:
s
t
o
p compiling Ome
g
a by defau
l
t
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
V
erdoolae
g
e
verify_le
x
smaller
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-27
S
ven Ve
r
doolaege
evalue
.
c: avoi
d
use of
a
l
loca
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
evalu
e
_
i
sl
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
i
sc
c
: recover f
r
om erro
r
s
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update isl f
o
r improved error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
er
d
oo
l
a
ege
iscc
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc: iscc: update docume
n
tation of
"
ub" op
e
r
ator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
test_appro
x
: inc
l
ude ctype
.
h f
o
r isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
o
lae
g
e
test_approx: inc
l
ude
config
.
h f
o
r HAVE_SYS_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
est_b
o
und: inclu
d
e
c
onfig
.
h for HAVE
_
SYS
_
TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
o
l
aege
iscc: ad
d
v
e
rtices operat
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
optionall
y
use i
s
l t
o
p
e
rform
p
aram
e
tri
c
v
ertex enumera
t
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
update isl-polylib for
h
a
ndli
n
g of
r
atio
n
al sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop dist
i
n
c
tion between barvinok-c
o
re
and
barvi
n
ok
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
r
em
o
ve bernst
e
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
aege
up
d
a
te
i
sl for ge
n
eric isl_pw
_
q
polynomial_b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
ege
c
onfigure
.
in: dr
o
p bv_omega_
p
r
o
grams
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add
i
sl_ctx_peek
_
barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolae
g
e
iscc:
parse barvinok optio
n
s
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export isl_qpol
y
nomial_
f
rom_ev
a
lue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Ma
k
e
f
i
l
e
.
am:
d
rop depend
e
nce on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update
isl for rename of isl
_
pw_qpoly
n
omial
_
move
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdo
o
laege
ve
r
if_ehrh
a
rt
.
c: add mis
s
ing include
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdo
o
la
e
g
e
configu
r
e
.
in:
fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
a
e
ge
use isl for argu
m
e
nt parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
ol
a
ege
up
d
ate i
s
l
f
o
r
keeping track o
f
user opti
o
ns
commit
|
commitdiff
|
tree
2010-05-19
Sven Ver
d
oola
e
ge
test_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
S
v
en V
e
rdoola
e
g
e
update
isl for help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolae
g
e
remov
e
evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remo
v
e
eva
l
u
e_ran
g
e_p
r
opagatio
n
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
test_bound: use isl interfac
e
for comput
i
ng
b
ounds
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
r
d
o
o
laege
barv
i
no
k
_boun
d
: use is
l
int
e
rf
a
ce
f
or com
p
uting bo
u
n
d
s
commit
|
commitdiff
|
tree
2010-05-14
S
ven
Ver
d
oolaege
iscc: sup
p
ort ub even if GiNaC su
p
port was not compil
e
d in
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erd
o
ol
a
ege
add
g
eneric
i
s
l
_pw_qpolynomia
l
_b
o
und
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
update isl for isl_pw_qpolynomia
l
_boun
d
_
r
ange
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoola
e
ge
test_bound: u
s
e
isl during verificat
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvino
k
_bound: use isl du
r
ing
v
erification
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
ool
a
ege
verify
.
c: extract som
e
helper functio
n
s
for isl ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
introduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
o
p
tions
.
c:
f
ix printf
f
ormat
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdool
a
ege
iscc:
add app
l
ication oper
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdo
o
laege
i
s
cc: add read operat
i
on
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolae
g
e
iscc: free
o
ptions
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdo
o
laege
update isl for reading of
s
t
ring
s
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
update i
s
l
f
or fix
in isl
_
printer_print_
p
w_qpoly
n
omi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven
Verd
o
o
l
a
e
ge
update isl-polylib for
c
hange in pkg-config
f
ile
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
r
d
o
olaeg
e
is
c
c
: allow sp
e
c
i
fi
c
a
tion of output
f
orma
t
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n
V
e
rdoolaege
update isl for change in
i
s
l
_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Ve
r
doola
e
ge
u
p
date isl for r
e
name o
f
isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
c
onfigure
.
in: ad
d
isl flags and li
b
s to p
k
g
-
config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
is
c
c: test isl_strea
m
f
o
r
e
o
f rather than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
V
erdoolaege
iscc:
a
d
d
deltas operat
i
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
Verdoolaege
upd
a
te isl
f
or
fi
x
i
n
i
s
l
_
m
ap_
d
eltas
commit
|
commitdiff
|
tree
2010-04-04
Sve
n
V
e
rd
o
olaege
d
r
o
p barvi
n
ok_enu
m
e
r
a
t
e
_
p
i
p
_
w
i
t
h_optio
n
s
commit
|
commitdiff
|
tree
2010-04-01
S
v
en
V
erdoolaege
iscc: add
cro
s
s pr
o
duct operations
commit
|
commitdiff
|
tree
2010-03-31
Sv
e
n Verdoolaege
iscc: add
c
oalesc
e
ope
r
ati
o
ns
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
update isl for
isl_pw_qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
r
do
o
l
a
ege
drop "O
m
ega coun
t
ing calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
lae
g
e
te
s
t_
b
ound
.
c
c: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oola
e
ge
bernstein
.
cc: fix prin
t
f format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
e
value_range_propagation: fix s
u
bstitutio
n
for
n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Ver
d
oolaege
be
r
ns
t
ein/co
n
fig
u
re
.
in
:
use abs
o
lute srcd
i
r of Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
on
l
y distribute bun
d
led su
b
modules
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaeg
e
update omega f
o
r c
o
nfiguration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
ae
g
e
configure
.
i
n
:
allow "bui
l
d" PolyL
i
b
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
ege
isl_qpol
y
nomia
l
_fold_from_ginac:
h
andle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olaege
isl_qpoly
n
omi
a
l_from_ginac: expand
ex before
i
nspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
is
l
_o
b
j_li
s
t
.
c:
update to use of isl
_
printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
laege
iscc: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolae
g
e
isl_pw_qpolyno
m
ial_up
p
er_bound: set up v
a
r
iab
l
e v
e
c
t
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdoolaege
i
s
c
c: add some co
m
pari
s
on
operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Ver
d
oolaege
iscc: ad
d
in
v
erse
o
per
a
tio
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
scc: fix up t
y
pe of
f
ind_m
a
tching_b
i
n_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
c
c: ad
d
affine hull
o
peration
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
i
scc: add oper
a
tion to construct univers
a
l
m
ap from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc: add "join" operation
commit
|
commitdiff
|
tree
next