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_union_map_read_from_file
2011-02-17
Sv
e
n Ver
d
oolaege
add
i
sl_union_map_rea
d
_from_
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdo
o
laege
isl_stre
a
m_read_
m
a
p: accept
'true' and 'false' con
s
traints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolaege
isl_st
r
eam_
r
ead_map: allow extr
a
';' a
t
end of
m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
rdoolaege
isl_stream_read_ma
p
:
all
o
w negations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdo
o
laege
i
s
l_st
r
e
a
m_read_map: allo
w
ex
i
stenti
a
l quantification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
pr
i
vately
e
xport i
s
l_bas
i
c_ma
p
_add_div_con
s
t
raints_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Verdoolaege
i
sl_m
o
rph_basic_s
e
t:
p
reserve r
a
tionality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doolaeg
e
a
dd
i
sl_basic_set
_
i
s_ratio
n
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Ver
d
oolaege
isl_
p
ri
n
ter_print_basic_ma
p
:
e
xplici
t
ly mar
k
r
a
t
ional
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
olaege
i
sl_
s
t
r
eam_rea
d
_map: read rati
o
nal maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
isl
_
basic_map_inser
t
: preserve rati
o
nality o
f
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doolaege
ad
d
isl_ba
s
i
c
_map_s
e
t
_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verd
o
ola
e
g
e
i
s
l_basic_map_fast_cmp: differentiate betwee
n
rati
o
nal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Ver
d
oolaege
isl_output
.
c
: remove some code dupli
c
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
sl_
p
rinte
r
_p
r
i
n
t
_basic_{set,map}: do
n
't s
t
a
r
t
n
e
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sv
e
n V
e
rdoo
l
aege
i
s
l_stream_read_map: a
c
ce
p
t '|'
a
t start of constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven
V
erd
o
ola
e
ge
isl_stream: keep track of te
x
tual represen
t
ation of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoola
e
ge
isl
_
inp
u
t
.
c: clean
up read_disju
n
cts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven
V
erdoolaege
isl_stream_r
e
ad_
m
ap: accept d
i
sjunctions
within a conjunct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_con
v
ex_hull
.
c
: ex
p
licitly mark wrapping lp probl
e
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
S
ven Verdool
a
ege
isl_tab_min: micro-
o
p
t
i
m
i
zation: postpone taking i
n
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
Verdoolaege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_add_row: a
d
d further explanation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
lae
g
e
isl_tab
.
c:
f
i
x typos in com
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verd
o
o
l
a
ege
i
s
l
_
tab_pi
p
.
c: c
o
rrectly detect non-negativity
o
f
divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
tes
t
both c
o
ntext handl
i
n
g mechanisms of isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
isl_tab_is_equality:
p
roperly support "
b
ig
p
ara
m
eter
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
V
e
rdoolaege
isl_t
a
b_
p
ip
.
c: fix
typo in co
m
me
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
o
l
a
eg
e
i
s
l_
a
f
f
i
n
e
_
hul
l
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
doolaege
isl_uni
o
n_
m
ap_compute_flow:
r
et
u
rn accesses with
n
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl
_
u
n
ion_map
.
c: inplace:
p
a
ss da
t
a pointer to isl_hash
_
tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
erdoolaege
i
sl_dim_
m
ove
:
upda
t
e parameters of n
e
sted s
p
aces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ver
d
oolaege
add isl_m
a
p_nat_unive
r
se
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n
Verdoolaege
clean up is
l
_set_from_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
me
r
ge isl_ba
s
ic_se
t
/isl_basic_m
a
p and
i
sl_set/isl_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaeg
e
rena
m
e
"om
e
ga" transiti
v
e closure
t
o
"
box" transit
i
ve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
export isl_i
n
t_obj_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_
v
ertices
.
c
: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaeg
e
i
sl_union_
t
empl
.
c: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n
Verdoolaege
isl_map_s
u
btract
.
c: n_non_
r
edunda
n
t: prop
a
g
e is
l
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_bernstein
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
Verdoolaege
add i
s
l_union_pw_qpo
l
yno
m
ial_mul_isl
_
int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verd
o
olae
g
e
i
sl_stream_read
_
o
bj: rea
d
int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add int objects for use
i
n iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdoolaege
i
sl_bas
i
c
_
m
a
p
_remo
v
e_divs:
f
inalize re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verdoolaege
add isl_basic_set_get_tuple_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en Verdoolaeg
e
Merge b
r
anch 'maint
'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdo
o
laege
isl_
u
nion_map_sample:
d
on
'
t return NULL on em
p
ty i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
Verdoo
l
aege
isl_basic_m
a
p_set_tuple_na
m
e:
f
inalize
resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
Verdoolaege
isl_trans
i
ti
v
e_closure
.
c
:
more anonymize inpu
t
m
ap
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven
Ver
d
oolaege
isl_basic
_
set_facto
r
i
z
e
r
:
m
a
ke sure group information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven
V
erd
o
olaege
add isl_union_map_range_prod
u
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven
V
erdoolaege
doc:
document pr
o
d
u
c
t
functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
S
ven Verdoolaege
rename isl_basic_se
t
_
p
roduct
t
o isl
_
basic_set_list_
p
roduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sv
e
n Verdoolaege
isl_se
t
_convex
_
hull: opt
i
onally use Fourier-Motzki
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verd
o
olaege
isl_
b
as
i
c_s
e
t_sample_point:
exploit fa
c
toriza
t
i
o
n
i
f an
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
a
d
d isl_morph_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
c
h
ange pro
t
o
t
ype of isl_vec_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdool
a
e
g
e
add
isl_printer_print_
v
ec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl
_
union_se
t
_apply
_
union_pw_qpolynomial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Ve
r
d
o
ol
a
ege
export isl_union_map_
f
rom
_
d
o
main and
isl_u
n
ion_map_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
s
l
_basic_map_inte
r
sect_domain: replace
open-coded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
isl_stream_read_map
:
accept modulo expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
i
sl_basic
_
map_insert:
don't simplify the re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
is
l
_bas
i
c
_map
_
fr
o
m_constrain
t
_matrices:
clear newly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
laege
isl_token_free: free string rep
r
es
e
nt
a
t
i
on of keywo
r
ds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaeg
e
isl_input
.
c: re
a
d_fa
c
tor: d
r
o
p
u
nexpected id
e
ntifie
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdoolaege
isl_in
p
ut
.
c: accept_aff
i
ne_f
a
ctor: avoid double f
r
e
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
To
b
ias Grosse
r
Add isl_union_(set/map)_d
e
tect_equalitie
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl_stream_r
e
ad
_
map: allo
w
space names that ha
p
pen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
v
en Verdoola
e
ge
isl_stream_nex
t
_
t
oken: keep track of
s
tr
i
ng rep
r
es
e
ntati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n
Ve
r
doolaege
add isl_b
a
s
i
c_s
e
t_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
doolaege
add isl_union_map_simple
_
h
u
ll
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdool
a
ege
Merge branch 'mai
n
t
'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n
Verdoolaege
add isl_se
t
_
remove_
u
nknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
doo
l
aege
isl_map_i
s
_subset: don't co
m
pu
t
e divs
o
f minuen
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
ege
rename is
l
_map_is_singleton to i
s
l_
m
ap_fa
s
t
_
is_singl
e
ton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoolaege
add isl
_
map_fa
s
t_is_single_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoo
l
aege
a
d
d
i
sl
_
q
p
ol
y
n
omial
_
dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoo
l
aege
export isl_unio
n
_set_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
isl_qpolynomial_a
d
d_on_
d
o
main: c
o
mpute gist with respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
isl_uni
o
n_map_coalesce and isl_union_map_co
m
pute_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
isl
_
basic_map_solve
_
lp: use de
n
ominato
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
ven Verdoolaege
Merge
c
ommit 'is
l
-
0
.
05
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Verdoo
l
aege
isl
0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven V
e
rdoolaege
isl_ta
b
_basic_map_partial_le
x
opt:
fix up symmetry detect
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl_
b
asic_m
a
p
_u
n
iverse: fi
n
al
i
z
e
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdoo
l
aege
isl_seq
.
h
: all
o
w
in
c
lusion from C++
commit
|
commitdiff
|
tree
2010-12-31
Tobias Gross
e
r
A
d
d
G
DB module that defines an i
s
lprin
t
command
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verd
o
o
l
a
ege
reimplement i
s
l
_
map_par
t
i
al_lexopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
ven V
e
rdoolae
g
e
i
s
l
_ma
p
:
f
ix typos
i
n commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
v
e
n Verdoolaege
add some
more isl_ma
p
_lexm
i
n tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
V
er
d
oo
l
aege
ad
d
i
s
l
_qpolynomial_add_
i
sl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdool
a
ege
a
d
d
is
l
_pw
_
qp
o
lynomial_fold_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdool
a
e
ge
a
dd
isl_pw_
q
pol
y
n
o
mial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
a
dd isl
_
qpolyn
o
mial_fold_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoola
e
ge
add
i
s
l_qpolynom
i
al_fol
d
_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next