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
ven Verdoolaege
a
d
d is
l
_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
isl_equalit
i
es
.
c
: fix typos in comme
n
ts
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_pw_qpolynomial_fold_c
o
vers
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdool
a
ege
add isl_qpolynomi
a
l
_le_cst
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
e
r
d
o
olaege
p
r
ivat
e
ly export isl_s
e
t_is_
b
ounded
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdoolaeg
e
add
is
l
_set_
c
ount
_
upto
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoo
l
aege
add isl_
s
et_sca
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_s
t
ream
_
r
e
a
d
_pw_qpolynomia
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
ool
a
ege
add
isl_qpolynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_qpolynomial_fro
m
_constra
i
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_basic_set_forea
c
h_bo
u
nd_pair
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
e
r
doolae
g
e
add is
l
_qpolynomi
a
l
_a
s
_polynomial_o
n
_domain
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdool
a
ege
add isl
_
q
p
o
lynom
i
al_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl_
b
asic_set
_
dims_get_s
i
g
n
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Ver
d
o
ola
e
ge
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
ad
d
isl_qpolynomial_negi
n
fty
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdool
a
ege
add isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoola
e
ge
isl_qpolynomial_fold_opt_on_d
o
main:
f
ix t
y
po
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
isl_pw_*_eval:
fix handling
o
f empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add
i
sl_basic_set
_
m
ove_di
m
s
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export isl_qpolyn
o
mial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
add
isl_qpolynomial_
g
et_dim
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaeg
e
isl_map_tr
a
nsiti
v
e_closure: coale
s
ce in
p
ut befor
e
checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verd
o
olaege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
doolaege
isl_map
_
lex_le: use one basi
c
set less in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
is
l
_stream: accept le
x
icogr
a
phic operators
commit
|
commitdiff
|
tree
2010-04-28
S
v
en
Ve
r
do
o
laege
isl_ma
p
_transitive_
c
l
osure:
c
hec
k
if input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdool
a
ege
a
d
d
i
sl_pr
i
nter_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_m
a
p_read: pars
e
pa
r
a
metric O
m
ega input
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
ool
a
ege
isl_map_read: fix t
y
po
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
e
r
d
oolaege
is
l
_
c
o
nvex_hull
.
c: is_
b
ound
:
a
n
y inequali
t
y is
a
bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaege
is
l
_conv
e
x_hull
.
c: add_bounds:
p
rop
a
gate errors
f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
v
en Verdool
a
ege
document
isl_map_rever
s
e
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoo
l
aege
isl_str
e
am_next_token: termin
a
te string to
k
ens
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_map_transitive_closur
e
: trea
t
eq
u
ality as p
a
ir
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
i
sl_
m
ap_transitive_closure, ome
g
a-l
i
ke: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
a
e
g
e
isl_map_transitive
_
closure:
use sim
p
le
h
ull
in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
V
erd
o
olaege
isl_
m
ap_transitiv
e
_
closure: try
a
n
d
comp
u
t
e
closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl
_
map
_
coale
s
ce: allow wrapping in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
la
e
ge
isl_
m
ap_coa
l
e
s
ce: allowing cuttin
g
equal
i
ti
e
s in adja
c
ent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
o
laege
add s
o
me more coalesci
n
g te
s
t c
a
ses
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n V
e
rdoolaege
isl_b
a
s
i
c_map_gist:
b
e
more aggressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolae
g
e
isl_stream: accept s
t
ring tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
do
o
l
aege
i
s
l_tab_rollback: r
e
store rows that are no longer mar
k
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
d
o
c: document
s
i
m
p
le h
u
ll
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaeg
e
doc: emphasiz
e
that we are dealing w
i
th i
n
teger sets
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ver
d
o
o
laege
isl_transi
t
i
v
e_clos
u
r
e
.
c: path_alo
n
g_delta: on
l
y avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
isl_map_transi
t
i
v
e_c
l
osure: c
o
mpute divs of input
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n
V
e
rdoolaege
is
l
_map_compute_
d
ivs:
m
a
k
e sure res
u
lt is gau
s
sed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doola
e
ge
isl
_
print
e
r_print_pw_qpolynomial
:
properly print
c
onstrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
er
d
o
o
l
aege
isl_pip and
i
sl_cat: termina
t
e isl
_
arg array with
I
SL_ARG_
E
ND
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
do
c
:
d
ocument setting and getti
n
g of dimension names
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verd
o
ol
a
e
g
e
d
oc
:
docume
n
t *
_
g
e
t_d
i
m functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolae
g
e
isl_map_convex_hull:
h
and
l
e non full-di
m
ension
a
l pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
i
sl_convex
_
hull
.
c: modu
l
o_affine
_
h
ul
l
: d
r
o
p
redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
i
sl_convex_hu
l
l
.
c:
c
onvex_hull_pair: skip
direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
Verdoolaege
isl_printer_prin
t
_basic_set: fix up
printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
a
dd isl_set_neg
a
nd isl_set_s
u
m
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolae
g
e
isl_transitiv
e
_
c
losur
e
.
c: fix
documentat
i
on of
construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
er
d
oolaege
i
s
l_map_coa
l
esce
:
make sure result still contains
set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaeg
e
is
l
_map_transitive_closure: Floyd-Warshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
isl_map_t
r
ansi
t
ive_clo
s
u
r
e: use
F
loyd-Warshall on dis
j
oint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoolaege
isl
_
trans
i
tive_closure
.
c: ex
t
ract out isl_s
e
t_
o
verlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_trans
i
t
i
ve_
c
losure: p
r
oject out length on
each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
e
rdoolaege
isl_transitive_closure
.
c:
c
onstruct_compon
e
nt
:
don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
olaege
isl_ma
p
_transit
i
ve_
c
losure: don't add length param
e
ter
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdo
o
laege
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoola
e
g
e
isl_
s
et_
g
ist: make context arg
u
m
e
nt an isl
_
se
t
for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolaege
isl_map_transitive_closure: c
o
alesce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verd
o
olaege
isl_transitive_cl
o
sur
e
.
c:
construct_comp
o
ne
n
t: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n
V
erdool
a
eg
e
doc: cite
O
mega
l
i
brary documentation o
n
com
p
utat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oolae
g
e
ad
d
i
s
l_stream_read
_
map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
i
sl_ar
g
.
h:
a
dd
missing include
commit
|
commitdiff
|
tree
2010-04-11
Sven Verd
o
olaege
isl_b
a
sic_m
a
p_move_dims: normalize equal
i
ties
commit
|
commitdiff
|
tree
2010-04-11
S
v
en V
e
rdoo
l
ae
g
e
rename isl_ma
p
_
m
o
ve to isl_
m
ap_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
is
l
_
o
ptions_parse: only pa
r
se
k
n
own options
by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolae
g
e
i
sl_map_closure: optionally use
O
meg
a
-like
a
lgorith
m
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
e
ge
isl_closure: take options
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaege
isl_
m
ap_af
f
ine
_
hull:
hand
l
e non-obviousl
y
em
p
ty input
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n
V
e
r
doolaege
isl_map_compute_d
i
vs:
h
andle
n
o
n
-obviously empty
input
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doolaege
isl_basic_set_preimage: add
e
x
tra sani
t
y check
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaeg
e
isl_basi
c
_map_set_
t
o_empty: add
missing assignment
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olaege
isl_eq
u
alities
.
c: isl_ma
t
_va
r
i
a
ble_c
o
m
pression: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolae
g
e
isl_samp
l
e
.
c
: ini
t
ial_b
a
s
is: set
n_unb
o
unded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdool
a
eg
e
isl_map_
c
oalesce: onl
y
use non-
r
ed
u
n
d
an
t
constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
S
ven Verdoolaege
isl_map_print: allow e
m
pt
y
con
s
tra
i
nts
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
e
rdoo
l
ae
g
e
i
s
l
_opti
o
n
s
.
h: allow inc
l
usion from C++
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_arg
.
h: allo
w
inclusion from C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_tra
n
siti
v
e_cl
o
sure: handle exist
e
n
tials
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_m
a
p
_d
e
ltas: preserv
e
d
imension n
a
mes
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_print: support
LaTeX output
format
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
isl_map_simplify: don't remove any div
d
e
f
in
i
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olae
g
e
i
sl_
m
ap_int
e
rsect:
add special cases for emp
t
y
input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
isl
_
t
r
a
nsitive_
c
losure
.
c: path_al
o
ng_del
t
a
:
share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
V
erdoolaege
isl_transitive_cl
o
sure
.
c:
path_along_delta: try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sv
e
n Verd
o
ola
e
ge
e
x
port isl
_
q
polynom
i
al_
m
ov
e
_dims
commit
|
commitdiff
|
tree
2010-04-03
Sv
e
n Verdoola
e
ge
add isl_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven
Verd
o
olaege
add isl_
p
w_
q
poly
n
omial_f
o
ld_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add
s
ome qpolynomial test functions
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdool
a
e
g
e
a
d
d isl_pw_qpolynomial_fo
l
d_{m
a
x,min}
commit
|
commitdiff
|
tree
next