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
Sve
n
Verd
o
o
laege
R
evert "scheduler:
a
lso
(optionally)
bound
c
o
effic
i
e
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-15
Sv
e
n Verdoolaege
i
s
l
_space_
e
x
t
end: dete
c
t
ove
r
f
l
ow
i
n total number
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-15
Sven
V
erdoolaege
isl_space_
e
xtend: rename "di
m
" v
a
riable to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-12
Sven Verdoolaeg
e
i
sl_sched
u
le_constraints_
c
o
m
pute_sche
d
ule:
strongly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-12
Sven Verdoolaege
i
sl_scheduler
.
c
:
mo
v
e sort
_
statements down
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-12
Sve
n
V
erdool
a
ege
isl_basic
_
map_pl
a
in_is_equal: improve err
o
r h
a
nd
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-12
Sven V
e
r
dool
a
ege
isl_test
.
c:
t
est_bound: add
m
iss
i
ng return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-07
Sven Ve
r
doolaege
isl
_
set_split_dims: avoid NULL pointer deref
e
rence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sv
e
n
Verdoolaege
isl_qpolynomial_fold
_
f
o
ld_on_do
m
ain:
d
o
n
ot consider
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoo
l
aeg
e
i
sl_qpol
y
nomial_fold
_
fold_on_d
o
main: eliminate o
b
viously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdo
o
laege
isl_tab_compute_reduced_basis: onl
y
p
r
int error message
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sve
n
Verdoolaege
is
l
_tab_pip
.
c
:
sol
_
{map,pma}_add_em
p
ty: drop spurious
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
S
ven Ver
d
oolaege
i
s
l
_
tab
_
pip
.
c: context_gbr_rest
o
re: abort on fai
l
u
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
S
ven V
e
rdoolaege
isl_tab_pip
.
c: gb
r
_g
e
t_sample: do not try
t
o restore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaege
i
sl_coalesce
.
c: contains: improve error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Ver
d
oolaege
isl_
c
o
a
l
esc
e
.
c:
chec
k
_fac
e
ts:
improve error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdool
a
e
ge
isl_transit
i
ve_closure
.
c:
construct_component:
i
mpr
o
ve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Ver
d
oolae
g
e
isl_tra
n
sitive_closure
.
c:
i
sl_s
e
t_overlaps: handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verd
o
olaege
isl_tr
a
n
sitive_closure
.
c: construct_extended_path:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
S
v
en Verdoolaege
is
l
_transitive_c
l
o
sure
.
c: add_delta_cons
t
raints: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven
V
e
rdool
a
ege
isl_trans
i
tiv
e
_
c
losure
.
c
:
set_path_lengt
h
: avoid NULL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sve
n
Verdoolaege
is
l
_space_add
_
d
ims
:
avoid NULL p
o
int
e
r dereferenc
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
S
v
e
n
Verdool
a
e
ge
i
sl
_
map_
s
implify
.
c: remo
v
e_shift
e
d_constr
a
ints: handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sve
n
Ver
d
oolae
g
e
isl_basic_map_plain_cmp:
h
a
ndle NULL arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-21
S
v
e
n Verdoolaege
i
n
clude/isl/unio
n
_
map
.
h
: add mi
s
sin
g
include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-09
Sven
V
e
rdoolaeg
e
isl 0
.
1
4
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-09
Sv
e
n Verdoolae
g
e
AUT
H
ORS: a
d
d
Michael Kruse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-27
Sve
n
Verdoolaeg
e
isl
_
sch
e
dule_con
s
traint
s
_compute_s
c
hedul
e
: handle con
d
itiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-26
Sven Verdoolaege
i
s
l_sche
d
uler
.
c
:
i
s
_
co
n
ditio
n
_f
a
lse: allow e
d
g
e
-
>tagged_cond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-25
Sven Verdoo
l
a
e
ge
isl_s
c
heduler
.
c: move up som
e
fun
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-25
Sve
n
Verdool
a
ege
isl_sch
e
duler
.
c: upda
t
e_edge: improve
error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-21
Sven
Verdoolaege
isl_loc
a
l
_
space_subs
t
it
u
te_seq: honor
argument for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven Ver
d
oola
e
ge
isl
_
map_simplify
.
c:
handle
overflow in
r
ound_up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven
Verdoolaege
isl_map_
s
impli
f
y
.
c:
r
emo
v
e_
d
uplicate_divs: improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdool
a
e
ge
isl_ast_code
g
en
.
c: pw
_
aff_cons
t
ant_i
s
_n
e
gative: im
p
rove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdoolaege
isl_id
.
c
: isl
_
id_has_name_and_use
r
: handle miss
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven V
e
r
doo
l
aege
isl_basic_map_gi
s
t: fix typo in code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verd
o
o
laeg
e
isl_aff
.
c: pw_multi_aff_from_map_stride:
fix typo in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
S
ven Ver
d
oolaege
isl_out
p
ut
.
c: print
_
pw_multi_aff_
b
ody
_
wrap: properly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sve
n
Verdoolae
g
e
isl_o
u
tput
.
c
: print_union_pw
_
q
p
ol
y
no
m
ial_fold_i
s
l:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven V
e
rdoolaege
is
l
_output
.
c: print_unio
n
_p
w
_
q
polynomi
a
l_isl: properly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sve
n
Verdoolaege
i
s
l_
o
utp
u
t
.
c: isl_union_m
a
p_print_isl: properly k
e
ep
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sv
e
n
Verdoolaege
isl_ba
s
i
c_
s
et_drop_constraint:
add m
i
ssi
n
g isl_ba
s
ic_se
t
_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven Ve
r
doo
l
aege
isl_as
t
_e
x
p
r
_is_equal: prop
e
rly handle
e
xpressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdo
o
laege
isl_co
n
vex_h
u
l
l
.
c: compu
t
e
_
f
acet: a
v
oid double f
r
ee
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
is
l
_as
t
_
codegen
.
c: add_i
m
plied_
g
uards: combine
dege
n
e
rate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-19
S
v
e
n Verdoolaeg
e
isl_p
r
in
t
er_flus
h
:
a
c
t
ually
c
lear b
u
ffer when call
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laeg
e
isl_bas
i
c_map_gis
t
:
a
vo
i
d
modif
y
ing inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-25
Sven V
e
rdoolaege
i
s
l 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolae
g
e
update AUTHO
R
S
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
Merge
b
ranch 'maint
'
commit
|
commitdiff
|
tree
2014-10-13
Sven
V
erdoolaege
isl
_
map_co
n
vex_hull:
d
etect
e
q
ualitie
s
before checking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven V
e
rdoolaege
isl_schedule_constraints_compute_schedule: allow
par
t
ia
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaeg
e
a
d
d
i
sl_map_n_basi
c
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sv
e
n Verdoolaege
sp
l
it scheduler code
f
r
om schedule object code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Ve
r
do
o
laege
make isl_a
f
f_private
.
h mor
e
self-contained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
ven Verdoolaeg
e
doc: fix ty
p
os
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
o
l
aege
document isl_set_is_singleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
d
oc: update isl_
*
_li
s
t
d
ocumentatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
doc: clean up isl
_
va
l
docume
n
t
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en Verdoolaege
isl_schedule_constraints_compute_schedule: co
m
press
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdoo
l
aege
isl_sc
h
e
d
_node: r
e
name "dim"
field to
"
spa
c
e"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdool
a
e
ge
add isl_morph_get_var_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
oola
e
ge
add isl_m
o
rph_
g
et_dom_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rdo
o
l
a
ege
add isl_morph_
g
et_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdoolaege
privat
e
l
y
e
xpor
t
isl_aff_alloc_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
a
dd isl_mat_is_sc
a
led_i
d
e
ntity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdoolaege
add isl_mat_get_r
o
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ve
r
doolae
g
e
isl_b
a
sic_{set,map}_has_
d
efining_equ
a
li
t
y: allo
w
passing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-28
S
ven Ver
d
oolaege
document isl_space_tuple_match as isl_space_t
u
ple
_
is_equ
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
Sven
V
e
r
d
oolaege
i
sl_map_plain_is_disjoint:
c
he
c
k tuple spaces be
f
ore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
Sven V
e
r
do
o
laege
isl_space_
t
uple_match: a
l
so ignore parameters in n
e
sted
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verdoolaege
isl_space_tuple_match: rename "dim" variables to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdo
o
laege
isl_test: take o
p
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Ver
d
oolaege
isl_union_*_add_*: perform ch
e
ck for "zero" part unconditional
l
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en
V
erdoolaege
isl_union_*_add_*: avoid duplicate chec
k
s
i
n
cal
l
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Verdoolae
g
e
isl_union
_
ma
p
_
is_single_valued:
l
o
ok at domain space
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven
Verdoolaege
i
s
l
_union_map_is_sing
l
e_v
a
lued: extract
out single_
m
ap_is_
s
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n
V
erdoo
l
aege
i
sl_union_map_is_sing
l
e_value
d
: add
a
couple
o
f
ext
r
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n
Verdoolaege
isl_basic_map_outp
u
t
_d
e
f
i
n
ing_equal
i
ty: accept divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ver
d
oolae
g
e
e
x
tract
out shared
i
sl_basic_map_output_d
e
fini
n
g_equali
t
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolae
g
e
AST g
e
nerator: drop red
u
ndant lower boun
d
s
o
n s
t
rided
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ve
r
d
o
olaege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaeg
e
isl_pw_*_gist:
special case cont
e
xt equal
t
o single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
rd
o
olaege
isl_p
w
_*_gist:
spe
c
ial case uni
v
erse
context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdo
o
laege
isl_test: generali
z
e isl_p
w
_qpolynomial_gist tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sven Ve
r
d
o
ola
e
ge
isl_map_
s
implify
.
c: dr
o
p spurious se
m
ic
o
lon
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sv
e
n Verdoolaeg
e
isl
_
ma
p
_
gist: retu
r
n universe on
gist with empty se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sven Ve
r
doolaege
isl_input
.
c:
basic_map_read: c
h
ec
k
type of result returned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl_basi
c
_map_gist: remove redundant div constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Ve
r
doolaeg
e
is
l
_basic_
m
a
p
_g
i
st: remove obviously r
e
dundant reduc
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sv
e
n Verdo
o
laege
i
sl_basic_map_gist: avoid (temporarily)
ad
d
ing
contex
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl_ma
p
_subt
r
act: che
c
k if inputs a
r
e disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Ve
r
do
o
laege
d
oc/Submit
t
ing
P
a
t
c
hes: mention that each m
a
i
l
should
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven V
e
rdoolaege
d
o
c
:
f
i
x document
a
t
ion of is
l
_
basic
_
set_{in,}equalit
i
es_matr
i
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Ver
d
oola
e
g
e
Merge
bran
c
h 'maint'
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoo
l
aeg
e
isl
_
convex_hull
.
c: conve
x
_
hull_p
a
ir: add miss
i
ng re
t
urn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-04
S
v
en V
e
rdool
a
ege
isl_map_{domain,range}_product: rem
o
ve
p
ossible obvious
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven V
e
rdoolaege
isl_ma
p
.
c:
map_product
:
rename "dim_prod
u
ct"
a
rg
u
m
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
a
d
d isl_map_re
m
ove_obvio
u
s_
d
uplicates
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next