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
update isl for fix in parameter alignment
2010-09-13
Sven Verdoolae
g
e
update isl for fix in parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
er
d
ool
a
ege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
e
r
doolaege
i
s
cc: add lexicogr
a
phic opera
t
ors
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
update
i
s
l
to ve
r
s
ion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
ve
n
Ve
r
doolaeg
e
i
s
cc: add "so
u
r
c
e" op
e
ra
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc:
a
dd s
u
pport for strings
commit
|
commitdiff
|
tree
2010-09-06
S
ven Ver
d
oola
e
ge
is
c
c: print error m
e
ssage on use of u
n
known
identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doo
l
aeg
e
iscc:
s
upport
u
nio
n
se
t
s in ve
r
tices operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add isl_list_co
n
cat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaeg
e
b
a
rvinok_bound: use is
l
to split p
e
riods
commit
|
commitdiff
|
tree
2010-09-05
S
ven Verdoola
e
ge
upd
a
t
e i
s
l
f
o
r
i
s
l_p
w
_qpol
y
nomial_
s
plit_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoo
l
aege
doc:
m
ar
k
Po
l
yLib
i
nterface ob
s
olescent
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdoolaege
Mak
e
file
.
am: dro
p
references to obsolet
e
@bv_barvinok_bo
u
nd@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalue_con
v
ert
.
cc
:
evalue_print_isl: print end-of
-
line
commit
|
commitdiff
|
tree
2010-08-30
Sve
n
Verdool
a
ege
iscc
:
a
l
l
ow coercio
n
of binary lis
t
in
t
o first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdo
o
laege
b
arvinok_b
o
und: conv
e
r
t
to isl_pw_qpolyno
m
ial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Ver
d
oolaege
barvinok_bound:
u
se isl to split
on domain
s
i
ze
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set sensib
l
e
defaults with
-
-
polynom
i
al-
a
p
p
roximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
e
r
d
oo
l
a
ege
isl_pw_
q
polyno
m
ial_sum
:
r
euse barvinok
_
optio
n
s if
availa
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en
Ve
r
d
oolaege
isl_map_card: re
u
s
e
b
a
r
vinok_options if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdoo
l
a
e
g
e
u
p
date
i
sl for
aligning para
m
eters of union argum
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
Verdoolaege
iscc: add "join" opera
t
ion
on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoola
e
ge
iscc:
a
dd "j
o
in" operation
on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
iscc: support addition on
a pair
of a fold and a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
update isl
f
or adding types to isl_{union_,}pw_qpolynomi
a
l_fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
r
d
oolaege
allow codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdo
o
laeg
e
i
s
cc: co
d
egen: detect
s
t
r
i
des
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
iscc: us
e
simpl
i
fied CLoo
G
interfa
c
e
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
upd
a
te isl for re
n
ame o
f
isl
_
pw_qpolynomial_fold_
a
dd
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
isc
c
.
c
:
union_pw_qpo
l
ynomia
l
_uppe
r
_bound
:
fix mem
o
ry
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Ver
d
o
o
laege
s
u
mmate
.
c: fix typ
o
i
n
comment
commit
|
commitdiff
|
tree
2010-08-17
Sven
V
erd
o
olaege
isl_m
a
p_app
l
y
_pw_qpoly
n
o
m
i
a
l:
f
i
x ty
p
o
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
update isl
f
rom is
l
_un
i
on_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
i
scc: a
l
low in
v
erse on non-
u
nion ma
p
s again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isc
c
: add w
r
ap and unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
add isl_u
n
ion_map_apply_union_pw_qp
o
ly
n
o
m
ial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
isl_p
w
_qpolynomial
_
sum: handle i
s
l_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
update isl for nested dimension sp
e
cific
a
tions
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
Ver
d
o
o
l
aege
isl
_
map_card: postpone shuffling around of
d
imensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Ver
d
oolaege
u
p
date is
l
for
isl_ba
s
ic_map_mo
v
e
_dims
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoolaege
isl_pw_qpolynomial_sum:
push conv
e
rs
i
on t
o
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
V
e
r
doola
e
g
e
isl_pw
_
qpolynomial_sum: ch
e
c
k for unbou
n
de
d
domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
o
olaege
avoid use of i
s
l_dim
i
nternals
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doola
e
ge
iscc: support codegen
operation if CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
rdoolaege
iscc:
switc
h
to usi
n
g un
i
ons
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
d
d i
s
l_union_p
w
_q
p
o
lynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_u
n
i
on_map_card
commit
|
commitdiff
|
tree
2010-07-31
S
v
en V
e
rdoolaege
isl_pw_qpolynomial_sum: t
a
k
e tuple n
a
mes
in
t
o ac
c
ount
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
isl_map_card
:
pr
e
serve
full do
m
ain di
m
e
n
sion inform
a
tion
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
update isl for
change in isl_hash_table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
barvinok_enumerate
.
cc:
f
ix printf for
m
at
commit
|
commitdiff
|
tree
2010-07-03
S
v
en
V
e
r
doolae
g
e
doc: add some m
o
re papers referi
n
g
to
t
h
e libra
r
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
b
ar
v
inok
0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
eg
e
update isl to ver
s
i
on 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
r
doolaege
c
onfigure
.
in: properly add
i
s
l
flags and libs
t
o pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
con
f
i
g
ure
.
in: d
r
op call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
do
o
la
e
ge
g
enfun
.
cc: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoola
e
ge
tes
t
_approx
.
c: fix
pr
i
ntf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
S
ven V
e
rd
o
o
laege
test_bou
n
d
.
c: fix pr
i
nt
f
form
a
t
commit
|
commitdiff
|
tree
2010-06-29
S
ve
n
Verd
o
olaege
co
n
f
ig
u
re
.
in: stop co
m
pi
l
ing Omega
b
y d
e
fault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoo
l
aege
v
er
i
fy_lexsma
l
ler
.
c:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoo
l
aege
evalue
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
evalue_isl
.
c
:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc: recover from erro
r
s
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
e
rdo
o
laege
up
d
ate isl
for improved
error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Ve
r
d
oolaege
do
c
: iscc
:
u
p
date documentatio
n
of
"
ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
te
s
t_ap
p
r
ox
:
include
c
type
.
h f
o
r isspa
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: inc
l
ude confi
g
.
h for HAVE_
S
Y
S
_
T
IM
E
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
test_b
o
u
nd: include config
.
h for H
A
VE_
S
YS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaege
iscc: add ve
r
t
ices
operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optionally use isl to perform parametric
v
ertex
e
numeration
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
update isl-polylib
f
or ha
n
dl
i
ng of rational sets
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolae
g
e
drop disti
n
c
tio
n
between
b
arvinok-core
a
nd barvi
n
ok
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
remove b
e
rnstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
update isl
f
or gen
e
r
i
c i
s
l_p
w
_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
configur
e
.
in:
drop bv_omega_prog
r
ams
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
r
d
oolaege
add
isl_ctx_pe
e
k_barvinok
_
options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdool
a
eg
e
iscc: p
a
rse ba
r
vi
n
o
k options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export isl_q
p
o
l
y
n
omial_from_
e
value
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdool
a
e
g
e
Makefile
.
a
m: drop dependence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
v
en
V
erdo
o
laege
u
p
d
ate
isl
f
or r
e
name of isl_pw_qpol
y
n
omial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdool
a
ege
v
e
rif
_
ehrhart
.
c:
a
d
d
missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doo
l
aege
co
n
f
i
gure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use
isl fo
r
a
rgument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdo
o
laege
upda
t
e isl
f
or k
e
eping track
o
f user options
commit
|
commitdiff
|
tree
2010-05-19
Sven V
e
rdoolaege
test_bound: rewrite i
n
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verd
o
olaeg
e
update isl fo
r
help
messa
g
e printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
remove evalue
_
optimu
m
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Ver
d
oolae
g
e
rem
o
ve
e
val
u
e
_
range
_
propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
test_bound: use isl interf
a
c
e
f
or c
o
mput
i
n
g
bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
barvinok_boun
d
: use isl interfac
e
for comput
i
n
g
bounds
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
isc
c
: support ub even if
G
iNaC support was not com
p
iled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
d
d
generic isl_p
w
_q
p
olynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
update isl
for isl
_
pw_qp
o
lyn
o
m
ial_bo
u
n
d
_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
test_bou
n
d
: use
isl d
u
rin
g
veri
f
ication
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
V
e
rdoola
e
ge
b
arvinok_bound: use i
s
l during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c: e
x
tract so
m
e
h
elper functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
int
r
oduce "bound" opt
i
on
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Ver
d
oolaege
o
p
tions
.
c: fix prin
t
f
f
orm
a
t
commit
|
commitdiff
|
tree
next