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
summate.c: sum_with_equalities: extract out sum_over_polytope_0D
2010-07-31
S
v
e
n Verdoolaege
iscc: support co
d
egen op
e
r
ation if CLooG is ava
i
lable
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rd
o
o
l
a
ege
iscc: s
w
itch to using
unions
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n Verdoolaege
add i
s
l_unio
n
_p
w
_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
add
isl_unio
n
_m
a
p_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolae
g
e
isl_p
w
_qpoly
n
omial_sum: ta
k
e tuple n
a
m
e
s
into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
i
s
l_map_card:
p
reserve
f
ull
d
omain dimension informa
t
ion
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
up
d
ate i
s
l for chan
g
e in isl_hash_t
a
ble
_
foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
b
arvinok_enume
r
ate
.
c
c: fix prin
t
f format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc: add
s
ome more
p
apers refer
i
ng
to the lib
r
ary
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
b
a
r
vinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
update isl to
v
ersion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
r
doolaege
c
o
nfigu
r
e
.
in: p
r
oper
l
y add isl flags a
n
d
libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
configure
.
in:
d
r
op
call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolae
g
e
g
e
nf
u
n
.
cc:
f
ix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaeg
e
test_approx
.
c:
f
ix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_b
o
und
.
c:
f
ix
p
r
intf f
o
r
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
V
erdo
o
laege
confi
g
ure
.
in: stop c
o
mpil
i
ng Omeg
a
by
d
e
f
ault
commit
|
commitdiff
|
tree
2010-06-28
Sven
Verdool
a
ege
ve
r
ify_l
e
xsma
l
ler
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
S
ven
V
erdoolaege
evalue
.
c: avo
i
d us
e
of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc: recover f
r
om
e
rrors
commit
|
commitdiff
|
tree
2010-06-20
S
ven V
e
r
doolaeg
e
update
isl for imp
r
o
ved error
h
a
n
dling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
is
c
c
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sve
n
Verdoolae
g
e
doc: iscc: up
d
at
e
documentation o
f
"ub" o
p
erato
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_appro
x
: include ctype
.
h for
i
s
space
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test
_
approx: include config
.
h for HAVE
_
SYS_TIMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
est_
b
ound: include config
.
h for
HAVE_S
Y
S
_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
is
c
c: add vertic
e
s operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
ae
g
e
op
t
i
onally use isl to
perfo
r
m parametr
i
c
ver
t
e
x enu
m
eration
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
aege
update isl-polylib for han
d
ling
o
f
rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
d
r
op distinction between barvinok-core
a
n
d
barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
remove bernstei
n
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
update isl for
generic isl_pw_
q
polyn
o
m
i
al_bound
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
con
f
i
gure
.
in: dr
o
p bv_omega_program
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaeg
e
a
d
d
i
sl_ctx_peek
_
b
arvi
n
ok_optio
n
s
commit
|
commitdiff
|
tree
2010-06-07
S
v
en Verdo
o
laege
i
s
cc: parse barvinok optio
n
s
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export
i
s
l_qpo
l
ynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Ve
r
do
o
lae
g
e
Makefile
.
am: drop depend
e
nce on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
update isl for rename of isl_
p
w_qpoly
n
o
m
ia
l
_move
commit
|
commitdiff
|
tree
2010-06-01
S
v
en
V
erdoolaege
v
erif_eh
r
hart
.
c: add missing inc
l
ude
commit
|
commitdiff
|
tree
2010-06-01
S
ven Ver
d
oo
l
aege
co
n
figure
.
in
:
fix typo
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Ve
r
d
o
ola
e
ge
use i
s
l for a
r
gument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
l
a
e
ge
update isl
f
o
r
keeping tra
c
k of user o
p
tions
commit
|
commitdiff
|
tree
2010-05-19
Sven Ver
d
oo
l
aege
te
s
t_bound: re
w
rite in C
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdoolaege
update isl
for help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_o
p
timum
commit
|
commitdiff
|
tree
2010-05-15
Sven
Ver
d
oolaege
remo
v
e evalue_range_propaga
t
ion
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
test_bound: use isl interfac
e
for computing
b
ounds
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoo
l
aeg
e
barvinok_bound: use isl interface for
c
omputing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
isc
c
:
support ub even if GiNaC suppor
t
was
not c
o
mpiled
i
n
commit
|
commitdiff
|
tree
2010-05-14
S
ve
n
Ver
d
oolaege
add generic
i
sl
_
pw_qpolynomial
_
bound
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
update is
l
for isl_
p
w_qpol
y
n
om
i
al_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
t
e
s
t
_
bou
n
d:
u
s
e
isl during ver
i
fication
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
b
a
rvinok_bound: use isl duri
n
g verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verif
y
.
c: extr
a
c
t some helpe
r
function
s
for
i
s
l
b
a
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
i
ntroduce "b
o
u
n
d
" o
p
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
ae
g
e
options
.
c
: fi
x
print
f
format
commit
|
commitdiff
|
tree
2010-05-10
Sven V
e
rdool
a
e
ge
iscc: add ap
p
lica
t
ion operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc:
add
r
ead opera
t
i
on
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoolaege
i
s
cc: free op
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
u
p
da
t
e isl for r
e
ading of str
i
n
g
s
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
V
e
rdoolaege
update isl
for fix i
n
isl
_
pri
n
ter
_
print_
p
w_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoo
l
aege
upd
a
te isl-po
l
y
l
ib for c
h
ange in pk
g
-config f
i
le
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
la
e
ge
iscc
:
allow spec
i
fica
t
ion o
f
output format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
upd
a
te isl
f
o
r chan
g
e in isl_set_gist
a
rg
u
m
ent
commit
|
commitdiff
|
tree
2010-04-11
Sven
V
erdoolaege
update isl for
re
n
a
m
e of i
s
l
_
map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoola
e
g
e
config
u
re
.
i
n:
a
dd
i
sl flags and libs t
o
pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: t
e
st
isl_stream for eof
r
ather than the underl
y
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
dool
a
ege
iscc: add
d
eltas operati
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
upda
t
e isl for fix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdo
o
laeg
e
dro
p
b
a
rvinok
_
e
n
umerate_pip_with_
o
ptions
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
iscc: add cro
s
s produ
c
t operat
i
ons
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
iscc: add
coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oola
e
g
e
update isl
for is
l
_
pw_q
p
olynomial
_
c
oa
l
esce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
ola
e
ge
dro
p
"Omega
c
ounting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
t
e
st_boun
d
.
cc
:
fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
bernstein
.
cc:
fix pr
i
ntf
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
la
e
ge
evalue_range_prop
a
gation: fix substit
u
t
ion for ne
g
a
t
ive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
ber
n
stein/conf
i
gure
.
in: u
s
e
absolute
srcdir of
Po
l
yL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
e
ge
only distribute
b
u
n
dle
d
submodules
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdoolaege
update omega for conf
i
gurat
i
on iss
u
e
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdo
o
laege
c
o
n
f
igure
.
i
n: allo
w
"build" Po
l
y
Li
b
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
i
s
l_qpolynomial_fold_from_gina
c
: handle fail
nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
isl_qpolynomial_from_gina
c
: expand ex b
e
fore inspecti
o
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olaege
isl_obj_list
.
c
: update to use
o
f isl_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isc
c
: add gist
o
peration
s
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
upda
t
e isl for i
n
tr
o
duction of isl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaeg
e
isl_p
w
_qpolynom
i
al_upper_boun
d
:
s
et up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
ve
n
V
erdo
o
l
a
ege
isc
c
: ad
d
som
e
c
omparison operation
s
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erdoolaege
iscc:
add inverse
operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc:
f
ix up type of
f
ind_matchi
n
g_b
i
n_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
iscc: add aff
i
ne hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: add
operation to construct un
i
versal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc: ad
d
"
join" operati
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
a
e
ge
iscc: add
i
ntersect_doma
i
n operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdo
o
laege
iscc: allow overloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
iscc: add more
dom operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaeg
e
doc: re
o
rganiz
e
ta
b
le of iscc ope
r
ati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
up
d
at
e
isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
bar
v
inok 0
.
30
commit
|
commitdiff
|
tree
next