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
remove bernstein
2010-06-12
Sve
n
Verdoo
l
a
e
ge
re
m
ove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
update
i
sl
for gene
r
ic i
s
l_pw_qpolynomial
_
bound
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
co
n
fi
g
u
r
e
.
in: drop bv_o
m
ega_pro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add i
s
l
_ctx
_
pe
e
k_
b
ar
v
i
nok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Ver
d
ool
a
ege
is
c
c: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
e
x
port isl_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ver
d
o
o
laege
Mak
e
f
i
le
.
am:
drop dependence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
update isl for rename of isl_pw_qpolynomial_mov
e
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoola
e
ge
verif_ehrhart
.
c:
add missing i
n
c
l
ude
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoola
e
g
e
configure
.
in: fix
typ
o
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
us
e
isl for ar
g
ument parsing
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Ver
d
oolaege
upd
a
te is
l
for keeping
track of user option
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoo
l
aege
test_bound: rew
r
ite
in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
up
d
ate isl for
help message printin
g
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
r
e
move evalue
_
optimum
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n
Verdoolaege
re
m
ove
eva
l
ue_ran
g
e_propagat
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaeg
e
test_b
o
und: use isl interface for compu
t
i
n
g bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
b
arvinok_b
o
und
:
use isl int
e
rf
a
c
e
for computi
n
g bounds
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
isc
c
: suppor
t
ub even
if
GiNaC support was
not compiled in
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
add generic isl_
p
w_qpolynomia
l
_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoo
l
a
ege
upd
a
t
e
isl fo
r
i
s
l_pw_qpolyn
o
mia
l
_
b
ound_rang
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oola
e
ge
test_bound: us
e
isl during ver
i
fic
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
barv
i
no
k
_bound:
use isl durin
g
verification
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ver
d
ool
a
ege
verify
.
c: extr
a
ct som
e
helper fun
c
tions for isl ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
introduce
"
boun
d
" option
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
optio
n
s
.
c
:
f
i
x pr
i
n
tf f
o
rmat
commit
|
commitdiff
|
tree
2010-05-10
Sv
e
n Ver
d
oo
l
aeg
e
iscc: add a
p
plic
a
t
io
n
op
e
ratio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoolaege
i
s
cc: add
r
ead
op
e
ration
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Ver
d
oolaege
iscc
:
fr
e
e options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
up
d
ate isl fo
r
rea
d
i
n
g of st
r
ings
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaege
upd
a
t
e
isl for fix in isl_
p
ri
n
t
er_print_pw_q
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
updat
e
i
s
l-polylib
for change in pkg-co
n
fig file
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ve
r
doolaege
is
c
c: allow specificati
o
n of output format
commit
|
commitdiff
|
tree
2010-04-13
S
ven
Verdoolaege
up
d
a
t
e isl for chan
g
e i
n
i
s
l
_
s
et_gist a
r
gumen
t
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
update isl fo
r
rename
of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
config
u
re
.
i
n
: add
isl f
l
ags and lib
s
to p
k
g-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
is
c
c
:
test
i
sl_stream for eof rathe
r
t
han the und
e
rlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
V
erd
o
olae
g
e
iscc: a
d
d deltas operat
i
on
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oo
l
aege
update is
l
for fix in is
l
_m
a
p
_
d
e
ltas
commit
|
commitdiff
|
tree
2010-04-04
Sven
V
e
r
doolaege
drop barvinok_enumerate_pip_w
i
t
h
_opt
i
on
s
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
iscc: add cro
s
s product operat
i
ons
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
iscc:
ad
d
coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
d
o
olaege
update isl fo
r
isl_p
w
_
q
p
o
lynomial_coa
l
esce
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoola
e
ge
drop "Omeg
a
count
i
ng calculat
o
r"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
ola
e
ge
test_
b
oun
d
.
cc: fix
printf format
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
e
rd
o
olaege
bernste
i
n
.
cc:
f
ix printf format
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Ver
d
oolaege
evalue_range_pro
p
agation: fix subs
t
itut
i
on for ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
bernstein/
c
on
f
igure
.
in: use
abs
o
lute src
d
ir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
on
l
y
d
istribute bundled submodu
l
es
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdo
o
laege
update omega f
o
r
c
o
n
figur
a
tion
i
ssue
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
d
oolaege
configure
.
in: al
l
ow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
i
s
l
_qpolynomial_
f
old_from_ginac: hand
l
e
fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_
q
polynomial_from_ginac: expand ex before in
s
pe
c
tion
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_obj_l
i
st
.
c
: update to
u
se of
i
sl_p
r
i
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdool
a
ege
iscc: ad
d
gist ope
r
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
update isl for in
t
roduction of
i
sl_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolaege
is
l
_pw
_
qpolynomial_uppe
r
_bou
n
d:
set up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
is
c
c: add some compa
r
i
son operations
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erdoo
l
aege
iscc: add inverse opera
t
ion
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoo
l
aeg
e
iscc: fix up t
y
pe of
f
i
n
d
_mat
c
hing_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
Verdoo
l
a
e
g
e
i
s
c
c
:
a
d
d
a
ffine h
u
l
l
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add
operation to co
n
struct universal m
a
p from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: a
d
d "join"
o
p
e
r
ation
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
isc
c
:
a
dd
i
nte
r
sect_d
o
ma
i
n
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdo
o
laege
isc
c
: allo
w
over
l
oading
b
inary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
er
d
oolaege
iscc: add mo
r
e dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
doc: reorga
n
iz
e
tab
l
e o
f
iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvi
n
ok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
ven
V
erdoolae
g
e
AUTHORS: updat
e
s
u
pport information
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Verdoolaege
r
andomvector: double size of coe
f
ficients
o
n each
attempt
commit
|
commitdiff
|
tree
2010-03-10
S
v
en
Verdool
a
eg
e
i
s
cc
:
support
t
ransitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
update isl
t
o version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ver
d
oolaege
barvi
n
ok_e
.
cc: enumerate_vd:
r
e
mo
v
e
unused var
i
ab
l
e
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
ev
a
lue
.
c
: Polyhedron_Insert: add mis
s
i
n
g retur
n
type
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
evalue
.
c: re
d
u
c
e
_
e
v
alue: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
i
s
cc:
a
d
d @ operat
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoolaege
is
c
c:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d isl_pw_qpolyno
m
ial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
lae
g
e
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ve
r
doola
e
ge
ad
d
isl_pw_qp
o
lynomial_
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olae
g
e
ad
d
i
s
l_pw
_
qpo
l
ynomial_
t
o
_evalu
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
doolaege
update
i
sl for
i
sl_pw_qpolyno
m
i
al_foreach_pi
e
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
l
aege
rename evalue
2
isl to isl_pw_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
i
scc
:
de
t
ect more kinds of er
r
ors
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdo
o
l
aege
b
arvin
o
k_enumerat
e
: use isl d
u
ring the
v
erific
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
add is
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
add
isl_set
_
card
and
isl_map_ca
r
d
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
ev
a
lue_convert: e
x
port
a
s application
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoola
e
ge
barvinok_enu
m
e
rate_
e
: opt
i
onally use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
add isl subm
o
dule
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ve
r
do
o
laege
A
X
_SUBMODULE: ac
c
ept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoo
l
aege
barvi
n
ok_enumera
t
e:
return NaN for infi
n
ite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaeg
e
r
emove
_
all_equal
i
ties:
h
a
n
dle int
e
gra
l
ly, but not
r
ation
a
lly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
ege
bar
v
inok_enumera
t
e_e: always return a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaeg
e
barvinok
_
enumerate: check that
dimension of
i
n
p
u
t includ
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
e
ge
part
i
ti
o
n2enumeration: che
c
k th
a
t in
p
ut is r
e
ally a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
update p
i
plib
f
o
r
change in config
u
re
o
p
t
io
n
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
u
pdate omega for configu
r
ation
/
compilation issue
s
commit
|
commitdiff
|
tree
next