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 Ver
d
oolaege
verify
.
c:
extract some helpe
r
functi
o
ns fo
r
i
sl b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
ola
e
ge
introdu
c
e
"b
o
und" op
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
l
ae
g
e
options
.
c: fix
p
r
intf format
commit
|
commitdiff
|
tree
2010-05-10
Sven V
e
r
doolaeg
e
iscc
:
a
dd applic
a
tion operatio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Ve
r
d
o
olaege
iscc: add
r
ead operation
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdool
a
ege
i
s
cc: free
o
ptions
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolae
g
e
u
p
date i
s
l
for read
i
ng o
f
st
r
in
g
s
commit
|
commitdiff
|
tree
2010-04-21
S
ve
n
Verdoolaege
update i
s
l for
f
i
x
i
n i
s
l_
p
rinter_print_
p
w_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
update
i
sl-polylib for change in pkg-config fi
l
e
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Ver
d
o
o
laege
is
c
c:
a
llow specificatio
n
o
f outp
u
t format
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdo
o
l
aege
update isl for change in isl_set_
g
ist
a
rgument
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n
Verdoo
l
aege
update isl for
r
ename of isl
_
m
a
p
_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
c
on
f
igure
.
i
n
: add isl
f
lags and lib
s
to
pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
isc
c
: test isl_
s
tream for eof rathe
r
than the
u
nderlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
s
cc: add deltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update isl
f
o
r fix
i
n i
s
l
_map_delt
a
s
commit
|
commitdiff
|
tree
2010-04-04
S
v
en Verdoolaege
d
rop barvinok_e
n
umerate_pip_with_optio
n
s
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoo
l
aege
is
c
c: add cross prod
u
c
t
operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdo
o
laege
iscc
:
a
dd coa
l
e
s
c
e operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
u
p
d
ate isl for isl
_
p
w_qpolyno
m
ia
l
_co
a
l
esce
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
drop "Omega cou
n
ting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
te
s
t_bound
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaeg
e
be
r
n
stein
.
c
c
: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
evalue_ran
g
e_p
r
opagation: fix subs
t
itution
f
or negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaeg
e
ber
n
stein
/
config
u
re
.
in
:
use a
b
solute
srcdir of
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
only
d
i
stri
b
ute bundl
e
d
submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
u
pdate omega for co
n
fi
g
uratio
n
issue
commit
|
commitdiff
|
tree
2010-03-25
S
ven
V
erdoolaege
configure
.
in
:
a
l
low "build" Pol
y
Lib
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoola
e
ge
isl_qpolyno
m
ial_f
o
l
d
_from_ginac: handle
fail
n
odes
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdo
o
laege
i
s
l_qpolynomial_fro
m
_ginac: expand ex before insp
e
ct
i
on
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_ob
j
_list
.
c
:
u
p
d
ate to use of isl_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
V
erdoolaege
iscc: add gist operati
o
ns
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
i
s
l_pw_qpolynomial_
u
pper_bound:
se
t
up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
er
d
oolaege
iscc: add so
m
e
c
omparison operatio
n
s
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolae
g
e
isc
c
:
a
dd inverse operation
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verdoolaege
isc
c
:
fix up type of find_matching_b
i
n_
o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add a
f
fine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
i
s
cc
:
add o
p
er
a
tion to constr
u
c
t
uni
v
e
r
s
al map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
i
s
cc: add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Verdoolaege
i
scc: add intersect_
d
omain
o
peration
s
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
iscc: a
l
l
ow o
v
erloading b
i
nary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaeg
e
iscc: add more
d
o
m
o
p
e
r
ations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdool
a
ege
doc: re
o
rga
n
ize table of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verd
o
olaege
updat
e
isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
do
o
laege
AUTH
O
R
S: update support informa
t
ion
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
eg
e
random
v
ector: doub
l
e
s
ize
o
f coeff
i
cients on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc: support transit
i
ve c
l
osure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update isl to version
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvi
n
o
k_e
.
c
c: e
n
ume
r
ate_vd:
r
e
mov
e
un
u
sed
variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
e
va
l
u
e
.
c
:
Pol
y
hedron_Insert: add missing return ty
p
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoola
e
ge
ev
a
lue
.
c: reduce_evalue:
r
em
o
ve unused vari
a
ble
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
V
er
d
o
olaege
isc
c
:
add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
add isl_p
w
_qpolynomial_u
p
per_b
o
und
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
add isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
a
d
d
isl_p
w
_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
update i
s
l for isl_pw_qpolyn
o
mial_foreach_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ol
a
e
g
e
re
n
a
m
e evalue2isl to
i
sl_pw_qpolynomial_from_
e
va
l
ue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaeg
e
iscc: detect m
o
r
e kinds
o
f er
r
ors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvi
n
ok
_
e
num
e
rate: use isl du
r
ing the veri
f
ication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoo
l
aege
a
d
d iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
a
d
d
isl_set_card
and
isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
add
evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalu
e
_conve
r
t:
ex
p
ort as ap
p
licatio
n
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
b
arvinok_enumerate_e: o
p
tionally
u
se isl to
p
roject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add is
l
submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
AX_SUBMODULE
:
accep
t
"
-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
barvinok_enumerat
e
: re
t
urn
N
aN
for inf
i
n
i
te p
r
o
b
lems
commit
|
commitdiff
|
tree
2010-01-28
S
ven Verdoolaege
remove_all_equalities: h
a
ndle inte
g
rally, but
not rationall
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvino
k
_enumerate_
e
: always return a p
a
r
t
ition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoolaeg
e
barvinok_e
n
umer
a
te: che
c
k
t
h
at
d
imension o
f
input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
doolaege
par
t
ition
2
enumeration: check that
inpu
t
is re
a
lly a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
ven Verdoolaege
upd
a
te piplib fo
r
chang
e
in configure options
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Ver
d
oolaege
update om
e
ga
f
or configur
a
t
io
n
/comp
i
lation issues
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoolaege
barvinok_c
o
unt_with_o
p
tions: check ret
u
rn value
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
Verdoolaege
Polyhedron_Sample
:
p
lug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
rdo
o
laege
summate
.
c: add
mis
s
ing include
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
r
d
oola
e
ge
topcom
.
c
:
sup
p
ort newer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
ven
V
e
rd
o
olaege
topcom
.
c: c
o
mpute_do
m
ain
:
skip
v
er
t
i
c
e
s
without
d
omain
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
do
c
:
re
f
lect that -
-
e
nable-frac
t
ional
i
s now the defaul
t
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
glpk_pol
y
hedron_affine_
s
ign:
s
p
e
ci
a
l case 0D pol
y
hedra
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
Polyhedron_Insert_Colum
n
s: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven V
e
r
d
o
ol
a
ege
Poly
h
edron_Factor:
f
ix updating of g
r
oups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
con
f
i
g
ure
.
i
n
: use AX_SU
B
MODULE in
s
tead of BV_SUBMOD
U
L
E
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdo
o
lae
g
e
remove_equalities: use Polyh
e
d
ron_Prei
m
age i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
ba
r
vinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoola
e
ge
doc: add experimental
c
o
m
parison betwee
n
old
a
nd
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
g
e
lex
m
in
.
cc: remove "anachronis
m
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
ege
doc
:
add
some less co
m
mo
n
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Verdoolaege
add "clever" Laurent expansion b
a
sed summation
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verd
o
ol
a
ege
move
Last_No
n
_Ze
r
o to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract out param_pol
y
n
omial from la
u
ren
t
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoolaege
extract ve
r
t
e
x
_cone from
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
S
v
e
n
Verd
o
olaege
updat
e
polylib for s
p
eed
improvement in in_domai
n
commit
|
commitdiff
|
tree
2009-06-12
Sven Ver
d
oola
e
ge
update piplib for distribution iss
u
e
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaeg
e
Polyhed
r
o
n
_Factor: fi
x
merg
i
ng of groups
o
f
c
olumns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
(t)counte
r
: move c
o
unte
r
::reset() up to counte
r
_bas
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
Ma
k
efile
.
am: k
e
ep bett
e
r track
o
f failed tests
commit
|
commitdiff
|
tree
next