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
S
ve
n
Verdoola
e
ge
barv
i
n
o
k 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
update isl for fix in parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven
Verdoo
l
aege
barvi
n
o
k
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
aeg
e
is
c
c: add le
x
icogr
a
phic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoola
e
ge
update isl to version 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
Sven Ve
r
doolaege
i
scc: add
"
source
"
operati
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: add support for strin
g
s
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdoolaege
i
sc
c
: pr
i
nt error m
e
ssag
e
on use of unknown
i
d
e
n
tifier
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoolaege
iscc: support union
s
e
ts in vert
i
ces operation
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
a
dd is
l
_li
s
t_con
c
at
commit
|
commitdiff
|
tree
2010-09-05
Sven
Ve
r
doo
l
aege
barv
i
nok_bound: use isl to split periods
commit
|
commitdiff
|
tree
2010-09-05
Sve
n
Verdoolaege
update is
l
for isl
_
pw_qpolynomia
l
_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
d
oc: mark Po
l
y
L
i
b
interface obso
l
esce
n
t
commit
|
commitdiff
|
tree
2010-08-31
S
ven
V
erdoolaege
Makefile
.
am: drop
r
eferen
c
e
s to
obsolete @bv_
b
arvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
erdoolaege
eva
l
ue_convert
.
cc: evalue_print_isl: print
end-of-line
commit
|
commitdiff
|
tree
2010-08-30
S
v
e
n Ve
r
do
o
laege
iscc: allow coercion of
b
ina
r
y list
into first el
e
ment
commit
|
commitdiff
|
tree
2010-08-28
S
v
e
n Verdoolaeg
e
barvino
k
_bound: c
o
nvert to isl_
p
w_qpo
l
ynomial once
commit
|
commitdiff
|
tree
2010-08-28
S
ven Verd
o
olaege
barvinok_bound: use
i
s
l to s
p
l
i
t
on doma
i
n siz
e
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set sensible defau
l
ts wit
h
--pol
y
nomia
l
-approxim
a
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
e
rdoolaege
isl_pw_q
p
olynom
i
al_sum: reuse
barv
i
nok_options if av
a
ila
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaeg
e
isl_map_c
a
r
d: reuse
ba
r
vino
k
_optio
n
s
if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Ve
r
doolaege
updat
e
is
l
for aligni
n
g
p
a
r
ameters of union argument
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: a
d
d "join" operat
i
o
n
on
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "join" op
e
r
atio
n
on ma
p
s and fo
l
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven
Ver
d
ool
a
ege
iscc: support
addition on a pair of a fold and a quasi
p
oly
n
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Verdoolaege
updat
e
isl for adding
ty
p
es to isl
_
{union_,}pw_qp
o
lynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoola
e
ge
allow
codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
iscc: c
o
d
egen: de
t
e
c
t strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: use s
i
mpl
i
fied CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
S
ven
V
e
rdoolaege
updat
e
isl for rename
of isl_pw_qpolyno
m
ia
l
_fold_
a
dd
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
s
cc
.
c: union_pw_qpolynom
i
al_
u
pper_bound:
f
ix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summa
t
e
.
c: f
i
x typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_map_
a
pply_pw
_
qpolynomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n
Verd
o
o
l
a
e
ge
up
d
ate isl from i
s
l_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
iscc: allow inverse on non-
u
nion map
s
again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc: add wrap and unwrap
op
e
rations
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
do
o
laege
add i
s
l_
u
nion_ma
p
_apply_union
_
pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
V
erd
o
ol
a
ege
i
s
l_pw_qpolynomial_su
m
: handle
i
sl_pw
_
qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
update isl for nested dimension specific
a
tions
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
is
l
_map_card: pos
t
pone shuffling around of dimensi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verd
o
olaege
up
d
a
t
e
isl for isl_basic_map_m
o
ve_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
i
s
l
_
p
w_qpolynomial_su
m
: push
conver
s
ion t
o
P
olyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdo
o
laege
isl_
p
w_qpolyno
m
ial_s
u
m
:
ch
e
ck for un
b
o
unde
d
domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoo
l
a
ege
avoid use of isl_dim i
n
ternal
s
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoola
e
ge
i
scc: support codegen operation i
f
CLo
o
G is available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
iscc:
switch to using un
i
o
n
s
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaeg
e
add isl_un
i
on_pw_qpolynomi
a
l_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_u
n
i
on
_
map
_
card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_pw_qpolyno
m
ial_sum: take
tup
l
e names int
o
account
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verd
o
olae
g
e
isl_
m
ap_card:
pr
e
se
r
ve full domain dimension information
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaeg
e
u
p
date isl for
chan
g
e in isl_hash_table_for
e
ac
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdo
o
laege
barvinok_enumera
t
e
.
cc:
f
ix printf fo
r
m
at
commit
|
commitdiff
|
tree
2010-07-03
Sve
n
Verdoolaege
doc: add some more pa
p
ers r
e
fering to the lib
r
ary
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
V
erdool
a
ege
ba
r
v
inok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
upda
t
e isl to version 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n V
e
rdoolaege
configure
.
in: pro
p
erly add isl flags a
n
d
libs to
pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
configure
.
in:
drop
c
all to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erd
o
o
lae
g
e
genfun
.
cc
:
fix
prin
t
f format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
test_ap
p
rox
.
c
:
fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
t
est_bound
.
c: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
S
ve
n
Verdo
o
laege
co
n
figure
.
in: stop compiling Omega
b
y de
f
au
l
t
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
o
laege
ve
r
ify_l
e
xsmal
l
e
r
.
c
:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
laege
e
v
al
u
e
.
c: avoid use of all
o
ca
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
ev
a
lue_
i
sl
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoola
e
g
e
iscc: recover
f
rom
e
rro
r
s
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
u
p
da
t
e i
s
l for improve
d
e
r
ror
h
a
n
d
ling
commit
|
commitdiff
|
tree
2010-06-19
S
ven
V
erdoolaege
isc
c
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Ve
r
doolaege
doc: iscc: update docume
n
t
ation of "ub" operato
r
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
t
e
st_approx: include ctype
.
h
f
or isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_a
p
prox
:
include
config
.
h for HAVE_SYS_TIME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
test_bound: include con
f
ig
.
h for HA
V
E_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
iscc: add
v
ertices ope
r
ations
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaege
o
p
t
ion
a
l
ly
u
se
i
s
l
to perfor
m
pa
r
ametric vertex
en
u
meration
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
update isl-polylib for h
a
ndling of ration
a
l sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
drop distinction between barvi
n
o
k-core and
b
arvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
r
e
move bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
update isl
for generic isl
_
p
w_qpolynomial_bo
u
nd
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
configure
.
i
n
: drop bv
_
om
e
ga_programs
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
o
olaeg
e
add is
l
_ctx_p
e
e
k
_ba
r
vinok_opti
o
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sv
e
n Ve
r
d
oolaege
i
scc
:
parse barvinok opt
i
ons
commit
|
commitdiff
|
tree
2010-06-01
Sven
Ver
d
oo
l
aege
export
isl_qpolynomial_f
r
om_
e
value
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doola
e
g
e
Makefile
.
am:
d
r
op depe
n
dence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoo
l
aege
update i
s
l for rena
m
e of isl_
p
w_qpol
y
n
o
mial_move
commit
|
commitdiff
|
tree
2010-06-01
S
ven Ver
d
o
o
laege
veri
f
_e
h
rhart
.
c: ad
d
miss
i
ng includ
e
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoo
l
aege
con
f
igure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
use isl
f
or
argument pars
i
ng
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
update isl for keeping track of
u
ser
o
ptio
n
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoola
e
ge
t
est
_
bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdool
a
ege
update isl for help mes
s
age printi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
remove e
v
alue
_
op
t
imum
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdo
o
laege
remov
e
evalue_r
a
n
ge
_
p
r
opa
g
ation
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
V
er
d
ool
a
eg
e
test_
b
ound: use isl inter
f
ace for
computing bou
n
ds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
ba
r
v
inok_bo
u
nd: use isl interface f
o
r
c
omputing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
iscc: sup
p
ort ub even if GiNaC
s
upp
o
rt was
n
ot comp
i
led in
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
add generic i
s
l_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erd
o
o
laege
update
i
s
l
f
or isl_pw_qpolynomial_bound_
r
ang
e
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdoolaege
tes
t
_bound
:
use
i
s
l during
verification
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verdoola
e
g
e
barvinok_bo
u
n
d
: use
isl during verific
a
t
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
v
e
rify
.
c: extract so
m
e hel
p
er funct
i
ons for is
l
based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
introduce
"
bound" option
commit
|
commitdiff
|
tree
next