repo.or.cz
/
barvinok
/
uuh.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
Verdoo
l
aege
u
pdate isl
f
o
r ke
e
ping track of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
test_bound: rewr
i
te in C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Verdoolaege
u
p
date isl f
o
r help messa
g
e pr
i
ntin
g
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoo
l
a
e
ge
r
emove evalu
e
_opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
a
e
ge
remove
e
v
alue_range
_
propa
g
at
i
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
test_bound: u
s
e isl interface for computing
b
ounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
barv
i
nok_
b
ound: use isl interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoo
l
aege
iscc: support
u
b
even if GiNaC
suppo
r
t
w
as n
o
t compil
e
d in
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaeg
e
ad
d
generic isl_pw_qp
o
ly
n
o
mial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
upd
a
te i
s
l for isl_pw_qpolynomial_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
e
g
e
test_bound
:
use isl during
verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
o
laege
barvinok_bou
n
d: use isl
d
uring verif
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
v
erify
.
c: extra
c
t
some help
e
r
functi
o
ns
f
or isl base
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce
"
bound" optio
n
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaeg
e
op
t
io
n
s
.
c
: fi
x
printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Ver
d
o
o
lae
g
e
iscc: add application operatio
n
s
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoolaege
i
scc: add read op
e
ration
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolaeg
e
isc
c
:
free
op
t
ions
commit
|
commitdiff
|
tree
2010-04-24
S
v
en V
e
rdo
o
laege
update isl for re
a
d
ing of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
update isl
for fix in is
l
_
p
ri
n
t
e
r_
p
rint_pw
_
qpolyn
o
mi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaeg
e
up
d
ate isl-poly
l
ib fo
r
change in pkg-config
fil
e
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
iscc: al
l
o
w
sp
e
cification
o
f
o
utput format
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolaege
upd
a
te isl
f
or
cha
n
g
e in
i
s
l
_set_gist ar
g
um
e
nt
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Ve
r
doolaege
update isl fo
r
ren
a
m
e of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoo
l
aege
configure
.
i
n: add isl flag
s
a
nd
libs to pk
g
-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
r
d
o
ol
a
ege
isc
c
: test isl_stream for e
o
f rather than the und
e
r
l
y
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
isc
c
: a
d
d deltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update isl
f
or
f
i
x
in
isl_ma
p
_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdo
o
laege
d
rop barvinok_enum
e
rate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Verdoolaege
i
scc
:
a
d
d
cross product
o
perations
commit
|
commitdiff
|
tree
2010-03-31
Sv
e
n Verdoolaege
iscc: add c
o
a
les
c
e
o
pe
r
at
i
ons
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdo
o
l
a
ege
update
i
sl f
o
r isl_pw_qpolynomia
l
_coalesce
commit
|
commitdiff
|
tree
2010-03-27
S
ven V
e
r
d
oolaege
drop "Om
e
g
a
count
i
ng calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
tes
t
_bound
.
cc: fix printf fo
r
ma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
b
ernstein
.
cc
:
fix printf format
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoola
e
ge
e
v
a
l
u
e_range_propagation: fix subs
t
itution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
g
e
b
ern
s
tein/configure
.
in: use
absolute srcdi
r
o
f
PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
only distribute bu
n
dled submodule
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
ae
g
e
update omeg
a
for co
n
figuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
r
d
oolaege
configu
r
e
.
in: al
l
ow "bu
i
ld" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolyno
m
ial
_
fold_fro
m
_ginac: handl
e
fail nod
e
s
commit
|
commitdiff
|
tree
2010-03-25
S
ven V
e
rdoolae
g
e
i
sl_qpo
l
yn
o
mial_from_ginac: exp
a
nd ex befor
e
inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olaege
is
l
_obj_list
.
c: update
t
o
u
se of isl_
p
ri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolae
g
e
iscc: a
d
d
gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaeg
e
u
p
date isl for intro
d
u
ction
o
f
isl_printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
do
o
laege
is
l
_pw_qpolynomi
a
l_upper_bound
:
s
et up
v
a
riab
l
e vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
iscc: a
d
d some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n
V
erdoo
l
a
ege
iscc: add invers
e
oper
a
ti
o
n
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdool
a
ege
iscc:
fix up ty
p
e of find_matching_bin_o
p
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
iscc: add a
f
fin
e
hull ope
r
ation
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verd
o
ola
e
ge
iscc
:
add operation t
o
construct universal map fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
i
s
cc: add
"
jo
i
n" oper
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolae
g
e
iscc: add intersect_d
o
main oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdool
a
ege
iscc: allow overloading b
i
nary o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
iscc: a
d
d
more
d
om o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
doc: reorganize tab
l
e of is
c
c oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoo
l
aege
bar
v
inok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdool
a
ege
A
U
T
HORS: update support inf
o
r
m
at
i
on
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
randomvect
o
r: double size
o
f coefficie
n
ts o
n
each a
t
tempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
l
a
ege
i
sc
c
:
sup
p
ort transitiv
e
clo
s
ure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
update i
s
l
to ve
r
sion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
b
a
rvinok_e
.
c
c: enumera
t
e_vd:
remove
u
nused
v
a
ria
b
les
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
ge
eva
l
ue
.
c: Polyhedron_Insert: add missi
n
g ret
u
rn
type
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Verdoolaege
evalue
.
c: reduce_e
v
alue: remove u
n
used variable
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoolaeg
e
iscc: add
@
oper
a
tor
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
is
c
c: add "
u
b
"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
dd
isl_pw
_
qp
o
l
y
n
om
i
al
_
upper_bound
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
V
e
rdo
o
laege
iscc: a
d
d su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynom
i
al_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
add isl_pw
_
qpo
l
yno
m
ial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
upd
a
te
isl for isl_pw_
q
pol
y
nomial_foreac
h
_
piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoo
l
aeg
e
rename evalue2isl to
i
sl_
p
w_qpolyn
o
mial
_
from_eval
u
e
commit
|
commitdiff
|
tree
2010-03-06
S
v
en Verdoolaege
iscc: d
e
te
c
t mor
e
kinds of
e
rro
r
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok
_
enumera
t
e: use isl du
r
ing
the ve
r
i
fic
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
add i
s
cc
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
erdoolaege
add isl_set_card and isl_map_
c
ard
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
Verdoolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_convert: export a
s
appl
i
cation
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
barvinok_
e
numerate_e: optionally use is
l
to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
AX_SUBMODULE: ac
c
ept
"-" in m
o
dulename
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoola
e
ge
b
arvinok_
e
numerate:
return
N
aN for
i
nfinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sve
n
Verdoo
l
ae
g
e
remo
v
e_all_equalities: handle integrally,
b
u
t
no
t
ration
a
lly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoolaege
barvino
k
_enume
r
ate_e: al
w
ays return a partition fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdoolaege
bar
v
inok
_
enum
e
ra
t
e
:
check that
dimen
s
ion of input i
n
cludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verdoolaege
part
i
tio
n
2
e
num
e
rati
o
n
: ch
e
ck
t
hat input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
Verdoolaege
upda
t
e
p
iplib for change in conf
i
gure options
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoolaege
update omeg
a
for con
f
ig
u
rat
i
o
n/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdo
o
laege
barvinok
_
cou
n
t_
w
ith
_
options: check retu
r
n val
u
e of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaeg
e
Polyhedron
_
Sample: plug memory l
e
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summate
.
c
: add mis
s
ing i
n
clud
e
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoo
l
aege
topcom
.
c: suppo
r
t newer
vers
i
ons of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
do
o
lae
g
e
to
p
c
o
m
.
c: c
o
mpute_domain: skip vert
i
ces without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytope_minimize: tak
e
co
n
stant term to be
z
ero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: re
f
lect that --enable-f
r
actional is now the de
f
aul
t
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdo
o
laege
glpk_polyhedron_affine_s
i
gn:
s
pecial
c
ase 0D
pol
y
hedra
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoo
l
aege
P
o
lyhedron_Inse
r
t_C
o
lumn
s
: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven V
e
rdoolaege
Poly
h
e
dron
_
Factor:
f
i
x updating of
g
roups
commit
|
commitdiff
|
tree
2009-10-06
Sve
n
V
e
rdoo
l
aege
c
o
nfi
g
ure
.
in: use AX
_
SUBMODULE i
n
stead o
f
BV_SUBMODULE
commit
|
commitdiff
|
tree
next