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
test_bound: rewrite in C
2010-05-19
S
ve
n
Verdoolaege
test_boun
d
:
rewrite
i
n
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Ve
r
doolaege
update isl
f
or
h
elp
message p
r
inting
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdo
o
laege
re
m
o
v
e eval
u
e_
o
ptimum
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
remove evalue_r
a
ng
e
_propagatio
n
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
test_bound: use isl interface for computin
g
boun
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvin
o
k_bound
:
use isl interface
fo
r
computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
iscc: suppo
r
t ub e
v
e
n
if Gi
N
aC
support wa
s
not c
o
mpiled in
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
ad
d
g
e
n
eric i
s
l_p
w
_qpolynomial_bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
update isl for i
s
l_pw
_
qpolynom
i
al_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
test_bound
:
u
s
e is
l
during verifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
barvinok_b
o
u
nd: us
e
isl during
veri
f
ication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
verif
y
.
c:
extr
a
ct som
e
helper f
u
nctions for
isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
i
n
troduce "bo
u
nd"
option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
opti
o
n
s
.
c:
fix printf forma
t
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
i
s
c
c: add application operations
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdool
a
ege
i
s
cc: add r
e
a
d
operatio
n
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc:
f
ree op
t
ions
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n
Verdoolaege
update isl for read
i
ng of str
i
ngs
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
up
d
a
te isl for fix in is
l
_printer_print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
rdo
o
lae
g
e
update
isl-polylib for change in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
iscc: al
l
ow
s
pecifica
t
ion
o
f o
u
tput format
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdool
a
ege
updat
e
isl for c
h
ange
i
n isl_
s
e
t
_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven V
e
rd
o
olaege
update isl for rename of isl_m
a
p_mov
e
commit
|
commitdiff
|
tree
2010-04-10
S
ven V
e
rd
o
ola
e
ge
configure
.
in:
add isl fl
a
gs and
l
ibs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
i
s
c
c
: test
i
sl_stream
f
o
r eo
f
rath
e
r than th
e
underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: a
d
d delt
a
s operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
a
ege
updat
e
i
s
l
f
or f
i
x
in
i
s
l_map
_
deltas
commit
|
commitdiff
|
tree
2010-04-04
S
ven
V
erdoola
e
ge
d
r
op b
a
rvinok_en
u
merate_p
i
p_with_opti
o
n
s
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolae
g
e
iscc:
add cross
product operations
commit
|
commitdiff
|
tree
2010-03-31
S
ven Verdoolaege
iscc: a
d
d c
o
a
l
esce operat
i
ons
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oolae
g
e
update isl for isl_pw_qpo
l
ynomial_co
a
lesc
e
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
dro
p
"Omega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erd
o
olaege
test_
b
ound
.
cc:
f
i
x printf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Ver
d
oolaege
ber
n
stein
.
cc: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdo
o
la
e
g
e
evalue_ran
g
e_propaga
t
ion: f
i
x substituti
o
n for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdo
o
l
a
ege
bernst
e
in/configure
.
i
n: use abs
o
lute sr
c
dir o
f
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only distribute bundled su
b
m
odu
l
e
s
commit
|
commitdiff
|
tree
2010-03-25
S
ven
V
e
r
d
oola
e
ge
u
p
date omega
f
or configuratio
n
is
s
ue
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoolaege
configu
r
e
.
in:
allow "b
u
ild"
PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oolaege
isl_qpolynomial_f
o
ld_
f
rom_ginac: handle f
a
il nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven
Ve
r
dool
a
ege
is
l
_qpoly
n
omia
l
_f
r
om_ginac: expand ex before in
s
pection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
ol
a
e
g
e
i
s
l_obj_
l
ist
.
c: up
d
ate to use of
i
sl_
p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoola
e
ge
i
s
cc:
a
dd gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
updat
e
isl fo
r
introducti
o
n of isl_pri
n
t
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdo
o
l
aege
isl_pw_qpolynomia
l
_uppe
r
_bou
n
d: s
e
t up variabl
e
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add
s
ome com
p
a
r
ison op
e
rations
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verdoolaeg
e
i
scc:
add inv
e
rse ope
r
ation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fix up type
of fi
n
d_ma
t
ching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc:
a
dd affine hu
l
l operat
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
do
o
laege
iscc:
a
dd operation to construc
t
u
niver
s
al map fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
is
c
c: add
"join" operation
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdoo
l
a
eg
e
i
scc: add intersect_domain opera
t
io
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
i
scc:
a
ll
o
w ove
r
loading binary ops
commit
|
commitdiff
|
tree
2010-03-14
S
v
en V
e
rdoolaege
iscc: add mor
e
d
om op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
doc: reorganize table of
i
s
c
c op
e
ra
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
rdoolaege
update is
l
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdo
o
l
aege
barvinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS: upda
t
e
suppor
t
info
r
mati
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
ran
d
o
m
ve
c
tor: double size of c
o
effi
c
ients o
n
each attem
p
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc:
s
upport tran
s
i
t
ive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
upd
a
te
is
l
t
o version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verdool
a
ege
barvino
k
_
e
.
cc: enumerate_vd
:
r
e
move unused vari
a
b
l
es
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verd
o
olaege
evalue
.
c:
Polyhedron_Ins
e
rt
:
add miss
i
n
g
r
eturn type
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
eval
u
e
.
c: r
e
duce_eva
l
ue:
r
emove unused va
r
iable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
isc
c
: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
iscc: add "u
b
"
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
add isl_pw_qpolynomi
a
l_upper_bou
n
d
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
doolaege
iscc: add
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_p
w
_qp
o
lynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
isl_pw_qpo
l
ynomial_to
_
eva
l
ue
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
upda
t
e isl
f
o
r isl_pw_qpo
l
y
n
omial_forea
c
h_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
rename evalue2isl
t
o isl_pw_qp
o
lynomial_f
r
om_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven
V
erd
o
ol
a
eg
e
iscc: detect more
ki
n
ds
o
f
errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
barvin
o
k_enumerat
e
: u
s
e isl d
u
ring the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
ad
d
isl_
s
et_card and isl_map_ca
r
d
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verdoolaege
add
e
v
alue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_convert: e
x
por
t
as applic
a
tion
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
barvinok_e
n
umerate_e:
optio
n
ally use is
l
t
o
project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
a
d
d isl su
b
module
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
AX_SUBMODULE: acce
p
t "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doo
l
aege
barvinok_enumerate
:
r
e
turn
N
aN
f
or infinite
p
r
o
b
lems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verd
o
o
l
aege
remove_all_eq
u
alit
i
es: handl
e
i
n
tegrally, but not
ratio
n
a
lly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven
V
erd
o
olaege
ba
r
vinok_enumerate_e: always return
a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
d
oolaeg
e
ba
r
vinok_enumerate: check that
d
imension of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdo
o
lae
g
e
p
artition2
e
numera
t
ion: check th
a
t in
p
ut is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolae
g
e
update piplib for change in configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
ola
e
ge
u
p
date omega for configuration/
c
omp
i
lation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoo
l
aege
barvinok_c
o
unt_with_options: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verd
o
olaege
Polyhedron_Sample: plug m
e
mory leak
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
Verdoolaege
summate
.
c
:
ad
d
missing includ
e
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
e
ge
topcom
.
c: supp
o
rt newer versi
o
ns
o
f TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
topcom
.
c: compute_dom
a
in
:
skip v
e
rti
c
es without do
m
ain
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdo
o
laege
po
l
ytope_
m
i
n
i
m
iz
e
: take co
n
stan
t
t
e
r
m
t
o
be zero
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
e
g
e
d
oc: refle
c
t that -
-
enab
l
e-fractional is
n
ow the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
g
e
glpk_p
o
l
y
hedron_affi
n
e_sign: special case
0D polyhedr
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
P
olyhedron_Insert_Co
l
umns: fix
t
y
p
o
commit
|
commitdiff
|
tree
2009-11-11
Sv
e
n Verd
o
olaege
Pol
y
he
d
ron_Fa
c
t
o
r: fix updating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Ver
d
oolaege
configure
.
in: us
e
AX_SUBMOD
U
L
E instead of BV_S
U
BMODULE
commit
|
commitdiff
|
tree
2009-08-21
S
v
en Verdoolaege
remove_equa
l
ities: us
e
Polyhedron
_
Pre
i
mag
e
i
n
st
e
ad
.
.
.
commit
|
commitdiff
|
tree
next