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
isl_pw_qpolynomial_sum: reuse barvinok_options if available in context
2010-08-26
Sv
e
n Verdoolaege
isl_pw
_
q
polyno
m
ial_sum: reuse barvinok
_
option
s
if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
i
sl_ma
p
_card: reuse barvinok_optio
n
s
if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
e
r
doolaege
update isl f
o
r ali
g
ning
par
a
met
e
rs o
f
u
nion arg
u
men
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
scc:
add "join" oper
a
tion
o
n
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
er
d
oolaeg
e
i
sc
c
: add "join"
oper
a
t
ion on maps and f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
iscc: support ad
d
itio
n
on a pair
of a f
o
ld and a quasi
p
olyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
upd
a
te isl for adding types to isl_{union_,}pw_qpolynomial
_
f
olds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaeg
e
allow co
d
egen on
s
ets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
iscc
:
codegen: detect stri
d
e
s
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
i
s
cc: us
e
simplifi
e
d
C
L
ooG in
t
er
f
ace
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
o
o
l
aege
update
isl for rename
of isl_pw_qpolynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ver
d
oolaege
iscc
.
c
: union_pw_qpolynomia
l
_
upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven
Verdoolaeg
e
i
sl_map_apply_pw_q
p
olyno
m
ia
l
: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven V
e
rdoolaege
upd
a
te isl f
r
om isl_un
i
on_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
oolaege
iscc
:
a
l
low inverse o
n
non-union
maps ag
a
in
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc: add wra
p
a
n
d
unwrap
op
e
rations
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
add
i
sl_union_map_apply_u
n
ion_pw_
q
polynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_
p
w_qp
o
lynomial_sum: handle i
s
l_p
w
_qpol
y
no
m
ials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoo
l
aege
up
d
ate isl for n
e
sted dime
n
sion speci
f
ications
commit
|
commitdiff
|
tree
2010-08-05
S
ven
V
erdoolaege
isl_map_card: postpone shuff
l
ing around of d
i
mensi
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoo
l
aege
update isl
f
or isl_basic_map_m
o
v
e
_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
isl_pw_qpolynomi
a
l_sum: push
conversi
o
n
t
o PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
isl_pw_qpol
y
no
m
ial_sum:
c
heck for unbounded doma
i
n
s
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verd
o
olaege
avoid use of isl_d
i
m internals
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verd
o
olaege
iscc: support codegen ope
r
ation
if CLooG is a
v
ail
a
ble
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
iscc: switch to
using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
d
oo
l
aege
add
isl_union_pw_q
p
olynomial_su
m
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl
_
union_map
_
c
a
r
d
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_pw_qpolynomi
a
l
_
sum: take
tuple names into acco
u
nt
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
isl_map_card: preserve full domain
dim
e
nsion informat
i
o
n
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
update i
s
l for change
i
n
isl_hash_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaeg
e
barvin
o
k
_
enumerate
.
c
c: fi
x
p
rintf f
o
rmat
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
d
o
c: add s
o
me more
paper
s
ref
e
ring to the library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
barv
i
nok
0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update isl to
ver
s
ion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
configur
e
.
in:
prope
r
ly add isl flags an
d
libs to
p
kg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in:
d
r
op call t
o
gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
g
enfun
.
cc: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoo
l
aege
test_ap
p
rox
.
c: fix print
f
for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erd
o
ola
e
ge
tes
t
_bound
.
c: fix
printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rdoolaege
configu
r
e
.
in: stop compiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
S
ven Ver
d
o
olaege
ve
r
if
y
_lexsmaller
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
e
r
d
o
ol
a
e
g
e
e
v
alue
.
c: avoid use of allo
c
a
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
e
r
doola
e
ge
evalue_isl
.
c
:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
rdoo
l
aege
iscc: re
c
over from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verd
o
olaege
upda
t
e
i
sl fo
r
i
mproved error handling
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdo
o
la
e
ge
iscc
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Ver
d
oolaege
doc
:
iscc: updat
e
docum
e
n
tation of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aege
test_ap
p
rox: include ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
test_app
r
ox:
i
nc
l
ude
config
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bou
n
d: include config
.
h f
o
r
HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc: add vertices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
op
t
ional
l
y use
is
l
t
o
perform pa
r
ametric vertex enu
m
era
t
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
update isl-p
o
l
ylib for
h
andling of ra
t
ional sets
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Ve
r
do
o
l
aege
drop
d
istinction
b
etween ba
r
vinok-core and
barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
rem
o
ve
bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verd
o
o
lae
g
e
update
isl for generic i
s
l_pw
_
qpolynomi
a
l_
b
ound
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
e
r
d
oolaege
configure
.
in: drop b
v
_ome
g
a_
p
r
o
gr
a
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
eg
e
add isl_ctx_peek_barvi
n
ok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verd
o
olaege
iscc
:
parse
barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
export i
s
l_qpolynomial_fro
m
_
evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaeg
e
Make
f
i
l
e
.
am: drop depende
n
ce on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoo
l
a
eg
e
updat
e
isl for
r
ename
o
f isl_pw_qpolyno
m
ial_m
o
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
ver
i
f_ehrh
a
rt
.
c: add missing inc
l
ude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
configu
r
e
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use isl for argum
e
nt parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
update isl
for kee
p
ing t
r
ack
of user options
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdoo
l
aege
tes
t
_bound: rewrit
e
in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven V
e
r
doolaege
update isl fo
r
help message printi
n
g
commit
|
commitdiff
|
tree
2010-05-15
S
ven
Verdoolaege
remove eva
l
u
e
_o
p
t
i
mum
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
r
d
ool
a
e
g
e
remove ev
a
lue_range_propag
a
tion
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
o
o
laege
t
es
t
_bound: use isl in
t
e
r
fa
c
e
for computing
b
ounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
barvin
o
k_bou
n
d
: u
s
e isl int
e
rface
f
or com
p
uting
bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
iscc: supp
o
rt ub
even if G
i
NaC
sup
p
o
r
t was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add
g
eneric is
l
_pw_qpolyn
o
mial_
b
ound
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oo
l
aege
u
p
date isl
f
or isl_p
w
_qpolynomial_bound_
r
ange
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaeg
e
test_
b
ound: use
i
sl
during
ve
r
ification
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
ba
r
vino
k
_bound
:
use isl d
u
ring v
e
ri
f
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
verify
.
c: e
x
tract some h
e
lper functions
f
o
r
isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce
"bo
u
nd" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
options
.
c: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-05-10
Sv
e
n Verdoola
e
ge
iscc: add
applicat
i
o
n
operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
oolaege
iscc: add r
e
ad
operation
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoolaege
i
s
cc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
upd
a
te is
l
for
reading o
f
strings
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ve
r
doolaege
update i
s
l
for f
i
x in isl_printer_pr
i
nt
_
p
w
_
qp
o
lynom
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
update isl
-
polylib f
o
r change in
p
kg
-
con
f
ig f
i
l
e
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
erdoo
l
aege
i
s
cc: allow
s
pecificati
o
n
of outp
u
t
format
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdool
a
ege
upda
t
e i
s
l for ch
a
n
g
e in isl_set_gi
s
t
a
rgument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdool
a
e
g
e
update isl
for re
n
a
m
e
o
f isl_map_mo
v
e
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdoolaege
co
n
f
i
gure
.
in: add is
l
flags a
n
d libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n
Verdool
a
ege
i
scc: test isl_stream for e
o
f rath
e
r
t
h
an
t
h
e u
n
derlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaege
i
sc
c
:
add deltas operat
i
on
commit
|
commitdiff
|
tree
2010-04-07
S
ven V
e
r
d
oolae
g
e
update isl
f
o
r fix
i
n isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaeg
e
drop barvinok_enumerate_pi
p
_wi
t
h_op
t
io
n
s
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
e
rdoolaege
iscc:
a
dd cross product operati
o
ns
commit
|
commitdiff
|
tree
2010-03-31
Sven
V
e
r
doolaege
iscc: add coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolae
g
e
upda
t
e isl
for isl_pw_qpoly
n
omial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven
Ver
d
oolaege
drop "Omega counting calculator
"
commit
|
commitdiff
|
tree
next