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: support extended PolyLib output format
2010-10-18
S
v
en Verdoolaeg
e
i
scc: su
p
p
ort exten
d
ed PolyLi
b
ou
t
p
u
t form
a
t
commit
|
commitdiff
|
tree
2010-10-18
S
v
e
n Verdoolaege
configu
r
e
.
in: pe
r
fo
r
m chec
k
for GMP s
u
p
p
ort in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
isc
c
: add co
m
p
osition operation on piecewis
e
q
u
a
sipolynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: add d
e
pende
n
c
e
analysis operation
s
commit
|
commitdiff
|
tree
2010-10-11
S
ven
Verdoolaege
is
c
c:
r
egister extra key
w
ords in g
e
neric wa
y
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oola
e
ge
use is
l
to perfo
r
m "man
u
al_count"
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
allow buildin
g
without p
i
p
lib
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdo
o
laege
P
olyhedron_
R
educed_Bas
i
s: o
p
t
i
onally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
fix dependence
on build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdo
o
laege
i
s
l
_
ma
p
_car
d
: use isl for factoriza
t
ion
commit
|
commitdiff
|
tree
2010-09-14
Sve
n
Verd
o
olaege
isl_map_car
d
: split dimensio
n
fiddling from
c
onversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdo
o
laege
isl_map_card: use is
l
_pw_qp
o
l
ynomial_sum if
requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
V
e
rd
o
olaege
barvinok
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdoo
l
ae
g
e
update isl f
o
r fix in pa
r
ameter align
m
e
n
t
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdoolae
g
e
b
a
rvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add l
e
xicog
r
aphic o
p
era
t
o
r
s
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n
V
erdoolae
g
e
upda
t
e isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven
Ve
r
doolaege
iscc: ad
d
"source" operati
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdool
a
ege
iscc: add su
p
p
ort for st
r
ings
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoolaege
iscc
:
print e
r
ror
m
essage on use of unkno
w
n id
e
ntifi
e
r
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaeg
e
iscc: support
un
i
on sets i
n
vertices operation
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoolaeg
e
add isl_list
_
concat
commit
|
commitdiff
|
tree
2010-09-05
S
v
en
V
er
d
ool
a
ege
barvinok_bound:
u
se isl to split
p
eriods
commit
|
commitdiff
|
tree
2010-09-05
Sven Ve
r
doolaege
u
p
d
ate is
l
for isl_pw_qpolynom
i
al_split
_
periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
doc: mark PolyLi
b
interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdoolae
g
e
Makefile
.
am: drop reference
s
t
o
obsolete @b
v
_barvinok_
b
ound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalue_conve
r
t
.
cc: evalu
e
_p
r
i
n
t_isl: pr
i
nt end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sve
n
Verdoolaege
iscc: allo
w
coe
r
cion of binary list into first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdo
o
laege
barvinok_
b
ound:
convert to isl_pw_qpoly
n
o
mia
l
once
commit
|
commitdiff
|
tree
2010-08-28
S
v
e
n Verdool
a
ege
barvinok_bound: use isl to split on
d
o
m
ain size
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolaege
set sensibl
e
de
f
aults w
i
th
-
-polynomial-appr
o
ximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
i
s
l
_
pw_qpolynom
i
al_sum: reu
s
e
b
a
rvino
k
_option
s
if
available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
olaege
isl_map_card: reuse barvinok
_
options
if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
V
e
r
d
oolaege
updat
e
isl for al
i
gni
n
g paramet
e
rs
o
f union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolae
g
e
i
s
cc: add "join
"
opera
t
ion on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
i
scc:
a
dd "joi
n
" oper
a
tion
on
m
aps and f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
iscc: support addition on a p
a
ir of
a
fold and a quasip
o
lyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Verd
o
olaege
update
isl
f
or addin
g
ty
p
es to isl_{union_,}
p
w_qpolynomi
a
l_folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
Verdoo
l
aege
allow c
o
degen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
erdool
a
ege
is
c
c: c
o
d
egen: detect
str
i
des
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Verdoolaege
is
c
c: use simplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olae
g
e
update
i
sl for rename of isl_pw_qpo
l
ynomial_fold
_
add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
isc
c
.
c: unio
n
_pw_qpolynomia
l
_upper_bo
u
nd
:
fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolae
g
e
sum
m
a
t
e
.
c: f
i
x typo i
n
c
ommen
t
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoola
e
ge
isl_map_app
l
y_pw_qpolynomia
l
: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Verdoolae
g
e
upda
t
e isl fr
o
m isl_union_map
f
ixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoo
l
a
e
ge
iscc: all
o
w inverse on n
o
n-union maps
a
gai
n
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc: add
w
rap and unwr
a
p operations
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdo
o
laeg
e
add
i
sl_union_map_
a
pply_unio
n
_pw_
q
polynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoola
e
g
e
isl_p
w
_qpolynomial_sum: h
a
ndle isl_pw_q
p
o
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
u
p
d
a
t
e
isl
f
o
r nested di
m
e
n
si
o
n speci
f
icat
i
o
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_map_c
a
rd:
p
ostpone shuffling around of dimensi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl for
isl_basic_map_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
ool
a
eg
e
isl_pw_q
p
o
l
y
nomial_sum: push con
v
ersion to PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_qpolynomial_sum: check
for unbou
n
d
e
d domain
s
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdo
o
laege
av
o
i
d
u
se of isl
_
dim intern
a
ls
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
isc
c
: s
u
pport codegen ope
r
a
tion if CLo
o
G i
s
av
a
ilable
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoo
l
aege
iscc: switch to u
s
ing unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_union_pw_qpolynomial_su
m
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
add isl_uni
o
n_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
rdoo
l
aege
isl
_
p
w
_qpolynomia
l
_sum: t
a
ke
tuple
n
ames into acco
u
nt
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
a
ege
isl_map
_
card: pr
e
serve ful
l
d
omain dimensio
n
info
r
mation
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
update isl fo
r
change in isl_h
a
sh_table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
e
rdoolaege
barvinok_en
u
merate
.
c
c
: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verd
o
o
l
a
ege
doc: add
some more papers r
e
fering to the library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
update
isl
t
o
v
ersion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
co
n
figu
r
e
.
in: properly ad
d
i
s
l flags an
d
li
b
s to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
o
nfigu
r
e
.
in: drop call t
o
gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verdool
a
ege
g
e
nfun
.
cc: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_approx
.
c: fix pr
i
ntf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
test_
b
o
u
nd
.
c: fix
printf
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
configu
r
e
.
in: stop co
m
piling
Omega
b
y default
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
er
d
oolaege
v
er
i
fy_
l
e
xsmall
e
r
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-27
S
v
en
V
erdoolaege
e
v
a
lue
.
c: avoid
u
s
e
of allo
c
a
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n
V
er
d
oola
e
g
e
is
c
c
:
recover from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven
Ver
d
oolaeg
e
update isl for improved
error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolae
g
e
i
s
cc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sve
n
Ver
d
oo
l
aege
doc
:
iscc:
up
d
ate documen
t
at
i
on o
f
"ub"
operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
e
st_appr
o
x
:
include ctype
.
h for i
s
space
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
test_approx:
include config
.
h for HAVE_SYS_TI
M
ES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
t
est_bound: inclu
d
e c
o
n
fig
.
h
for HAVE_
S
Y
S
_T
I
MES_
H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
is
c
c:
a
d
d vertices o
p
e
r
ations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
optio
n
all
y
u
se isl
to pe
r
form p
a
rametric v
e
rt
e
x
en
u
m
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
d
oolaege
update
i
sl-p
o
lyl
i
b f
o
r handling
o
f rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
g
e
d
r
op distinction betw
e
en barvinok
-
core and b
a
rvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
r
emove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
update is
l
f
o
r
g
eneric isl_pw_qpolynomial_b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
con
f
igure
.
in: dr
o
p bv_om
e
ga_prog
r
ams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_ctx_
p
e
e
k
_
barvino
k
_op
t
ions
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoola
e
ge
is
c
c: parse barvinok opt
i
o
ns
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
d
ool
a
ege
export isl
_
q
p
olynomial_fr
o
m_eval
u
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
a
m: drop depen
d
ence on
d
oc/omega
.
t
e
x
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verd
o
olaege
up
d
a
te i
s
l fo
r
rename of is
l
_pw_qpolynomial_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
erdoolaege
verif
_
ehr
h
art
.
c: add mis
s
in
g
include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
configure
.
in: f
i
x t
y
p
o
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdo
o
laege
use isl for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoola
e
ge
update isl
f
o
r keeping
track
of us
e
r opti
o
ns
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdo
o
laege
t
e
st_bound: r
e
w
r
ite in C
commit
|
commitdiff
|
tree
next