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
update isl for keeping track of user options
2010-06-01
Sven Verdo
o
laege
update isl
f
o
r k
e
e
ping t
r
a
ck of
us
e
r optio
n
s
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verd
o
ol
a
e
ge
test_bound: rewrite
in C
commit
|
commitdiff
|
tree
2010-05-19
S
v
en
V
erdoolaege
u
p
d
ate isl for
hel
p
message printing
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoo
l
ae
g
e
re
m
ove evalue_optimu
m
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n
V
erdoolaege
remove
e
val
u
e_ran
g
e_prop
a
gation
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolae
g
e
t
e
s
t
_bound: use isl
interface
f
or computin
g
b
ounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
barvinok_bound: use isl interface
for computing
b
oun
d
s
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
iscc
:
s
u
pport ub even if G
i
NaC sup
p
ort
was not
com
p
iled
i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
add gene
r
ic isl_pw
_
qpolynomi
a
l_b
o
und
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
u
p
d
a
te isl for i
s
l_pw_qpolynom
i
al_bou
n
d_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doo
l
aege
tes
t
_bound
:
use isl during v
e
rific
a
t
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
b
arvinok_bound: use isl during verifi
c
ati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
verify
.
c: extract som
e
hel
p
er
f
u
nctions for isl b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introdu
c
e "bound"
o
p
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolae
g
e
opti
o
ns
.
c
: fix
p
rintf forma
t
commit
|
commitdiff
|
tree
2010-05-10
Sven Ve
r
d
o
o
lae
g
e
i
s
cc: add app
l
icat
i
on o
p
er
a
tion
s
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolaege
isc
c
: add read op
e
ration
commit
|
commitdiff
|
tree
2010-04-24
S
v
en V
e
rdoolaeg
e
is
c
c
:
free option
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
olaege
update
i
sl
f
o
r reading o
f
strings
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaege
up
d
ate
isl for fix in
i
s
l
_printer_
p
rint_
p
w_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verd
o
olaege
update isl-polylib for change in
pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
d
o
ola
e
g
e
iscc: allo
w
specification of
output for
m
at
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdo
o
laege
update isl
f
or change
i
n
isl_se
t
_gist argument
commit
|
commitdiff
|
tree
2010-04-11
S
ven Ver
d
oolaege
upda
t
e isl
for
rename
of isl_ma
p
_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
c
o
nfigure
.
in:
add isl flags and libs
to pkg-con
f
i
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolae
g
e
iscc:
test i
s
l_stream for eof rather
t
han
t
he u
n
derlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: add deltas
o
p
eration
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verd
o
olaege
u
p
date
isl for
f
i
x
i
n isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop barvino
k
_
enumerate_pip
_
with_op
t
i
o
ns
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n Verdoola
e
ge
i
s
c
c: add cross prod
u
c
t
operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoola
e
ge
iscc: add coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
olaege
update isl fo
r
isl_pw
_
q
polynomial_co
a
l
e
sce
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoo
l
a
e
ge
dr
o
p "
O
mega counting calcula
t
o
r
"
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verd
o
olaeg
e
t
e
st_bound
.
cc: fix printf
format
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
bernste
i
n
.
cc
:
f
i
x pri
n
tf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
eval
u
e
_range
_
propagation:
f
ix substitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaeg
e
berns
t
ein/co
n
figure
.
in: use absolute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only distri
b
u
te
b
undled su
b
modules
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
update
o
mega for configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdo
o
laege
configu
r
e
.
in: allow "bui
l
d" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_
q
polynomi
a
l_fold_from_ginac: h
a
ndle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoo
l
aege
isl_qp
o
lynomial_f
r
om
_
g
i
n
a
c
: e
x
pand ex before
i
nspection
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
V
e
rdoolaege
i
sl_obj_l
i
st
.
c
:
update to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
Verdoolaeg
e
iscc:
a
dd
gist operations
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdoolaege
upda
t
e isl for intro
d
uct
i
o
n
of isl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
isl_pw_qpolynomial_upp
e
r_b
o
u
nd: set
u
p vari
a
ble vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
v
en
V
erdoo
l
aege
iscc: add some
comparison
o
perations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoo
l
a
e
ge
isc
c
: add i
n
v
er
s
e operation
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoolaege
iscc:
f
ix u
p
type of f
i
nd_m
a
tc
h
ing_bin
_
op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
iscc: add af
f
i
n
e
h
ull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
iscc: a
d
d operation to construct universal
ma
p
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
V
er
d
oola
e
ge
iscc: add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
d
o
ol
a
eg
e
iscc: add interse
c
t_doma
i
n op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdool
a
ege
iscc: allow overloading
binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven
Ve
r
doolaege
iscc: add more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
doc:
r
eorga
n
ize table o
f
iscc o
p
era
t
ions
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdo
o
lae
g
e
update
i
s
l
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
barv
i
n
ok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n V
e
r
doolaege
A
U
THO
R
S: upd
a
te support in
f
ormation
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
r
d
oolae
g
e
rand
o
mvecto
r
: dou
b
le size of coef
f
icients on
e
ach a
t
temp
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
iscc: support transit
i
ve
cl
o
sur
e
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
upda
t
e isl to ver
s
ion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdo
o
laege
b
a
rvinok_e
.
cc: enumerate_vd: rem
o
ve unused
v
ariab
l
es
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
evalue
.
c:
P
olyhedron_Insert: add missing return
ty
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
evalue
.
c: reduce_evalue: remo
v
e unuse
d
variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
isc
c
: a
d
d
@
operat
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
i
s
cc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdool
a
eg
e
add is
l
_
p
w_qpolynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
i
s
cc: add su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
add
i
sl
_
p
w
_
qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
isl_pw_q
p
olynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
upda
t
e isl
f
or isl_pw_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
rename eval
u
e2i
s
l to isl_pw_qpo
l
yn
o
mial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven
V
e
r
doo
l
a
e
g
e
iscc: detect more
kinds o
f
er
r
ors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
barvinok_
e
nume
r
ate: us
e
isl during th
e
v
erification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Ver
d
oo
l
a
e
ge
add isl_set_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
erdoolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
o
olaege
evalue_convert: exp
o
rt as ap
p
lication
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Ver
d
oolaege
barvinok_enumerat
e
_e: optional
l
y use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl subm
o
dule
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
AX_SUBMODULE:
a
ccep
t
"
-
"
i
n modulen
a
me
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
do
o
laege
barvinok_enu
m
erat
e
: re
t
urn NaN for infinite probl
e
m
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Ver
d
o
o
laege
remove_all_equalitie
s
: handle inte
g
rally,
b
ut not rationa
l
ly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoo
l
aege
b
arvinok_enumerate_e: alw
a
y
s
return a partition fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven
Ver
d
o
olaege
ba
r
vi
n
ok_en
u
merate: check
that
d
ime
n
sion of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoo
l
aege
partition2e
n
umerat
i
on:
check that inp
u
t is reall
y
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n Verdoola
e
ge
update piplib for change in
con
f
igure opti
o
ns
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
u
p
d
ate omega fo
r
config
u
ration/compil
a
tion is
s
ues
commit
|
commitdiff
|
tree
2009-11-30
S
ven
Verdoolaege
b
a
rv
i
nok_count_with_options: check retu
r
n v
a
lue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
e
rdo
o
laege
Polyhed
r
o
n_Sampl
e
: plug memory
leak
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n
Verdoolaege
summa
t
e
.
c: add m
i
ssi
n
g
inclu
d
e
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n
V
e
rdo
o
laege
topcom
.
c: support newer vers
i
ons of TO
P
COM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topco
m
.
c: comput
e
_domai
n
:
sk
i
p ver
t
ices without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
p
o
lytope_m
i
n
imize: take
c
o
n
s
t
a
nt
t
er
m
t
o
be zer
o
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc
:
re
f
lect that --e
n
able-fractional
i
s no
w
the
d
efault
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Ver
d
oola
e
ge
g
lp
k
_polyhe
d
ro
n
_
a
ffine
_
sign: s
p
eci
a
l c
a
se 0D
p
o
l
y
hedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doo
l
a
e
ge
Poly
h
e
d
r
o
n_Insert_Columns:
f
ix
t
yp
o
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoo
l
aeg
e
Polyh
e
dron_Factor: fix u
p
dating
o
f
gr
o
up
s
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaeg
e
configure
.
in: use A
X
_SUBMOD
U
LE instead of BV_
S
UBMODULE
commit
|
commitdiff
|
tree
next