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
iscc: allow coercion of binary list into first element
2010-08-30
Sven Verd
o
olae
g
e
isc
c
: al
l
o
w
coercion of binary list
in
t
o
first el
e
ment
commit
|
commitdiff
|
tree
2010-08-28
S
ven V
e
rdoolaege
b
arv
i
nok_bound:
c
on
v
e
r
t
to isl_pw_qpol
y
nomia
l
once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdo
o
laege
ba
r
vinok_bou
n
d: use is
l
to split
o
n
d
omain si
z
e
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdool
a
e
ge
set sensi
b
le defaults with -
-
polyn
o
mial
-
approxi
m
ation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
isl_pw_q
p
ol
y
n
omial_
s
um: reus
e
ba
r
vinok_options if
a
v
a
i
l
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdo
o
laege
isl_map_c
a
rd: reus
e
barvino
k
_opt
i
o
ns if
a
v
a
il
a
bl
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
update isl
f
or aligni
n
g parameters of
u
n
i
on argum
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Ver
d
oolaege
i
s
c
c: add "join" operation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdo
o
laege
iscc: add "
j
o
i
n"
operation on maps and
fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Ve
r
doo
l
aege
i
s
c
c: sup
p
o
r
t addition on
a
pair
o
f a fold
a
nd a quasip
o
l
y
n
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
updat
e
isl for a
d
ding types to isl_{
u
nion_,}pw_
q
p
o
lynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
allow
codege
n
o
n sets
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
i
s
cc: codegen: detect st
r
ides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
g
e
iscc: use
s
i
m
p
lified
CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
update isl for re
n
ame of i
s
l_pw
_
qpolynomia
l
_fold_ad
d
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
Verdool
a
ege
iscc
.
c: unio
n
_pw_qpolynom
i
al_up
p
er_boun
d
: fix me
m
o
r
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
summ
a
te
.
c: fix t
y
po in co
m
ment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verd
o
o
l
aege
isl_map_app
l
y
_
pw
_
qpoly
n
omial:
fix typo
commit
|
commitdiff
|
tree
2010-08-10
S
ven Verdoolaege
update
i
sl from isl_union_m
a
p
f
ixes
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Verdoolaege
isc
c
:
allow
i
nverse on non-union maps aga
i
n
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
s
c
c
:
a
d
d
wrap and unwrap operation
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add
i
sl_union_map_apply_union_
p
w_
q
polynomial
commit
|
commitdiff
|
tree
2010-08-05
S
v
en
Ver
d
oolaege
isl_pw_
q
polynomial_s
u
m: handle isl
_
pw_qpol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
u
pdate isl
f
or nested dimension
s
pe
c
ific
a
tions
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolae
g
e
i
s
l_map
_
card: postp
o
ne shuffling around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
er
d
oolaege
up
d
ate is
l
for isl_basic_map_
m
o
ve
_
dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Ver
d
oolaege
isl_pw_qpol
y
n
omial_
s
um
:
p
ush conversion to Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
oolaege
isl_pw_qpolynomial_sum: check for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
V
e
rdoolaege
a
v
oid us
e
of isl_dim
interna
l
s
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
iscc: suppo
r
t codegen o
p
era
t
io
n
if CLo
o
G is avai
l
able
commit
|
commitdiff
|
tree
2010-07-31
S
ven V
e
r
doolae
g
e
iscc: switch to
u
sing u
n
i
o
ns
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaeg
e
add
isl_union_pw
_
qp
o
lynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
S
ven V
e
rdoolaeg
e
add is
l
_union_map_car
d
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
d
oolaege
isl_pw
_
qpo
l
ynomial_sum
:
t
a
ke tuple
n
a
m
es in
t
o
a
cco
u
nt
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
o
l
aege
is
l
_map_card
:
p
r
e
s
erve fu
l
l domain dimension information
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
Verdoolaege
upda
t
e
isl f
o
r change in isl_hash_
t
abl
e
_foreac
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
barvinok_enumerate
.
c
c: fix pr
i
ntf
format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoola
e
ge
doc: add some more papers refering to
t
he library
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
ba
r
vinok
0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update isl to ve
r
s
i
on 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configu
r
e
.
in: properly
ad
d
is
l
flags a
n
d libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
c
o
n
figure
.
in: d
r
op call to g
l
_EARLY
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Ve
r
doolaege
genfu
n
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
test_approx
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
o
o
laege
t
e
st_bound
.
c
:
fi
x
p
rintf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
configure
.
i
n: stop co
m
p
iling Omega
by d
e
fault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
ver
i
fy_lexsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
eva
l
u
e
.
c: avoid use of all
o
c
a
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoola
e
g
e
evalue_i
s
l
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
Ver
d
oolaege
iscc: re
c
over from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdo
o
laeg
e
upd
a
te is
l
for im
p
r
o
ved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-13
Sven V
e
rdoolaege
doc: iscc: update documentation
o
f
"
u
b
"
op
e
rator
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaege
test_approx: include c
t
ype
.
h
for isspa
c
e
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaeg
e
test_a
p
pro
x
: includ
e
co
n
fig
.
h for HA
V
E
_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
test_boun
d
: include c
o
nfig
.
h fo
r
HAVE_SYS
_
TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
iscc: add vertices
o
perations
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolae
g
e
optionally u
s
e isl
to
perform para
m
e
tric
vertex e
n
umeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl-polylib for handl
i
ng of rational sets
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oola
e
g
e
dr
o
p distinct
i
on between barvinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoola
e
ge
r
e
move bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
u
p
date
i
sl for generic isl_p
w
_qpolynomia
l
_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
conf
i
gure
.
in: d
r
op bv
_
o
mega_program
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
laege
add i
s
l_ctx_peek_
b
arvinok
_
options
commit
|
commitdiff
|
tree
2010-06-07
S
v
en Verdoola
e
ge
iscc
:
parse ba
r
vinok
o
pt
i
ons
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
export
i
sl_qpo
l
ynomial_from_evalu
e
commit
|
commitdiff
|
tree
2010-06-01
S
v
en V
e
rd
o
ola
e
ge
M
akefile
.
am: drop dependence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven
Ver
d
ool
a
e
ge
u
p
dat
e
isl fo
r
rename of isl_pw_q
p
o
l
ynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
ver
i
f_ehrhart
.
c: ad
d
m
issing include
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
c
o
n
f
igure
.
in: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
use isl for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
upd
a
t
e isl
for keeping t
r
a
ck of u
s
er
o
ptions
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
erdoolaege
test
_
bound:
r
e
wr
i
te
i
n C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
updat
e
isl for h
e
lp message
printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove eva
l
ue_opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
l
a
ege
remove evalue_range_pr
o
pagation
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
e
rdoolaege
test
_
bo
u
nd: use isl interface
f
or co
m
pu
t
in
g
bo
u
n
d
s
commit
|
commitdiff
|
tree
2010-05-15
S
ve
n
Verdoolaege
barvinok_b
o
u
nd: use i
s
l interfa
c
e for comput
i
n
g bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
iscc: supp
o
rt
u
b
even if GiNaC
s
u
pport
was not comp
i
led in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
e
g
e
ad
d
gen
e
ric isl_pw_q
p
o
l
ynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ve
r
doolaege
update isl for
isl_pw_qpolynomi
a
l_bound_range
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
V
e
r
doola
e
ge
t
e
st_bound:
u
s
e
i
sl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
barv
i
nok_bound: u
s
e
isl
d
uring verif
i
ca
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
ver
i
f
y
.
c: extract
some helper fu
n
ctions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoola
e
g
e
introduce "bo
u
nd
"
op
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
er
d
oola
e
ge
options
.
c
:
fix printf
f
o
rmat
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
Verdoolaege
is
c
c: add appl
i
c
ation
operat
i
ons
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoolaege
iscc
:
add read op
e
ration
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoo
l
aege
i
scc: free op
t
ions
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
oolaege
updat
e
isl f
o
r reading
o
f s
t
ri
n
gs
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verd
o
olaege
u
pdat
e
isl for
f
ix
in
isl_printer_
p
rint
_
p
w
_
qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdo
o
laege
upd
a
te isl-po
l
ylib for change in
p
kg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
iscc: a
l
low s
p
ecifi
c
ation of o
u
tpu
t
f
ormat
commit
|
commitdiff
|
tree
2010-04-13
S
v
e
n
Verd
o
ol
a
ege
u
p
d
a
t
e
isl for ch
a
nge
in i
s
l_set_gist argume
n
t
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
update is
l
for renam
e
of
isl_ma
p
_
move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
con
f
igure
.
in: a
d
d
isl f
l
ags and
libs to
pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: tes
t
i
sl_stream f
o
r eof rather t
h
an the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
iscc: ad
d
deltas
o
per
a
ti
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaeg
e
update is
l
f
o
r
fix
i
n isl_m
a
p_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven
V
e
rdo
o
laege
drop ba
r
vinok_enumerate_pip_wit
h
_opt
i
ons
commit
|
commitdiff
|
tree
next