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
update isl for generic isl_pw_qpolynomial_bound
2010-06-12
Sve
n
Verdoolaege
update is
l
for
g
eneric isl_pw
_
qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
configu
r
e
.
i
n
:
drop bv_ome
g
a_p
r
ograms
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdo
o
laege
a
d
d isl_ctx_pe
e
k_barvinok_op
t
ions
commit
|
commitdiff
|
tree
2010-06-07
Sven V
e
rdoolaege
isc
c
: parse ba
r
vinok opt
i
ons
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
export
i
sl_qpolynomial_
f
rom_eval
u
e
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
Makefile
.
a
m: dro
p
de
p
enden
c
e on doc/om
e
ga
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
er
d
o
olaege
update isl f
o
r
rename of
isl_pw_qp
o
lynomial_m
o
v
e
commit
|
commitdiff
|
tree
2010-06-01
S
ven Ver
d
oolaege
verif_ehrh
a
rt
.
c: a
d
d missing include
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ve
r
doolaege
con
f
igure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
V
e
rdoolaege
us
e
isl
f
or
a
r
g
u
ment parsing
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdo
o
la
e
g
e
update isl for keeping tr
a
ck of user o
p
tions
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdoolaege
tes
t
_bound: r
e
w
ri
t
e in C
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
e
r
doolaege
updat
e
isl for hel
p
m
e
ssage printing
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n
V
e
rdoolaege
re
m
o
v
e e
v
alue
_
optim
u
m
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdool
a
ege
r
e
move evalu
e
_range_pro
p
a
g
ation
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
tes
t
_b
o
u
n
d
: use
i
sl interf
a
ce
f
o
r computing
boun
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
dool
a
ege
barvinok_bound: use isl
i
nter
f
ace fo
r
computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
rdoolae
g
e
isc
c
: su
p
port ub ev
e
n if GiNaC
s
u
pport was
not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
a
ege
add generic isl_pw_qpolynomia
l
_bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
l
a
ege
update isl
for isl_pw_qpolyn
o
mial_boun
d
_
ra
n
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaeg
e
test_boun
d
: use isl
during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
dool
a
ege
ba
r
vinok_boun
d
: use
isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoo
l
aege
veri
f
y
.
c
: extract some helper functions
for i
s
l based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
intro
d
uce "bound
"
option
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ve
r
d
o
olaege
options
.
c: fi
x
p
r
intf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
i
scc:
a
dd appl
i
c
a
tion oper
a
t
ion
s
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
iscc:
a
d
d read operatio
n
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoola
e
ge
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoolaege
updat
e
isl f
o
r
reading o
f
st
r
ings
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
update isl for fix in isl_printer_
p
rint_
p
w_q
p
oly
n
omia
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdool
a
ege
upd
a
te isl-p
o
lylib
for change in pkg-confi
g
fi
l
e
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n V
e
rd
o
o
laeg
e
i
s
c
c: allow specification o
f
outpu
t
format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
ol
a
ege
update isl for change i
n
isl_
s
et_gist arg
u
ment
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdoo
l
a
e
ge
u
p
date
i
sl for rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configure
.
in: ad
d
isl flags and
libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaege
iscc: test isl_st
r
eam for eof rather
than
t
h
e
u
nderlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
a
e
ge
iscc: add del
t
a
s
operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update isl for fix in isl_map_del
t
a
s
commit
|
commitdiff
|
tree
2010-04-04
Sven
Verdoolaege
d
r
op barvinok_enum
e
rate_pip_with_o
p
t
i
ons
commit
|
commitdiff
|
tree
2010-04-01
Sven Ve
r
do
o
laege
iscc
:
a
dd cro
s
s p
r
odu
c
t operations
commit
|
commitdiff
|
tree
2010-03-31
Sve
n
V
e
r
d
oolaege
iscc:
a
dd coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
erdoolae
g
e
upd
a
te isl for isl
_
p
w_qpoly
n
omial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aeg
e
drop
"
Omega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
eg
e
tes
t
_bound
.
cc: fix printf
f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
bernstein
.
cc: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
evalue_range_
p
rop
a
gation: fix
s
ubstitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
bernstein/c
o
nfig
u
re
.
in: use
a
b
solu
t
e
srcdir
o
f
P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolae
g
e
only distr
i
bute bun
d
led s
u
bmodul
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erd
o
olaege
upda
t
e o
m
ega for
configuration
issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
conf
i
g
u
re
.
in: allo
w
"build" Pol
y
Lib
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
is
l
_
qpolynomial_fold_from_g
i
n
a
c: handle
fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
Ve
r
doolaege
is
l
_q
p
oly
n
omia
l
_from
_
ginac:
e
x
pa
n
d ex befo
r
e insp
e
c
t
ion
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
V
e
rdoolaeg
e
isl_o
b
j_li
s
t
.
c: update to
u
s
e
of
isl_printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoola
e
ge
iscc: add gist operatio
n
s
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
r
doolaege
u
pdate is
l
for introduc
t
ion of isl_pri
n
t
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaege
isl_pw
_
qpo
l
ynom
i
a
l_uppe
r
_boun
d
:
set up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdool
a
ege
i
scc:
a
dd
s
ome compa
r
ison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
isc
c
: add inverse ope
r
ation
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoolaege
i
s
cc: fix up
t
y
pe of find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add affine hull o
p
erati
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdo
o
laege
is
c
c: ad
d
operation
t
o construct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ve
r
d
o
olaege
iscc: add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
iscc: add inter
s
ect_domain opera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc: allow
o
ve
r
load
i
ng binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add
more dom
operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rd
o
olaege
doc: reorg
a
nize table of iscc opera
t
i
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
e
g
e
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
V
erdoo
l
aege
A
U
T
HORS: update support infor
m
ation
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
random
v
ector: double size of coe
f
fici
e
nts on each
a
ttempt
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdo
o
laege
iscc: suppor
t
tra
n
sitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
V
erdoolaege
u
pdate is
l
to v
e
rsion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
b
arvinok_e
.
cc: enumerate
_
vd: remove unus
e
d vari
a
bl
e
s
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoola
e
ge
ev
a
lue
.
c:
P
o
l
y
h
edron_Insert: add m
i
s
s
ing
r
eturn
type
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ver
d
oolaeg
e
e
va
l
ue
.
c: reduc
e
_evalue: remove unused
v
ariable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: a
d
d "
u
b"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ola
e
g
e
ad
d
isl_p
w
_qpol
y
nomial_upper
_
bou
n
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
a
d
d isl_pw
_
q
p
olynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
add isl_pw_qpolynom
i
a
l
_to
_
ev
a
lue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
update isl for isl_p
w
_qpolynomial_foreach_p
i
e
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rename
e
value2i
s
l to isl_p
w
_qpolynomia
l
_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdool
a
ege
iscc:
d
etect more ki
n
ds of errors
commit
|
commitdiff
|
tree
2010-03-05
S
ve
n
V
e
rdoolaege
barvino
k
_
enumerate: use isl during the veri
f
ication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
a
d
d iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
ad
d
isl_set_
c
ard and isl_map_car
d
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
V
erdoolaege
add evalu
e
2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaeg
e
evalue
_
c
o
nvert: export a
s
a
p
pl
i
cation
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
barvinok_enumerate
_
e: op
t
i
o
nally use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
Verdoolaege
a
d
d
isl
s
ub
m
odu
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
erdoo
l
a
e
g
e
AX_SUBMOD
U
LE: accep
t
"
-"
in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
b
a
rvinok_en
u
merate: re
t
urn NaN f
o
r
infinite
proble
m
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaeg
e
rem
o
ve_all_eq
u
al
i
ties: handle integrally, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_en
u
me
r
ate_e: alway
s
r
e
t
urn a part
i
tio
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
bar
v
inok_enumerate: check that dimension of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
partition2en
u
meration: chec
k
tha
t
i
nput is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven
Verdoolaege
update
p
i
plib for c
h
ange in confi
g
u
r
e opti
o
ns
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
ola
e
ge
upd
a
te omega for configuration/compilation iss
u
es
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
e
r
d
o
olaege
barvinok_count_w
i
th_
o
ptions: check return value of
.
.
.
commit
|
commitdiff
|
tree
next