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_stream_next_token: terminate string tokens
2010-04-24
Sven Verdoolaege
isl_stream_next_tok
e
n
:
t
erminate string tok
e
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_
t
ransi
t
i
ve_clos
u
re: treat equalit
y
as
p
air
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
a
e
ge
isl_map_transitive_closur
e
, omega-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transit
i
ve_c
l
osure: use simp
l
e
h
u
l
l in
o
mega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verd
o
olaege
isl_map_tra
n
sitive_closure:
try
a
n
d compute
c
los
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doo
l
aege
isl_ma
p
_coa
l
esce: allow wrapping in
sets that st
i
c
k
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolae
g
e
isl_map_coale
s
c
e
: allowing cutting equ
a
litie
s
in adjace
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
ad
d
some more coa
l
escing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_basic_map_gis
t
: be more
ag
g
re
s
sive
i
n removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_str
e
am
:
accept string to
k
ens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_
t
a
b
_rol
l
back: re
s
tore row
s
that
a
re no longer ma
r
k
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
e
rdoolaege
doc: document simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven
Ver
d
oolaege
d
o
c: emphasize
that we are dealing
w
ith integer sets
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ve
r
do
o
l
a
ege
isl_transiti
v
e_closure
.
c: pa
t
h_along_delta: only
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdo
o
l
aege
isl_map_tr
a
ns
i
tive_closure: co
m
p
u
te divs
of
input
commit
|
commitdiff
|
tree
2010-04-21
S
v
en V
e
rdoolae
g
e
isl_map_compute_divs: make sure result is ga
u
ssed an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdool
a
ege
isl_printer_print_pw_qpolyn
o
mi
a
l: proper
l
y pr
i
nt c
o
nstra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoo
l
aeg
e
i
s
l_pip and isl_ca
t
: te
r
m
inate isl_arg array
w
ith ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Ve
r
doolaege
d
oc:
d
ocument setting and getting o
f
dime
n
s
ion nam
e
s
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoola
e
ge
doc: document *_get_dim
f
unctions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
olaege
isl_map_convex
_
hull: handle non full-di
m
e
n
sio
n
al p
a
irs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en
Verdoolaege
is
l
_co
n
vex_hull
.
c
:
modulo_affine_h
u
ll: drop
red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n
Verd
o
o
laege
isl_
c
onvex_hull
.
c: co
n
vex_hul
l
_pair: ski
p
dir
e
ction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolae
g
e
i
s
l_printer_print_basic
_
set:
fix up
printing
t
o stri
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
V
e
rdoolaege
a
d
d isl
_
set_neg and isl_s
e
t_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven
Verdoolaege
isl_tr
a
nsitive_closure
.
c: fix docume
n
tati
o
n of cons
t
ruct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven
V
er
d
oolaege
isl_map_coal
e
s
c
e: mak
e
sure result
s
till contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_t
r
a
n
sitiv
e
_closure: Floyd-Warsh
a
ll
:
p
r
operly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
e
rd
o
olaege
isl_map_transitive_closure:
use Floyd-Warshall on dis
j
o
i
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven
V
erdoolaege
i
s
l_tr
a
nsitive_closure
.
c
:
extract out isl_set_ov
e
r
laps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
i
sl_map_transitive_clo
s
ur
e
: pr
o
ject out len
g
th on ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n
Verdoolae
g
e
isl_transitive_
c
los
u
re
.
c:
construct_component
:
don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdool
a
ege
is
l
_map_transit
i
ve_closur
e
: don't a
d
d l
e
n
g
th parame
t
er
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdool
a
ege
doc: fix ty
p
os
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_
s
et_
g
ist: make context argument
a
n isl_set fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n
Verdoolaege
isl_map_transiti
v
e_closure: coalesce input
m
ap
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verdool
a
ege
isl_transiti
v
e_closure
.
c:
construct_component: alw
a
y
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
e
n
Verdoolaege
doc: cite Omeg
a
lib
r
ary docum
e
ntation on c
o
mputatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven
Verdool
a
ege
add isl
_
s
t
ream_read_map
commit
|
commitdiff
|
tree
2010-04-13
S
v
en V
e
rdoolaege
i
sl_arg
.
h: add m
i
ssing includ
e
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
isl_basic
_
map
_
move_d
i
ms: norma
l
i
z
e
equalities
commit
|
commitdiff
|
tree
2010-04-11
Sven
V
erdoolae
g
e
rename isl_map
_
m
ove t
o
i
sl_map
_
move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolae
g
e
isl
_
options_
p
ars
e
: only parse
k
nown
o
p
tions by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
o
o
laege
isl_map_c
l
o
s
ur
e
:
option
a
l
ly use Om
e
ga-li
k
e
algo
r
ithm
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaeg
e
i
s
l_closure: take
opti
o
n
s
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoolaege
is
l
_map_affine
_
h
u
ll
:
h
andle non-obvi
o
u
sly empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_compute_
d
ivs: handle
non-obvi
o
u
sly empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
i
s
l_basic_set_preim
a
ge: add extra sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_
b
asic_map_set_t
o
_
empty: add mi
s
sing
a
ssignmen
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doolaege
isl_equ
a
lities
.
c
: isl
_
mat_variable_compression: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_
s
a
m
ple
.
c: ini
t
ia
l
_basis: set n
_
unb
o
u
nded an
d
n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolae
g
e
isl
_
map_co
a
lesce: on
l
y
use non-redundant co
n
straint
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sv
e
n Verdoolaege
i
sl_
m
ap_pr
i
nt: allow
e
m
pty constraints
commit
|
commitdiff
|
tree
2010-04-09
Sven V
e
rdoolaege
isl_options
.
h: allow
inclus
i
on fr
o
m C++
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
is
l
_arg
.
h: a
l
l
o
w
i
n
c
lusion from
C++
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaeg
e
isl_map_transitive_closu
r
e:
h
andle exi
s
t
entials
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
V
e
rdoolaege
isl_ma
p
_d
e
ltas: preserve
d
i
mension names
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaege
isl_map_
p
rint: support LaTeX
o
u
tput forma
t
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
isl_map_simp
l
ify:
d
on't remove any di
v
definitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_intersect: add s
p
ec
i
a
l ca
s
es
f
o
r
empty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
Ve
r
doolaege
isl_transitive_closure
.
c:
path_along_delta
:
share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_tran
s
itive_closur
e
.
c
:
path_alo
n
g
_
delt
a
: try an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sve
n
Verdoolaege
export isl_qpolynomial_move_d
i
ms
commit
|
commitdiff
|
tree
2010-04-03
Sven
Verdool
a
ege
add is
l
_qpoly
n
om
i
a
l
_get_c
t
x
commit
|
commitdiff
|
tree
2010-04-03
Sve
n
V
e
rdoolaege
a
dd isl_
p
w_qpolynomial_
f
old_
g
et_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
erdoolaege
add some qpolynomial test functions
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add isl_pw_qpolynom
i
al_fo
l
d_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
S
ven Verdoolaeg
e
i
s
l
_tab_min
_
at_most_
n
eg_one: res
t
ore sampl
e
value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en
V
erdo
o
laege
i
sl_ma
p
_coalesce: avoid
r
econ
s
ide
r
ing pairs considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
e
n
V
e
rdoolaege
isl_tab
.
c: upda
t
e
debugging aid check_t
a
ble to
p
resence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolae
g
e
is
l
_tab_r
e
lax: make su
r
e
no non-negative r
o
ws get
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
erdoolaeg
e
i
s
l_
t
a
b
_pip
.
c: always set row s
i
gn of
found row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
V
e
r
doolaege
is
l
_printer_print_basic_{s
e
t
,map}: add c
l
o
s
ing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoolaeg
e
export isl_set_s
p
lit_dims
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Ve
r
doolaege
add
isl_set_rece
s
sion
_
co
n
e
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaeg
e
add
isl_set_dim_is_
b
ounded
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoo
l
aege
i
s
l_
m
ap_tr
a
nsitive_
c
losure: br
e
ak ear
l
y i
f
input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoolaege
isl_m
a
p_
t
ra
n
sitive_clo
s
ure: coalesce after each
s
tep
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdool
a
ege
export
i
sl_pw_qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
rd
o
olaege
isl
_
tab
.
c: unr
e
lax: restore row
if
variable is no
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoo
l
aege
isl_ta
b
.
c: cut_to_hyper
p
lane:
add
e
xtra s
a
nity che
c
k
commit
|
commitdiff
|
tree
2010-03-30
S
ven
V
erdool
a
ege
a
dd isl_pw_qpolyno
m
ial_fold_s
i
ze
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdool
a
ege
add is
l
_pw_qp
o
lynomial_split_
d
i
m
s
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoolaege
isl_qpolyn
o
m
i
al_max: fix det
e
ction of
inactive
variables
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdool
a
e
g
e
do
c
: fix transiti
v
e c
l
o
sure example
commit
|
commitdiff
|
tree
2010-03-23
S
ven Verdoolaege
isl
_
convex_h
u
ll
.
c: vali
d
_direc
t
ion: properly n
o
rmalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n
Verdoo
l
a
eg
e
isl_con
v
e
x_h
u
ll
.
c: simp
l
ify computation of in
i
tial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verdoolaege
export i
s
l
_
pw_
q
polynomial_
i
s_zero
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
o
o
l
a
ege
a
d
d
i
sl_pw_qpolyn
o
mial
_
fold_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add isl_
i
nt
_
get_d
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verd
o
olaege
add isl_pw_qpolynomial
_
mi
n
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add is
l
_pw_
q
po
l
ynomial_fix_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
ege
add
isl_pw_qpolyno
m
ial_add_dims
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdoolaeg
e
export is
l
_
d
im_move
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoolaege
isl_pw_
q
poly
n
omial
_
fold
_
add: remove
r
edundant
q
uasipol
y
nomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_qpolynomial_all
o
c: take initial
s
truct isl_up
o
ly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdoo
l
aege
add isl_s
e
t
_
solve_lp
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl
_
polynomial
.
c: separate
out fold functi
o
nality to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdo
o
l
aege
i
s
l
_
p
w_qpo
l
ynomi
a
l_{fold_,}print: set output format
commit
|
commitdiff
|
tree
2010-03-21
Sven Verdoola
e
ge
impr
o
v
e
isl_pw_qpolynom
i
al_
m
ove
commit
|
commitdiff
|
tree
next