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 support for recent clangs
2010-08-31
Sve
n
V
erdo
o
laege
eval
u
e_convert
.
cc: evalue_print_isl: print
e
nd-o
f
-line
commit
|
commitdiff
|
tree
2010-08-30
Sv
e
n Verdoolaege
iscc
:
allow coerc
i
on of b
i
nary lis
t
int
o
f
i
r
st el
e
me
n
t
commit
|
commitdiff
|
tree
2010-08-28
S
v
e
n
Verdoolaeg
e
barvin
o
k_bound:
c
onvert to
isl_p
w
_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdoo
l
aeg
e
barvin
o
k_bound: use isl to split on
domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdool
a
ege
set sensible def
a
ults with --p
o
lynomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n
Ve
r
d
oolaege
isl_p
w
_qp
o
ly
n
omial_sum: r
e
use barvinok_o
p
tions if avai
l
able
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
laege
i
s
l
_map_c
a
rd: reuse bar
v
ino
k
_opt
i
o
n
s if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
u
p
date isl for
aligning pa
r
amete
r
s of union a
r
gume
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaeg
e
i
s
cc: add "
j
oin"
operation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "join" ope
r
ation
o
n maps and
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
isc
c
: s
u
pport
a
d
d
iti
o
n
o
n a pair of a fo
l
d and a qua
s
ipol
y
no
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
updat
e
isl f
o
r adding ty
p
es to isl_
{
un
i
on_,}
p
w_q
p
ol
y
nomial_fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow
c
odege
n
on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
i
scc: codege
n
: detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolae
g
e
is
c
c: use simplified CLooG i
n
terface
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
update isl
for rename o
f
isl_pw_qpolynom
i
al_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
.
c: union_pw_qpolynomia
l
_upper_b
o
und
:
f
i
x memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
V
erdoolaege
summate
.
c: fix typo in c
o
mme
n
t
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoo
l
ae
g
e
isl_map_apply_pw_qpol
y
nomia
l
: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven
Verdo
o
laege
u
pdate isl
f
ro
m
isl_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
oolaege
i
scc: allow i
n
verse on non-union ma
p
s again
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
iscc: add wra
p
a
nd unwr
a
p opera
t
io
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olae
g
e
add isl_u
n
i
o
n_map_apply_u
n
io
n
_
pw_
q
polyno
m
ial
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doola
e
ge
i
s
l
_
pw_qpol
y
nomial_sum: handle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolae
g
e
update isl fo
r
nes
t
e
d
d
i
mensio
n
specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
s
l_map_card:
p
ostpone shuffling ar
o
u
nd of
d
imensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolae
g
e
update isl f
o
r i
s
l_ba
s
ic_map_mo
v
e
_
dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
en
Verdoolaege
isl_pw_qpolynomial_sum: push conversion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
ege
is
l
_pw_qpo
l
y
n
omial
_
sum: check for unbounded dom
a
ins
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoo
l
aege
a
v
oid use of
is
l
_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven
Ve
r
d
oolaege
iscc: support cod
e
gen oper
a
tion if CLooG
i
s
av
a
ilable
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doo
l
aege
iscc: switch
to using u
n
ions
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoo
l
aege
add isl_union_pw_qp
o
lynomi
a
l_sum
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
a
d
d isl_union_map_c
a
rd
commit
|
commitdiff
|
tree
2010-07-31
S
ven Ver
d
oolae
g
e
isl_pw_
q
polynomial_sum: take tuple names into account
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ver
d
o
o
laege
isl_map_
c
ard:
p
r
eserve
f
ull do
m
ain dime
n
sio
n
info
r
m
ation
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
updat
e
i
s
l
f
o
r change in
i
sl_hash_table_fore
a
c
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
barv
i
n
o
k_enumer
a
te
.
cc:
f
i
x prin
t
f format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc
:
add some more pa
p
ers refering to the library
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ver
d
oolaeg
e
barvin
o
k 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
up
d
at
e
isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
i
n
: properly add isl fla
g
s
a
nd libs
t
o p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: drop
c
a
ll to
g
l_EA
R
LY
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
genfu
n
.
c
c
: fix print
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
tes
t
_approx
.
c: fix
p
rintf for
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
r
doolaeg
e
t
e
s
t
_bou
n
d
.
c: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
configu
r
e
.
in: stop c
o
mpiling O
m
e
ga by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
ver
i
fy_lexsmaller
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoolaege
ev
a
lue
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
ool
a
e
g
e
evalue_isl
.
c: f
i
x
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoo
l
aege
iscc:
r
ecover from errors
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
V
e
rdoolaege
u
pdate isl for impro
v
ed
e
rror handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
iscc
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Ve
r
doolaege
d
o
c
: iscc
:
u
pda
t
e docu
m
entation of
"
ub
"
operato
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_appro
x
: inclu
d
e
c
type
.
h for iss
p
ace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
tes
t
_approx: include con
f
ig
.
h
f
or HAVE_SYS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
o
o
laege
test_bound
:
i
n
clude config
.
h f
o
r HAVE
_
SYS_TIMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
r
doolaeg
e
i
s
c
c
: add
vert
i
ces o
p
erations
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoola
e
ge
opti
o
nally use isl to
p
e
rf
o
rm
p
a
r
a
metri
c
vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
update i
s
l-polylib for handling of ra
t
iona
l
sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
drop di
s
tinc
t
ion between b
a
r
v
i
nok-core and barvi
n
o
k
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verd
o
ol
a
ege
r
e
m
o
ve bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
update
i
s
l for
gen
e
ric isl_pw_qpolynomial_bou
n
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
configure
.
in: drop bv_omega_progr
a
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
ege
add is
l
_ctx_peek_
b
arvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven V
e
rdool
a
ege
iscc: parse ba
r
v
i
nok options
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
d
ool
a
ege
export isl_qpolyn
o
m
i
al_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am:
d
rop
depend
e
nce on doc
/
om
e
ga
.
t
ex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
ol
a
ege
update isl for ren
a
me
of isl_
p
w
_
qpolyno
m
ial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
do
o
laege
v
e
rif_
e
hr
h
art
.
c: add missing
i
nclu
d
e
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdool
a
ege
c
o
n
f
i
g
ur
e
.
in: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoo
l
aege
use
isl for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
update isl for keeping trac
k
of user o
p
tions
commit
|
commitdiff
|
tree
2010-05-19
Sven V
e
rdoo
l
aege
test_boun
d
:
rew
r
ite in C
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verd
o
olaege
update isl
f
or help message
p
ri
n
ti
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
remove
e
value_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
r
e
move
e
v
a
l
ue_ran
g
e_propagation
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdo
o
la
e
ge
test
_
bound: use i
s
l
interface for computin
g
bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
barv
i
nok_bound: use isl inter
f
ace fo
r
computing bound
s
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
iscc: supp
o
rt ub even if Gi
N
aC support was
n
ot compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
add
generic isl_
p
w_qpolyn
o
m
i
al
_
bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
update isl for isl_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdool
a
ege
te
s
t_bound: use isl during verificatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
barvinok
_
bound: u
s
e isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolae
g
e
verify
.
c: extract so
m
e helper functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oo
l
ae
g
e
introduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
options
.
c
:
fix
p
rintf
f
o
rma
t
commit
|
commitdiff
|
tree
2010-05-10
Sven
Verdo
o
laege
iscc: add a
p
pli
c
ati
o
n operat
i
ons
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: add r
e
ad operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
oolae
g
e
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n
V
erdo
o
laeg
e
update isl f
o
r readin
g
of
s
tr
i
n
g
s
commit
|
commitdiff
|
tree
2010-04-21
S
ven
V
erdoo
l
ae
g
e
upd
a
t
e
i
s
l for fi
x
i
n
isl_printer
_
print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
up
d
ate isl-polylib for c
h
ange in pkg-c
o
nfig file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
i
s
c
c: al
l
ow specifi
c
atio
n
o
f o
u
tput format
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Ve
r
doolaege
upd
a
te isl for
c
h
ange in isl_set_g
i
st argu
m
ent
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolae
g
e
update isl for rena
m
e
of isl_
m
ap_move
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaege
c
o
nfigure
.
in: add isl flags and libs to pkg-conf
i
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
isc
c
: test
i
s
l_stream for eof rather than
the underlyin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoolaege
isc
c
:
add d
e
ltas
operatio
n
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
V
erd
o
ol
a
eg
e
update isl
f
or fix in isl_map
_
deltas
commit
|
commitdiff
|
tree
next