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_dim_offset
2010-05-13
S
v
en
V
e
rdoolaege
a
dd isl_
d
im_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
is
l
_equali
t
i
e
s
.
c
:
fix typos in co
m
m
ents
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw
_
qpolyn
o
mial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolae
g
e
add isl_qpolyno
m
ial_le
_
cst
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolae
g
e
priva
t
e
l
y
e
xport isl_set_is_bounde
d
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add is
l
_s
e
t_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolae
g
e
ad
d
isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_stream_read_
p
w
_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
add isl
_
q
polynomial_from_
t
erm
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n V
e
r
doolaege
add i
s
l_qpolynomial
_
from_con
s
trai
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_basic_set
_
fo
r
e
ach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
add isl
_
qpolyno
m
ial_a
s
_polynomial
_
on_domai
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
o
l
a
eg
e
add isl_qp
o
lynomial_substitu
t
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
dd
isl_
b
a
s
ic_
s
et_dims
_
get_
s
ign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
isl_ctx:
a
dd zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_
q
p
olynomial_ne
g
infty
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
do
o
laeg
e
add isl_bas
i
c_set_drop
commit
|
commitdiff
|
tree
2010-05-04
S
v
en V
e
rdoolaege
isl_qpolynomial_fold_opt_on_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
isl_pw_*_eval: f
i
x handling of
empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
o
o
laege
add
i
sl_basic_set_move_
d
ims
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolae
g
e
export isl_qpolynomi
a
l
_
sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
a
dd isl_qp
o
l
y
n
o
m
ial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
S
ven
V
e
r
doolaege
isl_
m
ap_tr
a
nsit
i
ve_clo
s
ure:
c
o
a
lesce inp
u
t before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdo
o
laege
add map_lex_*_fir
s
t
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
is
l
_map
_
le
x
_l
e
: use one basic set
l
e
s
s in res
u
lt
commit
|
commitdiff
|
tree
2010-05-01
Sve
n
Verdo
o
laege
i
s
l_str
e
am
:
acce
p
t lex
i
cographic operators
commit
|
commitdiff
|
tree
2010-04-28
S
v
en
Ve
r
doolaege
isl
_
m
ap_t
r
a
nsitive_
c
losu
r
e: chec
k
if input
is
c
losed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
laege
add isl_prin
t
er_f
l
u
sh
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdool
a
ege
isl_map_read: parse parametric Ome
g
a in
p
ut
commit
|
commitdiff
|
tree
2010-04-28
S
v
en
V
erdoolae
g
e
isl_map_rea
d
: fix typ
o
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaege
isl_c
o
nvex_hull
.
c: i
s
_bound: any inequality is a bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
ven V
e
rdool
a
ege
isl
_
convex_hul
l
.
c: ad
d
_bou
n
d
s
: p
r
o
pagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven
V
erdo
o
l
a
ege
do
c
ument isl
_
map_reverse
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoolaeg
e
isl_stream_next_t
o
ken: terminat
e
str
i
ng tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
isl_map_tra
n
s
i
tive_closure: treat equality as pa
i
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolae
g
e
i
s
l_map_transitive_closu
r
e, omega-l
i
ke: onl
y
u
s
e ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l_m
a
p_transitive_
c
losure: use simpl
e
hull i
n
o
m
eg
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verd
o
olaeg
e
isl_m
a
p_transitive_closur
e
: try and compute
closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n V
e
rdoo
l
a
ege
isl_map_coalesce: al
l
ow wrapping in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
sl_map_coalesce
:
al
l
owing cutti
n
g equa
l
ities in adjace
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en V
e
rdoolaege
add
some more coale
s
cing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
dool
a
ege
isl_basic_ma
p
_gist: be more ag
g
re
s
sive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
i
s
l
_
stream: accep
t
strin
g
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verd
o
olae
g
e
isl_tab_rollback: resto
r
e
r
ows tha
t
are no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
doc: d
o
cum
e
nt simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
V
e
rdoolaege
doc: emphasize that we are
d
ealing with intege
r
sets
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
V
e
r
d
oo
l
aege
isl_t
r
ansitive_clos
u
re
.
c: path_
a
long
_
delta: on
l
y avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
erdoolaege
isl_map_transitive_closure: compute divs o
f
input
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ver
d
o
o
laeg
e
isl_map_compu
t
e_divs: make sure resul
t
is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
e
rdoolaege
isl_printer_print_pw_q
p
oly
n
omial: prope
r
ly print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Ver
d
oolaege
i
sl_p
i
p
a
nd i
s
l_cat: terminate isl_arg array with
I
S
L
_
A
RG_END
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n
Ver
d
oolaege
d
oc:
document se
t
ting and getting of dimension nam
e
s
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdo
o
laeg
e
doc: documen
t
*_get_dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
is
l
_map_convex_hull:
handle non full-di
m
ension
a
l pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoolaege
isl_conv
e
x
_hull
.
c: m
o
dulo_affine_hull: dro
p
r
e
dundan
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n V
e
rdool
a
eg
e
isl_c
o
nvex_hull
.
c: convex_hul
l
_
pa
i
r:
skip
d
ire
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdool
a
ege
isl_pri
n
ter_print_basi
c
_se
t
:
fix up printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sv
e
n
Verdoolaege
add isl_set_n
e
g an
d
isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdo
o
laege
isl_transitive_closure
.
c: fix documentation o
f
construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
l
a
ege
i
s
l_map_coa
l
esce: m
a
ke sure
result still contai
n
s
set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en
Verdoola
e
ge
isl_map_transi
t
i
v
e_clos
u
r
e: Floyd-Warsh
a
ll: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaeg
e
isl_
m
ap_tra
n
sitiv
e
_closure:
u
s
e
Floyd-
W
arshall on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oo
l
aege
isl_
t
ransitive_
c
l
o
sure
.
c
: ex
t
ract out isl
_
set_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaege
isl_map
_
transitive_closure: pro
j
e
c
t ou
t
len
g
t
h on
e
a
c
h
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
d
o
olaege
isl_tran
s
i
ti
v
e_closure
.
c:
c
on
s
truct_component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Ver
d
oolaege
isl_
m
ap_
t
r
ansitive_closu
r
e:
don't
a
dd length pa
r
a
meter
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdo
o
laege
doc: fix typo
s
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
aege
isl_set_g
i
st: make context arg
u
m
ent an isl_set fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verd
o
ol
a
e
g
e
isl_map_tr
a
nsitive_closure: coalesce input map
commit
|
commitdiff
|
tree
2010-04-13
S
ven
V
erdo
o
laege
isl_transi
t
ive_closure
.
c
:
construc
t
_component
:
al
w
a
y
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
doc: cite Ome
g
a library documentation on computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
a
eg
e
add isl_stream_r
e
ad_ma
p
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
o
la
e
ge
isl_arg
.
h: add m
i
ssing include
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Ver
d
oolaege
isl_basic_map_mo
v
e_dims: normalize
e
q
ua
l
ities
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdo
o
laege
re
n
am
e
isl
_
ma
p
_m
o
ve
t
o isl_ma
p
_m
o
v
e
_dims
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Ve
r
doolaege
isl_op
t
ions_parse:
o
nly
pa
r
se
k
nown op
t
i
ons by
default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
isl_map
_
closure: o
p
tionally use Omega-like al
g
orit
h
m
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
er
d
oolaege
i
sl_cl
o
sure: take options
commit
|
commitdiff
|
tree
2010-04-10
Sven
Ve
r
doolaege
isl_map_af
f
ine
_
hull: hand
l
e non-obviously
e
m
pty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaeg
e
isl_map_comput
e
_div
s
: han
d
le non-
o
b
v
iously empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdool
a
ege
is
l
_basi
c
_set_preim
a
ge: add extra sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laeg
e
isl_basic
_
map_set_to_empty:
a
dd missing
assignment
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaeg
e
i
sl_equalities
.
c:
i
sl_mat_variable_compression: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaege
i
s
l
_sample
.
c: initial_
b
asis:
s
et n
_
unbou
n
ded and n_zer
o
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdool
a
ege
i
s
l_map_
c
oalesce: only use
non-re
d
un
d
a
n
t co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdo
o
laege
isl_m
a
p_
p
rint: a
l
low empty
c
on
s
t
r
ain
t
s
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdool
a
ege
isl_option
s
.
h: allow inclusion from C++
commit
|
commitdiff
|
tree
2010-04-09
S
ve
n
V
erdoolaege
isl_arg
.
h: all
o
w in
c
l
usion from C++
commit
|
commitdiff
|
tree
2010-04-07
S
v
en
Verdoo
l
a
ege
i
s
l_map_tran
s
itive_closu
r
e
:
hand
l
e existentials
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaege
is
l
_map_deltas: pre
s
erve dimension
n
ames
commit
|
commitdiff
|
tree
2010-04-07
S
v
en
Verdoo
l
a
ege
isl_map_print: support
L
aTeX
output fo
r
ma
t
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oo
l
aege
isl_map_simpl
i
fy: don't r
e
move any
div definitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
isl_map_inters
e
c
t: add specia
l
cases for empt
y
i
n
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n Verdoolaege
isl_transit
i
ve_
c
l
o
s
ure
.
c: path_along_delta: share c
o
d
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolae
g
e
isl_t
r
ansitive_clo
s
ure
.
c: path_alo
n
g_delta: try
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
export is
l
_qpolyn
o
mial_mov
e
_dims
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Verdoolaege
add isl_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Ver
d
oolaeg
e
add i
s
l_pw_qpolynomial_fold_g
e
t
_
d
im
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Verdoolaege
a
dd some qpolynomial t
e
st functio
n
s
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Ver
d
o
olaege
add isl_pw_qpolynom
i
al_f
o
l
d
_{max,mi
n
}
commit
|
commitdiff
|
tree
next