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
add isl_pw_qpolynomial_foreach_lifted_piece
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_forea
c
h_lifted_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
add isl_set_lift
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ver
d
o
o
laege
add isl
_
set_from_point
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Verdoolaege
add
isl_mat_ins
e
rt_cols
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verd
o
olaege
add
i
sl_pw_qpol
y
n
om
i
al_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ve
r
doolaeg
e
add isl_pw_qpolynomi
a
l_
f
or
e
ach_
p
iece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
isl_
p
w_q
p
olynomial_get
_
dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
l
aege
a
d
d is
l
_
d
iv_di
m
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
e
r
doolaege
isl_stream: a
l
low "
_
" in tokens
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
isl_stream: accept "
@
" token
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ver
d
oolaeg
e
i
sl_map_
r
ead: a
c
cept '*' in affin
e
expre
s
si
o
ns
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
erdoolaege
isl_qpolynom
i
al_ev
a
l:
use c
o
ns
i
s
t
e
n
t
dimensio
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Ve
r
doola
e
ge
doc: update
t
o removal of piplib
a
s a submo
d
ule
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
doc: fix
typo
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
isl_str
e
a
m
_read_obj
:
add support for reading piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
add isl_stream_read_obj
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verd
o
o
l
a
e
ge
add generic isl_obj
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
Verdoolaege
add support
f
or (piecewise) q
u
asip
o
lynomi
a
ls
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olae
g
e
add isl_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
isl_stream: par
s
e inf
t
y
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
e
x
port
i
sl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
i
s
l_
s
tr
e
am: allow user spec
i
fied keywo
r
d
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_stream: add som
e
a
u
x
iliary functions
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_stre
a
m: read "definition" token ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
ad
d
isl_i
n
t_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ve
r
dool
a
e
ge
privately e
x
por
t
isl_se
t
_conta
i
ns_poin
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
add
i
sl_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
add isl_
s
et_sam
p
le_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolae
g
e
ad
d
i
sl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l_basic_set_
s
can: make sure s
u
ffic
i
ent rows are all
o
cated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ve
r
doola
e
ge
isl_m
a
p
_subtract: only ad
d
divs w
h
e
n
n
eeded
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ver
d
oolaege
add isl_map_order_div
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
extract i
s
l_tab_add_di
v
f
r
om i
s
l_tab_pi
p
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
isl_v
e
c
.
c
:
f
i
x mino
r
whitespace i
s
sue
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
o
o
l
aege
add isl_s
e
t_c
o
m
p
l
e
ment
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rd
o
olaege
ex
p
ort
i
s
l_ma
p
_make_disjoi
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolae
g
e
a
d
d is
l
_hash
_
tabl
e
_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
isl_map_
p
rint: ext
r
a
ct out pri
n
t
_
disjunc
t
s
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoo
l
a
e
g
e
add isl_set_
f
ast_is_universe
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
isl_i
n
put
.
c: a
c
cept_affine: fix memo
r
y leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ve
r
doo
l
a
e
ge
i
sl_ma
p
_intersect: detect empty r
e
sult also in c
a
se
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_map_r
e
ad: skip until
the e
n
d
o
f the l
a
st line w
h
en
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
isl_stre
a
m
_
nex
t
_token_o
n
_same_li
n
e: check if last
t
oke
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_
s
et_wrap_fa
c
et:
make
s
ure set
i
s marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaeg
e
isl_coalesce
.
c
:
fix typo in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdo
o
laege
i
s
l_ma
p
_read: acce
p
t list of predic
a
te
d
eleme
n
ts
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdool
a
eg
e
is
l
_map_rea
d
: ex
t
ract ou
t
parsing of map
body
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoolaege
isl_ma
p
_read: add dummy variable name f
o
r
u
nnamed variab
l
es
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdo
o
laege
isl_st
r
eam: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdo
o
laege
use -O1
o
ptimization leve
l
for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
o
l
a
e
ge
i
s
l_ma
p
_
r
e
ad: a
c
ce
p
t
a
ff
i
ne combination
s
of earli
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoola
e
ge
is
l
_map_read
:
co
n
struct bas
i
c map
w
hi
l
e reading vari
a
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolae
g
e
isl_ma
p
_
print
:
add
p
r
imes
t
o du
p
licate
na
m
es
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
a
ege
isl_m
a
p_tran
s
itive_closure: intersect w
i
t
h domai
n
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
s
l
_
m
a
p
_
tran
s
itive_cl
o
sure: extra
c
t
out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolaege
isl_map_trans
i
t
i
ve_closur
e
:
mov
e
acyclicity test
up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
add isl_set_
l
ower
_
b
o
u
nd_si
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
r
doolaege
isl_map_print: use
consistent names
on all dis
j
uncts
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaege
isl_cat:
a
llow spe
c
ification of output
f
ormat on
comman
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Ver
d
oolaege
i
s
l
_m
a
p_prin
t
:
support ISL_FOR
M
AT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
S
ven Ver
d
oola
e
g
e
isl_map_coalesce: fix some regressions introdu
c
ed by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
e
rdoolaege
add isl_closure test ap
p
lication
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
Verdoolae
g
e
add transitive closur
e
example from Kelly'
s
1996 pa
p
er
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_map_transitive_clos
u
r
e:
c
o
n
s
tru
c
t g
e
nera
l
paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
map
_
t
ransitive_clos
u
re: pr
e
pare for the co
n
struction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Ver
d
o
olaeg
e
isl_map_trans
i
tiv
e
_closure: construc
t
paths
that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
o
laege
isl_t
r
an
s
itive_clo
s
u
r
e
: extract out constr
u
ct
i
on of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaeg
e
i
sl_m
a
p_t
r
a
nsitive_closure: use more g
e
ne
r
i
c
acyclic
i
ty
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
isl_map
_
print: add pa
r
enth
e
s
e
s aroun
d
disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
do
o
laege
isl_hash_
t
able: use size tha
t
corresponds
to the num
b
er
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash_t
a
ble: gro
w
table when we run out of
e
n
tries
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Ver
d
o
olaege
isl_map_coalesce: only us
e
non-redundant con
s
t
raints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sve
n
Ver
d
oolaege
add isl_s
e
t
_fix_s
i
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
erdoolaege
isl_ma
p
_read: accept chains of compar
i
sons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
e
x
p
o
r
t
isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Ver
d
o
o
laege
isl_map_read: f
o
r
get
e
xiste
n
tially quanti
f
ied variab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Verd
o
ol
a
ege
isl_input
.
c: remove needless
i
ndirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
a
e
ge
doc: do
c
ument
how to i
n
spect sets
and relati
o
ns
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
Verdoolaeg
e
e
x
por
t
i
s
l
_
map_comp
u
te_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl
_
c
onstra
i
nt_div: make sure re
q
uest
e
d div is a know
n
div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
olaege
doc
:
drop do
c
um
e
n
tation of _dump fun
c
tio
n
s
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
isl_map
_
p
r
int: improv
e
outpu
t
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
add
i
sl_b
a
sic_m
a
p_for
e
ach_
c
onstraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
isl
_
map_coalesce: handle more cases
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
p
rivat
e
ly export isl_set_
w
rap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
isl_c
o
n
v
ex_hu
l
l
.
c:
w
rap_fa
c
et:
a
ll
o
w unbounde
d
f
acets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
doc: i
m
p
r
ove d
e
criptio
n
of
i
sl
_
map_transi
t
i
ve_clo
s
u
r
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
is
l
_m
a
p_transitive_clo
s
ure: improve test
f
or exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add a
counter example for T
h
eorem 1 of the COCO
A
paper
commit
|
commitdiff
|
tree
2010-02-08
S
ven Ve
r
d
o
olaeg
e
add isl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ve
r
d
oolae
g
e
isl_map_p
o
wer: coalesce domain
a
nd
r
ange
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
sl
_
flow
.
c: ad
d
missing i
s
l_access_inf
o
_f
r
ee return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
isl
_
coalesc
e
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Ver
d
oolaege
i
s
l_map_r
e
ad: accept lists of
a
ffine exp
r
es
s
io
n
s
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
Verdoo
l
aege
add isl
_
mat_from_row_vec
a
nd i
s
l_
m
at_vec_c
o
ncat
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
isl_map_read
:
read extend
e
d polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verd
o
olaege
add isl_stream_next_token
_
on_
s
ame_line
commit
|
commitdiff
|
tree
2010-02-04
S
ven Ver
d
ool
a
e
ge
isl_map_r
e
ad: make
sure
p
o
lyli
b
constra
i
nt coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
isl_{map
,
set}_dim: handle NULL input
commit
|
commitdiff
|
tree
next