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
barvinok 0.32
2010-09-10
Sven Verdoolaeg
e
bar
v
inok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
i
scc: add lexicog
r
aphic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rd
o
olaege
update isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ve
r
doolaege
iscc:
a
d
d "source" oper
a
tion
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoolaege
iscc: add support
f
or strings
commit
|
commitdiff
|
tree
2010-09-06
S
v
en
V
erdo
o
laege
iscc: pr
i
nt error message on use of unknow
n
identif
i
er
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: suppo
r
t
u
nion sets in
vertices
o
per
a
tion
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Ve
r
doolaege
add isl_
l
i
s
t_concat
commit
|
commitdiff
|
tree
2010-09-05
S
ve
n
Verdoolaege
ba
r
v
in
o
k_
b
ound: use
i
sl
t
o
s
plit
p
er
i
ods
commit
|
commitdiff
|
tree
2010-09-05
Sven V
e
r
doolae
g
e
u
p
date isl for i
s
l_pw_qpolynomial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verd
o
olaege
doc: mark Pol
y
Lib
interface
obs
o
l
esc
e
n
t
commit
|
commitdiff
|
tree
2010-08-31
Sven
Verdool
a
ege
M
a
kefile
.
am: drop
r
e
ferenc
e
s t
o
obso
l
ete @bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalue_convert
.
cc: e
v
a
lu
e
_print_
i
sl:
print end
-
of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdo
o
laeg
e
iscc: allow coercion of binary list into fir
s
t element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvinok_b
o
und: con
v
ert to
i
sl_pw_qpolyno
m
ial onc
e
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvinok_
b
ound: use is
l
t
o split on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
do
o
laege
set sensib
l
e defaults with -
-
p
o
l
ynomial-ap
p
roximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdool
a
ege
isl_pw
_
q
polynomial_su
m
:
r
euse barvin
o
k_options
i
f availab
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolaege
i
sl_m
a
p_card: reuse barvinok_options
if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Ve
r
do
o
laege
up
d
ate isl f
o
r aligning param
e
ters of union argume
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
iscc: add "join
"
operation
o
n
f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
scc
:
add "join" op
e
ration
o
n
m
a
ps
a
nd f
o
ld
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
s
cc: support addition on a pair of a fold and a
q
uasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
updat
e
isl for adding
t
y
pes to is
l
_{un
i
o
n
_,}pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
V
er
d
oolaege
allow code
g
en o
n
se
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
ol
a
ege
i
scc:
c
odegen: detect strides
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
iscc
:
use si
m
plifi
e
d CLooG interfa
c
e
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
u
p
date isl for ren
a
me of
i
sl_pw_qp
o
lyno
m
ial_fold
_
add
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
iscc
.
c: union_pw_q
p
o
lynomial_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ve
r
doo
l
aege
summate
.
c: fix typo
i
n
c
o
mment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdo
o
laege
isl_map_apply
_
pw_qpolynomial: fix t
y
po
commit
|
commitdiff
|
tree
2010-08-10
S
ven Verdoolaege
u
pd
a
te isl from
isl_union
_
map fi
x
es
commit
|
commitdiff
|
tree
2010-08-10
Sven
Verdo
o
laege
i
s
cc: allow inve
r
s
e
o
n n
o
n
-unio
n
map
s
again
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
r
d
oola
e
ge
iscc: add wrap and un
w
rap op
e
ration
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add isl_uni
o
n_ma
p
_apply_union_
p
w_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
isl_pw_qpolyn
o
mial_sum: handle isl_p
w
_qpol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
update is
l
fo
r
n
es
t
e
d
dimen
s
i
o
n
specifications
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
i
s
l
_map_card:
p
ost
p
o
n
e
s
h
u
ffling around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoola
e
ge
updat
e
isl for isl_
b
asic_map_move_
d
ims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
aege
i
s
l_pw_qpolynomial
_
s
um:
pu
s
h conversion
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdoolaege
i
sl_pw_qpolynomi
a
l
_sum: c
h
eck for u
n
b
ounded
d
o
m
ains
commit
|
commitdiff
|
tree
2010-08-02
Sven V
e
rd
o
olaege
avoid use
of isl_dim
interna
l
s
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaeg
e
i
s
c
c: support code
g
en opera
t
ion if CLo
o
G
is available
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
i
s
cc: switch
t
o
using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoo
l
aege
add
i
sl_un
i
o
n_pw_qpo
l
ynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
d
ool
a
ege
ad
d
isl_union_map_
c
ard
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_pw_q
p
olynomial_sum: take tuple names into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
ola
e
g
e
isl_map_c
a
rd: preserve full do
m
a
i
n dimension informati
o
n
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
V
erdool
a
ege
up
d
a
t
e isl for c
h
ange in isl_
h
ash_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Ve
r
do
o
l
aege
barvinok_enumerate
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verd
o
o
laege
doc: a
d
d some mo
r
e p
a
pers refering to the library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
update isl
to versi
o
n
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
ven
V
erdo
o
laege
configure
.
in:
p
roperly add i
s
l fl
a
g
s
a
nd libs to
p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: dro
p
call to
gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
g
e
n
f
un
.
cc: fix
p
r
intf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_
a
pp
r
ox
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
r
d
o
olaege
test_
b
ound
.
c
:
f
ix pr
i
ntf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
configure
.
i
n
:
s
t
op
c
o
mpiling O
m
ega by defaul
t
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
d
o
o
l
a
ege
v
e
rify_lexsm
a
ller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c: avoid use
o
f alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_
i
s
l
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verdoolaege
i
scc: recover
f
rom
e
rrors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update is
l
for
impr
o
ved erro
r
handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-13
S
v
en Verdoolaege
d
o
c: iscc
:
update
documentation of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
te
s
t_a
p
pro
x
:
i
n
clu
d
e cty
p
e
.
h for
i
sspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_appr
o
x: include config
.
h for HAVE_SYS
_
TI
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oola
e
ge
test_
b
ound: incl
u
de config
.
h
for HAVE
_
SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
rdoolaege
iscc: add vertice
s
operat
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolae
g
e
optio
n
a
lly use isl to per
f
orm parametric
ve
r
t
ex enu
m
eration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
up
d
ate isl-polylib for handling
of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoo
l
aege
drop
di
s
tinction betw
e
en
barvin
o
k-cor
e
and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
eg
e
r
emove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
u
pdate is
l
for gen
e
ric isl_p
w
_q
p
olynomia
l
_
b
o
u
nd
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
ae
g
e
c
onfigur
e
.
i
n: dr
o
p bv_om
e
ga_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add isl_ctx_pe
e
k_
b
ar
v
ino
k
_options
commit
|
commitdiff
|
tree
2010-06-07
Sven
V
erdoolaege
iscc:
parse barvinok option
s
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
export isl_qpoly
n
omial_from_
e
valu
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
Makefile
.
am: drop dependen
c
e on
d
oc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
upd
a
te isl for re
n
a
m
e of isl_pw_q
p
o
lynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
doolaege
verif_ehrhart
.
c: add
missing
i
nclude
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdo
o
l
a
ege
co
n
figure
.
in:
fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdool
a
ege
use i
s
l for a
r
gume
n
t parsing
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdool
a
ege
update
i
sl f
o
r keepin
g
track
o
f user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
test_
b
ound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdool
a
ege
update isl for help message
pri
n
ting
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Ver
d
oolaeg
e
r
e
m
ove evalue_o
p
tim
u
m
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n Verdoo
l
aege
remove
e
value_ran
g
e_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Ve
r
d
o
o
laege
test
_
b
o
und: use isl interface
f
or comp
u
ting bounds
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Ve
r
do
o
laege
b
a
rv
i
nok_bound: use isl interface for compu
t
ing bou
n
ds
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
i
s
c
c
: support ub even if G
i
N
aC support wa
s
not com
p
iled in
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
add gene
r
ic i
s
l_
p
w_qpolyn
o
m
i
al_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
d
oolaege
upd
a
te isl for isl_pw_qpol
y
nomial_b
o
und_rang
e
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n V
e
rdool
a
ege
test_bou
n
d:
use isl
d
uri
n
g
v
e
ri
f
ication
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolae
g
e
ba
r
v
inok_b
o
und: use isl
d
u
ring veri
f
icatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolae
g
e
ve
r
ify
.
c
:
extract so
m
e
helper
f
unctions for
i
sl
b
ased
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
V
e
rdoola
e
ge
introduce "bound" op
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdoolae
g
e
options
.
c:
fix printf format
commit
|
commitdiff
|
tree
2010-05-10
S
v
en Verdoolaege
iscc: add a
p
plication operations
commit
|
commitdiff
|
tree
next