repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl_qpolynomial_eval: use consistent dimension for result
2010-03-09
Sve
n
Ver
d
oolaege
isl_qpol
y
nomi
a
l_eval
:
u
s
e c
o
n
sis
t
ent dimensi
o
n for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
e
ge
doc: update to removal of
p
i
p
lib as a sub
m
odule
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
do
c
: fix typo
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verdoolaege
i
s
l_stream_re
a
d
_obj:
a
dd support for r
e
ad
i
n
g
pi
e
cew
i
se
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl_strea
m
_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add ge
n
e
r
ic isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add suppor
t
f
or (piecewis
e
) qu
a
sipolynomials
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
add isl_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ver
d
oolaege
isl_stream: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
o
olaege
i
sl
_
strea
m
: parse infty
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
export isl
_
s
t
r
e
a
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_st
r
e
a
m:
all
o
w user spe
c
ified keywords
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
is
l
_s
t
ream: add
some a
u
xiliary functions
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
isl_stream: rea
d
"definition" token
"
:="
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdo
o
laege
ad
d
isl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
privately
expo
r
t isl_set_contains_po
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
add is
l
_set_sample_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
dd isl_p
o
int
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
i
sl_basic_set_scan: make
s
ure suff
i
cient rows are allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aeg
e
isl_map_subtract:
o
n
ly add divs when nee
d
e
d
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
o
olae
g
e
add isl
_
map_order_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
ool
a
e
ge
extract
i
sl_tab_add_div from
i
sl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdo
o
laege
isl_vec
.
c: fix minor whitesp
a
ce
i
ssue
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoolaege
add isl_set_complemen
t
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoo
l
aege
export isl_map_ma
k
e_disjo
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
ad
d
isl_hash_table
_
foreac
h
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolae
g
e
isl_map_
p
rint: ex
t
rac
t
o
ut p
r
int_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
dd
is
l
_set_fast_is_uni
v
er
s
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
i
s
l
_input
.
c: accept_affine: fi
x
memo
r
y
leak on
error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_
i
n
tersect: detect empty result also in
c
a
se
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
isl
_
m
a
p_rea
d
:
skip until
the end of t
h
e
last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolae
g
e
i
sl_stream_next_token
_
o
n
_same_line: ch
e
ck if last to
k
en
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_
s
e
t_wrap_facet
:
m
ake sur
e
set is marke
d
rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l_coal
e
sce
.
c: fix typo in
co
m
ment
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
V
erd
o
olae
g
e
isl_map_read:
a
ccept list of p
r
edicate
d
eleme
n
ts
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdool
a
ege
isl_map_rea
d
:
e
xtract out parsi
n
g
of map
b
ody
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Ve
r
doola
e
ge
isl
_
map
_
r
ead: add
dummy variable name for
unn
a
med variab
l
es
commit
|
commitdiff
|
tree
2010-02-19
Sven Verd
o
olaege
i
sl_
s
tr
e
am:
ac
c
ept
";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
e
r
doolaege
use -O1
optimization level for
g
c
c 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
S
v
e
n
Verdoolaege
drop
comma at t
h
e end
o
f
e
num
e
ratio
n
s in include files
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaeg
e
i
sl_map_rea
d
:
acce
p
t
affin
e
c
ombinati
o
ns of
earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoolaege
isl_map_r
e
a
d: construct basic map while
reading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
a
ege
isl_map_print: add p
r
ime
s
to
d
uplicate nam
e
s
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
e
rdoolaege
isl_
m
a
p_transitive_closu
r
e: improve
accuracy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Ver
d
oolae
g
e
i
s
l_map_tran
s
i
t
ive_closure:
p
erfor
m
exactn
e
ss
c
h
ec
k
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
is
l
_
m
a
p
_t
r
ansitive_closur
e
:
reformu
l
ate exactn
e
ss t
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
add a transit
i
ve closure example from
the Omega
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdool
a
ege
i
sl_map_tra
n
s
it
i
ve_clos
u
re:
compute power on
stron
g
ly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
l
a
ege
i
sl_ma
p
_transitive_closure: intersect with d
o
main and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoo
l
a
e
ge
isl_
m
ap_transitive_closure: ext
r
act o
u
t
constructio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdool
a
e
ge
isl
_
map_tra
n
si
t
i
ve_closure: move acy
c
l
icit
y
test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
add isl_set_lower
_
bound_s
i
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
e
rd
o
olaege
isl_map_prin
t
: use consistent nam
e
s
on all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n
Verdo
o
laege
is
l
_
cat: al
l
ow specific
a
tion of outp
u
t format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdo
o
laege
i
sl_
m
ap_print: sup
p
ort ISL
_
FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
laege
isl_
m
ap_coal
e
s
c
e: fix some r
e
gressi
o
ns intro
d
u
ced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoo
l
a
e
ge
add isl_closure test application
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
add transitiv
e
c
lo
s
ure e
x
ample f
r
o
m
Kelly
'
s 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
isl_ma
p
_transiti
v
e_closure:
con
s
truct
gen
e
r
al
paths
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
is
l
_map_transitive_closur
e
: prepa
r
e for the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaeg
e
isl_
m
ap
_
transitive
_
cl
o
sure: construct p
a
ths tha
t
can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l_transitive_closure: ext
r
ac
t
out c
o
nstructi
o
n of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolae
g
e
isl_map
_
transitive_closure: u
s
e more generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_print
:
add
paren
t
heses
around
d
i
s
junct
s
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl
_
ha
s
h_table: u
s
e
size t
h
at
c
orresponds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdool
a
e
ge
isl_hash_table: grow t
a
ble
w
hen we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl_map_coa
l
e
s
c
e: only us
e
non-redundant c
o
nstra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
v
e
n
V
e
rdoola
e
ge
add isl_set
_
fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven V
e
r
d
oolaege
isl_map_r
e
ad: accept cha
i
ns o
f
c
o
mparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verd
o
ol
a
ege
export isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
V
e
rdoolaege
isl_map_r
e
ad: forget existentially
q
uantified
v
ariable
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolae
g
e
i
sl_i
n
put
.
c
: remo
v
e needless ind
i
rect
i
on
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
aege
doc: docum
e
nt how to inspe
c
t s
e
t
s
a
nd rel
a
tions
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
ex
p
o
rt
i
sl_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
a
ege
is
l
_con
s
train
t
_div:
make sure requested div is a know
n
di
v
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
doc: drop documentation of
_
dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oolae
g
e
isl_map_
p
rint:
i
mprove output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
aege
add
isl
_
basic_map_for
e
ach_c
o
nst
r
aint
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdool
a
ege
i
sl_map_coalesce: handle mor
e
cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
privately export i
s
l_set_wra
p
_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l_conv
e
x_
h
ull
.
c
: wr
a
p_fac
e
t: allo
w
unbounded f
a
c
ets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
doc: improve d
e
cription of isl_ma
p
_transiti
v
e_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_
t
ran
s
itive_closure: improv
e
test
for exa
c
tness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
add
a
counte
r
e
x
a
mp
l
e for The
o
rem
1 of the
C
OCOA p
a
per
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
add
is
l
_m
a
p_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
is
l
_map_
p
ower:
c
oalesce domain and ran
g
e
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verd
o
olaege
is
l
_flow
.
c:
a
dd missing is
l
_access_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_coalesce
.
c: f
i
x typo
in comment
commit
|
commitdiff
|
tree
2010-02-07
Sven Ve
r
d
oolaege
includ
e
/
isl_int
.
h: ar
g
ument of mp_g
e
t_
m
emory
_
functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_
m
ap_read: accep
t
lists
o
f affine expressi
o
n
s in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
a
d
d
isl_mat_from_row_vec and isl_mat_ve
c
_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
g
e
isl_map_re
a
d:
r
ead extended poly
l
ib format
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
V
e
r
doolaege
add isl_stream_next_token_on_same_
l
ine
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
isl_ma
p
_
r
ead:
m
a
k
e sure
polyl
i
b
constrai
n
t
c
oefficient
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
e
g
e
i
s
l_{map
,
set}_dim: handle N
U
L
L input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
isl
_
map_read: use mor
e
uniform way of r
e
ading i
n
polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
i
sl_transitive_closure
.
c: fix
typo in
com
m
ent
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_transit
i
v
e
_c
l
osure: use more
r
elax
e
d
exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoo
l
aeg
e
add
i
sl_map
_
pow
e
r and isl_map_transitive_clo
s
ure
commit
|
commitdiff
|
tree
next