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
barvinok 0.32.1
2010-09-13
Sven Ver
d
oolaege
b
a
rvinok
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
r
dool
a
ege
u
pdate isl
for
f
ix
i
n par
a
meter alignmen
t
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
aege
b
a
r
vinok
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
isc
c
: add l
e
xico
g
r
a
phi
c
operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
update isl to versi
o
n
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolaege
i
s
cc
:
a
d
d
"sourc
e
"
ope
r
at
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
r
d
o
o
laege
i
scc: add supp
o
rt for st
r
ing
s
commit
|
commitdiff
|
tree
2010-09-06
Sven
Ver
d
oolaege
iscc: print er
r
or mes
s
age on use of
u
n
k
n
own identifier
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoolaege
iscc: su
p
por
t
union se
t
s in vertic
e
s operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoo
l
aege
add
isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
b
a
rvinok
_
bo
u
nd: use isl t
o
s
pl
i
t
p
e
rio
d
s
commit
|
commitdiff
|
tree
2010-09-05
S
v
en
V
erdoo
l
aege
update
i
sl for isl
_
pw_qpolynomial_split_period
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
doc: mark PolyLib in
t
erfa
c
e obsolescent
commit
|
commitdiff
|
tree
2010-08-31
S
v
en
V
er
d
oolaege
M
a
kefil
e
.
a
m
:
drop re
f
erence
s
t
o
obs
o
le
t
e
@bv_ba
r
vinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven V
e
rdoolaege
e
value_
c
onv
e
rt
.
cc:
e
value
_
p
rint_isl: print
e
nd-o
f
-l
i
ne
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoo
l
aeg
e
iscc: allow coercion of binary list
into first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdo
o
laege
barvinok_bound:
c
onv
e
rt to isl_pw_qpolynomial
onc
e
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdoolaege
barv
i
nok_bound: use is
l
to split on domain s
i
ze
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n
Verd
o
olaege
set sensible defaults with --polynomial-appro
x
imation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoola
e
ge
isl_pw_qpolyno
m
ia
l
_
s
um
:
reu
s
e barvin
o
k_op
t
ions
if
available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdool
a
ege
i
s
l_ma
p
_car
d
: reuse barvinok_options if a
v
ailable
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
updat
e
isl
f
or aligning pa
r
am
e
t
e
r
s
of u
n
io
n
argu
m
ents
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
iscc: ad
d
"join" opera
t
ion
on fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add
"j
o
in" operation on ma
p
s and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
:
support addition on a pair of a fold an
d
a
quasipolyn
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
o
l
a
e
ge
upd
a
te isl for
a
dding t
y
pes
t
o isl_{union_,}pw_qp
o
l
y
nomial_
f
o
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
iscc: codegen: detec
t
s
trides
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erd
o
o
l
aeg
e
i
s
c
c: us
e
s
i
mpli
f
ied CL
o
oG interface
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
update i
s
l for rena
m
e of is
l
_pw_qpolyn
o
mial_f
o
ld
_
add
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
iscc
.
c
:
u
nion_pw_qp
o
lynomial_upp
e
r_bou
n
d:
f
ix m
e
m
o
ry
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolae
g
e
summate
.
c: fix typo in co
m
ment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_
m
ap_
a
pply_
p
w_qpolynomi
a
l:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoo
l
aege
updat
e
isl from
i
s
l
_
union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
iscc: a
l
low inverse on non-un
i
on maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
iscc:
a
d
d
wrap and unw
r
ap o
p
eratio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Ve
r
doola
e
ge
a
dd isl_union_map_apply_union_
p
w
_
qpolynomi
a
l
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
i
sl_pw_qpolyn
o
mial_sum: handle is
l
_pw_qpolynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Ver
d
oo
l
aege
update isl
for nested d
i
m
e
nsion s
p
ecifications
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
V
e
rdoolaege
isl_map_card: postpone shuffling around
of d
i
mensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
u
p
date isl for isl_basic_map_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erd
o
olaege
isl_pw_qpolynomial_su
m
: pu
s
h conversion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
o
o
laege
isl_pw_qpo
l
ynomial_sum: check for u
n
b
o
unded doma
i
ns
commit
|
commitdiff
|
tree
2010-08-02
S
ve
n
Verdoo
l
aege
avoid
u
s
e of isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verd
o
o
l
aege
iscc: support cod
e
gen operation if CLooG is av
a
ilable
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
rdoolaege
iscc
:
switch
t
o
using uni
o
ns
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
add isl_union_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
d
d isl_uni
o
n_map_ca
r
d
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_pw_
q
p
olyno
m
ial_sum: take tuple
n
a
mes int
o
account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_ma
p
_
c
ard: preser
v
e fu
l
l domain
d
i
mension info
r
m
atio
n
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
up
d
ate
i
sl f
o
r change in
isl_
h
ash_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
r
dool
a
ege
barvinok
_
enum
e
r
a
te
.
cc: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-07-03
Sv
e
n
V
e
r
doolaege
d
oc: add some more papers refering to the l
i
br
a
ry
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
barvinok
0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdool
a
ege
update isl to v
e
rsion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ve
r
doolaege
con
f
igur
e
.
i
n
: pro
p
erly add isl fl
a
gs and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ver
d
oolaege
configure
.
in: dro
p
call to
gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genf
u
n
.
cc: fix
p
r
intf
fo
r
ma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test
_
appro
x
.
c: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
t
est_bound
.
c: fix p
r
i
n
t
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
conf
i
gure
.
i
n: stop com
p
i
ling O
m
ega b
y
default
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdo
o
l
a
e
g
e
v
erify_lexsma
l
l
e
r
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
eva
l
u
e
.
c: avoi
d
use of a
l
loca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
e
v
alue
_
isl
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Ver
d
oo
l
aege
isc
c
: recov
e
r fro
m
errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update isl for i
m
proved err
o
r handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven
V
erdoolaege
doc
:
iscc: update d
o
cumentation
o
f "ub" opera
t
o
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
test_a
p
pro
x
: include
ctype
.
h for iss
p
ace
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
test_appr
o
x
:
in
c
l
u
de c
o
nfig
.
h
for HAVE_SYS_TIM
E
S_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
te
s
t_b
o
und:
includ
e
config
.
h for H
A
V
E_SYS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
iscc: add vertices o
p
erati
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
optio
n
al
l
y u
s
e
i
sl to perform pa
r
a
m
etric ver
t
ex enumeratio
n
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
update isl
-
polylib for handling o
f
rational s
e
ts
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaeg
e
drop distinctio
n
between barvin
o
k-core and ba
r
vino
k
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoola
e
ge
rem
o
ve bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
update isl for ge
n
eric isl_pw_qpolynomial_boun
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
configure
.
in:
d
rop bv_omega_prog
r
ams
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
a
d
d isl_ctx_peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Ve
r
doolaege
i
s
cc: pars
e
barvinok op
t
ions
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
rdo
o
laege
export isl_qpoly
n
omial_from_
e
value
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
la
e
ge
M
ak
e
file
.
am: drop dependence on doc/omeg
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
update isl for rename of isl_pw_qpolynomial_
m
ove
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
ve
r
if_ehrhart
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
conf
i
gure
.
in
:
fix t
y
po
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
use i
s
l for
a
r
gument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl for keeping track
o
f user
o
ptions
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdo
o
l
a
ege
t
est_bo
u
nd: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdool
a
ege
upda
t
e isl for help mess
a
ge printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
remove e
v
alue_opt
i
mum
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolaeg
e
remove eva
l
ue_range_pro
p
agation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
lae
g
e
test_bound: use
isl interfac
e
fo
r
computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
barv
i
nok_boun
d
: us
e
isl i
n
terface
f
o
r computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
i
s
cc: s
u
ppo
r
t ub even if G
i
NaC support w
a
s
not compiled in
commit
|
commitdiff
|
tree
2010-05-14
S
v
en V
e
rdoolaeg
e
add g
e
ner
i
c
isl_pw_qpol
y
nomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
updat
e
isl for isl
_
pw
_
qp
o
lynomial_bou
n
d_
r
ange
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
test_bound: use is
l
d
u
ring verifica
t
io
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
bar
v
i
n
ok_bo
u
n
d: use isl during veri
f
ication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
ve
r
ify
.
c:
e
xtract som
e
helper functions for i
s
l based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ven V
e
rdool
a
e
ge
int
r
oduce "bound" option
commit
|
commitdiff
|
tree
next