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
allow codegen on sets
2010-08-18
Sv
e
n Verdoolaege
allow cod
e
g
en
o
n
sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
ola
e
g
e
i
scc: codegen
:
detect
strides
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
iscc: use simplifie
d
CLooG in
t
erface
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
upda
t
e
isl f
o
r
r
e
name of isl_pw_qpol
y
nomial_f
o
ld_add
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rd
o
olaege
iscc
.
c:
u
n
ion_pw_qpolynomial_uppe
r
_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summat
e
.
c
:
f
i
x typo in
comment
commit
|
commitdiff
|
tree
2010-08-17
Sv
e
n
Verdool
a
ege
is
l
_
map_apply_pw_
q
polynomial: fix t
y
po
commit
|
commitdiff
|
tree
2010-08-10
S
ven
Verdoolaege
up
d
ate i
s
l
from isl_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven
Verdoolae
g
e
iscc: allow i
n
verse
on non-u
n
ion maps again
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
Verdoolaege
iscc: add wrap and unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaege
a
d
d isl
_
union_ma
p
_apply_union_pw_qpo
l
yno
m
ial
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oo
l
aege
isl
_
pw_qpolynomial_sum: handle i
s
l_pw_
q
polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolae
g
e
upd
a
te isl for neste
d
dimens
i
on spec
i
fica
t
i
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven
Ve
r
doolaege
isl_map
_
car
d
: p
o
stpone
s
h
u
fflin
g
around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
update
i
sl f
o
r isl_ba
s
ic
_
map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoolaege
isl_pw_qp
o
ly
n
omia
l
_sum: p
u
sh conversion to
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
r
d
oolaeg
e
isl_pw_qpoly
n
omial_sum: check
f
or unbound
e
d domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
oolaege
a
v
oid use of
i
s
l
_
dim i
n
ter
n
als
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verd
o
olaege
iscc: supp
o
rt cod
e
gen oper
a
t
ion if CLooG is
avai
l
a
ble
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
Ve
r
doolaege
iscc:
switch to using unio
n
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
a
d
d isl_union_pw_qpolyn
o
mial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
ad
d
isl_u
n
ion_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
isl_pw_qpolynomial_sum: tak
e
tuple na
m
es into
acc
o
unt
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ver
d
o
o
laege
isl_map_car
d
: preserv
e
full d
o
main dimens
i
on
i
nformation
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdool
a
e
ge
update isl for change in isl_
h
ash_table_
f
or
e
ach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
barvinok_enumerate
.
cc: fix p
r
intf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc
:
a
d
d some more papers refering t
o
the library
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
up
d
ate isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
ven V
e
rdoolaege
configure
.
i
n
: pr
o
perly
add isl flags
a
nd libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
o
nfigure
.
in: drop call
t
o
gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
S
ven
Verdoolaege
genfun
.
cc: fix
printf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdo
o
laege
test_approx
.
c: fi
x
pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
test_bound
.
c: fix
p
r
i
ntf
f
o
r
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ve
r
doola
e
ge
configure
.
in:
s
t
o
p co
m
p
iling
O
mega b
y
default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdool
a
e
ge
verify_
l
exsm
a
ller
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoolaege
evalue
.
c: avoid use
of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Ver
d
oolaege
iscc
:
recover from
e
rrors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoola
e
g
e
update
i
sl
f
or improved
error
h
andling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c
:
fix t
y
po
commit
|
commitdiff
|
tree
2010-06-13
Sv
e
n Verdoolaege
doc: iscc: update docume
n
tation of "ub" opera
t
or
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: include ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
l
a
ege
tes
t
_
a
pp
r
ox: include
c
onfig
.
h
f
o
r
HA
V
E_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rd
o
olaeg
e
test_bound
:
include config
.
h for HAVE_SYS_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
iscc: add verti
c
es operat
i
o
n
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
o
p
tio
n
ally use isl to perform parametr
i
c ve
r
tex en
u
meration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
eg
e
u
pdate i
s
l-pol
y
l
i
b for h
a
ndl
i
ng of ra
t
ional sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doola
e
ge
dr
o
p distinc
t
ion between ba
r
vinok-core a
n
d
barv
i
nok
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoola
e
ge
remov
e
bernste
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
o
o
laeg
e
up
d
ate isl for gener
i
c isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
configure
.
in: drop bv_o
m
ega_pro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_peek_barvin
o
k_o
p
tio
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sve
n
Verdoolaege
iscc: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verd
o
olaege
ex
p
ort
isl_qpolynom
i
al
_
from_
e
value
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
Makefile
.
am:
d
r
op dependence on doc/ome
g
a
.
t
e
x
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoo
l
aege
update isl f
o
r rename of isl_pw_qpolynomi
a
l_move
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
rdoolaege
veri
f
_ehrhart
.
c: add
m
issin
g
in
c
lud
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configure
.
i
n
: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ve
r
dool
a
ege
use isl for
arg
u
ment parsing
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n V
e
r
doolae
g
e
update i
s
l f
o
r keepin
g
track of user options
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verdoolaege
test_
b
o
u
nd:
rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoo
l
aege
u
p
date isl for hel
p
message printing
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n
Verdoolaege
re
m
o
ve evalue_optimu
m
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
e
rdoolaege
r
emove eva
l
ue_rang
e
_pr
o
pa
g
ation
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oo
l
a
e
ge
test_bou
n
d: use i
s
l in
t
e
rface for compu
t
ing bounds
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoola
e
ge
b
arvinok
_
bound: use isl interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
iscc: su
p
port
u
b
even i
f
GiNaC support was
n
ot com
p
iled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
dd
generic isl_pw_qpolyn
o
mia
l
_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
o
laege
update isl f
o
r isl_pw_q
p
olynom
i
al
_
b
o
u
nd_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
test
_
bound:
use isl
duri
n
g
verification
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
barvino
k
_bound: use isl during verifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ve
r
doolaege
v
erify
.
c: extract some helper func
t
ions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolae
g
e
introduce
"boun
d
"
o
ption
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ve
r
doolaege
o
ptions
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven
V
erdoolaege
i
s
c
c
: add application
o
perations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc:
a
dd read op
e
ration
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolaege
is
c
c: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
updat
e
isl for reading
of strings
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n
Verdoolaeg
e
update isl
f
or fix in isl_printer_pri
n
t_
p
w_qp
o
l
yno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ve
r
doola
e
ge
update isl-polylib
for c
h
a
n
ge in pkg-config fil
e
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
er
d
oolaege
iscc: al
l
ow speci
f
ication
o
f out
p
ut fo
r
mat
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaege
upda
t
e isl for c
h
ang
e
in isl_set_g
i
st
argument
commit
|
commitdiff
|
tree
2010-04-11
Sven
V
erdoolaege
u
pdate isl for
re
n
ame
o
f isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoola
e
ge
conf
i
gure
.
in: add isl
f
lag
s
and libs to pkg-con
f
ig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
i
s
c
c
: test isl
_
strea
m
for
e
o
f
rather
than th
e
un
d
erlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoolaege
iscc:
add deltas op
e
ration
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaege
up
d
ate isl
f
or fi
x
i
n
isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop
barvino
k
_
e
numer
a
te_pi
p
_with_op
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
iscc: add cross p
r
odu
c
t o
p
era
t
ions
commit
|
commitdiff
|
tree
2010-03-31
Sv
e
n Ve
r
doolae
g
e
is
c
c: add coalesce
o
p
era
t
ions
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n
Ver
d
oolaege
update isl for isl_pw_qpolynom
i
al_coales
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Ver
d
oo
l
aege
drop "Omega c
o
unti
n
g
c
alculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
tes
t
_bound
.
cc: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
b
e
r
nstein
.
cc: fi
x
prin
t
f format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_range
_
propaga
t
ion:
f
ix sub
s
titution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein/configu
r
e
.
i
n: use absolu
t
e
s
rc
d
ir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only distribu
t
e
bun
d
led s
u
bm
o
dules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
update omega for c
o
nf
i
guration
i
s
sue
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolae
g
e
config
u
re
.
in
:
allow
"
build" PolyLib
commit
|
commitdiff
|
tree
next