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_map_card: split dimension fiddling from conversion to PolyLib
2010-09-14
S
v
e
n Ve
r
doolaeg
e
isl_map_card: split dim
e
nsion
fid
d
ling
fro
m
conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
isl_m
a
p_card:
use isl_pw_qpolynomial_s
u
m if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
ven V
e
rdo
o
la
e
ge
b
a
r
vinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verd
o
ol
a
ege
u
p
date i
s
l for fix in para
m
et
e
r al
i
g
n
ment
commit
|
commitdiff
|
tree
2010-09-10
Sven
Verdo
o
la
e
ge
barvinok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaeg
e
iscc: a
d
d lexicograp
h
ic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
u
pdate
i
s
l to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ver
d
o
olaege
iscc:
ad
d
"source" operation
commit
|
commitdiff
|
tree
2010-09-06
S
ven V
e
r
doolaege
iscc: add
support
for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolae
g
e
i
sc
c
:
print
e
rror message on use of unknown identifi
e
r
commit
|
commitdiff
|
tree
2010-09-06
Sven Verd
o
olaeg
e
iscc: support
u
n
i
on sets in vertices operation
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoo
l
aege
add isl_l
i
st_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
barvinok_bound: us
e
isl t
o
split
p
erio
d
s
commit
|
commitdiff
|
tree
2010-09-05
S
ven Verdoolae
g
e
u
p
d
a
t
e
isl for isl_p
w
_qpolynom
i
a
l
_
split_pe
r
iods
commit
|
commitdiff
|
tree
2010-08-31
Sven V
e
rdoolae
g
e
d
oc
:
mark PolyLib interface obsoles
c
ent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaeg
e
Makefile
.
am:
drop r
e
fe
r
ences to obsolete
@bv_barv
i
nok_b
o
und
@
commit
|
commitdiff
|
tree
2010-08-31
Sven
Ver
d
oolaege
evalue_convert
.
c
c
:
e
v
a
lu
e
_print
_
isl: print end
-
o
f-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoo
l
aege
isc
c
: allow c
o
erc
i
o
n
of
b
inary list into fir
s
t elem
e
nt
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdoolaeg
e
barvino
k
_bo
u
nd
:
convert t
o
i
sl_pw_qp
o
lynomia
l
once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolae
g
e
b
a
rvinok_bound:
u
se isl to split on domai
n
size
commit
|
commitdiff
|
tree
2010-08-26
S
v
en
V
erdool
a
ege
set sensible defaults wit
h
-
-
p
olynomial-ap
p
r
o
ximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
ola
e
g
e
isl_pw
_
qpol
y
nomi
a
l
_
s
um: reuse barvinok_opt
i
ons
i
f
avail
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
isl_map_
c
ard
:
reuse ba
r
vi
n
ok_options if availabl
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
update isl for aligning parameters of
u
n
ion ar
g
ume
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
i
s
c
c:
a
dd "join
"
oper
a
tion
on folds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoola
e
ge
isc
c
: add "j
o
in" o
p
e
ration on maps
and folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
iscc
:
s
upport
a
d
dition on a
pair of a f
o
l
d
and a quasipolyn
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
up
d
ate
i
sl for adding types to
isl
_
{
u
nion_,}pw_qpolyn
o
mial
_
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allo
w
codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdo
o
laege
i
s
cc: c
o
dege
n
: detect strid
e
s
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Verdoolaege
i
s
cc: use simp
l
i
fie
d
CLoo
G
interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update is
l
for
r
ename of
isl_pw_qpolynomial_fold
_
a
d
d
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolae
g
e
iscc
.
c: union_pw_qpol
y
nomial_upper_bound: fi
x
memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
summate
.
c:
f
ix typ
o
in
comment
commit
|
commitdiff
|
tree
2010-08-17
Sve
n
Verdoolaege
isl_
m
ap_ap
p
ly_pw
_
qpol
y
nomial
:
fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaeg
e
upd
a
te i
s
l f
r
om i
s
l
_
union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Verdoo
l
aege
iscc:
allow inverse
o
n no
n
-
u
nion maps aga
i
n
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
s
cc: add wrap
a
n
d unwrap o
p
erations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aeg
e
add isl_union_map_apply_un
i
on
_
pw_qpolyno
m
ial
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
isl_pw_q
p
olyn
o
m
ial_sum: handle is
l
_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
V
e
rdoolaege
u
pd
a
te isl for nested dimensi
o
n spec
i
fications
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
er
d
ool
a
e
ge
isl_map_ca
r
d: pos
t
pon
e
shuffling ar
o
u
n
d of dimension
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verd
o
o
laege
update isl
f
or isl_
b
asic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_qpolyno
m
ial_sum: push conversion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdo
o
laege
isl
_
pw_qpolyn
o
mial_
s
u
m:
c
h
e
ck fo
r
u
nbounded
d
omains
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
av
o
id use o
f
isl_di
m
internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
sc
c
: support codegen operation
i
f CLo
o
G is available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
iscc: switch
to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
add isl_union_pw_qp
o
lynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add
i
sl_union_m
a
p_card
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n Verdoolaege
isl_pw
_
qpoly
n
o
mial_s
u
m:
t
ake tuple
n
a
mes into
a
c
count
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
isl_map_card
:
pre
s
e
r
ve full domain dime
n
sion inform
a
tion
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
update isl for chan
g
e in i
s
l
_
hash_table_
f
oreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdoolaege
barvinok_enumera
t
e
.
c
c: f
i
x pri
n
tf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Ver
d
ool
a
ege
doc
:
add some more papers referin
g
to the li
b
rar
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
update isl
to version
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n Verdoolaege
configu
r
e
.
in: properly add isl
f
lags and libs t
o
pk
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
i
n
: drop
c
al
l
to gl_EAR
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
ge
n
fun
.
cc: f
i
x printf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
e
rdoolaeg
e
test_approx
.
c: fix
printf
f
o
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdo
o
la
e
ge
t
e
st_bo
u
nd
.
c: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
configure
.
in: s
t
op compiling Omega b
y
def
a
ult
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rdoolaege
verify_lexsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoolaege
evalue
.
c
:
avo
i
d use of
a
lloc
a
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
ev
a
lue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
ven Ver
d
o
o
laege
iscc: reco
v
er from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolae
g
e
update isl for imp
r
ov
e
d
e
rro
r
h
an
d
ling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
ege
i
s
cc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven
V
erdoolaege
doc:
iscc: updat
e
documentatio
n
of "ub" o
p
e
r
ator
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
test_approx: include ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
test_a
p
prox: include
c
onfig
.
h
for H
A
VE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rd
o
o
laege
te
s
t_b
o
und: include confi
g
.
h for
H
AVE
_
SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc: add vertices o
p
er
a
tio
n
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
optionally
u
se isl to perform
p
a
rametric v
e
rte
x
en
u
merati
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
updat
e
isl-polyli
b
fo
r
handlin
g
of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
er
d
oolaeg
e
dro
p
distinction be
t
ween barvinok-
c
ore and
barvi
n
ok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
r
e
m
ov
e
bernste
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
update is
l
for generic isl_pw_q
p
olynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
con
f
igure
.
in: dro
p
bv_
o
m
ega_programs
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
rdoolaege
add
isl_ctx_
p
ee
k
_barvinok_option
s
commit
|
commitdiff
|
tree
2010-06-07
S
v
en Ve
r
doolaege
iscc: parse barvinok opt
i
ons
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
r
d
oolaeg
e
expor
t
isl
_
qpo
l
y
nomial_from_ev
a
l
ue
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoo
l
aeg
e
Makefile
.
am: drop dependence
o
n do
c
/omega
.
te
x
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
update isl for rename of isl_pw_qp
o
lynomial_m
o
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoo
l
aege
verif_ehrhart
.
c:
add missi
n
g includ
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
configur
e
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use
isl fo
r
argument parsi
n
g
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolae
g
e
update isl for keeping track of us
e
r
o
ptions
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Verdool
a
eg
e
test_bound: rew
r
ite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdo
o
l
a
ege
update isl
fo
r
help
m
essage printing
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verd
o
o
la
e
ge
remove
e
value_o
p
ti
m
um
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
remove eval
u
e_range_prop
a
gatio
n
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
tes
t
_bound: u
s
e isl inte
r
fa
c
e for c
o
mpu
t
in
g
bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvinok_bou
n
d: use isl i
n
terface f
o
r
computing
b
ounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
iscc
:
s
u
p
port ub
e
ven if GiNaC s
u
p
port was not c
o
m
p
iled in
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
add generic
i
s
l
_pw_qpo
l
ynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
update isl for isl_pw_qpolynomial_
b
oun
d
_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
t
est_bo
u
nd: use isl dur
i
n
g
verification
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
barvinok_bound: use isl
during ve
r
ifi
c
atio
n
commit
|
commitdiff
|
tree
next