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: add before and after operations
2010-10-18
Sven Verd
o
olaege
i
scc: add before and af
t
e
r ope
r
ations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: add identity op
e
ration
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
isc
c
: break out of
f
m
ain lo
o
p when printer n
o
longe
r
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: support extended PolyLib ou
t
put
f
o
rmat
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
e
rdoolaege
configu
r
e
.
in
:
pe
r
form che
c
k for GMP su
p
port
i
n N
T
L
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isl_Po
l
yhed
r
on_Sample:
add missing
initializat
i
on
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: add com
p
ositi
o
n
o
perati
o
n
on
p
iecewi
s
e quasipol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
iscc: add dep
e
ndence
a
nalysis op
e
rations
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n V
e
r
d
oolaeg
e
iscc: r
e
gister extra keyword
s
i
n
generic way
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaeg
e
use i
s
l to perform "manual_coun
t
"
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
allow
building without piplib
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n Verdoolaege
Polyhedron_Reduced_Bas
i
s:
o
ptionally use
isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
fix dependen
c
e on build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erd
o
o
laege
isl_map_card: use isl for factorization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verd
o
o
laege
isl_map_card: spl
i
t dimension fiddling from conve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdoolaege
i
s
l_
m
ap_card:
u
s
e
isl_
p
w
_
qpoly
n
omia
l
_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
ba
r
vinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rd
o
olae
g
e
up
d
ate
i
sl for
f
ix
i
n parameter alignmen
t
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoola
e
ge
barvinok
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
v
e
n
V
e
rdoolaege
iscc: ad
d
lexicogra
p
h
ic
o
p
erators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
aeg
e
update
i
sl to
v
ersion 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
Sve
n
Verd
o
ol
a
eg
e
iscc:
a
d
d
"
s
ource" o
p
e
r
ation
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdoola
e
ge
i
s
cc: add
s
upport fo
r
strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
ool
a
eg
e
iscc: print err
o
r message on use of
u
n
k
n
own
i
den
t
if
i
e
r
commit
|
commitdiff
|
tree
2010-09-06
S
ven
V
erdoolaege
iscc: suppor
t
uni
o
n sets in vertices operati
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add
isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaeg
e
b
a
r
v
in
o
k
_bound: use isl t
o
sp
l
it periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoo
l
aege
update i
s
l
f
or isl_p
w
_qpolynom
i
a
l
_split
_
p
e
riods
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n
Verd
o
olaege
d
o
c:
mark PolyLib int
e
rface
obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verd
o
o
lae
g
e
Ma
k
ef
i
le
.
am: drop refer
e
nces to obso
l
ete @bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verdo
o
laege
eva
l
ue_c
o
nvert
.
cc: eva
l
ue_prin
t
_isl: pri
n
t
e
nd-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
iscc: allow coercion
o
f binar
y
li
s
t into fir
s
t element
commit
|
commitdiff
|
tree
2010-08-28
S
ven Verdoolae
g
e
barvinok_bound: convert to
isl_p
w
_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
S
v
en Verdoolae
g
e
barvinok_b
o
und: use isl to spl
i
t on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n V
e
rd
o
o
l
aege
set sensible
d
e
faults with --polyno
m
ia
l
-a
p
p
r
o
x
i
m
ation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
e
r
doola
e
ge
i
sl_pw_
q
polyno
m
ial_sum: reuse ba
r
vinok_o
p
tio
n
s if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
laege
isl_map_card
:
reuse ba
r
vino
k
_option
s
if availa
b
le in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n
Verdoolaege
update isl for alig
n
ing
p
arameters o
f
union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "
j
oin
"
oper
a
tion
on f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
i
sc
c
: add
"
j
oin" operation on maps and
f
ol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
o
o
la
e
g
e
isc
c
: support addition on a pair of a fold
and
a
quasi
p
olyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
update isl
f
o
r add
i
ng typ
e
s to isl_{union
_
,}pw_qpol
y
nomial_fold
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
allow cod
e
gen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
iscc: co
d
egen:
d
etect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
iscc: use simplifi
e
d
CLooG
i
nterface
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
V
erdoolaege
update
i
s
l for rename of isl_pw_qpolynom
i
al_fold_a
d
d
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
r
d
oolaege
isc
c
.
c: un
i
on_p
w
_
qpolyno
m
i
a
l_up
p
er_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doola
e
ge
summate
.
c: f
i
x typ
o
in
comme
n
t
commit
|
commitdiff
|
tree
2010-08-17
Sv
e
n Verdoolaeg
e
i
s
l_
m
ap_apply_pw_
q
pol
y
nomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
S
v
e
n Verdoolae
g
e
update isl f
r
om isl_unio
n
_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaeg
e
iscc: al
l
ow i
n
verse on non-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaege
iscc:
a
dd wrap and un
w
rap
o
p
eratio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolae
g
e
a
d
d
is
l
_unio
n
_
map_ap
p
ly
_
union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
sl
_
pw_qpolynomial_sum: handle i
s
l
_
pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
u
pdate is
l
for nested dimension speci
f
ica
t
ions
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
e
rdoolaege
isl_map_card: po
s
tpone sh
u
ffling arou
n
d of
dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
a
ege
update
i
s
l
for isl_basic_map_move_d
i
ms
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
laege
isl_pw_qpolynom
i
al_
s
u
m
:
p
u
sh conversion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaege
i
s
l_pw_qpolynomial_
s
um:
check for unbounde
d
d
o
main
s
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doolaege
avoi
d
use of isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
iscc: s
u
ppor
t
c
odeg
e
n ope
r
ation
i
f CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verd
o
olae
g
e
iscc: switch
to
u
sin
g
u
n
i
ons
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolae
g
e
add isl_union_pw_qpolyno
m
ial_
s
um
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
add
isl_un
i
on_map_card
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdool
a
ege
isl_pw_qpolynomial_sum: take tuple name
s
into
account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
isl_m
a
p_c
a
r
d
:
preserve full domain
dimension information
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoola
e
ge
update i
s
l for change in isl_hash_
t
able_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
ba
r
vinok_enumerate
.
c
c
: fix pr
i
ntf fo
r
mat
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc
:
ad
d
some more pap
e
rs refe
r
ing to th
e
librar
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdo
o
la
e
ge
updat
e
isl to version
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
confi
g
ure
.
in: proper
l
y
add
i
sl fla
g
s and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: d
r
o
p call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
gen
f
un
.
cc:
f
ix printf
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_a
p
prox
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erd
o
olae
g
e
test_b
o
und
.
c
:
f
ix
printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
i
n
:
stop com
p
i
l
in
g
O
mega
b
y
default
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n
V
erdoolaege
v
erify_lexsmall
e
r
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
e
rdo
o
laege
e
valu
e
.
c:
avoid
use of a
l
loca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
evalue_i
s
l
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verdoolaege
iscc: reco
v
er
f
r
om e
r
rors
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verdoolaege
update isl for
imp
r
o
v
ed error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdool
a
ege
iscc
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-13
Sve
n
Ver
d
oolaege
doc: i
s
c
c: upd
a
t
e docu
m
entation o
f
"ub" opera
t
or
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx:
include ctype
.
h fo
r
is
s
pace
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
aeg
e
t
est_app
r
ox: include config
.
h f
o
r HAVE_
S
YS
_
TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Ve
r
doolaege
test_bound: include
c
onfig
.
h for HAVE_SYS
_
TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
iscc: ad
d
vertices operat
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
op
t
ionally use isl to perform parametric
vertex
e
numeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
updat
e
i
s
l
-
p
o
lylib for ha
n
dling of rational
set
s
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
ool
a
ege
drop
distinction between b
a
r
vin
o
k-core
and b
a
rvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaeg
e
rem
o
ve bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
l
a
ege
upd
a
te
i
sl for
g
eneric is
l
_pw_
q
polyno
m
i
a
l_b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
co
n
figure
.
in: drop bv_omeg
a
_pro
g
r
a
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
add isl_ctx_pee
k
_ba
r
vinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Ver
d
oolae
g
e
iscc: p
a
rse barvinok opt
i
ons
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaeg
e
export
i
s
l
_qpolynomia
l
_from_ev
a
lue
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Ver
d
ool
a
e
g
e
Make
f
ile
.
am: drop depen
d
ence on
d
oc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
update is
l
for rename
o
f isl_pw_qp
o
lynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolae
g
e
verif_ehrhart
.
c: add mis
s
ing i
n
clude
commit
|
commitdiff
|
tree
next