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
update isl for rename of isl_map_move
2010-04-11
Sven Verdoolaege
u
pdate
isl for rename of isl_map
_
m
ove
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configure
.
in: add isl flags and
l
ibs to
p
kg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoola
e
ge
iscc:
te
s
t isl
_
stream for eof rather than th
e
und
e
rly
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
iscc: add
deltas oper
a
tion
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdool
a
ege
update i
s
l for fix in i
s
l_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
S
ven
V
e
r
doolaege
drop
b
arvinok_enume
r
ate_p
i
p_w
i
th_opti
o
ns
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoo
l
aege
is
c
c: add cr
o
ss product ope
r
ations
commit
|
commitdiff
|
tree
2010-03-31
Sven Ve
r
doolaege
iscc:
add
c
o
alesce op
e
ration
s
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n
Ve
r
doola
e
ge
u
p
date isl for
i
sl_pw
_
qpoly
n
om
i
al
_
coa
l
e
sce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
drop "
O
me
g
a c
o
unt
i
ng calculat
o
r"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
g
e
test_b
o
u
nd
.
cc: fix prin
t
f format
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolaege
bernstein
.
cc: fix pr
i
ntf forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olae
g
e
evalu
e
_range_propa
g
at
i
o
n: fix subs
t
i
tutio
n
for negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aeg
e
bernstei
n
/configure
.
in: use abso
l
u
te srcdir of
P
o
l
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
do
o
laege
only distribute bundled subm
o
dule
s
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n
V
e
rdoola
e
ge
update omega for conf
i
g
uratio
n
issue
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolae
g
e
c
on
f
igure
.
in: allow "
b
uild
"
PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
s
l_qpolynomi
a
l_
f
o
l
d_from_ginac: handle fail n
o
des
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
isl_qpolyn
o
m
ial_from_gina
c
: expand ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
lae
g
e
isl_
o
bj_list
.
c
:
update to use
o
f isl_printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
ol
a
e
g
e
iscc: add g
i
st operat
i
ons
commit
|
commitdiff
|
tree
2010-03-18
Sven
Ve
r
doolaege
isl_p
w
_qpo
l
ynomial_upper
_
bound:
set
u
p
variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
s
cc: add so
m
e
c
o
m
pari
s
on operat
i
ons
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdool
a
ege
iscc: add inverse oper
a
ti
o
n
commit
|
commitdiff
|
tree
2010-03-15
S
ven V
e
rdo
o
laege
isc
c
:
fix up type of
f
ind_matchin
g
_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rd
o
olaege
iscc: add
a
ffine hu
l
l
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rd
o
olaege
iscc
:
add opera
t
ion to cons
t
ruct un
i
versal map fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Ver
d
oolaege
i
s
c
c
: add "jo
i
n" ope
r
ation
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
iscc: add interse
c
t_
d
o
main
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
e
rdoolaege
iscc: allow overloa
d
i
n
g
binar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
i
scc: add more do
m
operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
o
olaege
d
o
c: reorgani
z
e table of
iscc
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
V
erdoola
e
ge
barvino
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoola
e
g
e
A
UTHORS: update support information
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erd
o
o
l
a
e
g
e
randomvector:
d
ouble
s
i
z
e
of
co
e
fficients on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
isc
c
: support transitiv
e
closure
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoo
l
aege
update is
l
t
o ve
r
sion
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
o
o
laege
barvi
n
ok_e
.
cc: enumerate_vd:
r
e
move unus
e
d va
r
ia
b
les
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoolaege
evalue
.
c: Polyhedron_Insert: ad
d
m
i
ssin
g
retur
n
t
y
pe
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
evalue
.
c: reduce_evalue: remov
e
unused vari
a
b
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verd
o
olaeg
e
i
s
cc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aeg
e
add
isl_pw_qpolynomial_upper
_
bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
la
e
ge
add is
l
_pw_q
p
olynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
a
dd is
l
_
p
w
_
q
p
olyn
o
mial_to_
e
v
a
lue
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Verdoolaege
upda
t
e isl for isl_pw
_
qpoly
n
omial_for
e
ach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ver
d
oo
l
ae
g
e
ren
a
me
e
v
a
l
ue2isl to isl_pw_qpol
y
nomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven
V
erdoolaege
iscc: detect mo
r
e kin
d
s of er
r
ors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
bar
v
inok_enumer
a
te: use isl durin
g
the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
do
o
laege
a
d
d
is
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verd
o
ol
a
e
ge
ad
d
isl
_
set_ca
r
d and isl_m
a
p
_card
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
e
rdoolae
g
e
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
e
g
e
e
value_convert: export as ap
p
licat
i
on
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolae
g
e
b
a
rvinok_enumerate_e: optionall
y
u
s
e
i
sl to pr
o
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
ool
a
ege
a
d
d isl
submodu
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
AX_SUBMODULE: accept "-" i
n
mod
u
l
e
n
a
me
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolae
g
e
barvinok_enu
m
erate: return N
a
N for
i
nf
i
nite problems
commit
|
commitdiff
|
tree
2010-01-28
Sve
n
Verdoo
l
aege
remov
e
_all_equa
l
iti
e
s: handle i
n
tegrally,
but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verd
o
ol
a
ege
barvinok_e
n
umera
t
e_
e
: alwa
y
s
r
eturn a partitio
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
ge
barvin
o
k_
e
n
umer
a
te: check that
d
imen
s
ion
o
f input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Ver
d
o
o
la
e
ge
parti
t
i
on
2
enumeration
:
check that input
i
s really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoo
l
aege
u
pda
t
e piplib for chang
e
in configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
olaege
update
omega
for con
f
ig
u
ra
t
i
o
n
/
compilation issu
e
s
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Verdo
o
laeg
e
b
a
rvinok_count_w
i
th_
o
ptions:
c
heck return valu
e
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
ven
V
erdoo
l
aege
Poly
h
e
d
ron_Sample: pl
u
g memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
summate
.
c
: ad
d
missing
i
n
clude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
ol
a
ege
t
o
pcom
.
c: sup
p
o
r
t
new
e
r versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c
: compute_domain: skip v
e
rtices
without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
r
doola
e
ge
doc:
r
eflec
t
that
-
-
enable-fractional is
no
w
th
e
defau
l
t
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
glpk_poly
h
edron
_
affine_s
i
gn
:
special case
0
D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Ver
d
ool
a
ege
Pol
y
h
e
d
ron_Insert
_
Columns: fi
x
t
ypo
commit
|
commitdiff
|
tree
2009-11-11
S
v
en Verdoolaege
Polyhedron
_
F
ac
t
or: fix upda
t
ing of g
r
oups
commit
|
commitdiff
|
tree
2009-10-06
Sven
Verdoolaege
configu
r
e
.
in: use A
X
_SUBMODU
L
E instead of BV_S
U
BMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven
V
erdoolaege
remo
v
e_equalities:
u
se Polyh
e
dron_Preimage inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n
Verdoolaege
barvi
n
ok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
do
c
: add
e
xper
i
mental co
m
pa
r
ison bet
w
een old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
lexmin
.
cc: re
m
ove
"
anachronism
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc
:
add
s
o
me
l
e
s
s com
m
on
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever
"
Laurent expan
s
ion base
d
summation
commit
|
commitdiff
|
tree
2009-07-20
S
ven
Verd
o
olaege
move Last_Non_Zero to u
t
il
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
e
rdoolaege
extract out par
a
m_poly
n
omial from laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
o
l
a
ege
extract ve
r
tex_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoola
e
ge
u
p
date polylib for s
p
eed improvement
i
n
in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaeg
e
update
p
iplib for distribution
i
ssue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ve
r
d
o
olaege
Polyhedron_Fac
t
or: fix merging of g
r
o
up
s
of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
(t)counter: m
o
v
e
counter
:
:reset() up to counter_b
a
se
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
M
akefile
.
am: keep bette
r
track o
f
failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
e
ge
Line_Length: h
a
nd
l
e 0D po
l
y
t
ope in 1
D
space
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
doolaege
P
ol
y
hedron_Factor: hand
l
e polyhe
d
ra with
a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdoolaege
upda
t
e
p
iplib fo
r
chan
g
e i
n
config
u
re arguments
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvinok
.
c
c: remove unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
S
v
en
V
e
r
doolaege
u
p
date pi
p
l
ib for M
i
nGW
c
ompatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
er
d
oolaege
u
p
date polylib for
M
i
n
GW co
m
patibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
e
va
l
ue
.
c
: in_dom
a
i
n: special-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoola
e
ge
Avoi
d
use
o
f
sys/times
.
h
header when not av
a
ilable
commit
|
commitdiff
|
tree
2008-12-25
Sven Ve
r
doolaege
add gnulib getsubopt
module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Verdoo
l
aege
RE
A
D
M
E: mention that
G
iNaC is also
needed for
the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Verd
o
o
lae
g
e
Allow build of
o
cc w
h
en using bund
l
ed omega
commit
|
commitdiff
|
tree
next