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
add isl_union_map_apply_union_pw_qpolynomial
2010-08-05
Sven Verdoolaege
add isl_
u
nion
_
map_apply_union_p
w
_qpoly
n
omi
a
l
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
isl_pw
_
qpolynomial_s
u
m: handle
i
s
l
_pw_
q
polynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
d
o
o
laeg
e
upda
t
e isl
f
or nes
t
ed d
i
mension
specificatio
n
s
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
isl_
m
ap_ca
r
d: po
s
t
p
one shuffling
a
rou
n
d of dimension
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
up
d
ate isl for
isl_b
a
si
c
_
m
ap_m
o
ve_dims
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdoolae
g
e
isl_
p
w
_qpoly
n
omi
a
l_sum: push conv
e
rsion to
P
ol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolae
g
e
isl_pw_qpolyn
o
mia
l
_s
u
m:
c
h
e
c
k f
o
r unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
av
o
id use of isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdool
a
eg
e
i
s
c
c
: support codeg
e
n ope
r
ation if CLooG
i
s
avail
a
ble
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
d
oolaege
iscc
:
switch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
dd
isl_union_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
a
dd isl_
u
n
i
on_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
i
s
l_pw_qpolynomial_sum: take tuple names into account
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n Verdoolae
g
e
isl_map_card: preserve f
u
ll doma
i
n
dimension inform
a
t
i
on
commit
|
commitdiff
|
tree
2010-07-31
S
v
en V
e
rdool
a
ege
u
p
date i
s
l
f
o
r
change in isl_
h
ash_table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
ven V
e
r
doolae
g
e
barv
i
nok_
e
numerate
.
cc: fix pri
n
t
f
for
m
a
t
commit
|
commitdiff
|
tree
2010-07-03
S
ve
n
Ve
r
d
oolaeg
e
doc: ad
d
some more papers r
e
fering to the libr
a
ry
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
er
d
o
o
laeg
e
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update isl to ver
s
ion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configur
e
.
i
n: properly
a
d
d
isl flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
ve
n
Verd
o
o
lae
g
e
c
o
nf
i
gure
.
i
n: dro
p
cal
l
to
gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genfun
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
test_approx
.
c: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaeg
e
test_bound
.
c:
f
i
x pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
configure
.
in
:
st
o
p
c
o
m
p
ilin
g
Omega
by default
commit
|
commitdiff
|
tree
2010-06-28
S
ven Ver
d
oolaege
verify_lexsmal
l
e
r
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
laege
evalue
.
c:
avoid
u
se of alloc
a
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
ol
a
eg
e
ev
a
l
ue_isl
.
c: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-20
Sven Ver
d
oolaege
isc
c
: recover
from error
s
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoola
e
ge
upda
t
e is
l
for
i
mproved
e
rror handling
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Ve
r
doolaege
iscc
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sven
Verdoolaege
do
c
: iscc: update
doc
u
m
entatio
n
of "ub" opera
t
or
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx:
i
nclude cty
p
e
.
h fo
r
isspac
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
test_approx: i
n
clude config
.
h for HAVE_SYS_TI
M
E
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oola
e
ge
tes
t
_bound:
i
nclude config
.
h for
HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
iscc: ad
d
vertices operations
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
opt
i
o
n
ally
u
se isl t
o
perform parametric vertex enum
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
upd
a
te isl-polylib for ha
n
dl
i
ng of rationa
l
sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
d
r
op disti
n
ction
b
etween
barvinok-c
o
re and b
a
rvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
rem
o
ve bernste
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
u
pdate isl for generic isl_pw_qp
o
lynomial_
b
ound
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
r
d
o
olaege
configure
.
in: drop
b
v_omega_pro
g
ra
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
a
dd isl_ctx_peek_b
a
rvinok_op
t
ions
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc: p
a
rs
e
b
a
rvin
o
k options
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
export
i
sl
_
qpolynomial_fr
o
m_ev
a
lue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am:
drop depen
d
ence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
upd
a
te isl
f
or
re
n
ame of isl_pw_qpol
y
n
om
i
al_mov
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
o
olaege
verif_ehrhart
.
c
: add missi
n
g inc
l
ude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
conf
i
g
u
r
e
.
i
n
:
fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaeg
e
use is
l
for argumen
t
p
a
rsing
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verd
o
ol
a
ege
update is
l
for kee
p
ing
t
r
ack of user
o
pti
o
ns
commit
|
commitdiff
|
tree
2010-05-19
Sven V
e
rdool
a
e
g
e
test_bound: rewri
t
e i
n
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Ve
r
doolaeg
e
update is
l
for he
l
p
messag
e
prin
t
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
remove eva
l
u
e_opt
i
mum
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verd
o
o
l
ae
g
e
remove
e
value_ra
n
ge_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
tes
t
_bound: use is
l
inter
f
ace for
c
omputing b
o
u
nds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barv
i
nok_bound: us
e
isl interfa
c
e
f
or comp
u
ting boun
d
s
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
iscc: s
u
pport ub ev
e
n if G
i
NaC support was n
o
t compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
ad
d
gene
r
ic isl_pw_qp
o
lynomial_
b
ound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
up
d
a
t
e isl for isl
_
pw
_
qpolynomial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoo
l
a
ege
test_bound: use isl
d
uring verification
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n V
e
rdoolaege
barvinok_bou
n
d: u
s
e isl
during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
v
e
rify
.
c:
e
xtract some
help
e
r functions for isl bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
intr
o
du
c
e "bou
n
d" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
optio
n
s
.
c:
f
ix p
r
intf f
o
rma
t
commit
|
commitdiff
|
tree
2010-05-10
Sven
V
e
rdoolaeg
e
is
c
c:
add
applica
t
ion operat
i
ons
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
laege
is
c
c: free o
p
t
ions
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
update
i
sl for readin
g
of
st
r
i
ngs
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
r
doolaege
update isl for
f
ix
i
n isl_printer_print_pw_qpolyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven V
e
rdoolaege
upd
a
te
i
sl-polylib f
o
r c
h
ange in pkg-c
o
nfig file
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdo
o
laeg
e
iscc:
a
llow
s
p
e
c
ifi
c
at
i
o
n
of o
u
t
put
format
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolae
g
e
update isl for chang
e
i
n is
l
_set_gist
argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Ve
r
doola
e
g
e
update
isl for ren
a
me of
i
sl_map_
m
ove
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n Verdool
a
ege
co
n
f
i
gure
.
i
n
: add i
s
l
f
l
ags and libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoo
l
aege
i
s
cc
:
test isl_s
t
ream fo
r
eof rather than
the
u
nderlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
g
e
i
scc: a
d
d de
l
tas o
p
eration
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
u
pdate isl for
fix in isl_ma
p
_delt
a
s
commit
|
commitdiff
|
tree
2010-04-04
Sven
Verdool
a
ege
drop barvino
k
_enumera
t
e_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
e
rdoola
e
ge
iscc: a
d
d cross product operat
i
o
n
s
commit
|
commitdiff
|
tree
2010-03-31
Sven
V
er
d
oolaege
iscc: add coalesce
operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
update isl fo
r
isl_pw_qpol
y
n
omial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
drop "Omega count
i
ng ca
l
c
ulator"
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
r
d
o
o
laege
t
e
s
t
_bound
.
cc: fix printf f
o
r
m
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
bernste
i
n
.
c
c: fix printf forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
o
la
e
ge
e
value_range_p
r
opagation
:
fix substitution for
n
egative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
b
e
rns
t
ein/co
n
figure
.
in: use absolute srcdir
o
f P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en
V
erdoolaege
only
distribute bundled submo
d
ules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
e
g
e
update omega for c
o
n
f
iguration issue
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
V
erdoolaege
configure
.
in: allow "build" Poly
L
ib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
i
s
l_qpolynomial_fold_from_ginac:
h
andle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oolaege
is
l
_qpolyno
m
ial_fr
o
m_g
i
nac: expan
d
e
x
b
efore inspection
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
V
e
rdoolaege
is
l
_ob
j
_list
.
c
: update to use of isl_
p
rinter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc:
a
dd gist opera
t
ions
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
updat
e
isl for int
r
o
d
uction of
is
l
_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolae
g
e
isl_p
w
_qpolynomial_upper_bound
:
s
e
t up variabl
e
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n V
e
rdoolae
g
e
iscc: add some
c
ompari
s
on ope
r
ations
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoolaege
iscc: add inve
r
s
e
operation
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdo
o
la
e
ge
iscc: fix up
t
y
p
e of find_matching_bin_
o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
dool
a
ege
is
c
c: a
d
d a
f
fi
n
e
h
ull operati
o
n
commit
|
commitdiff
|
tree
next