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
Sven Ver
d
o
o
l
aeg
e
verify
.
c: extract s
o
m
e helper functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce "
b
o
und" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
o
p
tions
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
Verdool
a
eg
e
iscc: add applicatio
n
operations
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoolaege
iscc: add r
e
ad operation
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Ve
r
doo
l
a
eg
e
is
c
c: fr
e
e optio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
updat
e
isl f
o
r
reading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
update isl for fix in isl_printer_print_pw_qpolyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
u
pdate isl-polylib for change in pkg-confi
g
file
commit
|
commitdiff
|
tree
2010-04-21
S
ven
V
erdoolaege
is
c
c
:
allow
s
p
e
cification of ou
t
put fo
r
mat
commit
|
commitdiff
|
tree
2010-04-13
S
v
e
n
Verdoolaege
upda
t
e
isl for ch
a
nge in is
l
_set_gist argu
m
ent
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verd
o
ol
a
ege
update
i
sl for rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
c
o
nfigure
.
in: add isl flags
a
nd
libs to p
k
g-con
f
ig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdo
o
laege
i
s
c
c: t
e
st
i
sl_stream for
e
of rather than the underly
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdo
o
laege
i
s
cc: add de
l
ta
s
o
p
eration
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
update
i
s
l for
fix
in isl_
m
a
p
_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop ba
r
vinok_enu
m
erat
e
_pip_with_
o
pt
i
ons
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaege
iscc:
a
dd cros
s
pr
o
duct operatio
n
s
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
iscc: add co
a
lesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
update is
l
for isl_pw_qp
o
l
ynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
drop
"Omega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
test_bound
.
cc: fix print
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
bernstein
.
c
c
: fi
x
printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
la
e
ge
evalue_range_propagation:
fix s
u
b
stitutio
n
f
o
r nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
bernstein/confi
g
u
r
e
.
in: use abso
l
ute srcd
i
r of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolaege
only
d
i
st
r
i
b
ute bundled
s
ubmodu
l
es
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolae
g
e
update omega for
config
u
ration
i
s
sue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
configure
.
in: a
l
low "
b
uild" P
o
lyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olaege
isl_qpolynomial_fold_from_ginac:
handle fa
i
l n
o
des
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoola
e
ge
isl_qp
o
lynomial_from_ginac:
ex
p
and ex before i
n
spection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
i
sl_obj_list
.
c:
update to use of isl_
p
rinter
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
V
erdool
a
ege
is
c
c: ad
d
gi
s
t operations
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdoolaege
u
p
da
t
e isl f
o
r in
t
roduction of
i
sl
_
pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
o
laege
is
l
_pw_qpol
y
nomial_uppe
r
_
b
o
u
nd: set u
p
variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
r
doolaege
is
c
c:
a
d
d s
o
me comparison
o
pe
r
a
tions
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n
V
erdoo
l
a
ege
iscc: ad
d
i
n
vers
e
op
e
ratio
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fix up type of find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add affi
n
e hull op
e
ratio
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
o
o
la
e
ge
iscc: add o
p
eration to cons
t
ruct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rd
o
o
l
aege
i
scc: add
"
join
"
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
lae
g
e
iscc:
a
dd in
t
ersect_domai
n
ope
r
ation
s
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
iscc: allow overloa
d
i
ng
binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
iscc: add more
do
m
oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ver
d
oola
e
ge
d
oc: r
e
organize table of i
s
cc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
barv
i
nok
0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
AUTHOR
S
: upd
a
te support
i
nfo
r
mation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
r
a
ndom
v
ector: double size of
c
oeffi
c
i
ents on
e
ach attempt
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaeg
e
iscc: support transitive c
l
osure
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
update
i
sl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
bar
v
inok_e
.
cc: e
n
umera
t
e_vd: remove unus
e
d variables
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
eval
u
e
.
c:
P
olyhed
r
on_Inse
r
t:
a
dd
missi
n
g retu
r
n typ
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
evalue
.
c: reduc
e
_evalue:
r
e
m
o
ve unused va
r
iable
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erd
o
ol
a
e
g
e
isc
c
: ad
d
@ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
isc
c
:
a
dd "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
ad
d
isl_pw_qpolynomi
a
l_upper_bo
u
nd
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
is
c
c: a
d
d s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_
p
w_
q
polyn
o
mial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oo
l
aege
add
i
sl_pw_q
p
olyn
o
m
i
al
_
to_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
updat
e
isl for isl_pw_qpo
l
ynomi
a
l
_
fore
a
ch_
p
iece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
rename
e
val
u
e2isl to
i
sl_pw_qp
o
l
ynomial
_
from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: detect more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verd
o
o
l
aege
barvi
n
ok_e
n
umerate: use
i
s
l
during the
v
erifica
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
a
d
d isl_set_card and
i
sl_ma
p
_
card
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
add
e
value2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_con
v
e
r
t: e
x
port as applica
t
i
on
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
barvino
k
_enumerate_e: optiona
l
ly
u
se isl to
p
roject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
i
sl submod
u
le
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
AX_
S
UBMODULE: accept "
-
" in modu
l
ename
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
barvinok_enumerate: return NaN for inf
i
ni
t
e problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
r
e
move
_
all_e
q
ua
l
ities: handle
integrally, b
u
t not rationall
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
b
arv
i
nok_enu
m
er
a
t
e_e: always return a p
a
rtition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
ba
r
vinok_en
u
mera
t
e: check that d
i
mension of
in
p
ut includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoo
l
aege
partition2enum
e
rat
i
o
n
:
chec
k
t
hat inp
u
t
is
r
e
a
lly a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
ven Verdoolaege
up
d
ate pipl
i
b
fo
r
chang
e
in conf
i
gure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
o
o
l
ae
g
e
update
o
mega fo
r
configuration/com
p
i
l
ation issues
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n V
e
r
d
oolaege
barvinok_count_with_options: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdoolaege
Poly
h
edron_Sample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
V
e
r
doolaege
summate
.
c:
a
dd m
i
ssin
g
include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: supp
o
rt newer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
dool
a
eg
e
to
p
com
.
c:
c
ompute
_
domain:
s
kip vertices without do
m
ain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
ege
poly
t
ope_m
i
nimize: take constant term to
be
zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
do
c
: reflect
that
--en
a
ble-fra
c
tional
is now the
d
efault
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk
_
polyhedr
o
n_affin
e
_si
g
n: spec
i
al case 0D polyhe
d
r
a
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoo
l
aeg
e
Pol
y
hedron
_
Insert
_
Col
u
mns: fix t
y
po
commit
|
commitdiff
|
tree
2009-11-11
S
v
en
V
erdool
a
eg
e
Polyhedron_
F
ac
t
or: fix u
p
da
t
ing of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven
Verdoolaege
config
u
re
.
in:
u
se AX_S
U
BMODU
L
E in
s
tead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sv
e
n Verdoolaege
remove_equalities: use P
o
lyhedr
o
n_
P
reimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
e
rdoo
l
aege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdo
o
l
aege
doc:
add experimental comp
a
rison between
old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdo
o
lae
g
e
lexmin
.
cc:
r
e
mov
e
"anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
d
oolaeg
e
d
o
c: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add some less common
.
s
ty file
s
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever"
L
aur
e
n
t e
x
pansi
o
n based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
olaege
m
o
ve Last_No
n
_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
e
n
V
e
rdo
o
laege
extract out param_polynomial fr
o
m laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaege
extract verte
x
_c
o
n
e
fr
o
m laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
r
doo
l
ae
g
e
N
T
L_QQ
.
cc: a
d
d stdio incl
u
de for EOF hidden in NTL
_
io_ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoola
e
ge
update polylib for speed
improvement in in_domain
commit
|
commitdiff
|
tree
next