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_stream_read_pw_qpolynomial
2010-05-13
Sven
Ver
d
oolaege
add isl_s
t
rea
m
_read_pw_qpolynom
i
al
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ver
d
oolaege
add
i
s
l_qpolynomial_
f
r
o
m
_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd i
s
l_qpo
l
ynomial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolaege
ad
d
isl_b
a
sic_set_f
o
reach_b
o
und_
p
air
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoolaeg
e
a
d
d isl_qpolynomial_as_polynomial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oola
e
ge
add isl_qpolynom
i
al_substitut
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
olaege
add is
l
_b
a
sic_set_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
add
isl_q
p
oly
n
omial_neginf
t
y
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolae
g
e
add
isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
isl
_
qpoly
n
o
mia
l
_fold_opt_
o
n_doma
i
n: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
isl_pw_*_e
v
al: fix handling of empty input
commit
|
commitdiff
|
tree
2010-05-04
S
ve
n
Ve
r
doolaege
add is
l
_bas
i
c_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
do
o
laege
export isl_q
p
olynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
a
d
d
isl
_
qpolynomi
a
l_get_d
i
m
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
isl
_
map_
t
ransitive_
c
losur
e
: coale
s
c
e
input bef
o
r
e
che
c
ki
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
ad
d
m
ap_l
e
x
_
*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven
V
er
d
ool
a
ege
isl
_
map_lex_le: use o
n
e
b
asic
s
e
t le
s
s in result
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n Verdoolaege
isl_
s
tream:
a
ccept lex
i
cogr
a
phic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_ma
p
_
transitive_closure: check if
i
nput is
closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n V
e
rd
o
olaeg
e
add isl_
p
rinte
r
_flush
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdool
a
ege
isl_map_read: parse
parametric Ome
g
a input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolae
g
e
isl_
m
ap_read: f
i
x typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
sl_convex_hull
.
c: is_bo
u
n
d: any ine
q
uality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
olaege
isl_convex_hull
.
c: add_b
o
unds: propagate error
s
from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven
Verdoolaege
document
i
sl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
isl_stream_next_token
:
terminate string tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
isl_map_tra
n
sitiv
e
_clos
u
r
e
: treat
e
quality as
pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
e
rdoolae
g
e
i
sl_map_
t
r
ansi
t
ive_closure, o
m
ega-like: on
l
y use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
isl_map_transitive
_
closure
:
use si
m
ple hull in
omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transitive_c
l
osure: try and
compu
t
e
c
losure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaeg
e
isl_map_co
a
lesce:
a
ll
o
w wrapping in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaeg
e
i
sl_
m
ap_coalesce: allow
i
ng c
u
tting equ
a
lities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n
Verdo
o
la
e
ge
add some more
c
oa
l
e
s
cing test c
a
ses
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
o
laege
isl_b
a
sic_map_
g
ist: b
e
more ag
g
ress
i
ve in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erd
o
olaege
isl_stream: accept st
r
ing t
o
kens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
e
ge
isl
_
tab_rollback
:
restore rows
t
h
at are no longer
marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aege
d
oc: document si
m
ple
hull
commit
|
commitdiff
|
tree
2010-04-21
S
ven V
e
rdoolaege
doc
:
emphasize
that we are dealing with integer se
t
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
isl_tran
s
itive_closure
.
c: path_a
l
ong_delta:
only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
isl_map_tr
a
nsiti
v
e_closure: compute divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
V
erdoolaege
isl_map_
c
ompute_divs:
make sure result is ga
u
ssed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_printer_print_pw_qpolynomial: p
r
o
p
er
l
y pr
i
nt constrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
olaege
is
l
_pip and
i
s
l_cat: term
i
nate is
l
_arg array with ISL_ARG
_
END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laege
d
oc: document setting and getting of
dimen
s
i
on n
a
mes
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
doc
:
docum
e
nt *_get_dim fun
c
tions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
olaege
is
l
_map_c
o
nvex_hull
:
handle non
full-
d
imensio
n
al p
a
ir
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Ve
r
doolaege
isl
_
con
v
ex_hul
l
.
c: modu
l
o
_
a
ffine_
h
u
l
l: drop red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdool
a
ege
isl_conv
e
x_hul
l
.
c: conv
e
x_hull_pair:
s
ki
p
direc
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verd
o
olaege
isl_printer_print
_
basic_set: fix up printing to strin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
ven Verdoolaege
a
d
d
isl_s
e
t_n
e
g a
n
d isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verd
o
olaege
isl_transit
i
ve_closur
e
.
c: fix documentation of
co
n
struct_
c
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdo
o
laege
i
s
l_ma
p
_
co
a
l
esce: m
a
k
e
su
r
e result still c
o
ntains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oolaege
isl_map
_
transitiv
e
_clos
u
re: F
l
oyd-Warshall: pr
o
per
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oolaege
i
sl_map_trans
i
tive
_
closure
:
use Floyd-Wars
h
a
l
l on dis
j
oint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
V
e
rdool
a
ege
i
sl_transitive_closure
.
c: extract
out isl_set
_
ove
r
laps
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
o
olaege
isl_map_transitive_clo
s
ure: p
r
oject out length on e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaeg
e
isl
_
trans
i
tive_clos
u
re
.
c:
c
onstruct_c
o
mponent: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
do
o
l
aege
isl_map_transitive
_
c
los
u
r
e: don't add l
e
ngth p
a
rameter
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rd
o
o
l
aege
doc: fix
t
ypos
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oolaege
is
l
_set
_
gist: make context a
r
gument
an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolaege
isl_map_transit
i
ve_clo
s
u
r
e: coalesce input
m
ap
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verdoola
e
ge
isl_t
r
ansi
t
ive_closure
.
c: construct_
c
omponent: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
d
o
c
: cit
e
Omeg
a
library documentation on comput
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoo
l
aege
add isl_stream_r
e
ad_ma
p
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
isl_arg
.
h: add missing include
commit
|
commitdiff
|
tree
2010-04-11
S
v
e
n Verdoolaege
isl_basic_
m
ap_move_
d
ims: normali
z
e eq
u
alities
commit
|
commitdiff
|
tree
2010-04-11
Sven
V
er
d
oolaege
r
ename isl_map
_
move
to isl_map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n
Verdoolaege
isl_o
p
tion
s
_parse: only parse known options by defau
l
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_closure: optionally use
O
mega-li
k
e algorith
m
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
d
o
o
laege
isl_cl
o
sure: take options
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
ool
a
ege
isl_map_affine_hull
:
handle non-obviously empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olaeg
e
i
sl_map_compute_divs:
handle non
-
obviou
s
ly
e
mpty i
n
put
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaege
i
s
l
_b
a
sic_set_preimag
e
:
a
dd extra sani
t
y check
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_b
a
sic_map_set_to_empt
y
: add m
i
ssing assignmen
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
isl_equalities
.
c: isl_mat
_
variab
l
e_compression: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaege
i
s
l_sample
.
c
:
initia
l
_bas
i
s: set n_
u
nbounded
a
nd n_zero
commit
|
commitdiff
|
tree
2010-04-09
S
v
en V
e
rdoola
e
ge
is
l
_map_coalesce: only
use non-redundant
c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdool
a
ege
isl_map_print: al
l
ow empty con
s
traints
commit
|
commitdiff
|
tree
2010-04-09
Sven Ver
d
oolaege
isl_o
p
tions
.
h: allow inc
l
u
s
io
n
from
C++
commit
|
commitdiff
|
tree
2010-04-09
Sven Ve
r
doolaege
isl_arg
.
h: all
o
w
i
nc
l
us
i
on from C
+
+
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
er
d
oo
l
aeg
e
isl_map_transitiv
e
_c
l
osure: hand
l
e
e
xistentials
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Ver
d
o
olaege
isl_map_d
e
ltas:
preserve
dim
e
ns
i
on names
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaeg
e
isl_map_
p
rint: support
L
aTeX outpu
t
f
o
rmat
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolae
g
e
isl_map_simplify:
don't rem
o
ve any div
defin
i
tions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolaege
isl_map_
i
nters
e
ct:
a
dd s
p
e
c
ial cases for empty inpu
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
isl_transi
t
ive_c
l
osure
.
c: path_along
_
delta: share
code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
ool
a
eg
e
isl_transitive_clo
s
ure
.
c: path_along_delta: try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Ve
r
doola
e
ge
e
x
port isl_qpol
y
nomial
_
move_d
i
ms
commit
|
commitdiff
|
tree
2010-04-03
Sv
e
n Ver
d
oolaeg
e
add isl_qpolynomi
a
l_
g
et_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoola
e
ge
add isl_pw_qpo
l
yno
m
i
a
l
_fol
d
_
get
_
dim
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Verdoolaege
add som
e
qpo
l
y
n
omial test functions
commit
|
commitdiff
|
tree
2010-04-03
S
ven Verd
o
o
l
a
e
g
e
a
d
d isl_pw_qpolynom
i
al_fold_{max,m
i
n
}
commit
|
commitdiff
|
tree
2010-04-02
S
ven Ver
d
oolaege
isl_tab_min_at_
m
ost_neg_on
e
: restore sample value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
oolaege
isl_m
a
p_coalesce: avoi
d
r
e
conside
r
i
n
g pairs conside
r
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
olaege
isl
_
tab
.
c:
u
p
date
d
ebug
g
in
g
aid c
h
eck_table to
presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
e
r
d
oolaege
isl_ta
b
_relax: make
sure
no non-nega
t
ive rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n Verdoolaege
i
sl_tab_pip
.
c
:
always set r
o
w
sign of foun
d
row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdool
a
eg
e
isl
_
printer_print_b
a
sic_{set,map}: add
closing "}"
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Ver
d
oolaege
export is
l
_set_split_
d
ims
commit
|
commitdiff
|
tree
next