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
Sve
n
V
e
r
doo
l
a
e
ge
u
s
e
i
sl for argume
n
t parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolae
g
e
update i
s
l for kee
p
ing trac
k
of user
optio
n
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Verd
o
o
la
e
ge
te
s
t_b
o
und: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdoolaege
u
pdate i
s
l
for h
e
lp m
e
ssa
g
e prin
t
ing
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
remove ev
a
lue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
remove evalu
e
_range_
p
ropagati
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_boun
d
:
u
se is
l
interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
S
ven Ve
r
doo
l
aege
bar
v
inok_bound: u
s
e is
l
i
n
terface for
compu
t
ing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
iscc: su
p
p
o
r
t
ub even if GiNaC support was not co
m
pil
e
d in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
ad
d
g
e
n
e
ric isl_pw_qpolyn
o
mial_
b
ound
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
update isl for isl_pw_qpolynom
i
al_bound
_
range
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
test_bound: use is
l
dur
i
ng v
e
rific
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvinok_bound: u
s
e isl during verific
a
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
v
er
i
fy
.
c:
e
xt
r
act
s
o
me helper
functions
f
or isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
int
r
od
u
ce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Ver
d
o
olaege
o
p
ti
o
n
s
.
c:
fi
x
printf for
m
at
commit
|
commitdiff
|
tree
2010-05-10
S
v
e
n Verdoolaege
iscc:
a
dd app
l
icati
o
n operati
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
olaege
iscc: add read opera
t
ion
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
e
rdo
o
laege
i
s
c
c
:
f
r
e
e options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
updat
e
isl fo
r
reading o
f
s
t
rings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl for f
i
x in
i
s
l_printer_print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ve
r
doolaege
u
p
d
a
te is
l
-p
o
l
y
li
b
for
c
hange
i
n pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
is
c
c: allow specification of output format
commit
|
commitdiff
|
tree
2010-04-13
S
ve
n
Ver
d
ool
a
ege
updat
e
isl for
change i
n
isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Verdoo
l
aege
upd
a
te i
s
l for rename of
i
sl_m
a
p_
m
ove
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
e
rdoolaeg
e
configure
.
in: add
i
sl flags a
n
d lib
s
t
o
pkg-co
n
fig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolaege
isc
c
:
test isl_stream for
eof rather
t
han
the under
l
ying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Ver
d
o
o
l
a
ege
i
s
cc: add delt
a
s
opera
t
ion
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
rd
o
olaege
update isl
fo
r
fix
in isl_ma
p
_del
t
as
commit
|
commitdiff
|
tree
2010-04-04
Sven Ver
d
oolaege
drop
b
a
r
v
inok_enumerate_pip_with
_
option
s
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoolaeg
e
iscc: add cros
s
product
operatio
n
s
commit
|
commitdiff
|
tree
2010-03-31
Sven Ve
r
do
o
lae
g
e
iscc: ad
d
co
a
l
e
sce operations
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Ve
r
d
o
olaege
update
isl for isl_pw_q
p
ol
y
no
m
ia
l
_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
d
rop
"
Omega counting
calcula
t
or"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
test_
b
ound
.
c
c
: fix prin
t
f format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
eg
e
bernstein
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_ran
g
e
_
pr
o
pagat
i
on: fix
s
ubs
t
it
u
ti
o
n for negativ
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein/c
o
n
figure
.
in:
u
se
a
bsolu
t
e
s
rcdir of Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Ver
d
oola
e
ge
only distri
b
u
te bund
l
ed submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
o
o
laege
update o
m
eg
a
for
config
u
r
a
ti
o
n issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
conf
i
gur
e
.
in
:
al
l
ow "build"
PolyLi
b
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
isl_qpolynom
i
al_f
o
ld_from_g
i
nac:
h
andl
e
fa
i
l nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
r
doolaege
i
sl_qpolynomia
l
_from_g
i
nac: ex
p
and ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rd
o
olaege
isl
_
obj_li
s
t
.
c: update to us
e
of isl
_
printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolaege
isc
c
: add g
i
st operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_pw_qpo
l
ynomial_upper_
b
o
u
nd: set up
variable vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olaege
iscc: a
d
d so
m
e comparison o
p
er
a
tions
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
d
o
olaege
iscc: add inv
e
rse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoolae
g
e
i
scc:
f
ix up t
y
pe of find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
add affine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
o
o
l
ae
g
e
is
c
c: add o
p
eration to construct
u
niversal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erd
o
olaege
is
c
c: add "joi
n
" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
d
oolaege
iscc: add
i
ntersect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Verdo
o
l
aege
iscc: allow ov
e
r
loading binar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verd
o
olaege
iscc: add more dom operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
Verdoolae
g
e
doc: r
e
o
rgani
z
e t
a
bl
e
of iscc operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
update i
s
l
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdool
a
ege
ba
r
vinok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
AUTHORS: update
support
info
r
mat
i
on
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvecto
r
:
double size of coeff
i
c
i
ent
s
on
each atte
m
pt
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
is
c
c
: support transitiv
e
closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
update isl t
o
version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvinok_e
.
cc:
e
numerate_vd: remove unuse
d
variables
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
evalue
.
c
:
Polyhedron_Insert: add missing retu
r
n type
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verd
o
o
l
aege
e
v
alu
e
.
c: reduce_evalue: remove unused
variable
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaeg
e
iscc: add @
o
perator
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdo
o
l
a
ege
iscc: a
d
d
"
ub"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
Ver
d
ool
a
ege
a
d
d i
s
l_pw_qpolynomial_up
p
er_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
erdool
a
ege
add isl_pw_qp
o
lynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add isl_
p
w_qpoly
n
omia
l
_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Ver
d
oolaege
upda
t
e
i
sl f
o
r
i
sl_pw_qpolynomial_
f
o
r
each_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
rename evalue2isl t
o
isl_pw_qp
o
lynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ve
r
doolaeg
e
iscc: detect more kinds
of errors
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
barvinok_enumerate: u
s
e isl du
r
ing t
h
e verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en V
e
rdoola
e
g
e
ad
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
a
dd is
l
_
s
et
_
card and isl
_
map_card
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
add
e
value2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
eva
l
ue_conver
t
: export
as application
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdool
a
ege
barvinok_enumerate_e: optionally
u
se isl to proj
e
ct
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl
s
ubmodule
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
AX_
S
UBMO
D
ULE: accept "-" in mod
u
lename
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
Verdoo
l
aege
ba
r
v
i
nok_enumerate: return
NaN
f
or infinite problems
commit
|
commitdiff
|
tree
2010-01-28
S
ven Verdoolaege
remove_all_equalities: handle integrally, b
u
t
not
rationall
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven
V
e
r
doolaege
b
arvi
n
ok_enumerate_e: always return a
p
ar
t
ition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
oolae
g
e
b
a
rvinok_e
n
u
m
era
t
e: check that dimension of input i
n
cludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
V
erdoolaege
partition2enumeratio
n
: check t
h
at input is real
l
y
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven
V
erdoolaege
update pi
p
l
i
b
f
or
c
hange in configure
options
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoo
l
ae
g
e
upd
a
te om
e
ga for co
n
figu
r
ation/com
p
i
l
ation is
s
ues
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
doola
e
ge
barvin
o
k_cou
n
t_with_opti
o
ns: ch
e
ck return
va
l
ue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolaege
Polyhedron_Sample:
p
lug memory
l
eak
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
r
d
oolae
g
e
sum
m
ate
.
c: add mi
s
sing inc
l
ude
commit
|
commitdiff
|
tree
2009-11-12
S
ven V
e
rdoolaege
topcom
.
c: support newer version
s
of
T
OPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdool
a
ege
topcom
.
c: compu
t
e_do
m
a
i
n
:
skip
v
e
rti
c
es wit
h
out domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
d
o
c: refle
c
t that --enable-fractiona
l
is now
th
e
default
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doo
l
aege
glp
k
_polyhedr
o
n_aff
i
ne_sig
n
: sp
e
cial
c
ase 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Ve
r
d
o
olae
g
e
Po
l
yhedro
n
_
I
nsert_Columns:
f
ix typo
commit
|
commitdiff
|
tree
2009-11-11
S
ven Ve
r
d
oolae
g
e
Polyhedron_F
a
ctor: f
i
x updating of groups
commit
|
commitdiff
|
tree
2009-10-06
S
ven Ve
r
doolaege
configure
.
i
n: us
e
AX_SUBMODULE instead
of BV_SUBMODUL
E
commit
|
commitdiff
|
tree
2009-08-21
Sven Verd
o
o
laege
re
m
ove_e
q
u
aliti
e
s: use Polyhedro
n
_Pre
i
mage
instead
.
.
.
commit
|
commitdiff
|
tree
next