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
avoid use of isl_dim internals
2010-08-02
Sven
Verdoolae
g
e
avoid u
s
e
o
f isl_dim
inter
n
als
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: support
c
odeg
e
n operat
i
o
n if C
L
o
o
G is a
v
ai
l
able
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verd
o
olaege
iscc:
swit
c
h to
using uni
o
ns
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_union_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
lae
g
e
add
i
s
l
_uni
o
n
_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
V
erdo
o
l
aege
isl
_
pw_qpolynomial_sum: take t
u
ple
name
s
int
o
acc
o
unt
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
isl_map_car
d
: pres
e
rve full d
o
m
a
in dimensio
n
infor
m
ation
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolae
g
e
upda
t
e isl for change
in isl_hash_table_
f
oreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
rdoolae
g
e
barvinok_enume
r
ate
.
cc
:
fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc: add
some more paper
s
refering to
the library
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verd
o
ol
a
e
g
e
barvinok 0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update i
s
l to
version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaeg
e
c
onfig
u
re
.
in: pr
o
p
e
rly a
d
d isl
f
lags
and l
i
bs to p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
erdoo
l
aeg
e
con
f
igure
.
in: dro
p
call to gl_EAR
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolae
g
e
genfun
.
cc: fi
x
printf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verd
o
olaege
test_appro
x
.
c: fix
printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoo
l
ae
g
e
test_bound
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
con
f
igure
.
in: sto
p
c
ompili
n
g Ome
g
a by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verify_lexsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalu
e
.
c: av
o
id u
s
e
o
f
al
l
oca
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
ev
a
lue_isl
.
c
:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
i
scc: recover f
r
om e
r
rors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaeg
e
upda
t
e isl fo
r
improved error ha
n
dl
i
ng
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n
Ver
d
o
o
laege
iscc
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdo
o
laeg
e
do
c
:
isc
c
: update documentation of "ub" opera
t
or
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
test_approx: inc
l
u
d
e ctype
.
h
f
or
isspa
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laeg
e
t
e
st_a
p
p
r
ox: include
c
onf
i
g
.
h fo
r
HAVE_S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
t
e
st_bound: includ
e
confi
g
.
h
for H
A
VE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
iscc: ad
d
vertices opera
t
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
optionally use
i
sl to perform paramet
r
ic vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
o
l
aeg
e
update i
s
l-polylib for
ha
n
dling
o
f
r
at
i
onal sets
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
drop distinction between barvino
k
-cor
e
and barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
remov
e
bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
u
p
d
a
te
isl for ge
n
eri
c
isl_pw_qpolyno
m
ial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
co
n
f
igure
.
i
n: dro
p
bv
_
omega_pr
o
grams
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
lae
g
e
add isl
_
ctx_peek_barvinok_opti
o
ns
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoo
l
aege
iscc: parse bar
v
inok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
ex
p
ort isl
_
q
p
o
lynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
Makef
i
le
.
am: drop dep
e
ndence o
n
doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
upd
a
t
e
i
sl for rename o
f
isl_pw_qpo
l
ynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
veri
f
_
e
h
r
ha
r
t
.
c:
add missi
n
g inclu
d
e
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
confi
g
ur
e
.
in:
fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use is
l
for ar
g
ument p
a
r
sing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl for k
e
epi
n
g trac
k
of u
s
er options
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Verdoolaege
test_bound: rewrite
i
n
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoola
e
ge
upda
t
e is
l
for he
l
p mes
s
age printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaeg
e
re
m
ove eva
l
ue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_ra
n
ge_propagati
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
test_bound: u
s
e isl interface for comp
u
ting
bou
n
ds
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
V
e
rd
o
olaege
ba
r
vinok_bo
u
nd:
u
s
e isl interface for compu
t
ing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
olaege
iscc
:
sup
p
ort u
b
even if GiNaC support was
n
ot compiled
in
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
a
d
d generic isl_pw
_
q
polynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
update isl fo
r
isl_pw
_
qpolynomial_bound_rang
e
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
tes
t
_bo
u
n
d
: us
e
i
sl
during ver
i
fica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
olaege
barvinok_
b
o
u
n
d: u
s
e isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
ve
r
if
y
.
c: ext
r
act som
e
helper functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
i
n
tr
o
duce "bound"
option
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
d
oolaege
options
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdo
o
laege
iscc: add applicati
o
n operati
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
oo
l
ae
g
e
iscc:
add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
isc
c
: fr
e
e opt
i
on
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
u
pdate
i
sl for r
e
ading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoolaege
update isl for fix in isl_printer_
p
rin
t
_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
update isl
-
polyl
i
b for chang
e
i
n pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
iscc
:
a
l
low specificat
i
on of output for
m
at
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
aege
update isl for
c
hange in
i
s
l
_
s
et_gist
ar
g
ument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verd
o
o
l
aege
update isl fo
r
rena
m
e of isl_m
a
p_mo
v
e
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
V
erdoolaege
configure
.
in: ad
d
isl flags and
l
ibs t
o
pkg-
c
onfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
d
o
o
l
aege
i
scc:
t
est isl_stream
f
o
r eof rather than the u
n
derlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven V
e
r
d
oolaege
iscc: add de
l
t
as opera
t
i
on
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update isl for
f
ix in is
l
_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven
Verdoolaege
d
rop barvinok_en
u
m
e
rate_p
i
p
_
wi
t
h_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdool
a
e
g
e
iscc: add c
r
oss pr
o
d
uct oper
a
tions
commit
|
commitdiff
|
tree
2010-03-31
Sven Ve
r
doolaege
is
c
c
:
add coalesc
e
o
perations
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verdool
a
ege
update isl fo
r
isl_pw_qpolyno
m
i
al_
c
oa
l
esce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
e
ge
drop "Omeg
a
counting calcula
t
or"
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
o
olaege
test_bound
.
cc:
fix printf forma
t
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n Verdoolaege
bernste
i
n
.
cc: fix
p
r
i
ntf format
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
e
value_rang
e
_prop
a
gatio
n
: fix substitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
be
r
ns
t
e
in/co
n
figur
e
.
in: u
s
e abso
l
ute s
r
c
di
r
o
f Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only
d
i
s
tribute b
u
n
d
led su
b
modules
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Ve
r
doo
l
aege
update omega for
c
o
nfiguration is
s
ue
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
o
olaege
configu
r
e
.
in: allow "b
u
ild" Pol
y
Lib
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
ool
a
ege
isl_
q
p
olynomial_fold_from_ginac: handle fail n
o
d
es
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoolaege
isl_qpolynomial_from_ginac: expa
n
d ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
isl_
o
bj_list
.
c:
upda
t
e to use
o
f
i
sl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdool
a
e
ge
iscc: add gist o
p
er
a
tions
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoola
e
ge
isl_
p
w_qpolynomi
a
l_uppe
r
_bound: set up variable
v
ect
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
e
r
do
o
laege
i
s
cc: add
s
ome comparison
operati
o
ns
commit
|
commitdiff
|
tree
2010-03-15
Sven Ver
d
ool
a
e
ge
iscc: a
d
d inve
r
s
e
o
peratio
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoola
e
ge
iscc: fix up
type of f
i
nd_matching_b
i
n_op
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
iscc: a
d
d
a
ffin
e
hull
o
peration
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Ver
d
oolaeg
e
iscc: ad
d
o
perati
o
n to
construct
universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdool
a
ege
iscc: add "joi
n
" operati
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add i
n
tersect_domain o
p
e
r
atio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: a
l
low overload
i
ng binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
o
o
l
aege
iscc
:
add more dom operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
doc:
r
eorg
a
ni
z
e
t
able of iscc op
e
r
ati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update is
l
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verd
o
ol
a
ege
b
a
rv
i
nok
0
.
30
commit
|
commitdiff
|
tree
next