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
isl_pw_qpolynomial_sum: check for unbounded domains
2010-08-04
Sven Verdoolaege
isl_pw_q
p
olyno
m
ial_
s
um: check for
u
n
bounded d
o
m
a
ins
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdool
a
e
g
e
avoid use of
isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
i
s
cc: support
c
o
deg
e
n operation if CLoo
G
is a
v
ailabl
e
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
iscc:
s
w
i
t
ch
t
o using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
add isl_union_pw_qpolynom
i
al_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
add i
s
l_union_
m
ap_card
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaeg
e
i
sl_
p
w
_
qpolynomial_sum: take tuple
names into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
isl_map_card: pr
e
serve full
domain
dimen
s
ion informat
i
on
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
upda
t
e
i
s
l for change
in isl_h
a
sh_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
barvinok
_
enumer
a
te
.
cc: fix p
r
i
ntf fo
r
mat
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolae
g
e
doc:
a
dd so
m
e more
p
apers
r
e
fering to the lib
r
ary
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
bar
v
inok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoola
e
ge
update isl to ver
s
ion
0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
conf
i
g
u
re
.
in
:
pr
o
perly
add isl flags and libs to
pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oo
l
a
e
ge
config
u
re
.
in: drop
c
all to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoola
e
ge
g
e
nfun
.
cc
:
fix printf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n Verdoolaege
test_a
p
prox
.
c: fi
x
p
r
intf f
o
rma
t
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoo
l
a
e
g
e
te
s
t_bo
u
nd
.
c: fi
x
pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
configure
.
in:
s
t
op compilin
g
Omeg
a
by default
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
V
e
r
d
oolaege
verify_
l
exsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
V
e
r
doolaege
e
v
a
lue
.
c
: avoid use of alloc
a
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
evalu
e
_isl
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verd
o
o
laege
is
c
c: rec
o
v
er from errors
commit
|
commitdiff
|
tree
2010-06-20
S
v
e
n Verdoolaege
update isl
for
i
mpr
o
ved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oolaege
i
scc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdo
o
laege
do
c
: i
s
cc: update documentation of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
test_approx: include ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_appr
o
x: i
n
clude config
.
h
for H
A
VE_S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
tes
t
_bo
u
n
d
: include co
n
f
i
g
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
iscc: a
d
d vert
i
ce
s
op
e
ration
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
o
p
tionall
y
use isl to
perfor
m
p
a
rametric vert
e
x enu
m
eration
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
erdoolaege
update isl-polylib
f
o
r h
a
ndling of ra
t
ion
a
l
s
ets
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
drop distin
c
tion between barvin
o
k-core an
d
bar
v
inok
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
upd
a
te i
s
l for
g
eneric isl_pw_qpolynom
i
al_bo
u
nd
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolae
g
e
conf
i
gure
.
in: drop bv_omega_p
r
og
r
ams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_ctx_peek_barvinok_optio
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoola
e
ge
iscc: parse
b
a
r
vinok op
t
ions
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
e
g
e
export isl_qpoly
n
o
mia
l
_from_eval
u
e
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
e
r
dool
a
ege
Makefile
.
a
m
:
d
rop
d
ependence
on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
do
o
laege
update
i
sl fo
r
rename of isl_pw_qpolyno
m
ial_mov
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
g
e
verif_ehrhart
.
c:
ad
d
m
issing i
n
clude
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdo
o
laege
c
o
nfigure
.
in: f
i
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
d
o
olaeg
e
use isl for argument
pa
r
sing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
u
p
date
isl for keep
i
ng
t
rack
of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
test_
b
ound
:
rew
r
ite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoola
e
g
e
update
i
s
l for help
message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
re
m
ove evalu
e
_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoo
l
aeg
e
re
m
ove
evalue_range_propaga
t
i
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
r
doolaeg
e
test_bound:
u
se is
l
interface for compu
t
i
ng bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
ola
e
ge
b
a
r
v
inok_bound: use isl interface for comput
i
ng bo
u
nds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
i
scc: suppor
t
ub
even if
Gi
N
aC
s
upport was not compil
e
d i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdo
o
laege
add generic isl_pw_
q
p
o
lynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
update
i
sl
f
o
r isl_pw_qpolynomial_boun
d
_rang
e
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Ver
d
oo
l
aege
test_bound: use isl during ve
r
ification
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
b
arvinok_
b
ound: use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaeg
e
verify
.
c: ext
r
act s
o
me helper functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introd
u
ce "bound"
o
p
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
options
.
c
:
fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
Verdoolaege
is
c
c: add
a
pplication opera
t
ions
commit
|
commitdiff
|
tree
2010-04-24
S
v
e
n
V
erdoola
e
g
e
iscc: ad
d
read op
e
r
atio
n
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoo
l
aege
i
s
c
c: fre
e
op
t
ions
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Ve
r
do
o
laege
upd
a
t
e isl
f
o
r
reading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
Ve
r
doolae
g
e
upda
t
e
i
sl for fix in
is
l
_printer_pr
i
nt_pw_qpolynomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Ve
r
doolaege
update
i
sl-polylib for
c
hange in pkg-config
f
ile
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verd
o
o
l
aege
iscc: all
o
w
s
p
ecification of out
p
ut fo
r
m
a
t
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdoolaege
upd
a
te isl for ch
a
nge i
n
isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoo
l
aege
upda
t
e isl for
rename of is
l
_m
a
p_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
c
o
nfigure
.
in:
a
dd isl flags and
l
ibs
t
o p
k
g-
c
onfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: test isl_stream fo
r
e
o
f rat
h
er than the
underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: add deltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdo
o
laege
update i
s
l for fix in isl
_
map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdool
a
ege
dro
p
barvi
n
ok
_
en
u
merate_pip_wi
t
h_optio
n
s
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolae
g
e
iscc: ad
d
c
r
oss pro
d
uct
operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Ver
d
oolaege
iscc
:
add
coales
c
e
o
peratio
n
s
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdool
a
ege
upda
t
e isl fo
r
isl_pw_qpoly
n
omial_coal
e
sce
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verd
o
ol
a
ege
drop "Omega c
o
unting calcu
l
ator"
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolaege
test_bound
.
cc:
fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
ola
e
ge
bernst
e
in
.
cc: fix prin
t
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Ve
r
doolaege
evalue_
r
an
g
e_propa
g
at
i
on: fix substitution for
negativ
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
b
e
rnst
e
in/config
u
re
.
in: use absolut
e
srcdir o
f
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoola
e
ge
only dist
r
i
b
ut
e
bundled submo
d
ules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
update omega for configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
V
er
d
oolaege
c
o
n
figu
r
e
.
in: allo
w
"
build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_q
p
olynomial_fold_f
r
o
m_gina
c
: handle fail n
o
des
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
isl_qpolynomial_from_
g
inac: ex
p
and ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
o
olaege
i
s
l_obj_list
.
c: upda
t
e to us
e
o
f isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n V
e
r
d
oolae
g
e
i
s
cc: add gist oper
a
t
ions
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
update
i
s
l fo
r
introduc
t
i
o
n of
i
s
l_printer
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
isl_p
w
_
q
polynomial_upper_bound:
s
et up variable
vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
v
e
n
Verdool
a
ege
iscc:
a
dd some
co
m
parison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoo
l
aege
is
c
c
:
a
dd i
n
v
e
rse oper
a
tion
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
scc: fix up
type of find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c:
a
dd affine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add o
p
eration
t
o construct unive
r
sal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoola
e
ge
i
scc: add "join" op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
iscc: add inte
r
s
e
ct_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c
:
allow overloadi
n
g binary ops
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoola
e
ge
iscc:
a
dd m
o
re
do
m
o
pe
r
a
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
d
o
c: reorga
n
i
z
e ta
b
le of is
c
c operations
commit
|
commitdiff
|
tree
next