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
use isl for argument parsing
2010-06-01
Sven Ve
r
doo
l
ae
g
e
us
e
isl
f
or ar
g
ument par
s
i
n
g
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
up
d
a
t
e isl for keeping
track of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolae
g
e
test_bound: rewrite
in C
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdoolaege
up
d
at
e
isl for h
e
lp message pr
i
nting
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdool
a
e
ge
remove eval
u
e_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
remov
e
eval
u
e_
r
ange_propagat
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolae
g
e
t
e
st
_
bo
u
n
d
: use i
s
l inte
r
face for com
p
uting bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvinok_bo
u
nd:
u
se
i
sl i
n
terface for com
p
uting
b
ounds
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoola
e
ge
is
c
c: support ub even if GiNaC
s
upport was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
add generic isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
update isl for isl_pw_q
p
olynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
test_bound: use isl during v
e
rifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
r
doolae
g
e
barvin
o
k_bound: use is
l
during
ver
i
ficati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdo
o
l
aege
verify
.
c:
e
xtrac
t
s
o
me h
e
lper functions
f
or
isl b
a
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
ola
e
g
e
introduce "boun
d
" optio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
options
.
c
: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
iscc: add appli
c
ation o
p
erati
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
iscc: add r
e
ad operat
i
o
n
commit
|
commitdiff
|
tree
2010-04-24
S
ven
Verd
o
olaege
i
s
c
c
: free options
commit
|
commitdiff
|
tree
2010-04-24
S
v
en
Verdoolaege
update isl f
o
r re
a
ding of s
t
rings
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
update i
s
l
f
o
r fix in i
s
l_printer_print
_
pw
_
qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoolaege
upd
a
te isl-polylib for
ch
a
nge
in pkg-confi
g
file
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
iscc: al
l
o
w
specific
a
tio
n
of output format
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n
Ver
d
o
olaege
update
i
sl f
o
r change
i
n isl_
s
et
_
gi
s
t argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verd
o
o
l
aege
update isl for rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolae
g
e
configure
.
in: add isl
fla
g
s a
n
d li
b
s to
p
kg-conf
i
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Ve
r
doolaeg
e
i
scc:
t
e
s
t
isl_strea
m
for eof rather than the
u
nderlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaeg
e
is
c
c:
a
dd delta
s
o
p
eratio
n
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
r
d
o
o
l
aege
u
p
date i
s
l
f
or fi
x
in isl_
m
a
p_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoo
l
a
e
ge
drop barvinok_enumerat
e
_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
S
ven V
e
rdo
o
laege
iscc: add c
r
oss product ope
r
a
t
ions
commit
|
commitdiff
|
tree
2010-03-31
Sv
e
n
V
erdoolaeg
e
i
s
c
c
: add coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n
V
erdoolae
g
e
upda
t
e isl for isl_pw_qpo
l
ynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
drop
"
Omega
c
ounting calculat
o
r"
commit
|
commitdiff
|
tree
2010-03-27
S
v
en
Ve
r
doolaege
test_b
o
und
.
cc: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
bern
s
tein
.
cc: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
e
value_range_p
r
opagation
:
fix substitution for negativ
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdo
o
laege
bernstein/co
n
f
igure
.
in: use absolute s
r
c
d
ir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only distri
b
ute bundled submodul
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolae
g
e
up
d
ate omega for configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
configure
.
in: allow "build
"
Po
l
yLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
o
l
aege
is
l
_qpolynomial_fold_from_ginac: handle fa
i
l nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
sl_qpolynomial_from_ginac: expa
n
d
e
x before insp
e
ction
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaeg
e
isl
_
o
b
j_list
.
c
: update to use of is
l
_
printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
is
c
c: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoola
e
ge
i
sl_pw_
q
p
oly
n
omial_up
p
er_
b
o
u
nd: se
t
up vari
a
ble vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
iscc: add some compari
s
on o
p
eratio
n
s
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verdool
a
ege
isc
c
:
a
d
d
inverse oper
a
tion
commit
|
commitdiff
|
tree
2010-03-15
Sven Ver
d
o
ola
e
ge
is
c
c: fix up type of find
_
matching_bi
n
_o
p
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Verdoolaege
i
sc
c
: add affin
e
hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
i
s
cc: ad
d
o
p
e
r
a
tion to construct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
ool
a
ege
iscc:
a
d
d "join" operation
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdoolae
g
e
iscc:
add inters
e
ct_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
iscc: allow overloadi
n
g
binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
i
s
cc:
add mo
r
e do
m
o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en V
e
rdoolaege
doc: reorganize
t
able of
i
sc
c
op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
update i
s
l
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rd
o
olaege
barvinok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Ve
r
doolae
g
e
AUTHO
R
S: update s
u
ppo
r
t
i
n
form
a
tion
commit
|
commitdiff
|
tree
2010-03-10
S
ven Ver
d
oo
l
aege
rand
o
mvector: d
o
uble
s
i
ze of co
e
fficien
t
s
on each at
t
empt
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
iscc: su
p
port transi
t
i
v
e c
l
o
s
ure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oo
l
ae
g
e
upda
t
e isl t
o
versi
o
n 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
bar
v
inok_e
.
c
c
: enumerate_vd: remove unused variables
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
evalue
.
c: Polyhedro
n
_Insert: a
d
d missing r
e
turn
type
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
evalue
.
c: r
e
duce_
e
v
a
lue:
r
emove un
u
sed varia
b
le
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoolaege
iscc: add @ o
p
erator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: a
d
d "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
a
d
d isl_pw_qpol
y
nom
i
al_u
p
per_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
is
c
c
:
a
d
d
sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdool
a
ege
add isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oola
e
ge
add isl
_
pw_qpolynom
i
a
l
_
to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Verdoolaege
update isl for isl_pw_q
p
olynomia
l
_foreach_p
i
ece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rename evalue
2
is
l
to isl_pw_
q
p
oly
n
omial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ver
d
oolaege
iscc: detect more kinds of e
r
rors
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdo
o
laege
barvinok_e
n
u
m
erate
:
use isl
d
uring the v
e
rif
i
cation
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
Verdoola
e
ge
ad
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d isl_set
_
card and isl_map_
c
ard
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
a
ege
add evalue2
i
sl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_co
n
vert: ex
p
ort as appl
i
c
ation
commit
|
commitdiff
|
tree
2010-03-05
S
ven
V
e
r
d
o
olaege
barvinok_enumerate_e
:
option
a
l
l
y use i
s
l
to proj
e
ct
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ve
r
doolaege
a
dd isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_
S
UBMODULE: ac
c
ept "
-
"
i
n modulenam
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolae
g
e
barvinok_enu
m
erate:
r
e
t
ur
n
NaN for infi
n
ite pr
o
blem
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remov
e
_all_eq
u
alities: hand
l
e
i
ntegra
l
ly, but
n
ot rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enumera
t
e_e: always
r
eturn a
p
arti
t
ion for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
barv
i
n
ok_enumerate: check that dimens
i
on of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
e
n Ve
r
doolaege
partition2enumerati
o
n: check that i
n
put is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
up
d
ate pi
p
l
ib for change
in configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
upd
a
t
e
o
m
ega f
o
r conf
i
guratio
n
/compilatio
n
i
ssues
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
V
e
r
doolaege
barvinok_cou
n
t_wi
t
h_options: che
c
k re
t
urn value
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdo
o
laege
Polyhedron_Sample: plug me
m
ory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
do
o
l
a
ege
summate
.
c:
add mi
s
s
ing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
ege
t
opcom
.
c: suppor
t
new
e
r
v
e
r
sions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
topcom
.
c: com
p
ut
e
_domain
:
s
k
ip vertices without
domain
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdool
a
ege
doc: reflect tha
t
-
-
enable-fractional is now the
d
efault
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdo
o
lae
g
e
glpk_polyhedron
_
affi
n
e_
s
ign:
special
case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdo
o
laege
Polyhedron_Inse
r
t
_
Co
l
umns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedro
n
_Factor: fi
x
updating of
groups
commit
|
commitdiff
|
tree
2009-10-06
S
v
en
V
erdool
a
ege
configu
r
e
.
in: use AX_SUBMO
D
ULE in
s
tead
of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sve
n
Verdoola
e
ge
remo
v
e_equa
l
ities:
use Pol
y
he
d
ron_Pre
i
ma
g
e instead
.
.
.
commit
|
commitdiff
|
tree
next