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 "join" operation on folds
2010-08-18
Sven Ve
r
doolaege
i
scc: a
d
d
"j
o
in"
oper
a
tion on fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doo
l
ae
g
e
i
s
cc: ad
d
"join" ope
r
ation
o
n map
s
and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
iscc: sup
p
ort
a
d
dition on a
p
air of a
f
ol
d
and
a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
u
pdat
e
isl for addin
g
t
ypes to
isl_{union_,}pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
a
l
l
ow codegen on s
e
ts
commit
|
commitdiff
|
tree
2010-08-18
S
ven Ve
r
d
o
olaege
iscc: codege
n
: d
e
t
e
ct
str
i
des
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
s
cc: u
s
e simplified
C
L
o
oG int
e
rface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
upd
a
te
is
l
for r
e
name of i
s
l_p
w
_qpo
l
ynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdo
o
l
a
e
g
e
iscc
.
c
:
u
n
i
on_pw_qpolynomial_upper_bound: fix memo
r
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Ve
r
doolaege
summate
.
c
:
fix ty
p
o in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Ve
r
doolaege
isl_
m
ap_apply
_
pw_
q
polyno
m
i
al: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
update isl fr
o
m
isl_union_map fix
e
s
commit
|
commitdiff
|
tree
2010-08-10
Sven Ve
r
doola
e
ge
i
scc: allow i
n
ve
r
se on n
o
n-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven
Ve
r
doolaeg
e
isc
c
: add wrap
and unwr
a
p op
e
rations
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rd
o
o
l
aeg
e
ad
d
isl_union_map_apply_uni
o
n_pw_q
p
olynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdo
o
l
aege
isl_
p
w_qpolyn
o
m
i
al_sum: hand
l
e
i
sl_pw_q
p
ol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
r
dool
a
ege
u
p
d
a
te isl
f
o
r
nested d
i
mension specificati
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_map_card: postpon
e
shuffl
i
n
g
around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update
i
sl for
isl_basic_map_move_dim
s
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
i
sl_pw_qpolynomial_sum: p
u
sh con
v
ersion t
o
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olae
g
e
isl_pw_qpolynomial_
s
um:
check for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoo
l
a
e
ge
av
o
id use of isl_dim i
n
t
ernals
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
i
s
c
c: s
u
pport codegen o
p
eration
if CLoo
G
is available
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
rd
o
o
l
a
e
ge
iscc:
swit
c
h to using un
i
ons
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Ve
r
doolaege
add isl_union_pw_q
p
ol
y
nomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoo
l
aege
add isl_union
_
m
ap_car
d
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_pw_
q
polynomia
l
_s
u
m:
t
ake t
u
p
l
e names into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
sl_map_card: pr
e
ser
v
e
full domain d
i
mension inform
a
tion
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
o
o
laege
update
i
sl for chan
g
e
i
n
isl_hash_table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
barvinok
_
e
n
u
m
e
rate
.
cc: fix pr
i
ntf
f
ormat
commit
|
commitdiff
|
tree
2010-07-03
Sven V
e
rdo
o
lae
g
e
doc: ad
d
s
ome more papers referin
g
to the library
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoola
e
ge
bar
v
i
n
ok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ver
d
o
o
l
a
ege
upd
a
te i
s
l to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
c
onfigure
.
in: pro
p
erly add isl flags
a
nd libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
o
nfig
u
r
e
.
i
n
: d
r
o
p
c
a
ll to gl_EARL
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
g
e
nfun
.
cc
:
fix prin
t
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_approx
.
c: fi
x
printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdool
a
ege
t
est_bound
.
c: fix printf forma
t
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoola
e
ge
confi
g
ure
.
in: sto
p
compilin
g
Omega by default
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verd
o
olaeg
e
verify_lexsmaller
.
c
:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c: avoid
u
se of a
l
lo
c
a
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
ool
a
ege
evalue_
i
sl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdoolaege
is
c
c: recover fr
o
m errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update isl for
i
mproved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolae
g
e
i
s
cc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc: iscc: update docu
m
ent
a
tion o
f
"u
b
" operat
o
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
est_approx: inc
l
ud
e
c
type
.
h for
isspac
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: include config
.
h
f
or H
A
VE_
S
YS_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
e
r
doola
e
ge
test_bound: include
co
n
f
i
g
.
h
fo
r
HAV
E
_SYS_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
iscc: ad
d
v
ertices oper
a
tion
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
option
a
lly use isl to perform p
a
rametric vertex enumerati
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
update isl-pol
y
lib for handling of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
dool
a
e
ge
d
r
op dist
i
nction between b
a
r
vinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
remov
e
b
erns
t
e
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
updat
e
isl for gene
r
ic
isl_p
w
_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
configure
.
in: drop bv_omega_pr
o
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_
c
t
x
_peek_barvinok_o
p
ti
o
ns
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolae
g
e
iscc: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export isl_qpolynomi
a
l
_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am: d
r
op
depe
n
dence
o
n
doc/o
m
ega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
update
isl for ren
a
me of
isl_pw_qpolynomi
a
l
_
move
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
V
erdoolaege
verif_ehrhart
.
c: add m
i
ssi
n
g include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
configure
.
in: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoo
l
a
ege
u
s
e
isl for ar
g
ument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
update
isl for keeping track of user o
p
tions
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoola
e
g
e
test_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update i
s
l for help message
print
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolaege
remove
e
value_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
rem
o
ve evalue_range_prop
a
g
a
t
ion
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdo
o
laege
t
e
st_
b
ound: use isl inte
r
face f
o
r c
o
mputin
g
bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
ba
r
vinok_
b
o
u
n
d: use isl interface for computin
g
b
o
u
n
ds
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaeg
e
iscc: support ub even if GiNa
C
s
upport was not compil
e
d i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add
g
ene
r
ic isl_p
w
_qp
o
l
ynomi
a
l
_
bound
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
upd
a
te is
l
f
o
r isl_pw_qpolynomia
l
_
b
ound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
o
lae
g
e
test_
b
ound: use isl during verificatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
barvinok
_
bound: use isl
d
uri
n
g verifica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ve
r
d
o
olaege
veri
f
y
.
c:
extract some helper functions for is
l
based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdool
a
ege
in
t
rodu
c
e "bound
"
opt
i
on
commit
|
commitdiff
|
tree
2010-05-14
S
v
en V
e
rdool
a
ege
op
t
ions
.
c: f
i
x
printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
iscc: add
application operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
isc
c
: add
r
e
a
d operat
i
on
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
o
l
aege
is
c
c: f
r
ee opt
i
on
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolae
g
e
update is
l
for reading of
strings
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
update
isl for
f
ix
in isl_printer_print_pw_qp
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
update
i
sl-polylib for chan
g
e in pkg-co
n
fig fil
e
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
iscc:
a
llow
specification of output format
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oolaeg
e
upda
t
e isl for chan
g
e in is
l
_set_
g
ist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Ve
r
do
o
laege
upda
t
e isl
for r
e
nam
e
of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
ola
e
ge
configure
.
in: add isl
fla
g
s and li
b
s to pk
g
-conf
i
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolaege
iscc: test isl_stream for eof r
a
ther than the
u
nderlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaege
iscc: add deltas operation
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
update
isl fo
r
f
i
x
in is
l
_map
_
d
e
l
t
a
s
commit
|
commitdiff
|
tree
2010-04-04
Sven V
e
r
d
oola
e
ge
drop ba
r
vinok
_
enumerate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdo
o
laege
iscc:
add cross product operati
o
ns
commit
|
commitdiff
|
tree
2010-03-31
Sven Ver
d
oola
e
ge
iscc: add coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
e
rd
o
olaege
upda
t
e i
s
l for isl
_
pw_qpolynom
i
al_co
a
lesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
dr
o
p "
O
mega c
o
unti
n
g calc
u
lator"
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoola
e
ge
te
s
t_bound
.
cc: fix
pr
i
ntf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
b
e
rnst
e
in
.
cc:
f
ix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
d
ool
a
eg
e
evalue_range_pro
p
agatio
n
:
fix
s
ubstitution for neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
next