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_qpolynomial_insert_dims
2010-06-12
Sven Ver
d
oolaege
ad
d
isl_qpolynomial_ins
e
rt_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
add is
l
_
qpolynomial
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaeg
e
isl_ct
x
:
add
t
wo
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
dool
a
ege
isl_
t
a
b
_detect_implicit_
e
qu
a
l
ities: ret
u
rn intege
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_ta
b
_s
i
gn_of_ma
x
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
isl
_
tab_select_face
t
: return int instead of is
l
_ta
b
*
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
a
dd
i
s
l_basic_set_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
private
l
y
export is
l
_pw
_
qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add isl_
q
polynomial_fold_
f
oreach_
q
polynomial
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
a
d
d
isl
_
pw_qpolynomial_fo
l
d
_foreach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_
p
w_qpol
y
nomial_fo
l
d
_is_ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
private
l
y exp
o
rt
i
s
l_morph
_
alloc and isl_morph_ide
n
t
i
ty
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial_fo
l
d_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aege
expor
t
isl_
p
w_qpolynomia
l
_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolae
g
e
add isl_ct
x
_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
isl_range
.
c:
f
ix typo in co
m
me
n
t
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
export
isl_set_is_bounde
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
sl_bou
n
d: pl
u
g memory l
e
ak
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
fix
i
sl_qpolynomial_f
o
ld_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
i
sl
_
p
w
_qpolynomial_bound_rang
e
:
f
i
x removal
o
f dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add boun
d
_
t
est
.
s
h
to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Ve
r
doolaege
doc: document gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Ver
d
oolaege
doc
:
document isl_constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Ver
d
oolaege
add isl_map_is
_
single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
r
doolae
g
e
isl_basic_map_forea
c
h_constraint: make su
r
e input ha
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
e
r
d
o
o
laege
isl_basic_map_c
o
py: m
a
rk dupl
i
cated
copy
a
s
fin
a
lized
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdo
o
laege
isl_basic_set_lift:
f
inali
z
e re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
laege
isl_basic_
m
a
p
_
m
ov
e
_dims: always finalize
result
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaege
isl_basic
_
map_f
r
om_constra
i
nt: finalize
res
u
lt
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
isl_access_in
f
o_com
p
ute_
f
low: handl
e
may ac
c
es
s
es
commit
|
commitdiff
|
tree
2010-05-31
Sven V
e
rdoolaege
isl_ac
c
ess_info_compute_flow: handle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
re
m
ove some unused v
a
riables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
fix some icc wa
r
nings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
aege
ren
a
me isl_pw_qpolynomial_
m
ove and add
i
sl_
p
w_
q
polynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoolaege
isl_c
t
x: ke
e
p t
r
ack
o
f user options
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaeg
e
improve
d
argument parsi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoo
l
aege
i
sl_options_pa
r
s
e: print help message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
ola
e
g
e
a
d
d isl_
b
ound test application
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
add
i
s
l_pw_qpol
y
n
o
mial_bou
n
d
_
r
ange
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add is
l
_p
w
_qpolyno
m
ial_f
o
ld_mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add r
u
dimenta
r
y is
l
_mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_seq
_
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalities
.
c: fi
x
ty
p
o
i
n comm
e
nt
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_inse
r
t_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_mat_
n
o
r
malize
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolae
g
e
add is
l
_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
olaege
is
l
_
m
at
_
lin_to_aff: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_
q
po
l
ynomial
_
opt_on_
d
omain: ha
n
dle empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
isl_nam
e
_alloc: fix error
handling
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_di
m
_
o
f
fset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
isl
_
e
qualities
.
c: fix typos in commen
t
s
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdo
o
laege
a
dd isl_pw_qpolyn
o
mial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ver
d
oolaege
ad
d
isl_qpol
y
nomial_le
_
cst
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ver
d
oolaege
priva
t
ely export i
s
l
_
set_is_
b
ounde
d
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaeg
e
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erdoolaege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_st
r
eam_read_
p
w_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_qpolynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_
q
po
l
y
nomi
a
l_from_constr
a
int
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verd
o
olae
g
e
add isl_ba
s
ic_set_foreac
h
_bound_
p
air
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
qpo
l
ynomial_as_polynomial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add isl_qpo
l
yn
o
mia
l
_
s
ubstit
u
t
e
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
doolaege
add is
l
_basic_set
_
dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
S
v
en V
e
rd
o
o
laege
isl_
c
t
x
: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl
_
qpolyno
m
ial
_
n
eginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
add
isl_basic_set_dro
p
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
isl_qpolynomial_fold_
o
pt_on_doma
i
n: fix typ
o
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
isl_pw_*_eval:
f
ix handling
o
f
empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erd
o
o
l
aege
add isl_basic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
V
erdoolaege
export isl_qpolyno
m
ial_sub
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoo
l
aege
add
i
s
l_q
p
o
l
ynomial_get_
d
i
m
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
o
l
ae
g
e
isl_map_transitiv
e
_clo
s
ure: coalesce input before ch
e
c
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
v
en
V
erdoolaeg
e
ad
d
map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl_map_lex_le: use one basic set les
s
i
n
res
u
lt
commit
|
commitdiff
|
tree
2010-05-01
Sven V
e
rdoo
l
a
ege
isl_stream
:
accept lexicographic operat
o
rs
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_transitive_c
l
os
u
re: che
c
k if input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoolaege
a
d
d isl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoola
e
ge
isl_map_re
a
d: parse para
m
etric Om
e
ga inp
u
t
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaege
isl_map_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven
Ver
d
oolaeg
e
isl_conv
e
x_hull
.
c: is
_
bound: a
n
y i
n
equality
i
s
a
b
ound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaeg
e
isl_convex
_
hull
.
c: add_bou
n
ds: propagate
er
r
or
s
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
ven Ver
d
o
o
laege
document isl_
m
ap_re
v
erse
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoo
l
aege
is
l
_
s
tream
_
next_token: termi
n
ate string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l_map_transitive_closure: tr
e
a
t
equality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
isl_map_transitive_closure, omega-like: only use
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
Verdoolaege
i
sl_map_transiti
v
e
_closure: use
s
imple
hull in
o
mega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n V
e
r
d
o
o
l
a
e
g
e
isl_map_transiti
v
e_closur
e
: t
r
y an
d
compute
closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdool
a
ege
isl_map_coales
c
e: allow wrapping in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Ver
d
oola
e
ge
isl_map_c
o
alesce: all
o
wi
n
g
c
utt
i
ng equalit
i
es in a
d
j
acent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
add
some more coalesc
i
n
g test cases
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
isl_bas
i
c_map_gist: b
e
more
aggr
e
ssive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
isl_strea
m
: accept
s
tring tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l_ta
b
_rollback: restore rows that are no longer
m
ark
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: document simple hu
l
l
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdo
o
lae
g
e
doc:
e
mphasize t
h
at w
e
a
re
d
ealing with integer
s
ets
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
isl
_
transit
i
v
e
_
closure
.
c: path_along_d
e
lta: only avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
i
sl_map_transiti
v
e_closure: comput
e
divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_map_c
o
mpute_divs: make sure result is gaussed a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
isl_printer_print_pw_
q
polyno
m
i
a
l: p
r
ope
r
ly
p
rint constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaege
isl
_
pip and isl_cat: terminate i
s
l_arg array w
i
th ISL_
A
RG_END
commit
|
commitdiff
|
tree
next