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
Revert "scheduler: also (optionally) bound coefficients computed by carry_dependences"
2015-05-28
Sven Verdoolaege
Revert "
s
cheduler:
als
o
(opti
o
na
l
l
y) bound
c
o
effici
e
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-15
Sven Verdool
a
ege
isl_s
p
ace_exten
d
: det
e
c
t
ov
e
rf
l
ow i
n
total
n
umber of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-15
Sven Verdoolaeg
e
isl_
s
pace_exten
d
:
r
ename "
d
im" vari
a
ble t
o
"
s
pace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-12
Sven
Verd
o
olaeg
e
is
l
_
schedule_co
n
straints_comput
e
_schedule: strongly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-12
Sve
n
Verdoolaege
isl_scheduler
.
c: move sort_statements down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-12
Sven Verdoolae
g
e
isl_b
a
s
i
c_map_
p
lain_
i
s_equal: im
p
rove error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-12
Sv
e
n Verdoolaege
isl_tes
t
.
c: test_bound: add missing ret
u
rn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-07
Sven Ver
d
oolae
g
e
isl_set_split_dims: avoid NULL
p
ointer de
r
ef
e
rence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sven
Ver
d
oolaege
isl
_
qpolynomial_fold_fo
l
d
_
on_domain: do no
t
co
n
si
d
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdool
a
ege
isl_qpol
y
n
omial_f
o
l
d_fold_
o
n
_
d
omain: elimina
t
e obvious
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verd
o
olaeg
e
i
sl_tab_compute
_
reduced_basis: o
n
ly prin
t
e
r
r
o
r
me
s
sage
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Ve
r
doolaege
i
s
l_tab_pip
.
c
:
sol_
{
m
a
p,pma
}
_add_empt
y
: drop spurious
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sv
e
n Verdo
o
laege
isl_tab_pi
p
.
c: context_gbr
_
res
t
ore: abort on fail
u
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sv
e
n Verdool
a
ege
i
sl_tab_pip
.
c: gbr_get_sa
m
ple: d
o
not tr
y
t
o restor
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven V
e
r
doolaege
isl_
c
oal
e
sce
.
c
: co
n
t
a
i
ns: impr
o
ve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaege
is
l
_coale
s
ce
.
c: check_facets
:
i
mp
r
ove erro
r
hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaege
isl_transitiv
e
_closure
.
c
: construct_co
m
pon
e
nt:
i
mpr
o
ve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaeg
e
isl_t
r
ansiti
v
e_closure
.
c:
i
sl_set_overlaps: handle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven
Verdoo
l
aege
isl_tran
s
itive_closur
e
.
c: construct_extended_path:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
S
ven Ve
r
dool
a
ege
isl_
t
ransitive_clo
s
ure
.
c: add_
d
elta
_
constraints:
avo
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven
V
erdoolaege
i
sl_transitive_
c
lo
s
ur
e
.
c: set_pa
t
h_length: avoid NULL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sve
n
Verdoola
e
g
e
isl_spa
c
e_a
d
d_dim
s
: avoid
NULL p
o
inter dereference
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Ve
r
doolaege
isl_map
_
simplify
.
c: re
m
ove_shifted_co
n
straints: h
a
n
d
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
S
v
en Ver
d
oolaege
is
l
_
basic_map
_
plain_
c
mp: handle NULL
a
r
gumen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-21
Sven Verdoolaege
inclu
d
e/isl/un
i
on_m
a
p
.
h
: add missing incl
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-09
Sven V
e
rdoolaege
is
l
0
.
14
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-09
Sven
V
erdoolaege
AUTHORS: add Mi
c
ha
e
l
K
r
use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-27
Sven Verdoola
e
ge
isl_sche
d
u
l
e
_
constraints_c
o
m
pute_schedu
l
e
: h
a
ndl
e
c
o
nd
i
t
i
ona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-26
S
v
en
V
e
r
doolaege
isl_sch
e
du
l
er
.
c: is
_
condition_false: allow edge->t
a
g
ged_cond
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-25
Sven
V
erdoolae
g
e
isl_sch
e
duler
.
c: move
up some
f
unctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-25
Sven Ve
r
doolaege
isl_sched
u
ler
.
c
:
u
pdate_
e
dge: improve
e
r
r
or
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-11
Michael Kruse
is
l
_tab_extend_var
s
: fix bu
f
fer overflow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-21
S
v
en
V
e
r
doolae
g
e
isl_local_space
_
substitute_seq: honor
argu
m
ent f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sve
n
Verdoolaege
isl
_
m
a
p
_
simplify
.
c: handle overflo
w
in
round_up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdoolaege
isl_map_simplify
.
c: remove_duplicate_divs:
i
m
prove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
S
v
en
Verdoolaege
isl_a
s
t_codegen
.
c: pw_af
f
_const
a
nt_is_neg
a
tive: improve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sve
n
Verd
o
o
l
a
ege
i
s
l_id
.
c: i
s
l_id_has_nam
e
_and
_
use
r
: handl
e
m
i
ssing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdool
a
ege
isl_ba
s
i
c
_map_gist:
fix typo in code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdo
o
l
a
ege
i
s
l_aff
.
c: pw_multi_aff_f
r
om_map_strid
e
:
fix typo
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven V
e
r
do
o
laege
isl_output
.
c: print_pw_m
u
l
ti_aff_b
o
dy
_
wr
a
p:
p
roperly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven
V
erdoo
l
a
ege
isl_output
.
c: print_union_pw_qpolynomial_fo
l
d
_
isl:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdool
a
ege
isl_o
u
t
p
ut
.
c: p
r
i
n
t_union_p
w
_qpolynomial_isl: properly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sv
e
n Ve
r
doola
e
g
e
isl_output
.
c: isl_u
n
ion_map_print
_
isl
:
prope
r
ly keep
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven Ver
d
oolaege
i
s
l_basi
c
_s
e
t_drop_constraint
:
ad
d
missi
n
g isl_basic_set_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
S
v
en Verdool
a
ege
isl_as
t
_e
x
pr_is_equal: properly h
a
n
d
le e
x
pressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
S
v
en Verdoo
l
aege
isl_conve
x
_
hull
.
c: compute_facet: avoid double free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven V
e
rdoolaege
i
s
l_
a
st_codegen
.
c
: add_implied_guards: combine
d
e
generate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-19
S
ve
n
Verd
o
o
l
aege
i
s
l_printer_flush
:
actu
a
lly cl
e
ar bu
f
fer when
c
all
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
ae
g
e
is
l
_bas
i
c_map_gist:
a
void modi
f
y
i
n
g
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-25
Sven Verdoolaege
isl 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
S
ven Verdoo
l
aege
up
d
ate AUT
H
ORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven van Haast
r
egt
doc: fix
t
ypos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sv
e
n Verdoolaege
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2014-10-13
S
ve
n
V
e
rdoolaege
isl_map_conv
e
x_hull:
d
e
tect equali
t
ies
bef
o
re che
c
king
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven
V
er
d
oolae
g
e
isl_sch
e
dule_constra
i
nts_comput
e
_
sc
h
e
dule
:
allow partial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
add i
s
l_ma
p
_
n
_basic_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
S
v
e
n Verd
o
olaege
split sched
u
ler co
d
e from schedule object code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
make i
s
l_aff_
p
rivat
e
.
h
m
ore s
e
lf
-
cont
a
in
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdo
o
laege
doc: f
i
x
typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdo
o
laege
do
c
u
ment isl_set_
i
s_sing
l
eton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
ve
n
Verdoolaege
doc: update isl_*_list
do
c
umentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n Verdoolae
g
e
doc: clean
u
p isl_val documentatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
isl
_
sc
h
edu
l
e_
c
onstr
a
int
s
_comput
e
_schedul
e
: compres
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
isl_sch
e
d_n
o
de: ren
a
m
e
"dim"
field to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoo
l
aege
add isl_morph_get
_
var_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
o
laege
add isl_morph_get_dom_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
ven Verdoolaege
add isl
_
morph_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdoolaege
p
r
ivately
e
x
port isl_aff_alloc_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
er
d
oolaege
a
dd isl_
m
a
t
_is_sca
l
ed_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verd
o
olaege
add
i
sl_m
a
t_g
e
t_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
o
o
laege
isl_basic_{s
e
t,map}
_
has_de
f
ining_equ
a
lity:
a
llow passi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven van H
a
a
s
treg
t
ad
d
ast_always_print_block option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-28
Sv
e
n Verdoolaeg
e
document isl_space_tuple_match as isl_
s
pace_tuple_is_e
q
ual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verdo
o
laege
isl_map
_
pla
i
n_is_disjoin
t
: chec
k
t
u
ple spaces before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
S
v
en Verdoolaege
isl_s
p
ace_tupl
e
_match: also ign
o
re parameters in nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolae
g
e
isl_spac
e
_tuple_m
a
tch: re
n
ame "dim" v
a
riables
to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
erdoolaege
isl_test: t
a
ke options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdool
a
ege
isl_union_*_add_*: per
f
orm
c
heck for "zero" part uncondition
a
lly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven
Verdoolaege
is
l
_union_*_add_*:
a
void d
u
plicate checks in callers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verd
o
olaege
isl_union_map_i
s
_single_valued: look at d
o
main space
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdo
o
laeg
e
i
s
l
_
u
nion_map
_
is_s
i
ngl
e
_valued: extract o
u
t si
n
g
le_map_i
s
_
s
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verdool
a
e
g
e
i
sl_union_map_is_single_valued
:
ad
d
a c
o
up
l
e of ex
t
ra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdo
o
laege
isl_b
a
s
ic_map_o
u
tp
u
t_defi
n
ing_equ
a
lity: accept
divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
extract out shared isl_basic_map_outpu
t
_defini
n
g_equa
l
ity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven
Verdoolaege
AST gen
e
rat
o
r: drop r
e
dundant l
o
wer
b
ound
s
on
s
trid
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verd
o
olaege
Merge branc
h
'm
a
in
t
'
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoo
l
aege
isl_pw_*_gis
t
: special case context equa
l
t
o single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdoo
l
aege
isl_pw_*_gist: special case universe con
t
ext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Verdoolaeg
e
isl_t
e
s
t
: ge
n
e
raliz
e
isl
_
pw_qpol
y
n
om
i
a
l
_gist
tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sve
n
Verdoolaege
isl_map_simpli
f
y
.
c: d
r
op sp
u
r
i
ous
s
e
micolon
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolaege
is
l
_map_g
i
st: r
e
tur
n
universe on g
i
st
w
ith e
m
pty se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven V
e
r
d
oolaege
isl_input
.
c: basic_map_read: check
t
yp
e
of result ret
u
r
n
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven V
e
rdoolaege
isl_bas
i
c_m
a
p
_
gist: remove redundant d
i
v
constrai
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
S
ven
Verd
o
olaege
isl_
b
as
i
c_map_
g
ist: remove
obv
i
ously redundant reduced
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
S
ven V
e
rdoolaege
isl_
b
as
i
c_map_gist: avoid (t
e
mpo
r
ar
i
l
y) a
d
d
i
ng context
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Ve
r
doo
l
aege
i
sl_map_subtra
c
t
: check if inpu
t
s are disjoi
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sv
e
n Ve
r
doolaege
doc/SubmittingPatc
h
e
s
: me
n
tion tha
t
e
ach mail should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Joh
a
nne
s
Doerfert
Add an AST expression representing th
e
&-o
p
erator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
J
o
hann
e
s Doerf
e
rt
Ad
d
A
S
T expression builder
func
t
ion
s
fo
r
comparisons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Ve
r
doolaege
d
oc: f
i
x doc
u
m
e
ntation of isl_basic_set_{in,}equalities_m
a
trix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next