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_ctx: add two
2010-06-12
Sven Verdool
a
eg
e
isl_
c
t
x
:
add tw
o
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_
t
a
b
_d
e
tect_implicit_equalities: return integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
ege
add
isl_tab_s
i
gn_
o
f_max
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
dool
a
ege
isl_tab
_
select_facet:
r
et
u
r
n int
i
nste
a
d of isl_
t
ab
*
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doolaege
add isl_basic
_
set_full_compres
s
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
pr
i
vately expo
r
t
isl_pw_qpoly
n
omial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add
i
s
l
_qpolynomial_fo
l
d_f
o
reach_qpol
y
n
o
mial
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
ad
d
isl_pw_qpolyno
m
i
a
l_f
o
l
d_fo
r
each_lifte
d
_piece
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
export isl_pw_qpo
l
ynom
i
al_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
p
rivate
l
y export i
s
l_morph_a
l
loc an
d
is
l
_morph_ide
n
tity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
eg
e
add
isl_
q
polynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
export is
l
_pw_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_c
t
x_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ra
n
ge
.
c:
fix typo
in
comment
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdool
a
ege
export is
l
_set_is_
b
ounded
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_bound
:
plug m
e
mory leak
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoo
l
aeg
e
fix isl_qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
g
e
isl_p
w
_
q
polynomial_bound_range: fix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
add b
o
und_test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
doc: docume
n
t
g
i
st operations
commit
|
commitdiff
|
tree
2010-06-04
S
v
en
Ve
r
doolaege
doc: d
o
c
u
ment isl_constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
er
d
o
o
laege
add
isl_map_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoola
e
ge
is
l
_
bas
i
c_map_foreac
h
_constraint
:
make sure input
h
a
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl
_
b
asic_map_
c
opy: mark dupl
i
cated copy as
f
inalized
commit
|
commitdiff
|
tree
2010-06-03
S
v
en V
e
rdoolaege
i
s
l_basic_set_lift
:
finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oolaege
isl_basic_m
a
p_mov
e
_dims: always fina
l
ize result
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n V
e
rdoo
l
aege
is
l
_basic
_
m
a
p_f
r
om_cons
t
r
a
int:
f
inalize
r
esu
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolae
g
e
isl_access_info_compu
t
e
_f
l
ow: hand
l
e
may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolae
g
e
is
l
_access_info_compute_flow: handle
m
u
l
ti
-
va
l
ued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verd
o
o
laege
re
m
o
ve some
unused
v
ariab
l
es
commit
|
commitdiff
|
tree
2010-05-30
S
ven
Verdo
o
laeg
e
fix some icc warning
s
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
re
n
ame
isl_pw_qpolynomi
a
l
_
mo
v
e and add isl_pw_qpolyn
o
mial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
ege
isl_ctx:
k
e
ep
track of use
r
o
p
tions
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
er
d
oolaege
imp
r
ov
e
d
arg
u
ment parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doola
e
ge
i
s
l_opt
i
o
ns_
p
arse:
print hel
p
m
e
ssage
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
add isl_bo
u
nd test appl
i
cati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaeg
e
add
i
sl_pw_q
p
olynomial
_
bound_rang
e
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erd
o
olaege
add isl_pw_qpolynomial_fol
d
_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
ola
e
g
e
add rudiment
a
ry isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_seq_
s
et
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdool
a
e
g
e
isl_eq
u
ali
t
i
es
.
c: fix typo i
n
comment
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rd
o
olaege
add isl_ma
t
_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_ma
t
_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_mat_
d
iagona
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_mat_lin_t
o
_aff: fix err
o
r handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l_qpoly
n
o
mia
l
_o
p
t_on_domai
n
: ha
n
dle empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolaege
i
s
l_name_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add
isl_
d
i
m_off
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
isl_
e
q
uali
t
ies
.
c: f
i
x typos in comment
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add is
l
_pw_qpolynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
doolaege
add isl_
q
polynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
priva
t
ely export isl_set_i
s
_bou
n
ded
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erdool
a
e
g
e
add isl_set_coun
t
_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdo
o
la
e
ge
add isl_se
t
_sca
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olae
g
e
add isl_strea
m
_re
a
d_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdoolaeg
e
add isl_qpoly
n
omial_fr
o
m_ter
m
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verd
o
o
laege
a
dd isl_qpo
l
ynomial_from_co
n
straint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_basic_set_fo
r
ea
c
h_boun
d
_pair
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
d
o
o
l
aege
a
d
d isl_qpolynomial
_
as_polyn
o
mial
_
o
n
_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
a
ege
add
i
s
l_qpol
y
nomial
_
s
u
b
stitut
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add i
s
l_basi
c
_set_d
i
ms_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rd
o
o
l
aege
i
s
l_c
t
x: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
add isl_qp
o
lynomial_negi
n
fty
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
V
e
rdoolaege
add
i
sl_
b
asic_set_dro
p
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_qpolynomial_fold_opt_on_
d
omai
n
:
fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
ae
g
e
isl_pw_*_eval: fix handling of empty in
p
ut
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
a
d
d isl_basic_set_move_di
m
s
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
export
i
s
l
_qpolynomia
l
_sub
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
add
isl_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Ve
r
doolaege
isl_map_transitive_closure: coalesce input
before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
add
m
ap_
l
ex_*_firs
t
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl_
m
ap_lex_le:
use
one basic set
l
ess
in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdo
o
laege
i
s
l
_stream: accept lexicograph
i
c opera
t
o
r
s
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
o
o
laege
i
sl_map_
t
ransitive_closur
e
: check if
input is cl
o
sed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoolaege
add isl_pr
i
n
t
er_
f
lush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolae
g
e
isl_map_read: parse parametric
Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l_map_read:
fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdoolaege
isl
_
co
n
vex_hull
.
c: is_bo
u
nd: any inequ
a
l
ity is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l_convex_hull
.
c
: add_bounds:
prop
a
gate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven
V
erdoolaeg
e
document
i
sl_map_r
e
ve
r
se
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
o
olaege
is
l
_s
t
r
e
am_next_token: ter
m
inate str
i
ng
tokens
commit
|
commitdiff
|
tree
2010-04-23
S
ven
V
erdoolaege
isl_map_transitive_closure: trea
t
equa
l
it
y
as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
e
g
e
is
l
_map
_
transi
t
ive_closu
r
e
, ome
g
a-lik
e
: only
use
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en
V
erdoolaege
i
s
l_ma
p
_tran
s
itive
_
closure:
u
se simple hu
l
l in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Ver
d
ool
a
eg
e
isl_map_tr
a
nsitive_closur
e
: try and compute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verd
o
olaege
i
sl
_
ma
p
_
c
oalesce: allow wrapping in se
t
s that
s
tic
k
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
er
d
oolaege
i
s
l_map
_
c
oalesce: a
l
lowing
cutting
e
q
uali
t
i
e
s in ad
j
acent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdo
o
la
e
ge
add some mor
e
coalescing test ca
s
es
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_bas
i
c
_
map_g
i
st
:
be more
aggr
e
ssive in
removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoo
l
aege
i
sl_stream:
a
cc
e
pt string t
o
kens
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
isl_tab_rollback
:
resto
r
e
rows that are no longer marke
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
o
la
e
g
e
doc: document simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
r
d
o
olaege
d
oc: emphasize that w
e
are dealing with integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoola
e
g
e
isl_transitive_closure
.
c: path_along
_
delta: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_m
a
p_tra
n
s
itive
_
closure: comp
u
te di
v
s
of inp
u
t
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
isl_m
a
p_comput
e
_divs: make s
u
re result is
gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_printer_print_pw_qpolynomi
a
l: pr
o
pe
r
l
y
print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oolaege
isl_pip an
d
isl_ca
t
: termina
t
e isl_arg
a
rray with ISL_
A
RG_
E
ND
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
doc
:
documen
t
setting
and getting
o
f dimension
names
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
d
oc: doc
u
ment *_g
e
t
_
d
i
m
functions
commit
|
commitdiff
|
tree
next