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
iscc: test isl_stream for eof rather than the underlying FILE
2010-04-07
Sven Ver
d
oolae
g
e
iscc: test isl_stream for eof rather than
the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdo
o
l
a
eg
e
iscc: ad
d
deltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
o
laege
update isl f
o
r fix
in
i
s
l_m
a
p_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Ve
r
doolaege
drop b
a
rvinok_enumerate_pip_wit
h
_op
t
ions
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoolaege
iscc: ad
d
cross pro
d
u
c
t operat
i
ons
commit
|
commitdiff
|
tree
2010-03-31
S
ven Verdoolaege
i
scc: add coalesce o
p
e
ration
s
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdoola
e
ge
update
i
sl fo
r
isl_pw_qpolynomial_coalesc
e
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verd
o
ol
a
ege
drop
"
Omeg
a
coun
t
ing calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
test_boun
d
.
cc: fix pr
i
ntf f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aeg
e
b
er
n
s
t
ein
.
cc: fix printf fo
r
ma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
evalue_rang
e
_p
r
opagation:
fix substitut
i
on f
o
r neg
a
tiv
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
b
e
rnstein/conf
i
gure
.
in: use absolut
e
src
d
ir
o
f
Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
l
a
ege
only distribute bundle
d
submo
d
ul
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
r
doolae
g
e
update omega for configuration
iss
u
e
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
o
o
laege
configure
.
in: al
l
ow "
b
uild"
P
o
ly
L
ib
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n
V
erdoolaege
i
s
l_qpolynomial_fold
_
from_g
i
nac: han
d
le fai
l
nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
r
do
o
laege
isl_q
p
olynomial_from_ginac: expand
e
x before insp
e
ction
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
ege
isl_
o
bj_list
.
c: update to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isc
c
: add
g
i
st
o
p
erations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaeg
e
i
sl_pw
_
qp
o
lynomial_upper_bo
u
nd: set up var
i
ab
l
e vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
s
cc: add some comparison o
p
erations
commit
|
commitdiff
|
tree
2010-03-15
S
v
e
n Verdoolaege
iscc: ad
d
inverse operati
o
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fi
x
up
t
y
pe
o
f find
_
m
atchin
g
_bin_o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdo
o
l
aege
iscc: add
a
ffine hul
l
op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: add operation to construct unive
r
sal map
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add "join"
operati
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
iscc
:
add intersect
_
domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
a
llow
o
v
er
l
oading b
i
nary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: add
m
ore dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
Ve
r
doolaege
doc: reorgan
i
ze t
a
ble
of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
Verd
o
olaege
u
pd
a
te isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barv
i
n
ok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaeg
e
AUTHORS: updat
e
support information
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaege
r
and
o
mvect
o
r: double si
z
e of c
o
e
f
fic
i
ents
on each att
e
mp
t
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdo
o
laege
iscc: support transitive closur
e
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
u
p
d
a
te
isl t
o
ve
r
sion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoolaege
barvinok_e
.
cc: enumera
t
e_vd: remo
v
e
un
u
sed va
r
iables
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
do
o
laege
evalue
.
c: Polyh
e
d
r
on_Insert
:
a
d
d missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
o
o
laege
eva
l
ue
.
c: reduce_ev
a
lue: remove unuse
d
variab
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
iscc: add
@
operator
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoola
e
ge
iscc:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
add is
l
_pw_qpolyno
m
i
al_upper_
b
o
und
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verd
o
olaege
iscc: add s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
rdoolae
g
e
add
is
l
_pw
_
qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
add isl_pw_qpolynomi
a
l_to
_
e
value
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoola
e
ge
u
p
d
ate isl for i
s
l
_pw
_
q
poly
n
omial
_
foreach_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
rename
e
va
l
ue2
i
sl
to is
l
_pw_q
p
olynomia
l
_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
S
ven Verdoolaege
iscc: detect more
ki
n
ds o
f
e
rrors
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
r
d
oolaeg
e
barvinok_en
u
merate:
use isl d
u
ring the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
add is
l
_
s
et_car
d
and isl_map
_
card
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
a
d
d
eval
u
e2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalu
e
_
c
o
nver
t
: exp
o
rt as applic
a
tion
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdo
o
laege
barv
i
nok_
e
num
e
rate_e:
optionally us
e
isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add i
s
l
s
u
bmodul
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
AX_SUBMODULE: accept "-"
i
n modulen
a
me
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvino
k
_
e
n
u
merate: r
e
turn
N
a
N for inf
i
nite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdool
a
ege
remove_all_equalities
:
han
d
le in
t
egrally,
but
n
ot rat
i
onally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaeg
e
barvinok_enumera
t
e_e: always
r
e
t
urn a partiti
o
n fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
b
a
rvinok_
e
numer
a
te: chec
k
that dimension of
input inc
l
ud
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
olaege
partition
2
enumeration: chec
k
that input i
s
really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdo
o
l
a
e
g
e
update
pip
l
ib fo
r
change in configur
e
options
commit
|
commitdiff
|
tree
2009-11-30
S
ve
n
V
erdoolaege
update omega for configuration/c
o
mpilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oolaege
ba
r
vino
k
_co
u
nt_with
_
op
t
ion
s
:
c
hec
k
re
t
u
rn va
l
ue o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
Polyhe
d
ron_Sample: plu
g
memory
leak
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaeg
e
summate
.
c
:
add miss
i
ng inclu
d
e
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
topcom
.
c: support ne
w
er versions of TOP
C
OM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
t
o
pcom
.
c: compu
t
e_domain: s
k
ip
v
e
r
tices
without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
d
o
c
: reflec
t
that --enab
l
e-fract
i
onal is n
o
w the
default
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
r
doolaeg
e
g
l
pk_polyhedro
n
_
a
ffine_sign: speci
a
l case 0D po
l
y
hedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
Ve
r
dool
a
e
ge
Polyhe
d
r
o
n_In
s
ert_
C
olumns:
f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verd
o
olae
g
e
Polyhedron_Factor
:
fix upda
t
ing of groups
commit
|
commitdiff
|
tree
2009-10-06
S
v
en Verdo
o
laege
configure
.
in: us
e
AX_
S
UBMODULE
i
nstead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove_equa
l
itie
s
:
u
se
Polyhedron_Preimage i
n
stea
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
e
ge
doc: add
experimental compar
i
son b
e
tween old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
lexmin
.
cc: remove
"
a
nachro
n
ism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add som
e
less common
.
s
t
y f
i
les
commit
|
commitdiff
|
tree
2009-07-21
Sven Ve
r
doola
e
ge
add "clever"
Laurent expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n
V
erdoolaege
move Last_No
n
_
Z
ero t
o
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract out param_p
o
ly
n
omial from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
e
r
d
oolaege
extr
a
ct vertex
_
c
one from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verd
o
o
l
aege
u
pd
a
t
e polylib
f
o
r speed
i
m
pr
o
v
eme
n
t i
n
in_
d
o
m
ain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
upd
a
te piplib for distribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Polyhedron_F
a
c
t
or
:
f
i
x merging of
g
roups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoo
l
ae
g
e
(t)counter: move counte
r
::
r
eset() up
t
o cou
n
t
e
r_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makef
i
l
e
.
am: keep better track o
f
failed tests
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoo
l
aege
Line
_
L
e
ngth: h
a
nd
l
e 0D polytop
e
in 1D space
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
e
r
d
oolaege
P
o
l
y
h
e
dron_Factor: ha
n
dl
e
po
l
y
h
edra wit
h
a no
n
-t
r
ivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sve
n
Verdoo
l
a
ege
update
piplib
f
o
r change in configur
e
a
rguments
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
b
a
rvinok
.
cc: remove unu
s
e
d
no
n
o
r
thog
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
d
oo
l
aege
u
p
date piplib for MinG
W
compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
update polylib fo
r
MinGW
c
o
m
patibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
doo
l
aege
evalue
.
c: in
_
doma
i
n: s
p
ecial-case
0
D domains
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verdoo
l
ae
g
e
Av
o
id use of sys/tim
e
s
.
h h
e
ade
r
when not a
v
ailable
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verd
o
ol
a
ege
ad
d
gnulib ge
t
s
ubopt module fo
r
MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verd
o
ol
a
ege
R
E
ADME:
menti
o
n that GiNaC
is al
s
o nee
d
ed f
o
r the Omeg
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allow build of
occ when using bu
n
dled omeg
a
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoola
e
g
e
doc: add a reference t
o
a ma
s
ter
th
e
sis
actua
l
ly
u
sing
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
next