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
verify.c: extract some helper functions for isl based verification
2010-05-14
Sv
e
n
Verdoolaege
verify
.
c: extract some
h
elper func
t
i
o
n
s
f
or isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce "boun
d
" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
options
.
c: fix p
r
intf forma
t
commit
|
commitdiff
|
tree
2010-05-10
S
v
en
V
er
d
o
o
laege
iscc:
add appli
c
ation operations
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verd
o
o
l
aege
iscc: add read operat
i
on
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoola
e
ge
iscc: free opti
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdoolaege
u
p
dat
e
isl for reading of strings
commit
|
commitdiff
|
tree
2010-04-21
S
ven Ver
d
oolaege
up
d
ate i
s
l for f
i
x in
isl_
p
rinter_print_pw_qpolynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aege
u
p
d
ate isl-polylib for chang
e
in
p
kg-conf
i
g file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
iscc: allow spec
i
fica
t
ion of outp
u
t
f
orma
t
commit
|
commitdiff
|
tree
2010-04-13
S
ven
Verdo
o
la
e
ge
update isl for change
in isl_set_gist argume
n
t
commit
|
commitdiff
|
tree
2010-04-11
S
v
e
n Verdoolaege
u
pdate isl f
o
r rename of isl_
m
ap_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
conf
i
gure
.
in: add isl flag
s
an
d
libs to
p
k
g
-co
n
fig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaeg
e
i
s
cc
:
te
s
t
isl
_
s
t
r
ea
m
f
or
e
of rather tha
n
the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc:
a
dd deltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolaege
update isl for
fix
in isl_map_de
l
tas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop b
a
rvinok_e
n
umerate_pip
_
w
i
th_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
iscc: add cro
s
s
p
r
o
duct ope
r
a
tion
s
commit
|
commitdiff
|
tree
2010-03-31
Sve
n
Verdoolaege
is
c
c
: add coal
e
sce
operat
i
ons
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
ol
a
e
ge
u
pdate
isl for isl_pw_qp
o
ly
n
om
i
al_co
a
lesce
commit
|
commitdiff
|
tree
2010-03-27
S
ven Ver
d
oolaege
dr
o
p "
O
mega count
i
n
g
calcul
a
tor"
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolae
g
e
test_bound
.
c
c: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n Verdo
o
laege
bernstein
.
c
c
: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
evalue_ra
n
ge_propagation:
f
ix substitution for neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolaege
bernst
e
in/configure
.
in: us
e
absolute src
d
i
r
of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doola
e
ge
only distr
i
b
ute bu
n
d
led submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
up
d
a
te omega
for configura
t
io
n
i
ssue
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoola
e
ge
configure
.
in: allow "build"
PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolynomial_fold_from_g
i
nac:
hand
l
e fail node
s
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
i
s
l_
q
polynomial_from_ginac: exp
a
nd e
x
before in
s
pecti
o
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
o
laege
isl_ob
j
_list
.
c
:
u
p
date to u
s
e of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaeg
e
iscc: add gist operat
i
ons
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoola
e
ge
update isl for i
n
troduction
o
f isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rd
o
olaege
isl_p
w
_
q
polyn
o
mia
l
_upper_b
o
und
:
s
e
t up
variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoola
e
ge
i
scc
:
ad
d
some compar
i
son ope
r
ations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc
:
a
d
d
in
v
e
r
se operation
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoolaege
iscc: fi
x
up type
o
f
fi
n
d_m
a
tchi
n
g_bin_
o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
:
add af
f
ine hull operat
i
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c: add
operatio
n
t
o
construct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc: add
"
join" opera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Ve
r
doolaege
iscc: add intersect_dom
a
in operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
i
s
cc: allo
w
ov
e
rloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaeg
e
iscc
:
a
d
d
more d
o
m operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolae
g
e
doc: reorganize tab
l
e
o
f is
c
c operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
Verdo
o
laege
updat
e
isl
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
ba
r
vinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rd
o
olaege
AUTHORS: update support
i
nform
a
ti
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
randomv
e
ctor: double size of coe
f
ficient
s
on
e
ach attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoo
l
aege
i
s
cc:
s
up
p
ort transitive closu
r
e
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
r
doolaeg
e
update
isl to versio
n
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
bar
v
inok_e
.
cc: enume
r
ate_vd: re
m
o
ve un
u
sed
variables
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdo
o
laege
evalue
.
c:
P
olyhedron_
I
ns
e
rt: add mi
s
s
ing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: r
e
d
uc
e
_
e
v
alue: remov
e
unu
s
ed v
a
ria
b
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
ege
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdo
o
lae
g
e
iscc: add
"
ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
la
e
g
e
add isl_pw_qpolynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
i
s
cc: a
d
d
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
add is
l
_pw
_
qpol
y
n
o
m
ial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
add isl_pw
_
qp
o
lynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Verdool
a
ege
update isl
f
or isl_pw_qpoly
n
omia
l
_foreac
h
_piece
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
rdoolaege
ren
a
me e
v
a
lue2isl
to
i
s
l_pw_qp
o
lyno
m
ial_from
_
eva
l
ue
commit
|
commitdiff
|
tree
2010-03-06
Sven
V
erdoola
e
ge
iscc: de
t
ect mor
e
kinds of
err
o
r
s
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
barvino
k
_enumerate:
u
s
e isl during the verif
i
cat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
ad
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
Verdoolaege
a
d
d isl_
s
e
t
_car
d
and
i
sl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add evalue2
i
sl
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolae
g
e
evalue_convert: exp
o
r
t as application
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verd
o
olaege
barvinok_enumera
t
e_e:
o
ptiona
l
ly
u
se isl
to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add isl submodu
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
AX_SUBMODULE: ac
c
ept "-
"
in mod
u
lename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
ba
r
v
i
n
o
k_enumerate: ret
u
rn NaN fo
r
infinite
pro
b
lems
commit
|
commitdiff
|
tree
2010-01-28
Sven V
e
rdoolaege
r
e
mo
v
e_all
_
eq
u
alities:
h
andle inte
g
rally,
b
ut not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdoolaeg
e
barvinok_enum
e
rate_e: al
w
ays return a partition
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdoo
l
a
e
ge
b
arvinok_enumerate: ch
e
ck that d
i
m
ension o
f
input incl
u
des
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
partition2enumeration: che
c
k that input is really
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n Verdoola
e
ge
update pipli
b
fo
r
change
in
configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdoolaege
update
ome
g
a for
co
n
f
i
g
uration/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoo
l
aege
barvin
o
k_cou
n
t_with_o
p
tions: check return
v
alue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
P
ol
y
he
d
ro
n
_Sample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaeg
e
sum
m
ate
.
c: add missing i
n
clude
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
to
p
c
om
.
c:
support newe
r
v
e
rsions o
f
TOPCO
M
commit
|
commitdiff
|
tree
2009-11-12
Sven
Ver
d
oolaege
t
o
pcom
.
c
:
compute_domain: s
k
ip
v
erti
c
es
without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oo
l
aege
po
l
ytope_minimize:
t
ake c
o
nsta
n
t term to be zero w
h
en
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
dool
a
eg
e
doc:
reflect that --enab
l
e
-fractional is n
o
w the defa
u
l
t
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolae
g
e
glpk_p
o
lyhed
r
on_affine
_
s
ign: sp
e
c
ial case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
Po
l
yhedron_Inser
t
_Co
l
umns: fix
t
ypo
commit
|
commitdiff
|
tree
2009-11-11
Sven V
e
rdoolaege
Polyhedron_
F
actor: f
i
x u
p
d
a
t
i
ng of groups
commit
|
commitdiff
|
tree
2009-10-06
Sve
n
Verdoola
e
ge
configure
.
i
n
:
use AX_SUB
M
ODULE instead of BV_SU
B
M
O
DUL
E
commit
|
commitdiff
|
tree
2009-08-21
S
v
en Verdoolaeg
e
remove_equalit
i
es: us
e
P
olyh
e
dron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
r
d
oolaege
barvino
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Ver
d
o
olaege
do
c
: add experimental compari
s
on between old
and
n
ew
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
l
exmin
.
cc: remo
v
e "anachron
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add so
m
e less
c
ommon
.
s
t
y files
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
erd
o
olaege
add "clever" La
u
rent ex
p
ansion based su
m
mation
commit
|
commitdiff
|
tree
2009-07-20
S
ven Ve
r
doolaege
move Last_Non_Z
e
ro to ut
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract out p
a
r
a
m_poly
n
omia
l
from la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
l
aege
e
xtract vertex
_
cone f
r
om lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sv
e
n
Verdoola
e
ge
up
d
ate
p
ol
y
lib f
o
r speed im
p
rovement in in_doma
i
n
commit
|
commitdiff
|
tree
2009-06-12
S
v
en Verdoolaege
update pipl
i
b fo
r
di
s
tribution issue
commit
|
commitdiff
|
tree
2009-05-26
S
v
en Ver
d
oolaege
Polyhedron_Factor: fix merging of gr
o
ups o
f
colu
m
n
s
commit
|
commitdiff
|
tree
next