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
S
ven Verdoolaege
verify
.
c:
extra
c
t some
h
elper func
t
ions for
i
s
l based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
introduce "bound" optio
n
commit
|
commitdiff
|
tree
2010-05-14
S
ve
n
Verdoolaege
options
.
c: fix printf form
a
t
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
is
c
c: ad
d
application
o
perations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc:
a
dd
r
ead o
p
eration
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoolaege
iscc: free op
t
ions
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolaege
u
p
date
i
s
l for readin
g
o
f stri
n
gs
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
upd
a
te i
s
l for fix
in isl_pr
i
nter_print_
p
w_qpolyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en V
e
rd
o
olaege
update isl-pol
y
l
ib
f
or
c
hange in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
isc
c
: allow speci
f
ication of
output fo
r
mat
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdoolaege
update
i
s
l f
o
r
change in i
s
l_set_gist
argu
m
ent
commit
|
commitdiff
|
tree
2010-04-11
Sven Ve
r
doolaege
update is
l
f
o
r rename of isl_map_mo
v
e
commit
|
commitdiff
|
tree
2010-04-10
S
ven
Ve
r
doolaeg
e
c
onfigure
.
in: add i
s
l
flag
s
a
nd
l
ibs
t
o pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: test is
l
_strea
m
f
o
r
eo
f
rather than
t
he underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: add deltas operatio
n
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update isl fo
r
fix in isl
_
m
ap_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop barvinok_enume
r
ate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoolaege
iscc
:
add
cr
o
ss
p
rodu
c
t o
p
erations
commit
|
commitdiff
|
tree
2010-03-31
Sven Ver
d
oolaege
iscc: add coalesce operati
o
ns
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verdoolaege
update is
l
for isl_pw_q
p
olynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
o
ol
a
ege
dr
o
p
"
Omega cou
n
ting calcu
l
ato
r
"
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoo
l
ae
g
e
t
est_
b
ound
.
cc: fix print
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
bernstein
.
c
c
: f
i
x
p
r
i
ntf format
commit
|
commitdiff
|
tree
2010-03-27
S
v
en V
e
rdoolaege
e
v
alue
_
ran
g
e_prop
a
gation: fix
substitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
b
e
r
n
st
e
i
n
/configure
.
in
:
use absolute srcdir of
Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
onl
y
distribute bundled
s
ubm
o
dules
commit
|
commitdiff
|
tree
2010-03-25
S
ve
n
Verdoolae
g
e
update o
m
ega for config
u
ra
t
ion issu
e
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
configure
.
in: al
l
ow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolyn
o
mial
_
fold_from_ginac: h
a
nd
l
e
fail nod
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpoly
n
omi
a
l_from_gi
n
a
c
: expand
ex before inspec
t
i
o
n
commit
|
commitdiff
|
tree
2010-03-25
S
ven Ver
d
oolaege
isl_obj_list
.
c: update t
o
u
s
e of isl_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolaege
isc
c
:
a
dd
g
i
s
t operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
update isl for
in
t
roduction
o
f isl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n Verdoolaege
isl_
p
w_q
p
olynomial_upper_bound:
s
et
up variable vec
t
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
doolaege
iscc: ad
d
some
c
omparison op
e
rations
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verdoolaege
iscc: add in
v
erse operation
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verdoolaege
i
scc: fix up type of find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
iscc: add aff
i
ne
h
ull
o
pera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
iscc: add
o
p
eration to construct univ
e
r
s
al map fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc
:
a
dd "join"
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc
:
add inters
e
ct_d
o
main
operations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolae
g
e
iscc: allo
w
overloading
bina
r
y op
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oola
e
g
e
iscc: add more
dom operations
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaeg
e
doc: reor
g
anize t
a
ble
o
f
iscc o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
V
e
r
doolaege
barv
i
nok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
A
UTHORS
:
upda
t
e support information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvector: d
o
uble size o
f
coef
f
icients on each att
e
mpt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
iscc: su
p
port transitive c
l
osure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
update is
l
to versi
o
n 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdo
o
laege
ba
r
v
i
n
ok_e
.
cc: enumerate_v
d
:
r
e
move unused variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
ool
a
ege
evalue
.
c: Polyhedron_Insert: add mis
s
ing return ty
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: reduce_
e
v
a
lue: remove unused var
i
a
ble
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
iscc: add @ o
p
erator
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ver
d
oo
l
aege
iscc: add
"
ub"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add isl_pw_qpolynomial_upper_boun
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
iscc: add
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaeg
e
a
dd isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoo
l
a
e
ge
add isl_pw_qpolynomial_to_evalu
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
updat
e
isl
for isl_
p
w_qpolynomial_foreach_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verd
o
ol
a
ege
r
e
n
ame evalue
2
is
l
to isl_pw
_
qpol
y
n
o
mial_from_
e
value
commit
|
commitdiff
|
tree
2010-03-06
Sven V
e
r
d
ool
a
ege
iscc: detect more kin
d
s
of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
ba
r
v
i
nok_enum
e
rate: use is
l
du
r
ing the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
doo
l
a
ege
a
dd isl_
s
et
_
card and i
s
l
_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoo
l
aege
e
v
a
l
u
e
_
co
n
v
e
rt:
e
x
p
ort as applicatio
n
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvino
k
_enumerate_e: option
a
ll
y
us
e
isl
t
o
proje
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
add isl
submo
d
ul
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SUBMODULE: acce
p
t "
-
" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvin
o
k_enumerate:
return NaN for infinite p
r
oble
m
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdool
a
ege
remove_all_equalit
i
es: handle i
n
tegrally, but
not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdo
o
la
e
g
e
b
arvinok_enumer
a
te_e: always return a par
t
i
t
ion for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enumerate: c
h
eck tha
t
d
i
men
s
ion of in
p
ut in
c
ludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verdoolaege
pa
r
tition2enumeration: check that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
update piplib for change in configure options
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
Verdoolaege
update
omeg
a
for co
n
f
i
g
uration
/
compilat
i
on
i
ssues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
olaege
bar
v
ino
k
_count_with_options:
c
heck return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolaege
Polyhedron_Sample: plug memor
y
leak
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Ver
d
oolaege
summate
.
c: add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
t
o
p
com
.
c: support newer versions of TOPCO
M
commit
|
commitdiff
|
tree
2009-11-12
S
ve
n
V
er
d
oolaege
top
c
om
.
c: compute_
d
o
main
:
skip vertices without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polyt
o
pe_minimi
z
e: take constant
t
erm to be z
e
ro when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verd
o
olaege
doc: reflect that --enable-fractional
is now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
glpk_polyhedron_affine_sign: special case
0D polyh
e
dra
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
V
erdool
a
e
g
e
Polyhedron
_
In
s
e
rt_Columns: fi
x
typo
commit
|
commitdiff
|
tree
2009-11-11
Sv
e
n Verdoola
e
ge
Polyhedron_Factor
:
fix updating
o
f groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verd
o
olaege
confi
g
ur
e
.
i
n
: use AX_
S
U
B
M
ODULE inste
a
d
o
f BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdo
o
laege
r
emo
v
e_
e
quali
t
ies: u
s
e
Polyhedr
o
n_P
r
eimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
o
olaege
doc: add e
x
perimental
c
omparison b
e
tween old a
n
d new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven Ver
d
oolaege
lexmi
n
.
cc:
remo
v
e
"anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add some
l
ess commo
n
.
s
ty fi
l
es
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoo
l
ae
g
e
add "clever" Laurent expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
er
d
oolaeg
e
move
L
ast_Non_Zero to uti
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extr
a
ct out param_polynomia
l
from l
a
urent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
e
x
tract vertex_cone
f
rom lau
r
e
nt
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
NTL_QQ
.
cc: add stdio include for
E
O
F hidden in NTL_io_ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
ven Ve
r
doolaege
update polylib for speed
improv
e
men
t
in in_domain
commit
|
commitdiff
|
tree
next