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: add "source" operation
2010-09-07
Sven Verd
o
ola
e
ge
i
s
c
c
: add "sour
c
e
"
o
p
era
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoolaege
i
s
cc
:
a
d
d
sup
p
ort for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
d
o
olaege
iscc
:
prin
t
e
rr
o
r m
e
ssage on use
o
f unknown ident
i
f
i
er
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
d
o
olaege
iscc: su
p
port u
n
ion sets in vertices operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdool
a
ege
add
i
sl
_
l
ist_conca
t
commit
|
commitdiff
|
tree
2010-09-05
Sven V
e
r
d
oo
l
aege
ba
r
vinok
_
bound:
u
se isl to
split pe
r
iods
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
erdoolaege
update isl for isl_pw_qpolynomial_s
p
lit_per
i
ods
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verd
o
olaege
doc: mark
P
olyLib interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdo
o
la
e
ge
Makefile
.
am: drop refere
n
ces
t
o
obso
l
ete @
b
v
_barvino
k
_bo
u
nd@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalue_conver
t
.
cc: evalue_
p
rint_isl: prin
t
end-o
f
-line
commit
|
commitdiff
|
tree
2010-08-30
S
ven
V
erdoolaege
i
s
cc: all
o
w coercion of binary list into fir
s
t element
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
e
r
d
oolaege
barvi
n
o
k_b
o
u
n
d: con
v
ert to isl_p
w
_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdo
o
l
a
e
g
e
ba
r
vinok_bound:
use isl to split on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
se
t
s
e
nsib
l
e
de
f
a
ults with --polynomial-approx
i
mat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdo
o
laege
isl_
p
w
_
qpolynomial_s
u
m: reuse ba
r
vino
k
_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdo
o
laege
i
sl_map_card:
r
eu
s
e
b
a
r
v
i
n
ok_option
s
if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
oo
l
aege
update is
l
for aligning parame
t
ers
of un
i
on
a
r
g
u
ments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
is
c
c
:
add "joi
n
" o
p
eration
o
n folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
o
l
aege
i
s
cc:
a
d
d "join" opera
t
ion on maps
a
nd
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
i
sc
c
: s
u
p
p
ort a
d
dit
i
o
n
on a
p
air of a f
o
ld and a quas
i
polyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
upd
a
te isl
f
or adding types to isl_{union_,
}
pw_qpolynom
i
al_fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doo
l
aeg
e
a
llow codege
n
on
sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: codegen: det
e
c
t
s
t
rides
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
d
o
o
l
a
e
ge
iscc: use
simplified
C
Lo
o
G interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
o
olaege
u
p
date is
l
for
re
n
ame of
isl_pw_qpoly
n
omial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoola
e
ge
iscc
.
c
:
u
nion_pw_qpolyn
o
mial_upper_bound: fix memor
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n V
e
rdoolaeg
e
summate
.
c: fix t
y
p
o
i
n
comment
commit
|
commitdiff
|
tree
2010-08-17
Sven V
e
rdoolaege
isl_map_ap
p
ly_pw_
q
pol
y
nomial:
fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven
Ve
r
doolaege
updat
e
isl from isl_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
S
v
en Verd
o
o
la
e
ge
iscc: al
l
ow inve
r
se on no
n
-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdool
a
ege
iscc:
add wrap
a
nd unwrap
o
perat
i
ons
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoo
l
a
e
g
e
add isl_union_map_app
l
y_uni
o
n_pw_qpo
l
ynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
isl
_
pw_
q
polynomial
_
sum: handle isl
_
pw_qpo
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
update
i
sl for nest
e
d dimension specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
isl_map_card: postpon
e
s
huffling
a
round of dim
e
nsio
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
u
pdate
isl for
i
sl_b
a
si
c
_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_q
p
olynomial_sum:
p
us
h
co
n
ve
r
si
o
n to P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
la
e
ge
i
sl_pw_qpolyn
o
mial_sum
:
check f
o
r
unbounded
do
m
ai
n
s
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoola
e
ge
avoid use of is
l
_dim
i
nternals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
iscc: su
p
p
o
rt codegen
o
pe
r
ation if CL
o
oG is availab
l
e
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoola
e
ge
iscc: switch
t
o usi
n
g
unio
n
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
l
aege
add isl_union_pw_qpolynomial_su
m
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolae
g
e
add isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_pw_q
p
olynomi
a
l
_sum
:
take
tuple
names in
t
o
a
ccoun
t
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
isl_map_car
d
: preserv
e
ful
l
domain dimens
i
on information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
updat
e
isl f
o
r chang
e
in is
l
_hash_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verd
o
olaege
ba
r
vinok_enumerate
.
cc: fix pr
i
ntf fo
r
mat
commit
|
commitdiff
|
tree
2010-07-03
Sv
e
n
V
e
rdoolaege
do
c
:
add some
m
ore papers re
f
ering to the libr
a
ry
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoola
e
ge
b
arvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
ae
g
e
updat
e
isl
t
o version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verd
o
o
lae
g
e
c
o
nf
i
g
u
re
.
in:
p
r
operly add isl flags and li
b
s to
p
kg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
confi
g
ure
.
in:
d
ro
p
call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
S
ven
V
erdoo
l
aege
genfun
.
cc
:
fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
test_approx
.
c: fix printf
f
o
rm
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ve
r
d
o
olae
g
e
test_bound
.
c: fix
printf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
configure
.
in
:
st
o
p
c
om
p
iling Omega by defau
l
t
commit
|
commitdiff
|
tree
2010-06-28
S
v
en
V
erdoolaege
verify_lexsmaller
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaeg
e
e
va
l
u
e
.
c: avoid use of all
o
ca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_isl
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc: r
e
cover from error
s
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update
isl for improve
d
error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
i
s
cc
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoola
e
ge
d
o
c: is
c
c: update do
c
umentation
o
f
"ub" oper
a
tor
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
ola
e
ge
te
s
t_approx
:
includ
e
ctyp
e
.
h
for isspace
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
laege
test_appro
x
: include config
.
h for HA
V
E
_
SY
S
_TIM
E
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test
_
bound: includ
e
con
f
ig
.
h f
o
r HAVE_SYS_TIM
E
S_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doolaege
iscc: add vert
i
ces operations
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolae
g
e
o
p
t
i
o
n
a
lly u
s
e
i
s
l
to pe
r
form para
m
e
t
r
i
c v
e
rtex enumerati
o
n
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
u
p
date
i
sl-polylib for
h
andling of rationa
l
sets
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
drop di
s
tincti
o
n
b
etween barvinok-
c
ore a
n
d barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
update isl for generi
c
i
s
l_pw_qpoly
n
omi
a
l
_bou
n
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
c
o
n
f
ig
u
re
.
i
n
:
d
r
op bv_omega_prog
r
a
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add is
l
_ctx_
p
eek_barvino
k
_o
p
t
i
o
ns
commit
|
commitdiff
|
tree
2010-06-07
Sven Ver
d
o
olaege
iscc:
parse barvinok
o
pt
i
ons
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoo
l
a
ege
e
xport isl_qpolynomi
a
l_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erd
o
olaege
M
ake
f
ile
.
am: d
r
o
p dependence on do
c
/omega
.
te
x
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Ve
r
doolaeg
e
update isl for r
e
name of i
s
l_pw_
q
p
ol
y
nomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
verif_ehr
h
art
.
c: add missing in
c
lude
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
conf
i
gure
.
in: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdool
a
eg
e
use is
l
fo
r
argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
upd
a
t
e isl for kee
p
ing track of use
r
options
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdoolaege
tes
t
_bound
:
rewrite
in C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n V
e
rdo
o
l
a
ege
u
p
d
a
t
e
isl
f
o
r
help message
p
rinting
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
remove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n
Verd
o
olaege
remove eval
u
e_r
a
nge_pr
o
pagation
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
V
erdoo
l
aege
test_bound: use isl interface f
o
r computing bounds
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
b
a
r
vinok_bound
:
use isl interface fo
r
co
m
puting bounds
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
V
erdoolaege
i
scc
:
support u
b
even if Gi
N
aC suppo
r
t
w
as not
com
p
iled
i
n
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
add generic isl_pw_qpolynom
i
al_boun
d
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verd
o
olae
g
e
update isl for
isl_pw_qpolynomial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
V
er
d
oolaege
test_bound
:
use isl duri
n
g verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
d
oolaege
barvino
k
_bound: us
e
isl during verification
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Ve
r
doolaege
verif
y
.
c: extra
c
t s
o
me helpe
r
funct
i
ons for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ver
d
ool
a
ege
i
n
trod
u
ce "bound" opt
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
g
e
option
s
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
S
ven
Verdoo
l
aege
iscc:
a
dd appli
c
ation oper
a
tions
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoolaege
iscc
:
a
d
d
r
ead
o
perat
i
o
n
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoola
e
ge
iscc
:
free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
update i
s
l f
o
r reading
of stri
n
gs
commit
|
commitdiff
|
tree
next