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_stream_read_schedule_constraints: do not use default case
2017-09-27
Sven Ver
d
ool
a
ege
is
l
_st
r
eam_read
_
s
ched
u
le_constr
a
ints:
do
not use d
e
fault
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl_s
c
heduler
.
c: graph_free: extract out
clear_nod
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl_scheduler
.
c: graph_find
_
n
o
de: handle NULL
i
nput
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_scheduler
.
c: graph_alloc: add
some do
c
umentat
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
g
e
i
s
l_sched
u
l
e
r
.
c:
graph
_
alloc: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
do
o
l
ae
g
e
is
l
_
s
ch
e
duler
.
c
:
extract
_
sub_
g
raph: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rd
o
olaeg
e
i
sl_sche
d
u
l
er
.
c: update_edge: return
i
sl_
s
t
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolae
g
e
isl_scheduler
.
c: copy
_
edges: return isl_s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdo
o
lae
g
e
isl_sche
d
ul
e
r
.
c
: cop
y
_nodes: return isl
_
sta
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
i
s
l
_s
c
h
eduler
.
c: reset_
b
a
nd:
r
eturn isl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
isl_scheduler
.
c: detec
t
_c
c
s: return isl_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
isl_scheduler
.
c: isl_sch
e
d_node: clarif
y
that n
v
ar
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
d
o
olaege
i
sl_sche
d
ule
r
.
c: add
r
eference
t
o technic
a
l re
p
ort
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoola
e
ge
isl_space_factor_domain: a
c
cept set spa
c
e input
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaeg
e
isl_space
.
c
:
mov
e
is
l
_s
p
ace_factor_d
o
m
ain
d
own
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_pri
n
ter
_
pri
n
t_schedul
e
_c
o
nstraints: on
l
y print
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
Verdoo
l
aege
add isl_union_map_plai
n
_is_e
m
pty
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
d
o
c
: isl_*_is
_
e
mp
t
y: specify head
e
r to inc
l
ude
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Verdoolae
g
e
isl_printer_print_map: try and
prin
t
eq
u
ality
c
onstraints
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_
o
utput
.
c:
p
rint_constr
a
i
nt:
d
r
op isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Ver
d
oolaege
isl_output
.
c
:
print_half
_
con
s
traint:
d
r
o
p
i
sl_ba
s
ic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
i
s
l_output
.
c: print_af
f
ine: drop isl_basic_m
a
p a
r
gument
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
i
s
l_out
p
ut
.
c: print_disjunct: pass
v
alid local variables
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Ve
r
doolaeg
e
isl_output
.
c
:
print_constraints: handle co
n
junction
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_print_*: print uns
a
tisfiable
c
ons
t
raints as "fals
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l_
s
cheduler
.
c: n
o
n_neg_lexmin: fix d
o
uble free on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-26
Sven Ver
d
ool
a
e
g
e
isl_map_coalesce: exte
n
d handli
n
g of in
e
quality adjacent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-26
Sven
Ver
d
oo
l
aege
isl_coalesce
.
c: ext
r
a
ct out shared find_eq and find_ineq
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-26
S
v
en Ver
d
oolae
g
e
isl_coalesce
.
c:
ex
t
rac
t
out shared coun
t
_eq and count
_
i
n
eq
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdo
o
laege
isl_coalesce
.
c: extract out shared any_eq and any_ineq
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
Sven V
e
rdool
a
ege
i
s
l_
s
chedule_c
o
nstraints
_
compute_sched
u
le: only s
o
r
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
Sven Verdo
o
laege
isl_scheduler
.
c
:
c
o
m
pu
t
e_schedu
l
e_fini
s
h_band
:
emphasize
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
Sven
V
erdo
o
laege
i
s
l_sch
e
dule_constraints_
c
ompute_schedule: do not add
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-21
Sven
V
e
rdoolaege
bou
n
d
.
c: include
mor
e
spec
i
fic header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
sc
h
edule
.
c: directly includ
e
required header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
codege
n
.
c
: directly
include re
q
uired header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verd
o
olae
g
e
bound
.
c: di
r
ec
t
ly i
n
c
lud
e
required header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_schedule_tree
.
c: dir
e
c
t
ly
i
nclude required hea
d
ers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Ve
r
doola
e
ge
isl
_
schedule_r
e
ad
.
c: dir
e
ctly include
required head
e
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
i
s
l_schedule_node
.
c: directly include required
head
e
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolae
g
e
isl_schedule_c
o
nstraints
.
c: directly incl
u
de re
q
uired
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
S
v
e
n
Ver
d
oolaege
isl_s
c
h
e
d
ule_band
.
c: direc
t
ly in
c
lude r
e
q
u
ired
hea
d
ers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdo
o
lae
g
e
isl
_
schedu
l
e
.
c
:
dir
e
ctly in
c
l
u
de requ
i
red headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaeg
e
isl_range
.
c:
d
i
rectly
i
nclude requir
e
d
h
e
ader
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
Verdo
o
laege
isl_obj
.
c
: dire
c
tly
include required
h
eader
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verd
o
olaeg
e
is
l
_flow
.
c: directly inc
l
ude requir
e
d headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_band
.
c: directly in
c
lud
e
requ
i
r
ed header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_ast_graft
.
c:
d
irectly
i
n
clude required
header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
S
v
e
n
V
erdool
a
ege
i
s
l_ast_codege
n
.
c
: di
r
e
c
tly include required he
a
ders
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven
Verdoolaege
isl_ast_build_
e
xpr
.
c
: dire
c
tly i
n
clude requir
e
d
h
e
aders
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven
Verdo
o
l
aeg
e
i
s
l_ast_build
.
c: di
r
ec
t
ly include required headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
i
sl_ast
.
c:
directly
i
nclude required header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
S
ven Verdoo
l
aege
isl_list_
t
emp
l
.
c:
directl
y
include requir
e
d
h
eader
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
S
ven Verd
o
olaege
include/isl/
s
ch
e
dule
.
h: dir
e
ctly
include
r
equired
h
eade
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
S
v
e
n Ver
d
oolae
g
e
rename interface/isl
_
test_cp
p
.
cpp to in
t
e
r
fac
e
/isl_test_cpp
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
S
ven Verdoolaege
inte
r
f
a
ce/isl
-
noe
x
ceptions
.
h
.
top: e
m
phasi
z
e these bindings
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
Verdo
o
laege
r
e
nam
e
inter
f
a
ce/is
l
.
h
.
top t
o
i
n
terface/isl-noexce
p
tions
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven
Verdoolaege
doc: explici
t
ly
m
e
n
tion that e
x
ten
s
i
o
n
nodes cause
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
V
e
r
d
oolaeg
e
doc: clarify
p
u
r
p
ose of guard nodes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n Verdoo
l
a
e
ge
isl_ast_codege
n
.
c
: generate_shifted_component_
t
ree
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n Ve
r
d
o
olae
g
e
isl_sch
e
duler
.
c: f
i
x ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n
V
erdoolaege
i
s
l
_coa
l
es
c
e
.
c
:
fix typo
in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
doc: fix typo in
i
s
l_schedule_constr
a
ints_apply doc
u
mentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
S
ven Verd
o
ola
e
ge
doc: update to in
t
rodu
c
tion
o
f isl_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
doc
:
dr
o
p reference to depre
c
a
ted fun
c
tion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven
V
erdoolaege
doc: fix name of isl_ast_
b
u
i
ld
a
r
g
u
ments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
d
o
c: drop r
e
feren
c
e to isl_band_
g
et_ct
x
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-16
Sv
e
n
V
erdoolaeg
e
Merge b
r
anch 'maint'
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-16
Sven V
e
rdoo
l
aege
isl_mat_insert_rows: check for val
i
d
row po
s
i
tion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-16
S
v
en Verdoolaege
is
l
_mat_drop_ro
w
s: check fo
r
valid ro
w
range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-16
Sven Verdoolaege
i
s
l_mat_swap_rows: check for valid ro
w
positions
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-16
Sven Verdoola
e
ge
isl_mat_i
n
sert
_
cols: che
c
k f
o
r valid column position
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-16
Sven Verdoola
e
ge
isl
_
m
at_drop_co
l
s: c
h
eck for valid col
u
mn r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-16
Sven Verd
o
ola
e
ge
isl_
m
at_swa
p
_col
s
: extract out che
c
k_col_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-16
S
ven
V
erdool
a
ege
is
l
_pw_
*
_alloc:
a
d
d missing check for compatible s
p
ace
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-14
Sve
n
Verdoolaege
i
sl_scheduler
.
c: extract_schedu
l
e
_ro
w
: improve
error
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-14
S
v
en Verd
o
olaege
isl_
s
cheduler
.
c: e
x
tract_ed
g
e: do not add edge
s
t
h
at
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-14
Sven Verdoolaege
is
l
_scheduler
.
c: extract_
e
dge:
extract
o
u
t sk
i
p_edg
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-08
Sven Verdoolaege
isl_sched
u
l
e
r
.
c: updat
e
_ed
g
e
:
re-add edges of mul
t
i
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-08
Sven Verdo
o
l
a
ege
i
sl_sch
e
dul
e
r
.
c: copy_edge
s
: extract out
graph_edge_ta
b
les_add
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-08
Tobias Grosser
p
ytho
n
:
remo
v
e redun
d
ant is_string_t
y
p
e
commit
|
commitdiff
|
tree
2017-08-18
Sve
n
Verd
o
olaege
c
p
p
:
fix initi
a
l
ization of local varia
b
le h
o
lding
p
ointer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-18
Sven Verdoolaeg
e
isl_scheduler
.
c: ex
t
ract
_
edge:
f
i
n
ish conver
s
ion to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-18
Sven Verdoolaege
isl_tab_
p
ip
.
c: extract_sample_s
e
quence: handle rational
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-16
S
v
en
Verdoolaeg
e
scheduler:
c
o
mpute sizes used for
coalescing avoidance
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-16
Tobias Grosser
cpp: add m
i
ssi
n
g license to
unit tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-14
Tobias Gro
s
s
er
Document the isl in
t
e
r
face design gu
i
de
l
i
n
e
s with
respect
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-10
Oleksandr Zinenko
cpp: generate
i
sl::ma
n
age_copy for
a
ll
export
e
d
classes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-08
Sven V
e
rdoolaege
is
l
_union_m
a
p_empt
y
: rename "dim
"
v
ar
i
able
t
o
"spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-08
S
ve
n
Verdo
o
laeg
e
isl_m
a
p_universe: ren
a
me "dim" argument
to "
s
pace
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-08
Sven Ve
r
doolaege
isl_map_emp
t
y
:
re
n
ame "dim" arg
u
ment t
o
"space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-08
Sv
e
n Verdool
a
e
g
e
isl_basic_ma
p
_un
i
ver
s
e: rename "dim" arg
u
ment to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-08
Sven V
e
rdoo
l
aege
isl_ba
s
ic_map_empty: rename "
d
im" argument to "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-08
S
ve
n
Ver
d
oo
l
a
e
ge
isl_union_set_
e
mpty
:
ren
a
me "dim"
a
rgument t
o
"
s
pace
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-08
Sven V
e
r
doolaege
isl
_
set_un
i
verse: rename "dim"
a
rgument to "space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-08
Sv
e
n Verdoolaege
i
sl_set_empty
:
rename "d
i
m
" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-08
Sven V
e
rdoolaege
isl_
b
asic_set_universe: re
n
am
e
"
d
im" argument t
o
"
s
pace
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-08
S
ven Ve
r
doolaege
isl_
b
asic_set
_
empty: rename "dim"
a
rgument
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-04
T
obias Grosser
cpp/
p
ytho
n
: exp
o
rt functions
to
c
onstruc
t
s
e
ts from
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
cpp/python: e
x
p
o
rt documented
f
unctions t
o
constr
u
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next