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: extract out call_bin_op
2010-08-05
Sven Verdoolaege
isl_pw_qpo
l
ynomial
_
sum: handle
isl_pw_qpolynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laeg
e
update isl for nested dim
e
n
si
o
n
specificati
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Ve
r
doolaeg
e
isl
_
m
a
p_card: postpone s
h
uf
f
ling around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
upda
t
e isl for isl_basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n
Verdoola
e
ge
isl_pw
_
qpolynomi
a
l_sum
:
p
u
sh conversion
to Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
isl_pw
_
qpolynomial_sum
:
check for unbou
n
de
d
d
omains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
avoid use of isl_di
m
internal
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oola
e
g
e
iscc: suppo
r
t co
d
egen
o
perati
o
n if CLooG i
s
a
v
ailable
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
i
scc:
switch to
u
sing union
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
add isl_uni
o
n
_pw_qpol
y
no
m
ial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaeg
e
add isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
a
e
g
e
isl
_
pw_qpolynomial_sum: take tuple names into account
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
V
er
d
oolaege
isl_
m
ap_card: preserve full domain dimens
i
on
i
nformation
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
rdool
a
ege
u
pdate i
s
l
for
c
hange
i
n isl_hash_table_fore
a
ch
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
a
ege
barvinok_enumerat
e
.
c
c: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verd
o
ol
a
e
g
e
doc: add some more papers refering to the library
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoola
e
g
e
barvin
o
k
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
u
pdate
isl to version 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
e
g
e
configure
.
in: properly ad
d
isl flags and
l
ibs
t
o pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
v
en V
e
rdoolaege
c
o
n
f
igure
.
in: drop
c
a
l
l
to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
S
ven
Verdo
o
laege
g
en
f
un
.
cc: fix prin
t
f format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
eg
e
test_a
p
pr
o
x
.
c
: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
V
er
d
oolaege
t
e
s
t
_bound
.
c: f
i
x printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
onfigure
.
in: sto
p
compiling Ome
g
a by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Ver
d
oolaege
verify_lexsm
a
ller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verd
o
olaege
evalue
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdo
o
lae
g
e
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc: reco
v
er from e
r
r
o
r
s
commit
|
commitdiff
|
tree
2010-06-20
Sven Ver
d
o
olaege
up
d
a
t
e isl f
o
r improve
d
error handlin
g
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
iscc
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdo
o
lae
g
e
do
c
: iscc:
u
pda
t
e doc
u
mentation
of "ub" ope
r
ator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
tes
t
_approx: i
n
clude ctype
.
h for iss
p
a
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
test_approx:
i
nc
l
ude c
o
nfi
g
.
h
for
HAVE_SYS
_
TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olaege
t
est_bou
n
d: include conf
i
g
.
h for HAVE_
S
YS
_
TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
do
o
laeg
e
isc
c
: add vertices operat
i
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
optionall
y
use isl to perfor
m
parametr
i
c vertex enumera
t
io
n
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
update isl-pol
y
lib for handling
o
f rational
s
ets
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
o
o
laege
dro
p
d
istinction b
e
tween barvinok-core and ba
r
vinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update is
l
for generic i
s
l
_
pw_qpoly
n
omia
l
_bound
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdool
a
e
ge
conf
i
gure
.
in: drop bv
_
om
e
ga_
p
ro
g
r
ams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
add isl_ctx_peek_bar
v
i
n
ok_optio
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sven Ver
d
oolaege
iscc: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
exp
o
rt is
l
_qpolyn
o
m
ial_from_eval
u
e
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Ver
d
oolaege
Makefil
e
.
am
:
dro
p
d
e
p
e
ndence on d
o
c/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
upd
a
te
isl
for
r
ename of
i
sl_pw_qpolynomi
a
l_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
ve
r
if_ehrhart
.
c: add missi
n
g
include
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
configu
r
e
.
in: f
i
x ty
p
o
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olae
g
e
use isl
f
or argum
e
nt parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl for keeping tr
a
c
k
of
user op
t
ions
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verd
o
olaeg
e
test_bound: re
w
rite i
n
C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Verdool
a
ege
up
d
a
te
isl for help message printi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
remove
e
value_opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaeg
e
remove
e
v
alue_range_pro
p
ag
a
tion
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
l
aege
test_
b
ound: us
e
isl interface for c
o
mpu
t
ing bou
n
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
barvin
o
k_bound: use isl interf
a
ce for computing
bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
iscc:
s
upport ub even
if GiNaC suppo
r
t was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
eg
e
add gener
i
c
isl_pw_q
p
olynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolae
g
e
update
i
s
l
f
o
r is
l
_pw_q
p
ol
y
nomial_
b
ound_rang
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
t
e
st_bound: use
is
l
during verification
commit
|
commitdiff
|
tree
2010-05-14
S
ven Ver
d
oolaege
barvinok_bound:
u
se
isl
d
uring ver
i
fication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c: ex
t
ract
some helper functions for isl
b
ased
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
eg
e
intr
o
duce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olae
g
e
o
p
tions
.
c: fix printf forma
t
commit
|
commitdiff
|
tree
2010-05-10
Sven
Verdoolaege
i
s
cc:
a
d
d a
p
p
l
ication operations
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoolaeg
e
iscc: add
read
o
peration
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
S
v
en
V
erdoolaege
update isl for rea
d
i
n
g of st
r
ings
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
d
o
olaege
update is
l
for fix in isl_p
r
int
e
r_
p
r
int_p
w
_qpoly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aege
updat
e
isl-pol
y
li
b
for
c
h
ange in
pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdool
a
ege
i
scc: allow specification of output
forma
t
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdo
o
l
a
ege
updat
e
isl for change in isl_set_
g
ist argum
e
nt
commit
|
commitdiff
|
tree
2010-04-11
S
v
en Ve
r
dool
a
ege
up
d
ate
i
sl for ren
a
me of
i
sl_ma
p
_move
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n Ve
r
doolaege
confi
g
ure
.
in: a
d
d isl flags and libs to
pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc:
t
est isl_s
t
r
e
a
m for eof ra
t
her than the u
n
d
e
rlyin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
do
o
laege
iscc: add del
t
as o
p
eration
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rd
o
ol
a
ege
upd
a
te i
s
l
for
f
ix in
i
s
l
_map_d
e
ltas
commit
|
commitdiff
|
tree
2010-04-04
S
v
e
n Verd
o
olaege
drop barvinok_enumerate_pip_
w
ith_options
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
e
rdoolaeg
e
i
s
cc: a
d
d cro
s
s product
opera
t
ions
commit
|
commitdiff
|
tree
2010-03-31
Sven
V
erd
o
olaege
iscc: add
c
o
alesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
rdoolaege
update isl
for isl_pw
_
qpoly
n
omi
a
l_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
erdoolaege
drop
"
Om
e
ga counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n Verdoolaege
test_bound
.
cc: fix prin
t
f format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
ool
a
ege
bern
s
tein
.
cc: fix printf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
eval
u
e_r
a
nge_propagation: fix substitutio
n
for
n
egative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolae
g
e
bernstein/conf
i
gure
.
in: u
s
e absolut
e
s
r
cdir o
f
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
only distribute b
u
ndled
subm
o
dules
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
update omega for configur
a
tion is
s
ue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
co
n
fig
u
re
.
in: allow
"
build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
i
sl_qpolyno
m
ia
l
_fold_from_gin
a
c: handle
fa
i
l nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
d
o
olaege
is
l
_qpo
l
y
n
o
m
ial_from_ginac: e
x
pan
d
ex be
f
o
r
e insp
e
ction
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Ve
r
doolaege
isl_ob
j
_list
.
c: update to use of
isl_prin
t
er
commit
|
commitdiff
|
tree
2010-03-18
Sven
Ver
d
oolaege
is
c
c: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
S
ven
V
e
r
doolaege
isl_pw_qpolynomia
l
_u
p
per_bound: set up variable ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaeg
e
iscc: add so
m
e c
o
mp
a
rison operations
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n V
e
rdoola
e
ge
iscc:
add inverse ope
r
ati
o
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fi
x
up type of find_matchin
g
_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
r
d
oolaege
iscc: add a
f
fi
n
e
h
ull
operation
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
iscc: add operation to con
s
t
r
uct u
n
iversal
ma
p
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
isc
c
:
add
"join" operation
commit
|
commitdiff
|
tree
next