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-polylib for change in pkg-config file
2010-04-21
Sven Verdo
o
lae
g
e
u
pdate isl-pol
y
lib
for
c
hange in
p
kg-config
f
il
e
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
iscc: all
o
w
s
pecification of out
p
ut format
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
dool
a
ege
upda
t
e isl for chang
e
in isl_set_gi
s
t argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolae
g
e
update isl for rename of isl_map_mo
v
e
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Ve
r
doolae
g
e
confi
g
ur
e
.
in
:
add is
l
f
l
ags and libs to pkg-conf
i
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdool
a
eg
e
iscc: t
e
st isl_stre
a
m fo
r
eof
rather than the u
n
derlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolae
g
e
i
s
cc: add deltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaege
updat
e
isl for fix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
S
ven
V
erdoolaege
d
r
op
barvin
o
k_enumerate_pip_with_
o
pt
i
ons
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoolaege
iscc:
a
dd cr
o
s
s product operat
i
ons
commit
|
commitdiff
|
tree
2010-03-31
S
ven
V
erdoolaege
iscc: add
c
o
a
le
s
ce operations
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n
V
e
r
doolaege
u
p
date isl for
i
sl_pw_qpolyno
m
ial_
c
oalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
drop "Omega
c
ounting cal
c
ula
t
o
r"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
test_bound
.
cc: fix printf form
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
b
e
r
nstein
.
cc: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
S
ven Ver
d
oola
e
g
e
evalue_range_pr
o
pagation: fix substitution
for neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
berns
t
ein/c
o
n
f
igure
.
in: use ab
s
o
lute
srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdo
o
laege
only di
s
tribute bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
u
p
da
t
e
o
mega for conf
i
gur
a
tion issu
e
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
configu
r
e
.
in
:
a
l
low
"build
"
PolyLi
b
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olaege
i
s
l
_qpol
y
nomial_fold_from_ginac:
handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdo
o
laege
isl_qpolynomial_from_g
i
n
ac
:
expand ex before in
s
pection
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verd
o
o
l
aege
isl_obj_l
i
st
.
c
:
upd
a
te to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc:
a
d
d gist operations
commit
|
commitdiff
|
tree
2010-03-18
S
ven V
e
rdoolae
g
e
isl_pw_qpolynomia
l
_upper_bound: se
t
up var
i
able ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: a
d
d some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaeg
e
iscc: add invers
e
oper
a
t
io
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
is
c
c
: fix
u
p t
y
pe of find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
isc
c
:
add aff
i
ne hull operati
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add operation to
c
onstruct universal map fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoo
l
a
ege
isc
c
: add "
j
oin" operatio
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc: a
d
d
int
e
rsec
t
_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: allow overload
i
ng binar
y
op
s
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
i
s
cc
:
add more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
doc:
reorganize table of iscc op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaeg
e
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
AUTHORS: upda
t
e
s
upport informa
t
ion
commit
|
commitdiff
|
tree
2010-03-10
S
v
en
V
erdoolaege
r
a
ndomv
e
ctor: double size of
coe
f
fici
e
nts on each a
t
t
e
mpt
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
isc
c
: suppo
r
t transitive closur
e
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erd
o
olaege
update isl to
ver
s
i
o
n 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laeg
e
b
a
rvinok
_
e
.
cc: enu
m
erate_vd: remove u
n
used v
a
riables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
evalue
.
c:
Polyhedron
_
Inser
t
: add missing
r
etu
r
n
type
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
evalue
.
c: r
e
duce_ev
a
lue:
remove unused varia
b
le
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
l
aege
i
s
c
c:
a
dd @ oper
a
tor
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdoolaege
iscc:
ad
d
"ub"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en V
e
rdoolae
g
e
a
dd isl_pw_qpolynomial_up
p
er_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
is
c
c: add
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
a
dd isl_pw_q
p
oly
n
omial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolyn
o
mial_t
o
_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
update is
l
for i
s
l
_
pw_qp
o
lynom
i
al_forea
c
h
_
pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
rename evalue2isl
to i
s
l_pw
_
qpo
l
ynomial_from_evalu
e
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaeg
e
iscc: d
e
tect more
k
i
nds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
b
arvinok_enumerate: use isl during
the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdool
a
e
g
e
add isl_set_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laeg
e
e
v
alue_conv
e
rt:
ex
p
o
rt as application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_enumerate_e: optionally use
isl to p
r
o
ject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl
su
b
module
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
er
d
oola
e
ge
AX_SUBMO
D
ULE: acce
p
t "-" in modulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvinok_enume
r
a
t
e: return NaN for
i
nfi
n
i
t
e problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdo
o
la
e
ge
remove_all_eq
u
alities: handle
int
e
grally, b
u
t not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verdool
a
ege
barvinok_enumerate_e: al
w
ays
r
eturn a
p
arti
t
io
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
ba
r
vinok_e
n
umerate: check
t
h
at
dimension o
f
input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Ver
d
oola
e
ge
p
a
r
t
ition2enumeration: c
h
eck
th
a
t in
p
ut is r
e
a
l
ly
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
ven Verdoolaege
u
pdate piplib
f
or
change in co
n
fig
u
re options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
u
p
d
ate omega for con
f
i
g
u
r
ati
o
n/compilat
i
on issues
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n Verdoolaege
b
a
rvinok_count_with_opti
o
ns
:
check return valu
e
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdo
o
la
e
ge
Po
l
yhed
r
on_Sample: plug me
m
or
y
l
eak
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaeg
e
summate
.
c: a
d
d mi
s
sing i
n
clud
e
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aege
topcom
.
c: support newer ve
r
si
o
ns o
f
TOPC
O
M
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
topc
o
m
.
c: compute_domain:
s
kip vertices without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: reflect
t
hat --enable-fra
c
ti
o
nal
i
s now the def
a
ult
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_pol
y
h
e
dron_affine_si
g
n: special case
0
D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolae
g
e
Polyhedron_Ins
e
r
t_Columns
:
fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Poly
h
e
d
ron_Fact
o
r
:
f
i
x
u
pdating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven
V
erdool
a
ege
confi
g
ure
.
in: us
e
AX
_
SUBM
O
DULE ins
t
ead of BV_SU
B
M
O
DULE
commit
|
commitdiff
|
tree
2009-08-21
Sven
V
er
d
oolaeg
e
remove_equ
a
lities: use
Polyhedron_Pre
i
mage instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
r
doolaege
barvino
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: ad
d
experimental comparison between
old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoolaege
lexmi
n
.
cc: re
m
ove
"
anachronism
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add some l
e
ss c
o
mm
o
n
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever
"
Lau
r
ent ex
p
a
nsion
b
a
sed summatio
n
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolaege
m
ove Last_Non_Ze
r
o to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en V
e
rdoolaege
extract out p
a
ram_polyno
m
ial from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract vertex_c
o
ne from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoo
l
aege
update poly
l
i
b for speed improvement in in_dom
a
in
commit
|
commitdiff
|
tree
2009-06-12
S
ven Ve
r
do
o
laege
up
d
ate pipl
i
b
for distribution issue
commit
|
commitdiff
|
tree
2009-05-26
S
v
en Verd
o
ol
a
e
g
e
Polyh
e
dr
o
n_Factor: fix
m
erging of gro
u
ps
o
f columns
commit
|
commitdiff
|
tree
2009-05-07
S
v
en V
e
rdoolaege
(t)c
o
unt
e
r: move coun
t
er:
:
rese
t
() up to cou
n
te
r
_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
er
d
oolaege
Makefile
.
am: ke
e
p better
t
rack o
f
f
a
iled tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
Li
n
e_L
e
ngth:
handle 0D polytope in
1D spac
e
commit
|
commitdiff
|
tree
2009-04-02
S
v
en Verdo
o
laege
Polyhedron_Fa
c
tor: h
a
ndle poly
h
edra w
i
th a non-tr
i
vial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoo
l
aege
up
d
ate piplib
fo
r
change
i
n
con
f
igure arguments
commit
|
commitdiff
|
tree
2008-12-27
S
ven Verdo
o
l
aege
barvino
k
.
c
c:
remove
u
nus
e
d nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
up
d
ate
piplib fo
r
MinG
W
compatibility
commit
|
commitdiff
|
tree
2008-12-26
S
v
en
V
erdoolaege
update polylib f
o
r M
i
nGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdool
a
ege
eval
u
e
.
c: in_domain: spec
i
al-case 0D
d
omains
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verdoolaege
Avoid
use of sys/times
.
h header when not available
commit
|
commitdiff
|
tree
next