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_basic_map_from_qpolynomial
2011-02-18
Sven Verdoolaege
add is
l
_b
a
sic_map_from_qpol
y
nomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolae
g
e
isl
_
stream: suppo
r
t \<newline> line con
t
inuation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
rdoolaege
add isl_
u
n
i
on
_
m
a
p_r
e
ad_fro
m
_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdool
a
ege
isl_stream_read
_
map: acce
p
t 'true' a
n
d 'false' cons
t
raints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
o
o
lae
g
e
is
l
_str
e
am_read_map: allow e
x
tra ';' at en
d
of ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Ver
d
o
olaege
is
l
_st
r
e
am_read_map: allo
w
neg
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ve
r
doolaege
isl_stream_
r
ead_m
a
p: all
o
w exis
t
ent
i
al
q
u
ant
i
f
i
cat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
r
doolaege
pri
v
ately
e
xport isl_basic_ma
p
_add
_
div_
c
onstraints_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verd
o
olae
g
e
isl_mor
p
h_basi
c
_set: pre
s
erve rationality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdoolaege
add isl_ba
s
i
c
_s
e
t_is_rationa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_pri
n
ter_pri
n
t_
b
a
s
i
c_map: exp
l
i
citl
y
mark rationa
l
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oolaeg
e
isl_stream_read_map:
r
ead
rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoola
e
ge
is
l
_
basic_map_insert:
p
r
e
s
er
v
e ra
t
iona
l
it
y
of i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n Verd
o
olaege
add is
l
_basic_map_set_
r
ational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaege
isl_basi
c
_map_fast
_
cmp: di
f
ferentiate betwe
e
n ration
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_out
p
ut
.
c: remove
s
ome cod
e
d
u
p
l
ication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n
Ve
r
doolaege
is
l
_printer_prin
t
_basic_{set,m
a
p
}
: don
'
t s
t
art new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verd
o
ol
a
ege
isl_
s
tream_read_map:
a
ccep
t
'|' at start of constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven V
e
rdoolaege
isl_stream: keep track of t
e
xtual repre
s
entat
i
o
n
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven
Verdoolae
g
e
isl_input
.
c
: clean up
read_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
ven Verdoola
e
ge
isl_str
e
a
m
_read_map: accept d
i
sjunctions within a co
n
j
u
nct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_convex_hu
l
l
.
c
:
e
x
p
licit
l
y ma
r
k wrapping lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
S
v
en Verdoolaege
isl_tab_min: micro-optim
i
zation: post
p
on
e
taki
n
g
i
n
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
o
o
l
aege
Merge branch 'mai
n
t
'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_ad
d
_row
:
add fu
r
ther expl
a
nati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab
.
c:
f
ix typos in comm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
s
l
_tab_pi
p
.
c: cor
r
e
ctly detect non-negati
v
ity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
add t
e
st
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Ve
r
d
oolae
g
e
t
est
both context ha
n
dling mechanisms of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
isl_tab_i
s
_eq
u
ality: proper
l
y supp
o
rt
"
big pa
r
a
meter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
isl_tab_pip
.
c: fix typo in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_affi
n
e_h
u
ll
.
c: fix typos in c
o
mments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Ver
d
oolaege
isl_u
n
ion_ma
p
_co
m
pute_flow: return acc
e
sses
w
i
th no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolae
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en V
e
rdoolaege
isl_union_map
.
c:
i
npla
c
e:
p
ass
d
ata poin
t
e
r
t
o isl_hash_ta
b
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
isl_di
m
_
m
ove: update
p
arameter
s
of nes
t
ed spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n Ver
d
oola
e
ge
a
dd isl_map
_
nat_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sve
n
Verdoolaege
clean up isl_set_from_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ver
d
oolaege
merge i
s
l_basic_set/isl_basic_map and
i
sl_set/isl_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven V
e
rdoolaege
rename "omeg
a
"
t
r
a
nsitiv
e
c
losure to "bo
x
" transitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoo
l
aege
expo
r
t
i
sl_int_
o
bj
_
free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
isl_ver
t
ices
.
c: fix
t
y
pos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
i
s
l_union_t
e
m
p
l
.
c: fix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
i
sl
_
m
ap_subtract
.
c: n
_
non_redundant
:
propage i
s
l_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verd
o
olaege
isl_bernstein
.
c:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
ad
d
isl_
u
nion_pw_qpolyno
m
ial_mul_is
l
_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
isl
_
str
e
am_re
a
d_obj: read int ob
j
ects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
ol
a
e
ge
add int object
s
for use in
iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erdo
o
laege
isl_basic_m
a
p_re
m
ove_divs: fina
l
ize res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdool
a
ege
add isl_basic_s
e
t_get_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
d
o
olaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sv
e
n Ver
d
oolaege
isl_union_map_sample: don't retu
r
n NULL on
e
mpty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
ven Verdoolaege
isl_basi
c
_m
a
p_set_tuple_name: finalize
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n Ver
d
oolaege
isl_transit
i
ve_closu
r
e
.
c:
m
or
e
anonymize input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven
V
e
r
d
oolaege
isl_ba
s
i
c_set_factorizer: make
sure group information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
v
en
Verdoolaege
add
i
sl_union_
m
ap_
r
ang
e
_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
v
en Ve
r
doolaege
doc: document product functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n
V
e
r
doolae
g
e
rename isl_basic_set_product to isl
_
b
a
sic_se
t
_list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven
V
erdoola
e
ge
i
s
l
_s
e
t
_
convex_hull: o
p
t
i
onal
l
y
u
se Fourier
-
M
otzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
isl_basic_
s
et
_
sa
m
ple_point: ex
p
loit facto
r
ization if any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
add isl_morph
_
vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
V
e
r
doolaege
chan
g
e
prototype o
f
isl
_
v
e
c_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
a
d
d isl_pri
n
t
er_print_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add
i
sl_union
_
set_app
l
y_un
i
o
n_pw_qpolynomia
l
_fol
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoola
e
g
e
ex
p
ort isl_unio
n
_map_f
r
om_domain
and isl
_
un
i
on_map_fr
o
m_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
is
l
_basic
_
map_in
t
ersect_domain:
replace open-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_stream
_
re
a
d_map: accept
modulo expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolae
g
e
isl_basic_map_inser
t
:
d
o
n't
s
i
m
plify the resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
Merge branch
'maint'
commit
|
commitdiff
|
tree
2011-01-16
S
ve
n
Verdoolaege
isl_b
a
s
i
c_map_from_constraint_matr
i
ces: clear newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
laege
is
l
_token_free:
f
r
e
e
string re
p
resentation o
f
keywords
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdool
a
e
ge
isl_i
n
p
ut
.
c: read_factor
:
drop unexpected i
d
entifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isl_input
.
c: ac
c
e
pt_affine_fac
t
o
r
: avoid
d
o
uble free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
i
s
l
_stream_rea
d
_map: allow space names that hap
p
en
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
S
v
e
n Verdoolaege
i
sl_s
t
r
eam_next_token: keep track of s
t
rin
g
r
epr
e
sentat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoola
e
ge
add is
l
_basic_set
_
flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n
Verdoolaege
a
d
d
i
s
l_unio
n
_ma
p
_simpl
e
_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n Verd
o
olaege
M
e
rg
e
branch
'
maint
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Verdool
a
ege
add i
s
l
_set_remove
_
unk
n
own_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en
Ve
r
doolaege
isl_map_i
s
_subset: do
n
't comput
e
divs o
f
minuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en V
e
rdoo
l
aege
rename isl_map_
i
s_singleton to isl_map_fast_is_s
i
n
g
l
eton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoolaege
add isl_map_fas
t
_is_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
d
oolaege
add isl_q
p
olynomial_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
e
rdoolaege
export
isl_union_set_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
isl_qp
o
l
ynomial_add_on_do
m
ain: compute gist wi
t
h respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
isl_union_map_coales
c
e and
i
sl_
u
nion_map_comp
u
t
e_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
isl_b
a
sic_m
a
p_solv
e
_lp
:
use denomin
a
tor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
V
e
rdoolaege
Mer
g
e c
o
mmi
t
'isl-
0
.
05
.
1
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl
0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl_tab_ba
s
ic_map_partial_lexopt: fix u
p
symme
t
r
y
detect
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en
Verdoolae
g
e
i
sl_basic_map_universe: finalize
r
esult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n Verdoolaege
isl_s
e
q
.
h: allo
w
inclusion from
C++
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
reimpleme
n
t isl_map_partial_lexo
p
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven
Ve
r
doolaege
isl_map: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sve
n
Verdoolaege
add some m
o
re isl_map_
l
exmin test
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Verdoo
l
aege
add isl_qpolynomial_add_isl_i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaeg
e
add isl_pw_qpolynomia
l
_
f
old_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
a
d
d i
s
l_pw_qpolynomial_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erd
o
o
l
aege
add isl
_
q
p
o
lynomial
_
fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl
_
qpolyno
m
ial_fold_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next