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: handle isl_pw_qpolynomials with wrapped domains
2010-08-05
Sv
e
n
Verdoolaege
isl_pw_qpolynomia
l
_s
u
m: ha
n
dle isl_pw_qpolynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoo
l
a
e
ge
u
pdat
e
isl for nested dimens
i
on speci
f
ications
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoo
l
aeg
e
isl_map_ca
r
d: postpone shuff
l
i
n
g around of dimen
s
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
e
g
e
update i
s
l for isl_b
a
sic_map_mov
e
_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Ve
r
doolaege
i
sl
_
p
w
_qp
o
lynomial_sum:
push con
v
er
s
i
on to
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Ver
d
o
o
laege
isl_
p
w_qpol
y
nomia
l
_sum: check for un
b
oun
d
ed do
m
ains
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
oolaeg
e
avoid use of isl
_
dim i
n
ternals
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
is
c
c: sup
p
ort c
o
degen oper
a
tion if CLooG is a
v
aila
b
le
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
iscc:
s
witch to
using
u
nio
n
s
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
add isl_union_
p
w_q
p
olynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
dd isl_union
_
ma
p
_card
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
isl_pw_qpo
l
ynomial_s
u
m: t
a
ke tupl
e
n
ames into
a
c
count
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolae
g
e
i
s
l
_map_card: preserve ful
l
dom
a
i
n dimension information
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
V
e
rdoo
l
aege
update isl fo
r
change in
isl_hash_table_for
e
a
ch
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
b
a
rvinok
_
enumerat
e
.
cc: fix pr
i
n
tf
format
commit
|
commitdiff
|
tree
2010-07-03
S
ven
V
e
rd
o
o
l
a
ege
doc: add som
e
m
o
re papers ref
e
ri
n
g to the
l
ibra
r
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
barvin
o
k 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update i
s
l
t
o version 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
c
onfigure
.
in: p
r
o
perly
a
dd isl flags a
n
d
l
i
bs
to
p
kg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdo
o
laege
configure
.
in:
d
ro
p
c
all to gl_
E
ARLY
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
ge
n
fun
.
c
c: fix
p
r
int
f
fo
r
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
test_approx
.
c: f
i
x
p
r
intf for
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdo
o
lae
g
e
t
e
st_bound
.
c: fix printf
format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ver
d
oolaege
configure
.
in: stop c
o
m
p
i
l
i
n
g
O
mega by
d
efault
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolaege
v
erify_lex
s
m
a
ller
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c
:
avoid use of a
l
loc
a
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
evalue_isl
.
c: fi
x
t
y
po
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdo
o
laege
iscc: recove
r
f
r
om errors
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
Verdoola
e
ge
update i
s
l
f
o
r
i
mpr
o
ve
d
error h
a
ndlin
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
is
c
c
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-13
Sv
e
n V
e
rdoolaege
doc: iscc
:
update d
o
cumentation of "ub" o
p
erat
o
r
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aege
t
est_approx:
i
n
c
l
ude c
t
ype
.
h
for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
est_approx: in
c
lude
c
onfig
.
h
for HAVE
_
SYS_T
I
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bound: include config
.
h for HA
V
E_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oola
e
ge
iscc: add vertices operations
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Ver
d
o
o
l
aeg
e
opti
o
na
l
ly us
e
isl to
per
f
orm
parametric vertex enum
e
r
a
tion
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
update isl-polyl
i
b for h
a
ndling o
f
rat
i
onal sets
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
rdoo
l
aege
d
r
op distinction b
e
tween ba
r
vinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl for generic isl
_
pw_qp
o
lynomial_
b
oun
d
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
configure
.
in: d
r
op
b
v_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_ctx
_
peek_barvinok_o
p
t
i
o
ns
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
is
c
c: pa
r
se ba
r
vinok
o
pt
i
ons
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
ex
p
ort isl_qpolynomial_fr
o
m_eval
u
e
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verd
o
ola
e
ge
Makefile
.
am: drop depen
d
e
nce on
doc/ome
g
a
.
t
e
x
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolae
g
e
upd
a
t
e
is
l
f
o
r rename of isl_pw_qpolynomia
l
_move
commit
|
commitdiff
|
tree
2010-06-01
S
ven Ve
r
do
o
laege
v
e
rif_ehrhart
.
c: a
d
d
m
issin
g
include
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
Verdoolaege
configure
.
in:
fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ver
d
oolaege
use isl for a
r
gument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdool
a
ege
update isl
f
o
r keepin
g
track of
user option
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
test_bound: rew
r
i
t
e in
C
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdo
o
laege
upd
a
te
isl f
o
r
h
elp message p
r
int
i
n
g
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verd
o
o
la
e
ge
remove
evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove
evalue
_
range_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdool
a
e
g
e
test_bound: us
e
isl interf
a
ce for comp
u
ting
b
ounds
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
barvi
n
ok_bound: use isl interfac
e
for comput
i
n
g
bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verd
o
olaege
is
c
c
:
s
upp
o
rt u
b
eve
n
if GiNaC support was no
t
c
om
p
iled
i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
ola
e
ge
add generic isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
upd
a
te isl
for isl_pw
_
qpolyno
m
ial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
r
doola
e
ge
test_bound
:
use isl du
r
ing verificati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
ba
r
v
inok_bound: use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
v
e
rify
.
c: extra
c
t some helper
functions
f
or isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
i
n
troduce "bou
n
d"
option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
options
.
c: fi
x
printf for
m
a
t
commit
|
commitdiff
|
tree
2010-05-10
Sven Verd
o
olaege
iscc: add app
l
ication operation
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
oolaege
i
s
cc: add read opera
t
i
o
n
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
l
a
e
g
e
is
c
c: free
o
ptio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Ve
r
d
oo
l
aege
update isl
f
or reading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
update isl f
o
r fix in is
l
_
printer_pri
n
t
_
pw_
q
polynom
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
u
p
date
i
sl-polylib
f
o
r change
i
n
p
kg
-
config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
d
oolae
g
e
iscc:
allow specifica
t
ion of output f
o
r
m
at
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaege
update isl for c
h
ang
e
in isl_set_gis
t
a
r
gument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
update isl fo
r
ren
a
me o
f
isl_map
_
move
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
e
r
d
o
olaeg
e
configure
.
in: add isl flags and l
i
bs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
i
scc
:
te
s
t i
s
l_stream f
o
r eof rather t
h
a
n
the under
l
ying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: add delt
a
s o
p
eration
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoolae
g
e
upd
a
te isl for f
i
x in isl_map_
d
eltas
commit
|
commitdiff
|
tree
2010-04-04
Sven
V
erd
o
olaege
dr
o
p barvinok_enu
m
erate_pip_with_optio
n
s
commit
|
commitdiff
|
tree
2010-04-01
S
v
en
Verdoolaege
iscc: add cross produ
c
t op
e
ration
s
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
iscc: add
c
oalesce o
p
erati
o
ns
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoola
e
ge
upd
a
te isl for
isl_pw_
q
p
o
lyn
o
mial_coal
e
sc
e
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oo
l
aege
drop
"
Omega cou
n
ting
c
alcula
t
or
"
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
test_bo
u
nd
.
cc: fix print
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
r
doolaege
bernstein
.
cc:
f
i
x
printf forma
t
commit
|
commitdiff
|
tree
2010-03-27
S
ve
n
Verdoolaeg
e
evalu
e
_range_p
r
o
p
a
gat
i
o
n: fix substit
u
ti
o
n
for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
be
r
ns
t
ein/
c
onfigure
.
in: use ab
s
olute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n
Ve
r
doolaege
only d
i
stribute bundle
d
submodules
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoo
l
aege
update om
e
g
a for configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oola
e
ge
configure
.
in: all
o
w "b
u
il
d
" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
i
s
l_qpolyno
m
ia
l
_fold_from_gin
a
c: handle fail no
d
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
ge
isl_qpo
l
ynomial_from_ginac: expand e
x
before i
n
s
p
ecti
o
n
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Ve
r
do
o
laeg
e
isl_obj_
l
ist
.
c: up
d
ate to u
s
e of
isl_print
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaege
iscc: ad
d
gist operations
commit
|
commitdiff
|
tree
2010-03-18
S
ven
V
erdoolaege
update isl
for introduct
i
on o
f
isl_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
is
l
_
pw_qpolynomial_
u
pper_bound: set up varia
b
le vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
iscc: add some
c
o
mparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
is
c
c
: add inver
s
e o
p
eration
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verd
o
ola
e
ge
iscc: fix up
type of find_ma
t
ching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
la
e
ge
iscc: add affine
hull
o
peration
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdo
o
laege
iscc: ad
d
opera
t
ion t
o
construct univers
a
l map fro
m
.
.
.
commit
|
commitdiff
|
tree
next