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 *list_copy
2011-02-17
Sven Verdoolaeg
e
privat
e
l
y
ex
p
ort
isl_b
a
sic_ma
p
_add
_
div_cons
t
raints
_
var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolae
g
e
isl_morph_basic
_
set: preserve r
a
tionality of i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oolaege
a
d
d isl_basic_set_is
_
r
a
tional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
ege
i
s
l_printer_print_ba
s
ic
_
ma
p
: explicit
l
y
m
a
rk r
a
t
i
onal
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdo
o
laege
isl_stream_r
e
ad_map: read rat
i
onal
m
ap
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdo
o
laege
isl_basic_map_in
s
e
rt: p
r
e
serve rationality of
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n
Verdoolaege
add is
l
_bas
i
c_map_se
t
_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaege
i
s
l_basic_m
a
p_fast_cmp: differentiate between rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
V
e
rdoolaege
is
l
_output
.
c
:
r
e
m
o
ve some code duplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
V
erdoolaege
isl_printer_
p
rint
_
basi
c
_{set,map}: don't start
new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verd
o
olaege
isl_stream
_
read_map: acc
e
pt '|' at start of constraint
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven
V
erdoolaege
isl_stream: keep track of textu
a
l
r
epresentatio
n
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
i
s
l_input
.
c
: clean
u
p r
e
ad_disjuncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sv
e
n Verdoola
e
ge
i
sl_stream_read_map: a
c
cept d
i
sjunctions
w
i
thin a conjunct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Ver
d
o
olaege
i
sl
_
convex_hu
l
l
.
c: explicitly mark wrap
p
ing lp probl
e
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sv
e
n V
e
rd
o
ola
e
ge
i
s
l
_ta
b
_min
:
micro-optimizatio
n
: postpo
n
e taking int
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Ver
d
oolaege
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olae
g
e
i
s
l
_tab_add_row
:
add further explanati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en
V
erdoolaege
isl
_
tab
.
c: fix typo
s
in c
o
mments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
i
sl_tab_pip
.
c: c
o
rrect
l
y detect non-negativity of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
doolaege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
test both context handlin
g
m
echa
n
isms of i
s
l_
p
ip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Ver
d
o
o
l
a
ege
isl_tab
_
is_equ
a
lity: p
r
operly
s
upport
"
big param
e
ter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
isl_tab_p
i
p
.
c:
f
ix
typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
isl_affine_hull
.
c: fix typos in
c
omments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
is
l
_union_map_compute_flow: return acc
e
s
ses with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Me
r
ge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
o
l
ae
g
e
isl_union_map
.
c:
i
nplace: pass data pointer
to i
s
l_hash_tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
ven
V
e
r
doolaege
isl_
d
im_m
o
ve: upda
t
e parameters of nested
s
paces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
v
en Verdoolaege
add isl
_
map_nat_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n Verdoolaege
c
l
ean
u
p isl_set_fr
o
m
_basic_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
merge isl_basic_set/isl_basic_map and isl_set/isl_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Ve
r
d
o
olaege
rename
"omega
"
transitive closure to "box"
t
ra
n
sitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolaege
expo
r
t is
l
_
int_o
b
j_f
r
ee
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoolaege
isl_vertice
s
.
c:
f
ix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_union
_
t
e
mpl
.
c:
fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verd
o
ola
e
ge
i
sl_map_subt
r
act
.
c: n_
n
on_redundant: propa
g
e isl_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
V
erdoolae
g
e
isl_bernstein
.
c: fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdo
o
la
e
ge
add
isl_union_pw_qpolynomial_mul
_
isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
isl_stream_re
a
d_o
b
j: read int obje
c
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Ver
d
oolaege
add int ob
j
ects
f
or use in
i
scc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verdoolaege
is
l
_
b
asic_map_re
m
ove_di
v
s: finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erdoolaeg
e
add is
l
_
b
asic_set_get_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
d
oolaege
Mer
g
e
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
rdoolaege
isl_union_
m
ap_sample: don't r
e
tur
n
NU
L
L on
empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolae
g
e
is
l
_ba
s
ic_m
a
p_set_tu
p
l
e
_name: fi
n
al
i
ze result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven V
e
rdoolaege
isl_
t
rans
i
tive_
c
lo
s
ure
.
c: more anonymize input map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven
V
erdoola
e
ge
isl_
b
asic_set_factor
i
zer: make
sure group inf
o
rma
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sve
n
Ver
d
oolaege
add isl_un
i
on_map_range_p
r
odu
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sve
n
Verdoolaege
doc: documen
t
p
r
oduct functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sve
n
Verdoolaege
r
ename
i
s
l
_basic_se
t
_product t
o
isl_basic
_
set_list_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
S
ven
V
e
rdoolae
g
e
isl_set_
c
onvex_hull: opt
i
onally use Fourier
-
Motzkin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_basic
_
set_
s
ample_point
:
exploit facto
r
ization if any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdo
o
laege
add isl_
m
o
r
ph
_
vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
change
p
r
o
totype of isl_vec_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
d
oolaege
add isl_print
e
r_print_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdool
a
e
g
e
add isl_union_
s
et_
a
pply_union_pw_qp
o
lynom
i
al_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
e
x
port is
l
_union_map_fro
m
_do
m
ai
n
and
i
s
l
_union_map_from_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_basic_map_inters
e
c
t
_domain
:
replace
open
-
cod
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
d
o
olaege
isl_stream_re
a
d_map: accept modulo ex
p
r
e
s
s
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
lae
g
e
isl_basic_map_in
s
ert:
d
on't simpl
i
fy the r
e
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
Me
r
ge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
isl_basic_map_from_c
o
nstraint_m
a
trices: clear ne
w
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Ver
d
ool
a
ege
isl_token_free
:
free string representatio
n
of keywords
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isl_input
.
c:
r
ead_fa
c
tor: drop unexpected
identifi
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaeg
e
is
l
_input
.
c
: accept_affine_fact
o
r:
avo
i
d do
u
ble free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven
Verdoolae
g
e
isl_stream_
r
ead_map: allow space name
s
tha
t
happen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl_
s
tream_next_token: keep
t
rac
k
of strin
g
representa
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verd
o
olaege
add isl_basic_se
t
_flatte
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoola
e
ge
add
i
sl_union_
m
ap
_
si
m
ple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
Merge branch 'maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdoolaege
add
i
sl_set_remove_unknow
n
_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
e
rdoo
l
aege
isl_map_is_subset:
d
o
n
't compute divs of minu
e
nd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
e
r
doolae
g
e
r
e
n
a
m
e isl
_
map_is_sing
l
eton to
i
s
l_map_f
a
st_is
_
sin
g
leton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erdoolaeg
e
add isl_map_fast_is_single_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add isl_qpo
l
y
n
omial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rd
o
olaege
exp
o
rt isl
_
union_set_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
l
aege
isl_q
p
olyno
m
i
a
l_add_on_
d
omain: comput
e
gist wit
h
respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven V
e
rdoolaege
isl_union_map_coa
l
esce an
d
i
s
l
_u
n
ion_map_compute_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoola
e
ge
isl_basic_m
a
p_solve_lp: use
denominato
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
Merge
com
m
i
t
'isl-0
.
0
5
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n Verdoolaege
isl 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
e
rd
o
olaege
isl
_
tab_basic
_
map_parti
a
l_lexopt
:
fix up symmetry detection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Verdoolaege
isl
_
basi
c
_ma
p
_universe: fin
a
lize
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
Verdoolaege
i
sl_seq
.
h: a
l
lo
w
i
n
c
lusion from
C
++
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
reimp
l
ement isl
_
map_partia
l
_lexop
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
isl_
m
ap: fix typos i
n
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
a
dd some
m
ore isl_
m
ap_lexmin tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en
V
erdoo
l
aege
add isl_qpolynomial_add
_
isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoola
e
ge
add isl_
p
w_qpoly
n
omia
l
_fol
d
_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdool
a
ege
add isl_pw_
q
polyn
o
mial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdo
o
laege
add isl
_
qp
o
lyno
m
ial_fold_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven V
e
rdoo
l
ae
g
e
add isl_qpolynomial_fold_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
isl_
p
r
i
n
ter_print
_
qpolynomial_fold: suppor
t
C f
o
r
m
at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
oolaege
export isl_printer_print_qpolynomia
l
_fol
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
d
oolaeg
e
export isl_uni
o
n
_map_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Ver
d
oolaege
a
d
d isl_{set,map}_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n V
e
rdoolaege
add isl_basic_{set
,
map
}
_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en
Verdoolaege
isl
_
pr
i
nter_
p
rin
t
_basic_{set
,
map}: d
o
n't print
newline
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
e
n Verdoolaege
rename isl_*_
d
ump to isl_*_pr
i
nt_interna
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next