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 scan operation
2010-11-03
Sven Verdool
a
ege
iscc: add sca
n
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
isl_p
w
_qpolynomia
l
_sum:
h
a
n
dle
e
xiste
n
t
i
als in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Ve
r
doolaeg
e
upd
a
te isl for renaming of
i
s
l
_map_re
m
ove
commit
|
commitdiff
|
tree
2010-10-20
Sven V
e
rdoola
e
g
e
vers
i
on
.
c: show us
e
of
C
L
ooG
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verd
o
olaege
doc: a
b
it
m
ore info on isc
c
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdool
a
ege
isc
c
:
a
d
d be
f
or
e
and after operations
commit
|
commitdiff
|
tree
2010-10-18
S
ve
n
Ver
d
oolaege
i
s
cc: add identity opera
t
i
o
n
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
laege
iscc: br
e
ak
o
ut of
f
ma
i
n loop when printe
r
no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
a
ege
iscc: support
e
xtended Pol
y
Lib output form
a
t
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdoolaege
configure
.
in: per
f
orm check
for GMP support
i
n NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
isl_Polyhedron_Sample: ad
d
missing
initialization
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n
Verd
o
olaege
is
c
c: ad
d
compo
s
ition operation on
p
iec
e
wise quasipoly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
v
en
Verdoolaege
i
scc: add d
e
pendence ana
l
ysis op
e
rat
i
ons
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
do
o
lae
g
e
is
c
c: reg
i
ster
e
xtr
a
keywo
r
ds in ge
n
er
i
c way
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
V
e
rdo
o
laege
us
e
i
s
l to perform "man
u
al_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoo
l
aege
a
llow
building without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
Po
l
yhedro
n
_Redu
c
ed_Basi
s
: optio
n
ally use is
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
fix d
e
p
endence on bui
l
d i
s
l
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoo
l
aege
isl_m
a
p
_
card
:
us
e
isl for
f
a
ctorization
commit
|
commitdiff
|
tree
2010-09-14
Sve
n
Verdoo
l
aege
isl_map_card:
s
plit dimension
f
id
d
l
ing from conv
e
rsi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
Ve
r
doolaege
isl_ma
p
_card
:
use isl_pw_qpoly
n
omial_s
u
m if request
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
b
arvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
ven Verdo
o
lae
g
e
update isl for fix
i
n para
m
et
e
r alignmen
t
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
v
en Verdo
o
laege
iscc: add
l
exi
c
ographic oper
a
tors
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdoolaege
update isl to v
e
r
s
ion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verd
o
olaege
iscc: add
"
source" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc
:
add support for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdoolaege
iscc: p
r
int error messag
e
o
n
use of unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoolaege
iscc: support union sets in vertices operatio
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoo
l
aege
add is
l
_list_conc
a
t
commit
|
commitdiff
|
tree
2010-09-05
S
v
en Verdoolaeg
e
barvinok_bound: use isl to split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaeg
e
update
isl for
i
sl
_
p
w
_qpolynomial
_
spli
t
_period
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
oolaege
doc: mark Po
l
y
L
ib
i
nterface ob
s
o
lescent
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verdoolaege
Makefile
.
a
m
: drop references to
obsolete @bv_barvinok
_
b
o
un
d
@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
e
v
a
lue_convert
.
cc: evalue_
p
rint_isl: pri
n
t end-
o
f-line
commit
|
commitdiff
|
tree
2010-08-30
Sven V
e
rdoolaege
i
scc:
a
llow c
o
ercion
of b
i
nary list into first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvinok
_
bou
n
d: convert t
o
i
sl_p
w
_
q
polyn
o
mial o
n
c
e
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
V
erdoolaege
bar
v
inok
_
bound: use
i
sl t
o
split on do
m
ain s
i
ze
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set se
n
sib
l
e
defau
l
ts with --poly
n
o
mial-
a
p
p
roximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
olaege
isl_pw_qpolynomial_sum:
r
e
u
se barvinok_option
s
if availa
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolaege
i
sl_map_card: reuse barvinok_optio
n
s if availa
b
le in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en
Ver
d
oolae
g
e
update i
s
l for aligning parameter
s
of
u
n
ion argument
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoo
l
aege
iscc: add "join"
o
peration on
f
o
l
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ver
d
ool
a
ege
iscc: add "
j
oin"
operation on maps an
d
fo
l
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: suppo
r
t addi
t
ion
on a pair of a fold and a quasipol
y
no
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
r
d
oolae
g
e
up
d
ate
i
s
l
for adding type
s
to isl_{union_,
}
pw_qpoly
n
o
mial_
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoola
e
ge
allow co
d
e
g
en on
s
e
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sven
Ve
r
doolaege
is
c
c: codegen: dete
c
t strides
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
iscc: use simplified CLooG in
t
erface
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
u
p
date isl f
o
r
re
n
a
m
e of isl_pw_qpolynomial_f
o
l
d_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
.
c
: un
i
on_
p
w
_
qpolynomial_upper_bound: fix
m
emory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoo
l
aege
s
ummate
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoo
l
aege
i
s
l
_
map_apply_pw_qpolynomia
l
: fix ty
p
o
commit
|
commitdiff
|
tree
2010-08-10
Sven
Verdool
a
ege
u
pdate i
s
l from isl_uni
o
n_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven
Verdoolaeg
e
iscc:
a
llo
w
invers
e
on n
o
n-u
n
ion maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven
Ver
d
oolaege
iscc: add wrap and unwr
a
p o
p
e
r
a
tions
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
a
dd i
s
l_union
_
map_app
l
y_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
isl_pw_qpolyn
o
mial_
s
um: handle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
updat
e
isl for nested dime
n
sion specificatio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdo
o
laege
isl_ma
p
_c
a
rd: postpon
e
sh
u
ffling around of
dime
n
sions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
update isl f
o
r isl_basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
o
o
laege
isl_
p
w
_
q
polynomial_s
u
m: push conversi
o
n to Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoolaeg
e
isl_pw_qpolyno
m
ial_sum: check
f
or unbounde
d
domains
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verdoolaege
a
v
o
i
d us
e
of isl
_
dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: support code
g
en operation if CL
o
oG is ava
i
lable
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
iscc: switch
t
o using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
ad
d
isl
_
union_pw_
q
p
o
lynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
add
i
sl_uni
o
n_
m
ap_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
isl_pw_qpol
y
nomial_sum: t
a
ke tuple name
s
into
account
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
r
doolaege
isl_
m
ap
_
card: preserve full dom
a
in dimensio
n
informat
i
on
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoola
e
g
e
update i
s
l for
c
hange in is
l
_hash_table_fo
r
each
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaeg
e
b
a
rvinok
_
en
u
m
erate
.
cc: fi
x
p
ri
n
t
f
format
commit
|
commitdiff
|
tree
2010-07-03
S
v
en Ve
r
doolaege
d
oc:
a
dd some more
p
a
p
e
r
s
refering to
t
he library
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdo
o
laege
barv
i
nok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
r
d
oolaege
u
p
d
ate is
l
to versi
o
n 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
onf
i
g
u
re
.
in: p
r
operly add isl flag
s
and libs to pk
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verd
o
olaege
c
onfigur
e
.
in: drop call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rd
o
olaege
gen
f
un
.
cc: fix pri
n
tf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoola
e
ge
test_ap
p
rox
.
c: fix p
r
i
n
tf
f
orm
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
test_bound
.
c: fix
printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
co
n
figure
.
in: stop comp
i
ling O
m
ega by de
f
ault
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolaeg
e
verif
y
_lexsmaller
.
c: fix
ty
p
o
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Ve
r
doolaege
ev
a
lue
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
evalu
e
_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
e
rdo
o
lae
g
e
iscc:
r
e
cover from er
r
ors
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
rdoolaege
upd
a
te isl for impro
v
e
d
e
rror
handling
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdool
a
ege
is
c
c
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-13
Sv
e
n
V
erdoo
l
aege
doc:
is
c
c: update docu
m
entation of "ub
"
ope
r
ator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laege
t
e
s
t
_approx:
incl
u
de ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
ol
a
ege
test_
a
pprox
:
include config
.
h
f
o
r HAVE_SYS_TIMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
te
s
t
_bound
:
include
config
.
h for HAVE_SYS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
a
e
ge
iscc
:
add ver
t
ices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
option
a
lly use isl to per
f
o
r
m parametri
c
vertex enu
m
e
r
ation
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
up
d
ate isl-polylib for handling of rational
sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
d
r
op distinc
t
ion
between barvinok-core and b
a
rvi
n
ok
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
up
d
a
te isl f
o
r generic isl_p
w
_
qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaeg
e
configur
e
.
i
n: drop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
o
laege
add is
l
_ctx_peek_barvinok_op
t
i
o
ns
commit
|
commitdiff
|
tree
next