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_tab_select_facet: return int instead of isl_tab *
2010-06-12
Sve
n
V
e
r
doolaege
isl_tab_select
_
facet:
r
eturn i
n
t instead of isl_t
a
b *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add
i
sl_basic_set_full_c
o
mpression
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
privately
e
xport
i
sl_pw
_
qpolynomi
a
l_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_qpolyno
m
ial_fo
l
d_foreach_qpolynom
i
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olae
g
e
add isl_pw_qpolynomial_fold_foreach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
exp
o
rt
i
sl_pw_q
p
oly
n
omial_f
o
ld_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
priv
a
tely ex
p
o
rt is
l
_morph_alloc and isl_mor
p
h_id
e
ntity
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add
i
sl_qpolyn
o
mia
l
_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_qpol
y
nomia
l
_get
_
ctx
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Ver
d
oola
e
ge
add isl_ctx_
p
eek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl
_
range
.
c
: fix ty
p
o in comm
e
n
t
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
ege
export i
s
l_set_i
s
_b
o
unded
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl_bound
:
plug memory
l
eak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaeg
e
fix
isl_qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
V
erdoolaege
is
l
_
pw
_
qpolyn
o
mial_bou
n
d_range:
f
ix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add bound_t
e
s
t
.
sh to dis
t
ribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
doc: docu
m
ent gis
t
operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoola
e
ge
do
c
: doc
u
ment isl_constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
S
v
e
n
Verdo
o
laege
add i
s
l
_
m
ap_is_single_va
l
u
ed
commit
|
commitdiff
|
tree
2010-06-04
S
ven
Verdoolaege
isl_basic_map_foreach
_
con
s
traint: make su
r
e input h
a
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoo
l
aege
isl_b
a
sic_m
a
p_copy:
mark
duplicated copy
as finalized
commit
|
commitdiff
|
tree
2010-06-03
S
ven
V
e
rdoola
e
ge
isl_b
a
sic_set
_
lif
t
: fin
a
lize re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoolaege
i
sl_basic_map_move_dim
s
: always
f
in
a
lize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
aege
isl_basic_map_from_constrai
n
t
:
fina
l
ize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
isl_
a
c
c
ess_info_compute_flow:
h
a
ndle may acce
s
ses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdool
a
ege
i
s
l_access
_
info_compu
t
e_flow:
handle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verd
o
o
l
aege
r
e
m
ov
e
some unuse
d
vari
a
bles
commit
|
commitdiff
|
tree
2010-05-30
S
ve
n
Verdoolaege
fix so
m
e icc
warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
ren
a
m
e
isl_pw_qpolyn
o
mia
l
_
m
o
v
e and
a
dd isl_
p
w_
q
p
o
lynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Ve
r
doolaege
isl_ctx:
k
eep track o
f
use
r
options
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Ve
r
do
o
laege
improve
d
arg
u
ment parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
isl_options_parse:
print help message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
ad
d
isl_bou
n
d test appli
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdool
a
ege
a
dd isl_pw_q
p
oly
n
omial_
b
o
und_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add i
s
l_pw_qpolynomial_fold_
m
o
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
ad
d
rudi
m
entary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add i
s
l
_
s
eq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
ae
g
e
isl_equalities
.
c: fi
x
typo in c
o
mment
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
e
rdoolaege
add isl_
m
at_in
s
ert
_
rows
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ver
d
ool
a
eg
e
a
dd
i
sl
_
mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl
_
mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
o
l
a
ege
isl_mat_lin_to_aff: fix
error
h
andlin
g
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoo
l
a
e
g
e
i
s
l_qpolynomial_o
p
t_on_domain: handle e
m
pty
input
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
isl_name_
a
lloc: fix er
r
o
r
ha
n
dling
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
ad
d
isl_dim_offs
e
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
isl
_
equalities
.
c: fix typo
s
in comments
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rd
o
olaege
add isl_pw_qpolynomial_fol
d
_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
pr
i
v
ately ex
p
or
t
isl
_
set_is_bound
e
d
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
a
d
d isl_set_coun
t
_upto
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolae
g
e
add isl_s
e
t
_
scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaeg
e
add isl_stream_read_
p
w_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_qpolynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_
q
polynomi
a
l_fr
o
m_constrain
t
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
e
rdoolaege
add isl_basic_
s
et_
f
orea
c
h_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoo
l
a
ege
add isl_qpolynomial_as_polynomial_o
n
_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl_
q
p
o
lynomial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
o
l
a
e
ge
add is
l
_
basic_set_dims
_
ge
t
_si
g
n
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
isl_ct
x
: add
zero
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
add isl_qpolynomial_ne
g
infty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_basic_set_d
r
op
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n Verdoolaege
i
sl_qpolynomial_fold_
o
pt_on_domain: fix ty
p
o
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
isl_pw_
*
_
e
v
al: fix
h
andling of empt
y
inp
u
t
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
a
d
d i
s
l_basic
_
s
et_move_dims
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n
Verdo
o
laege
exp
o
rt isl_qpolyn
o
mia
l
_sub
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoola
e
ge
add
i
sl
_
qpol
y
n
omial
_
get_dim
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolae
g
e
isl_
m
ap_tr
a
ns
i
tive_clo
s
ure: coalesce inpu
t
be
f
o
r
e checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoola
e
ge
add map_lex
_
*
_
first
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n Ve
r
doolaege
i
s
l_map_lex_le: u
s
e one basic set less in result
commit
|
commitdiff
|
tree
2010-05-01
S
v
e
n Verdoolaege
i
sl_stream: acc
e
p
t
lexicographic
operat
o
rs
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaege
is
l
_map_transit
i
v
e_closur
e
:
c
heck if input
is clos
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolae
g
e
add is
l
_printe
r
_flush
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n
Verdool
a
e
ge
isl_map
_
read
:
parse parametric Omega
i
nput
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Ve
r
doolaege
isl
_
map
_
r
ead: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaege
isl_convex_hull
.
c: is_bound: any
inequality
i
s a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdo
o
laege
isl_co
n
vex_
h
ull
.
c
:
ad
d
_bou
n
ds: propagate erro
r
s from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolae
g
e
doc
u
ment isl
_
map_reve
r
s
e
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Ver
d
o
o
laege
isl_stream_next_token: te
r
m
ina
t
e s
t
rin
g
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
l
aege
i
s
l_
m
ap_tra
n
sitive_closure: treat equality
as
p
ai
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verd
o
ol
a
ege
i
s
l
_
map_tr
a
ns
i
tive_clo
s
ure, omega-lik
e
: only
u
s
e
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_ma
p
_transitive_closure
:
use simple hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
i
s
l_map_transitive_
c
los
u
re: try and co
m
pute
c
losu
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
isl_map_co
a
lesce:
allow
wrapping in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
isl_map_co
a
l
e
sce: allowing cutt
i
ng
equalities
i
n adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
add s
o
me m
o
re coalescing
test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_b
a
sic_map
_
g
ist: be more aggr
e
ssive
in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laeg
e
isl_stream: accept string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven
Ver
d
oolaege
isl_tab_rol
l
back
:
restore rows that ar
e
no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaege
doc: d
o
cument
s
impl
e
h
ul
l
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aege
doc: emphasize
t
hat we
a
re dealing with
i
n
t
eger sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aege
isl_t
r
ansitive_closure
.
c: path_
a
long_
d
elt
a
: o
n
ly avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_map_transitive_c
l
o
s
ure: compu
t
e divs of inpu
t
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
isl_ma
p
_c
o
m
p
ute_divs: make sure result is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdool
a
ege
isl
_
printer_print_
p
w_qpolynomial: properly p
r
int constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_
p
i
p and isl_cat
:
te
r
minate is
l
_ar
g
array with I
S
L_A
R
G_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
olaeg
e
d
oc: docu
m
ent setting and getting of dimension na
m
es
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n
V
erdoolae
g
e
doc:
d
ocument
*
_get_dim func
t
ions
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
V
e
rdoola
e
ge
isl_map_convex_
h
ull: han
d
le
n
o
n full-dimensional pair
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
e
n Verdoolaege
isl_convex_hul
l
.
c: modulo_aff
i
n
e_hull:
d
rop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
doolaege
isl_c
o
nve
x
_hull
.
c: conv
e
x
_
hull_pair: s
k
ip direction
.
.
.
commit
|
commitdiff
|
tree
next