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
Sven Verdoolaege
isl
_
tab_s
e
l
e
ct_fa
c
e
t: return int inste
a
d of isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
ad
d
i
s
l_ba
s
ic_set_ful
l
_c
o
mpres
s
ion
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
o
l
aege
private
l
y
expo
r
t isl_pw_qpolyno
m
ial_morph
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
r
d
ool
a
eg
e
add isl_qpolyn
o
mial_fold_foreach_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_pw_qpolynomi
a
l
_fo
l
d_f
o
reach_
l
if
t
ed_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
export isl_p
w
_q
p
olynomi
a
l_fold_
i
s
_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
pr
i
vately e
x
port is
l
_morp
h
_allo
c
a
n
d isl_
m
orph_identit
y
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
ad
d
i
sl
_
q
p
o
l
ynomial_
f
old_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
exp
o
rt
i
sl_
p
w
_
qpolynomial_ge
t
_
c
t
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add i
s
l_ctx_pee
k
_
o
p
t
ions
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
o
olaege
isl_range
.
c: fix t
y
po in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
ge
expor
t
isl_set_is_bo
u
nded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
is
l
_b
o
und: plug memory
lea
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix isl_qpoly
n
omial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
rdoolaege
i
sl_pw_qp
o
lyno
m
ial_
b
o
und_range:
f
i
x
r
emoval of d
i
ms
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
a
d
d bound_test
.
s
h
to
d
i
stribution
commit
|
commitdiff
|
tree
2010-06-11
S
ve
n
V
erdoolaege
doc: doc
u
me
n
t gis
t
operations
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdool
a
e
g
e
do
c
: document i
s
l_constraint_is_equalit
y
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdoolaeg
e
a
d
d isl_m
a
p_is_si
n
gle_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
i
sl_ba
s
ic_map
_
f
o
reach_c
o
nstraint: make sure
inpu
t
ha
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdool
a
ege
i
sl_basic_map_copy: mark dupl
i
ca
t
ed
cop
y
as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
aege
isl_basic_set_
l
i
ft: f
i
nalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoo
l
aege
isl_
b
asic_map_move_dims: a
l
way
s
finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoo
l
ae
g
e
i
s
l_basi
c
_ma
p
_from_constraint: fi
n
aliz
e
re
s
ult
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl
_
a
c
cess_info_com
p
ute_f
l
ow: han
d
le may acce
s
ses
commit
|
commitdiff
|
tree
2010-05-31
S
ven Verdoolaege
isl_access_info_compute_flow: handl
e
mu
l
t
i-
v
alued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remove
some unused
v
ariables
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoola
e
ge
fix some icc w
a
rnings
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Ver
d
o
o
laege
rename isl_pw_qpoly
n
om
i
al_move and
add isl_pw_qpolynomial
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoolaege
isl_ctx: keep trac
k
of user o
p
t
ions
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
improv
e
d
a
rgument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_options_parse:
pri
n
t hel
p
messa
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doola
e
g
e
add isl_bo
u
nd
t
est a
p
plication
commit
|
commitdiff
|
tree
2010-05-14
S
ven Ve
r
doolaege
a
d
d isl_p
w
_qpolynomial_
b
ound_range
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
a
d
d isl_pw_qpol
y
n
o
mi
a
l_fold
_
morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaeg
e
add rudiment
a
ry isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
isl_equalities
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
doolaege
add isl
_
mat_norma
l
iz
e
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
do
o
l
aege
add isl_ma
t
_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
olaege
isl_mat_lin_to_aff:
f
ix error handl
i
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
olaege
isl_qpolynomial_opt_on_d
o
main
:
handle empty input
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
dool
a
ege
isl_
n
ame_a
l
loc: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
erdo
o
la
e
ge
ad
d
isl_dim_off
s
et
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verd
o
olaege
isl
_
equ
a
lit
i
es
.
c: fix typos in
c
omme
n
t
s
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doola
e
ge
add i
s
l_pw_qpolyn
o
m
i
al_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolae
g
e
a
d
d isl_qpo
l
ynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
a
eg
e
privately e
x
port isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolaege
add isl_se
t
_c
o
unt_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
s
l_set
_
scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_stream_read_pw_qpolyn
o
mial
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl
_
qpolynom
i
a
l_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
a
d
d isl_qpol
y
n
omial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaeg
e
add
i
sl_basic_set_forea
c
h_bou
n
d
_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl_qpolynomial_
a
s_polynomia
l
_on
_
doma
i
n
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl_qpolyno
m
ial
_
s
u
b
stitute
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verd
o
olaege
add isl_bas
i
c_set_dims_get_sig
n
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
r
d
oo
l
a
ege
isl
_
ctx: ad
d
zero
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
add isl_qpolynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
a
d
d isl_basi
c
_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
isl_qpolyn
o
mial_fold_opt_on_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
isl_pw_*_eval: fix handling
of
empty input
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n V
e
rdoolaege
ad
d
isl_basic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
S
ven
V
e
r
doolaege
export i
s
l_qpoly
n
omial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
add isl_qpoly
n
omial_get_d
i
m
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
ae
g
e
isl_map_t
r
a
ns
i
tive_closure: coalesce inp
u
t before checki
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Verdool
a
e
g
e
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
S
ve
n
Verdo
o
laege
isl_map
_
lex_le: us
e
one basic set
less
i
n r
e
s
ult
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verdoo
l
aeg
e
isl_stream: a
c
cept lex
i
c
ograph
i
c operato
r
s
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
e
rdoolaege
isl_m
a
p_transitive_closure: check if input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaege
add
i
sl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaeg
e
isl_ma
p
_read: pars
e
param
e
t
r
i
c
O
mega
i
nput
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
laege
isl_m
a
p_
r
ead:
f
ix typ
o
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_convex_hull
.
c: is_bound: any inequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n Verdool
a
ege
i
s
l_conve
x
_hull
.
c
:
add_b
o
unds: propagate er
r
o
rs from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
d
o
cument isl_map_rev
e
rse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
i
sl_st
r
eam
_
next_token: terminate string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
isl_
m
ap_tran
s
itive_closu
r
e: treat
equality as
p
air
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
isl_map_transit
i
ve_closure, o
m
ega-like: on
l
y use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoola
e
ge
isl_map_tran
s
itiv
e
_clo
s
u
re:
u
se
s
i
mple hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
isl_map_transiti
v
e_closure: tr
y
and compute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l_
m
ap_coalesce:
a
l
low wrapping in s
e
ts
t
hat stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n Verd
o
ola
e
g
e
isl
_
m
a
p
_coalesce: allowing
cutt
i
n
g eq
u
alities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
add som
e
more
c
oale
s
ci
n
g test
cases
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Ver
d
oolaege
isl_basic_map_gist: be more aggress
i
ve
i
n
remov
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Ve
r
do
o
laege
is
l
_stream
:
a
ccept string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
do
o
laege
i
sl_tab_ro
l
lback: restore r
o
ws
t
ha
t
are no
l
ong
e
r marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: document simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
rdoo
l
ae
g
e
doc:
em
p
hasize
t
h
at we are dea
l
in
g
with integer sets
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
isl_tr
a
nsi
t
ive
_
clos
u
re
.
c: path_along_delta
:
only av
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
isl_ma
p
_tran
s
it
i
ve_closure: compute divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven
Ver
d
o
o
laege
isl
_
ma
p
_compute
_
divs: make su
r
e result
is ga
u
ssed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
s
l_
p
rin
t
er_p
r
int_pw_qpo
l
ynomi
a
l: p
r
operly
print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdool
a
ege
isl_p
i
p and isl_cat: terminate isl_arg
array wit
h
ISL_ARG_EN
D
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oola
e
ge
doc: document sett
i
ng and ge
t
ting of dimens
i
on name
s
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolae
g
e
doc: documen
t
*_get
_
d
im functions
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoo
l
a
e
ge
isl_map_convex
_
hull:
h
a
ndle
n
on full-d
i
mensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaege
isl_conve
x
_hull
.
c: modulo_affine_
h
ull: drop redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
o
l
a
e
ge
is
l
_convex_hull
.
c: convex_hull_
p
air:
sk
i
p direction
.
.
.
commit
|
commitdiff
|
tree
next