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
ven V
e
rdoolaege
bar
v
inok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
Ve
r
doolaege
u
p
d
at
e
isl for
fi
x
in par
a
me
t
er alig
n
ment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
barvin
o
k 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoola
e
ge
i
scc: add lexicographic o
p
erators
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
e
rdoolaege
u
pdate isl to vers
i
on 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven V
e
rdoolaege
iscc
:
add "
s
ource" operation
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoolaege
iscc:
ad
d
sup
p
ort f
o
r strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaege
i
s
cc: print error
m
e
ssage on use of unknown
identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
iscc: support union sets
in
v
ertices
o
peratio
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaeg
e
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verd
o
o
laege
barv
i
no
k
_bou
n
d: use isl to s
p
lit periods
commit
|
commitdiff
|
tree
2010-09-05
S
v
en Ve
r
doolaege
u
pdate
isl
for isl_pw_
q
po
l
ynomial_
s
plit_period
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
doo
l
aeg
e
d
oc: mark Poly
L
ib interface
o
bso
l
escen
t
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verdoo
l
aege
Makefi
l
e
.
am: drop references to obsolete @bv_barvino
k
_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoo
l
aege
evalue_convert
.
cc: evalue_print
_
isl: prin
t
end-of-l
i
n
e
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
i
s
cc: allow
coerci
o
n of
binar
y
list into first el
e
m
ent
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvin
o
k_bound: co
n
vert to isl_pw_qpolynomi
a
l
once
commit
|
commitdiff
|
tree
2010-08-28
S
ven Verdoola
e
ge
barvinok_b
o
und: use isl to split on domain siz
e
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolaeg
e
set sen
s
ible defaults with --polyno
m
ial-approximat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdool
a
e
ge
isl_pw
_
qpolyn
o
mial_s
u
m
: reuse
barvinok_op
t
ions
i
f available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolaege
isl_map_ca
r
d: re
u
se
b
arvinok_op
t
io
n
s if available i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdool
a
ege
u
p
date
isl f
o
r aligning paramet
e
rs of uni
o
n arg
u
ments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doola
e
ge
i
s
cc
:
add "j
o
in"
operation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "join" operation on map
s
and folds
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolae
g
e
iscc:
support addi
t
ion
o
n a pai
r
o
f
a
fold and a
qua
s
ipol
y
no
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolae
g
e
update is
l
for
adding t
y
pes
to isl_{union_,}pw_qpolynom
i
al_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
ola
e
ge
allo
w
codegen
o
n sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
i
s
cc: codegen: det
e
c
t strid
e
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: us
e
simp
l
ified C
L
ooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verd
o
olaege
upda
t
e i
s
l
f
o
r
rename of isl_pw_qpolynomi
a
l_fold_
a
dd
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oo
l
ae
g
e
isc
c
.
c:
u
nion
_
pw_qpolynomial_upper_
b
ound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summat
e
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sv
e
n V
e
rdoolaege
isl_map_
a
pply_
p
w_qpolyno
m
ia
l
: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
updat
e
isl from isl_union
_
map
fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
i
s
cc:
allow
inverse on no
n
-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaege
iscc: ad
d
w
rap and unwrap
o
perations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laeg
e
add isl_union_m
a
p_a
p
ply_union_p
w
_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_p
w
_
q
polyno
m
ial_sum: hand
l
e isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolae
g
e
update isl for neste
d
dimens
i
on s
p
ec
i
fications
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
i
s
l
_map_ca
r
d:
p
ostpone shuffli
n
g around o
f
dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
g
e
update isl fo
r
isl_basic_m
a
p_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n
Verdoolaege
isl_
p
w
_
q
po
l
y
n
omial_sum: p
u
sh co
n
vers
i
on to
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdoolaege
isl_pw
_
qpolynomia
l
_sum:
c
heck for u
n
bounded
d
omain
s
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
a
void
u
s
e
o
f isl_dim in
t
e
r
n
als
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Ve
r
doola
e
ge
iscc
:
supp
o
rt co
d
egen ope
r
ation if CLooG is avail
a
b
l
e
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
e
rdoolaege
iscc: switch to u
s
ing unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
d
o
olaege
add
isl_uni
o
n_pw_qpol
y
n
o
m
ial_
s
um
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oola
e
g
e
a
dd isl_union_map
_
card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
i
s
l_pw_q
p
olynomial
_
sum: take tuple na
m
es into accoun
t
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoola
e
g
e
isl_map
_
card: preserve full domain
d
imension i
n
forma
t
ion
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
upd
a
t
e i
s
l for chan
g
e in is
l
_hash_
t
able_foreac
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Ve
r
doolaege
bar
v
inok_enumerate
.
c
c: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc: add s
o
me
more pa
p
ers refering to the li
b
rar
y
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaeg
e
b
arvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
upda
t
e
i
s
l to ve
r
sio
n
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
e
r
d
ool
a
ege
c
o
nfigure
.
in: pr
o
perly ad
d
isl f
l
ags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
configur
e
.
in: drop call to
g
l
_
EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
r
doolae
g
e
g
e
nfun
.
cc:
fix
printf format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
e
rdoolaege
t
e
s
t
_
a
pprox
.
c
:
fix pri
n
tf forma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
r
d
o
olaege
tes
t
_boun
d
.
c: fix pr
i
ntf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
c
o
nf
i
gure
.
in: stop
c
ompiling Om
e
ga by de
f
aul
t
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoolaege
verify_lexsmaller
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Ve
r
doolaege
evalue
.
c: avoid
use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
ev
a
lue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
rdoo
l
aege
isc
c
: recover fr
o
m
e
rrors
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolae
g
e
up
d
ate
i
s
l
f
o
r impr
o
v
e
d
e
rror hand
l
ing
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
is
c
c
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-13
S
v
en
V
erdoolaege
d
o
c: iscc:
u
pdate documen
t
ation of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
tes
t
_approx: i
n
cl
u
de ctype
.
h for isspa
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
test_appr
o
x:
in
c
lude config
.
h for HAV
E
_SYS_T
I
MES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
t
est_bound
:
includ
e
config
.
h
f
or
HAVE_SYS_TI
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isc
c
: add vert
i
ces
oper
a
tio
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
op
t
ionally use
isl to perform
parametric vertex
e
numer
a
tion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl-polylib for handling of rat
i
on
a
l set
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop distinct
i
o
n between bar
v
inok-core an
d
barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
rem
o
v
e
b
e
rnstein
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
upda
t
e is
l
for generic isl_
p
w_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
configu
r
e
.
in: drop bv_omeg
a
_
p
r
ograms
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aege
ad
d
isl_ctx
_
pe
e
k_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sv
e
n V
e
rdoo
l
aeg
e
iscc
:
p
a
rse b
a
rvino
k
op
t
ions
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
export isl_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
Make
f
ile
.
am
:
dro
p
d
ependence
o
n doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
rdoolaege
up
d
ate
i
sl f
o
r rename of isl_pw_qpolynomial_
m
ove
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Verd
o
o
l
a
ege
verif_ehrhart
.
c: add mi
s
s
i
ng inc
l
ude
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
c
onfigure
.
i
n: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use i
s
l for
a
rgument p
a
rsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
u
pdate isl for keepi
n
g t
r
ac
k
of user options
commit
|
commitdiff
|
tree
2010-05-19
S
v
e
n
V
erdoolaege
t
e
st_bou
n
d: rewrite in
C
commit
|
commitdiff
|
tree
2010-05-19
S
ve
n
Verdoolaege
u
p
date
isl
f
o
r help m
e
ssage printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
remove
e
val
u
e_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Ver
d
oolaege
remove
evalue_ran
g
e_pr
o
pagation
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n
V
erdoola
e
ge
t
e
st_bound: u
s
e isl interfac
e
for computing boun
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
barvino
k
_bound: use is
l
interface for
c
o
m
puting bound
s
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
V
e
r
doola
e
ge
isc
c
: support ub even if GiNaC support w
a
s not compiled i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
a
dd ge
n
e
r
ic isl_pw
_
qpolynomi
a
l_bound
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n V
e
rd
o
ol
a
e
ge
u
pdat
e
isl for isl_pw_qpol
y
n
o
mial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
test_boun
d
: use isl dur
i
ng verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvinok_
b
ound: use isl dur
i
n
g
verifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
l
aege
verify
.
c:
e
xtr
a
ct some helper
functions
f
or i
s
l based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
intr
o
duc
e
"bound" op
t
i
on
commit
|
commitdiff
|
tree
next