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
barvinok 0.31
2010-06-29
Sven Ve
r
doolae
g
e
barvinok
0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoola
e
ge
update
i
sl to version 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
o
olae
g
e
confi
g
u
r
e
.
in: prope
r
ly add
isl
flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ve
r
doolaege
c
o
n
fig
u
re
.
in: drop call to gl_EARL
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
o
olaege
genfun
.
c
c
: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verd
o
o
l
aege
test_approx
.
c: fix print
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Ver
d
oolaege
t
e
s
t_
b
ound
.
c
:
fix pr
i
n
t
f format
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
c
o
n
f
igure
.
in: s
t
o
p
compiling Omega by
default
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
do
o
laege
verify_lexsmaller
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verd
o
olaege
evalue
.
c: av
o
id use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaeg
e
evalue
_
i
s
l
.
c:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdoolaege
iscc: r
e
cover from
errors
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n
V
e
rdoolaeg
e
updat
e
i
s
l
for imp
r
oved e
r
ror handlin
g
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
i
s
c
c
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-13
Sv
e
n Ve
r
dool
a
ege
d
o
c
: isc
c
:
update docum
e
n
t
ation of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: include
cty
p
e
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
a
e
ge
test_approx:
i
nclude config
.
h for HAVE_S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
test_bound: include co
n
f
ig
.
h for H
A
VE_SYS_
T
IMES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
e
g
e
iscc: a
d
d vertices op
e
rati
o
ns
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erd
o
o
laege
optionally use
isl to
perform param
e
tric ver
t
ex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
u
p
d
ate
isl-
p
oly
l
ib for handling of rationa
l
se
t
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
drop distinction between barvi
n
ok-core
a
nd
barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
rem
o
ve bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
update isl for generic isl_pw_qpolynomial_bou
n
d
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
d
o
olaege
configure
.
in:
d
rop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_p
e
ek_barv
i
nok_op
t
ions
commit
|
commitdiff
|
tree
2010-06-07
S
v
en Verdo
o
lae
g
e
i
s
cc: parse barvinok o
p
tions
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
V
e
rd
o
olaege
export isl_qpolynomi
a
l_from
_
e
v
alue
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verd
o
olaege
Makefile
.
am:
drop depen
d
en
c
e on d
o
c/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolae
g
e
u
p
dat
e
isl
for
r
ename
o
f
i
s
l_
p
w_qpo
l
y
nomial_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
verif_ehrhar
t
.
c:
add miss
i
ng includ
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
configure
.
in: fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
er
d
oola
e
ge
u
s
e isl for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
update isl
f
or ke
e
ping track of user options
commit
|
commitdiff
|
tree
2010-05-19
S
ven
V
e
rd
o
o
l
aege
test_bound: r
e
w
rite in
C
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Ve
r
do
o
laege
u
pda
t
e
isl for help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven
Ve
r
doolaeg
e
rem
o
ve
e
value_optim
u
m
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doo
l
aeg
e
remove evalu
e
_range_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
test
_
bo
u
nd: us
e
isl interface for
c
omputi
n
g
bou
n
ds
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n
Verdoolaege
barvinok_b
o
u
n
d: use isl interface for computing
bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdool
a
ege
iscc:
suppo
r
t
ub
even i
f
GiNaC support was not compil
e
d in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
dd generic
isl_pw_qpolyn
o
mial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
update isl
for isl_
p
w_q
p
ol
y
nomi
a
l
_
bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
t
e
st_bound: use isl during verificat
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdool
a
ege
b
a
rvinok_bound: u
s
e isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c: ex
t
ract some helpe
r
functions for
i
s
l based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
a
e
ge
introdu
c
e "bound"
opt
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
o
pti
o
ns
.
c: fix
printf for
m
at
commit
|
commitdiff
|
tree
2010-05-10
Sven V
e
rdoo
l
aege
iscc: add application opera
t
io
n
s
commit
|
commitdiff
|
tree
2010-04-24
S
ven Ve
r
doolae
g
e
i
s
cc: ad
d
rea
d
operation
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoo
l
aege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoolaege
u
pdat
e
isl f
o
r
reading of
s
trings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl for f
i
x in isl_pri
n
ter_print_pw_qpolynom
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Ve
r
do
o
laege
u
pdate isl-polyl
i
b for c
h
ange in p
k
g-config fi
l
e
commit
|
commitdiff
|
tree
2010-04-21
S
ven Ver
d
o
olaege
iscc: all
o
w specifi
c
a
t
ion of output format
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolaege
upd
a
te isl for change in
i
sl_s
e
t_gist ar
g
ument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verd
o
ol
a
ege
update isl for
r
ename of isl_m
a
p_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doolaege
c
onfigure
.
i
n: add i
s
l flags and libs to pkg-
c
onfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
isc
c
:
t
e
st i
s
l_stream f
o
r eof rather than the underly
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
r
d
oolaege
iscc: add de
l
tas o
p
er
a
tion
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
upda
t
e isl for fix in i
s
l_
m
ap_del
t
as
commit
|
commitdiff
|
tree
2010-04-04
Sven V
e
rdoola
e
ge
dr
o
p
barvinok_
e
n
umerat
e
_pip_with_opti
o
ns
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isc
c
:
a
dd
c
ro
s
s p
r
oduct operations
commit
|
commitdiff
|
tree
2010-03-31
Sven
Verdoolaege
iscc: add coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
e
rdoo
l
aege
upda
t
e
i
sl f
o
r isl_pw_qpolynomi
a
l_co
a
lesc
e
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolae
g
e
drop "Omega c
o
un
t
ing c
a
lculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
test_bound
.
c
c
:
fix printf form
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
b
e
rn
s
tein
.
cc: fix p
r
intf forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
ev
a
lue_ra
n
ge_propagation: fix
s
u
bsti
t
ution
for ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
b
e
rnstein
/
config
u
re
.
in: use absolute
s
rcdir of Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
only distribute bu
n
dled su
b
m
o
dules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
update omega f
o
r conf
i
gur
a
tion
i
ssue
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oo
l
aege
con
f
igure
.
in: all
o
w "build" Pol
y
Lib
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n V
e
rdoolaege
is
l
_
qpolynomial_fold_fr
o
m
_
ginac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolynom
i
al_from_
g
inac:
expa
n
d ex
b
e
fore inspect
i
on
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doo
l
aeg
e
i
s
l_obj_
l
ist
.
c: update to use of isl_
p
rin
t
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
r
doolaeg
e
is
c
c: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verd
o
o
l
aege
up
d
ate isl for int
r
oduction of isl_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
S
v
en
V
er
d
o
o
laege
isl_pw_
q
polyno
m
ial
_
upper_bound:
set up variabl
e
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoolaege
iscc: a
d
d
some
com
p
ari
s
on operations
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rd
o
o
l
aege
isc
c
: add inverse oper
a
tion
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n V
e
rdoolaege
iscc: fi
x
up type of find_m
a
tching_bin
_
o
p
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaeg
e
iscc: ad
d
affine hull operation
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoo
l
aege
i
s
cc: a
d
d
o
pe
r
ation to c
o
nstruct universal map f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
is
c
c
: add
"join" operation
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
i
s
cc: a
d
d intersect_doma
i
n
operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
iscc: allow overloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
: a
d
d
m
o
r
e do
m
o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
doc: reorganize table of iscc oper
a
t
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolae
g
e
u
p
date isl
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoo
l
a
e
ge
barvinok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
A
U
TH
O
RS
:
up
d
ate support
information
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doola
e
ge
randomvector: dou
b
le
s
iz
e
o
f
coef
f
i
c
i
en
t
s on
e
ach attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
iscc: support transiti
v
e
c
l
o
s
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
upda
t
e
isl to ve
r
sion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
barvinok_e
.
cc:
enu
m
e
rate_vd: remove unus
e
d variable
s
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ve
r
d
oolaege
evalu
e
.
c
: Polyhe
d
ron_In
s
ert:
add mis
s
in
g
r
e
t
urn type
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdoo
l
aege
evalue
.
c: reduce_evalue: r
e
mo
v
e
unuse
d
variable
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
i
s
c
c: add @ op
e
r
ato
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
i
scc: add
"
ub"
commit
|
commitdiff
|
tree
next