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
configure.in: drop call to gl_EARLY
2010-06-29
Sven
Verdoolaege
configure
.
i
n: drop call to
g
l_
E
ARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
genfun
.
c
c
: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
test_appr
o
x
.
c:
fix printf f
o
rm
a
t
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verd
o
olaeg
e
test_bound
.
c
:
fix pri
n
t
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
config
u
r
e
.
i
n
: st
o
p
compili
n
g Omega by
d
efault
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolaege
verify_lexsm
a
ll
e
r
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
o
l
aege
evalue
.
c: av
o
id use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaeg
e
i
s
cc: recove
r
from error
s
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdoolaege
up
d
a
te isl
f
o
r
i
mproved error
han
d
li
n
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
iscc
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verd
o
ol
a
ege
d
oc
:
iscc:
u
pdate documentation of "ub" operato
r
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
o
l
aege
te
s
t
_
app
r
ox: inc
l
ude
c
type
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
test_appro
x
:
include config
.
h for HAVE_SYS_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
o
olaege
test_bound: in
c
lu
d
e
c
o
n
fig
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
e
g
e
iscc: add vertices operations
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
optio
n
ally use isl to pe
r
for
m
parametric
v
ertex e
n
u
m
eration
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doola
e
ge
update i
s
l-polylib f
o
r ha
n
dling of ratio
n
al sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop d
i
stinct
i
on between
b
arvinok
-
cor
e
an
d
b
a
rv
i
nok
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
upda
t
e isl for g
e
neric isl_
p
w_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
c
onf
i
gure
.
i
n
:
drop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_
c
tx_peek_barvinok_optio
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdool
a
ege
iscc: p
a
rse barvi
n
ok optio
n
s
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
export isl_qpo
l
ynomial_fr
o
m_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makef
i
le
.
am: drop dep
e
n
dence on d
o
c/o
m
ega
.
te
x
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Verdoolaege
upd
a
te
is
l
for r
e
nam
e
o
f
isl_p
w
_qpoly
n
o
m
ial
_
move
commit
|
commitdiff
|
tree
2010-06-01
S
ven V
e
rdoolaege
ve
r
i
f_eh
r
hart
.
c: add missing
include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
configu
r
e
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
use isl for a
r
gume
n
t par
s
ing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
g
e
update is
l
for keeping track
o
f
user options
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
erdoolaege
test_b
o
und: re
w
ri
t
e in
C
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdoolae
g
e
up
d
a
t
e isl
f
o
r help message prin
t
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
remo
v
e evalue_op
t
imum
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
remo
v
e
e
value
_
range_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_bound: us
e
i
s
l in
t
er
f
ace fo
r
computing b
o
un
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
barv
i
nok
_
bound: use isl inte
r
face for
computin
g
bounds
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ver
d
oola
e
g
e
iscc
:
supp
o
r
t ub ev
e
n if
G
iNaC su
p
p
o
r
t w
a
s not compiled i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
ad
d
generic
is
l
_pw_qpol
y
nomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
r
doolaege
u
p
date isl
f
or
i
sl_pw_qpolynom
i
al_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaeg
e
test_bou
n
d: use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
ba
r
vinok_bou
n
d: use is
l
durin
g
verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
verif
y
.
c: extra
c
t some helper functions f
o
r isl bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
o
laege
introduce
"
bou
n
d"
o
ption
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
optio
n
s
.
c: fix
pr
i
ntf
format
commit
|
commitdiff
|
tree
2010-05-10
Sven Ve
r
d
o
o
laege
iscc: add applic
a
tion oper
a
t
ion
s
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
V
erdoolaege
iscc: add read
operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolae
g
e
i
s
cc: free o
p
t
ions
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolae
g
e
upda
t
e i
s
l fo
r
reading of strin
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaeg
e
u
p
d
ate isl for fix in isl_pr
i
nter_pri
n
t
_
pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
update isl-polylib fo
r
change
i
n
p
kg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
iscc:
a
l
l
ow specification
o
f out
p
ut
for
m
at
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
update isl for cha
n
ge in
is
l
_set
_
gist ar
g
ument
commit
|
commitdiff
|
tree
2010-04-11
Sven
Ver
d
oolaege
update isl f
o
r re
n
ame of isl_ma
p
_move
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolaege
configure
.
in: add
i
sl flags and libs to
p
kg-conf
i
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
rdoolae
g
e
iscc: t
e
st
isl_str
e
a
m for eof ra
t
her than t
h
e
underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoo
l
a
e
ge
is
c
c: add delt
a
s
operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
up
d
at
e
i
s
l
for fix in isl
_
map_
d
eltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop barvinok_enumerate_pip_
w
it
h
_o
p
t
ions
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdoola
e
ge
iscc: add
c
r
o
ss
product
oper
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-03-31
Sve
n
Verdoolaege
iscc: add coalesce
o
perations
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Ver
d
oolaege
update is
l
for isl_pw_qpol
y
nomial_coalesc
e
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
Verdool
a
ege
drop "Om
e
ga cou
n
tin
g
calculato
r
"
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
test_bound
.
cc: fix print
f
format
commit
|
commitdiff
|
tree
2010-03-27
S
ven
V
erdoolaege
b
ernst
e
i
n
.
cc: fix prin
t
f format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
eval
u
e_range_propagati
o
n: fix substitu
t
ion
f
or negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
bernstein/configure
.
in: use abs
o
l
ut
e
srcdir of PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
only distribute bundled submo
d
ules
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdool
a
ege
u
p
d
ate
omega fo
r
configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
confi
g
ure
.
i
n
:
allow "bui
l
d" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdool
a
ege
isl_qpo
l
y
n
omial_fold_from_ginac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven
Ver
d
oolaege
isl_qpolyno
m
ia
l
_fro
m
_ginac
:
expand ex befor
e
inspection
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Ve
r
doolaege
i
sl_obj_list
.
c: upd
a
te to use of
i
s
l_pri
n
t
er
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc: add
g
i
st
operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
update is
l
f
o
r
introduction of isl
_
pr
i
nte
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoola
e
g
e
isl_pw_qpol
y
nomial_upper_bound: set up variable v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdoolaege
iscc: add
some
c
o
mpariso
n
operations
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdoolae
g
e
is
c
c
: add
i
nverse opera
t
ion
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoolae
g
e
i
s
c
c: fi
x
up
t
yp
e
of find_ma
t
ching_b
i
n_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olae
g
e
iscc: add affine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc: add operation
t
o
c
o
nstruct universal ma
p
fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolae
g
e
iscc
:
a
d
d intersect_d
o
ma
i
n operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c
:
allow overloading bin
a
ry ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
a
ege
iscc: add more dom operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdo
o
laege
doc: reorganize table of isc
c
operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
u
p
da
t
e isl
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoo
l
a
eg
e
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaege
AUTHORS: update
support informat
i
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
randomvec
t
or:
double size of coeffic
i
en
t
s on each
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
is
c
c: supp
o
rt t
r
ansitive
c
l
o
sure
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdo
o
laege
upd
a
te isl t
o
version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdo
o
laege
bar
v
i
n
ok
_
e
.
cc:
enu
m
e
r
ate_vd: remove un
u
sed v
a
riable
s
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ver
d
oo
l
a
eg
e
evalue
.
c
:
P
o
l
y
hedron_Insert: add missing re
t
urn type
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
doola
e
ge
ev
a
lue
.
c
:
reduce_
e
v
alue: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
scc: ad
d
@ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
iscc: add
"ub"
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
ad
d
i
s
l
_
pw_qpol
y
nomial_upper
_
b
o
u
nd
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaeg
e
is
c
c:
a
dd sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add i
s
l_pw_q
p
olynomial
_
s
um
commit
|
commitdiff
|
tree
next