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 Verdoolaege
use isl
f
or argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
u
pd
a
te isl for keeping tr
a
ck of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
erdoolaege
te
s
t_bound: rewrite in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
u
p
date isl
for help mess
a
ge pri
n
ting
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdool
a
e
g
e
remove ev
a
l
u
e_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_r
a
nge_p
r
opagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
laege
test_boun
d
:
use
i
sl inter
f
ace for com
p
utin
g
bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdool
a
ege
b
arvinok_b
o
und: u
s
e
isl interface
f
or c
o
mputin
g
boun
d
s
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n V
e
rdo
o
l
a
ege
iscc: support ub even if GiNaC support was
n
ot compiled
in
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
a
d
d
g
eneric is
l
_pw
_
qpolynomial
_
bound
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n V
e
r
d
o
olaege
update isl for isl
_
p
w
_
qpolynomial_bound_
r
ange
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
test_bound: use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
barvinok_
b
ou
n
d
:
use isl dur
i
ng
v
erifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
verify
.
c
:
extract some hel
p
er
functions for is
l
based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
intro
d
u
c
e "bou
n
d"
opti
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolae
g
e
options
.
c: fix p
r
intf f
o
rmat
commit
|
commitdiff
|
tree
2010-05-10
S
v
en Verdoo
l
aege
i
s
cc:
add applica
t
i
o
n op
e
rations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n
V
e
r
d
oolaege
iscc: free op
t
ions
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doolaege
update i
s
l for reading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
ool
a
ege
update isl for fi
x
in isl_
p
ri
n
ter_print_pw_q
p
olyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
u
pdate isl-po
l
yl
i
b for cha
n
ge
in pkg-co
n
fig file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
iscc: allow
specificat
i
o
n of output format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
update isl for
change in isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
update isl for rename
o
f
isl_
m
a
p
_
m
ove
commit
|
commitdiff
|
tree
2010-04-10
S
v
en
V
erdoolaege
configure
.
in: add isl flags and
libs to pkg
-
config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
i
scc: test
i
sl_strea
m
for eof rather
t
han the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolaege
iscc: a
d
d
del
t
as operation
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolaege
update isl for fix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
S
v
en Verdoola
e
ge
dr
o
p barvinok
_
enumerate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoolaeg
e
iscc: add cross prod
u
c
t oper
a
tions
commit
|
commitdiff
|
tree
2010-03-31
Sven
V
erdoolaege
iscc:
a
dd coalesce op
e
ration
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
update is
l
for isl_pw_qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
d
r
op "Omega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Ver
d
oolaege
t
est_bound
.
cc: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
e
r
doolaege
b
er
n
ste
i
n
.
cc: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
evalue_range_propagation
:
fix su
b
stitution f
o
r neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
be
r
nstein/conf
i
g
u
r
e
.
in:
u
se absol
u
te srcdir of Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only
d
istribute bundle
d
submodu
l
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
dool
a
ege
u
pda
t
e omega for configuration iss
u
e
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoolaege
c
on
f
igure
.
in: allo
w
"b
u
ild" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoolaege
isl_qp
o
l
y
no
m
i
a
l_fold_fro
m
_ginac: handle fai
l
n
o
des
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
isl
_
qpolynom
i
al_from_ginac:
e
x
pand ex bef
o
re inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oolae
g
e
isl_obj_li
s
t
.
c:
u
pdate to us
e
of i
s
l_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolaege
iscc: a
d
d gist
o
perations
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoo
l
ae
g
e
u
p
d
a
te
i
s
l
f
o
r intr
o
duc
t
i
o
n of isl_print
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
e
r
doolaege
isl_pw_qpolynomial_upper_bound: set up variab
l
e
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc:
add some comparison opera
t
ions
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: ad
d
inverse o
p
e
rati
o
n
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdo
o
laege
iscc: f
i
x up
t
ype of find_
m
a
tchi
n
g
_
bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
o
o
l
aege
iscc: add
affi
n
e hull opera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdo
o
l
a
eg
e
iscc: add operation
t
o cons
t
r
uct univers
a
l map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add
"
join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc: add interse
c
t_do
m
ain ope
r
a
t
i
ons
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ve
r
doolaege
i
scc: al
l
ow overloading
b
ina
r
y o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdo
o
l
a
ege
i
s
cc:
a
dd more dom o
p
eration
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
doc: re
o
rgani
z
e tabl
e
of iscc
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
u
p
date isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
o
l
aege
AUTH
O
RS: upd
a
te support information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
randomvector
:
double size o
f
coefficient
s
on eac
h
att
e
mpt
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
iscc: su
p
port
t
ransi
t
ive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
u
p
d
a
t
e isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
b
arv
i
nok_e
.
cc:
enu
m
erate_vd: remove unused variab
l
e
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aeg
e
ev
a
lue
.
c: Poly
h
e
d
ron_In
s
ert: ad
d
m
i
ssing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: reduce_eval
u
e: remov
e
un
u
sed variable
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
iscc
:
add @ op
e
rator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc
:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oo
l
aege
add isl_pw_qpolyno
m
ial_u
p
p
e
r_
b
ound
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
i
scc: add sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoola
e
ge
add is
l
_pw_
q
polynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_
p
w
_
q
pol
y
nomi
a
l_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
doolaege
update isl f
o
r isl
_
pw_qp
o
lyn
o
mial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
rename evalu
e
2isl to isl_pw_qpol
y
nomial_from
_
e
v
alue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ve
r
do
o
laege
iscc: detect
m
o
re kinds
o
f
errors
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verd
o
ola
e
g
e
barvinok_en
u
merate:
u
se
i
sl during the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
ad
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl_s
e
t_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add evalu
e
2
isl
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolae
g
e
evalue_convert: export as applic
a
tion
commit
|
commitdiff
|
tree
2010-03-05
S
ven
V
e
rdoolaege
bar
v
inok_e
n
u
merate_e:
optionally use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Ver
d
oolaege
a
d
d isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
e
r
doolaege
AX_SUBMODULE: accept "-" in
modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
o
o
laege
ba
r
v
inok_enu
m
erate: return NaN for infi
n
it
e
p
r
o
b
lems
commit
|
commitdiff
|
tree
2010-01-28
Sven
V
erdoolae
g
e
remo
v
e_al
l
_equalities:
han
d
le i
n
teg
r
al
l
y, but not ratio
n
ally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
doolaege
barvi
n
ok_enumerate_e: always return a part
i
tion for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
barvinok_en
u
merate: ch
e
c
k
that d
i
mens
i
o
n
of input include
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdool
a
ege
parti
t
io
n
2e
n
umeration:
che
c
k that
i
nput is rea
l
ly a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
up
d
ate piplib for change i
n
co
n
figu
r
e op
t
ions
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
up
d
at
e
omega for con
f
igura
t
ion/
c
ompi
l
at
i
on
issues
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n Verdoolaege
barvinok_co
u
nt
_
w
i
th_o
p
tions: c
h
eck r
e
tur
n
v
alue o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoolaege
P
o
lyhedron_Sample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
s
ummate
.
c: add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
rdoolaeg
e
t
o
p
com
.
c: support newer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven
Ver
d
oolaege
topcom
.
c: compute_domain:
ski
p
vertices
w
ith
o
u
t
do
m
ain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
polytop
e
_minimize: take constant ter
m
to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en V
e
rdoolae
g
e
doc: reflect that --enable-fr
a
ctional is
n
ow
t
h
e
default
commit
|
commitdiff
|
tree
2009-11-12
S
ve
n
Verdoolaege
glpk_poly
h
ed
r
on_affine
_
sig
n
: special case 0D p
o
lyhe
d
ra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Polyhedron_Insert
_
Columns: fix
t
ypo
commit
|
commitdiff
|
tree
2009-11-11
S
ve
n
Ver
d
oolaeg
e
Polyhedron_Facto
r
: fi
x
upda
t
ing of groups
commit
|
commitdiff
|
tree
next