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_basic_map_is_rational
2010-04-23
Sven
V
erdoolaege
isl_map_transitive_closure: use simple
h
ul
l
i
n omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
isl_map_transit
i
v
e
_closure
:
try and compute closu
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_coalesce: allow wrappi
n
g
in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdo
o
la
e
ge
isl_map_coa
l
es
c
e: allowing cu
t
ting equalities in
adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
add
some more coalescing tes
t
c
ase
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_basic_map_gi
s
t
: be more ag
g
ress
i
ve
i
n remo
v
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
isl_stream: accept str
i
ng token
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
isl
_
t
ab_r
o
llba
c
k: re
s
tore rows that a
r
e n
o
longer
m
ark
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
doc:
d
o
c
ument simple hull
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
Verdoola
e
ge
doc
:
empha
s
ize that we are deali
n
g with integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
isl_transitive_clos
u
re
.
c: path_
a
long_
d
elta: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdool
a
ege
isl_m
a
p_trans
i
ti
v
e_closure: comp
u
te divs of
i
nput
commit
|
commitdiff
|
tree
2010-04-21
S
ven
V
e
r
doola
e
ge
isl_map_
c
ompute_divs:
m
a
k
e sur
e
result is
g
aussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_p
r
in
t
er_print_pw_qpolynomia
l
: properly
p
ri
n
t
c
onstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolaege
isl_pip and isl
_
cat: t
e
rmi
n
ate
isl_a
r
g array with ISL_ARG_E
N
D
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaege
doc: document
setting an
d
getting
of dimension names
commit
|
commitdiff
|
tree
2010-04-19
Sven
Ve
r
doolaege
doc: docum
e
nt *
_
get_dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoola
e
g
e
i
sl_map_convex_hul
l
: handle n
o
n full-dimensiona
l
pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Ve
r
dool
a
e
g
e
isl_con
v
ex_hu
l
l
.
c: mod
u
lo_affine
_
hull: drop red
u
nd
a
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoolaege
i
sl_conve
x
_
h
u
l
l
.
c
:
convex_hu
l
l
_
pai
r
:
s
kip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
Verdoolaege
isl
_
pr
i
nter_print
_
basi
c
_
s
et: f
i
x up printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
a
d
d is
l
_set_neg and isl_s
e
t
_
s
um
commit
|
commitdiff
|
tree
2010-04-16
S
ven V
e
rdoolaege
isl_t
r
ansitive_closure
.
c:
f
ix document
a
tion o
f
construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoolaege
i
s
l_map_coa
l
esce: make sure result st
i
l
l contains s
e
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
is
l
_
m
a
p
_
t
ransit
i
ve_closure: Floyd-Warshall: p
r
operly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolae
g
e
isl_map
_
transit
i
ve_closure:
us
e
Floyd-War
s
hall on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oolae
g
e
is
l
_
transit
i
ve_cl
o
sure
.
c: e
x
tract out isl_s
e
t_o
v
e
r
laps
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdool
a
ege
isl_map_transi
t
ive_clo
s
ure:
p
roject out length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
e
rdoolae
g
e
isl_trans
i
tive_closure
.
c: construct
_
compo
n
e
nt: d
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
olaege
isl_map_transitive_closure: don't ad
d
length parameter
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erd
o
olaege
is
l
_set_gist: make
c
o
nt
e
xt argum
e
nt an isl_
s
et for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en
Ver
d
oolaege
isl_
m
ap
_
tr
a
nsitive_closure: coal
e
sce input map
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Ver
d
oo
l
aeg
e
isl_
t
ransitive_closure
.
c:
c
on
s
truct
_
component: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
doc: cite
Omega
l
ibra
r
y doc
u
mentation on c
o
mpu
t
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Ver
d
oolaege
add i
s
l_strea
m
_rea
d
_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_arg
.
h:
a
d
d
missing in
c
lude
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
isl_basic_
m
ap_move_dims: no
r
malize e
q
u
a
lities
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Ve
r
doolaege
r
e
name i
s
l_map_m
o
ve to is
l
_
map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doolaeg
e
isl_options_pars
e
: only parse known optio
n
s
by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
a
e
ge
i
sl_
m
ap_
c
l
osure: op
t
ionally
u
se Om
e
ga-like a
l
gorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aege
i
s
l_clo
s
u
r
e: take optio
n
s
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdoo
l
aege
isl_m
a
p
_affin
e
_hull: h
a
n
dle non
-
obviousl
y
empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_co
m
pute_di
v
s: hand
l
e non-obviously empty input
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaege
isl_basic_
s
e
t
_
p
reimage: add ex
t
ra sa
n
ity check
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoolaege
isl_basic_map_set_to_em
p
ty: add
m
issing
a
ss
i
gnment
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoola
e
ge
i
sl_equa
l
i
ties
.
c: isl_ma
t
_variab
l
e_
c
omp
r
ess
i
on:
clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n
Verdoolae
g
e
isl_sa
m
ple
.
c: initial
_
basis: set
n_u
n
bounded and n
_
z
ero
commit
|
commitdiff
|
tree
2010-04-09
Sven Ve
r
d
oolaege
i
s
l
_
map_coalesce: only use non
-
redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sv
e
n Ve
r
doolaege
isl_
m
ap_p
r
i
nt: a
l
low empty constr
a
i
n
t
s
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoo
l
aege
isl_options
.
h
: allow inclusion from C++
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdo
o
lae
g
e
isl_arg
.
h:
a
llow inclusi
o
n from C
+
+
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoolaege
isl_map_transitive_c
l
o
sure: handle existentials
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n V
e
rdoolaeg
e
isl_map_d
e
ltas: pres
e
rve dimens
i
on name
s
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoo
l
aege
isl_map_
p
rint: support LaTeX outpu
t
format
commit
|
commitdiff
|
tree
2010-04-07
S
ven
V
erdoolae
g
e
i
sl_map
_
s
i
mplif
y
: d
o
n
't r
e
mov
e
any di
v
definitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_interse
c
t: add speci
a
l cases for empty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
isl_transitive_cl
o
sure
.
c
:
p
ath_al
o
ng
_
delta: share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ve
n
Ver
d
oo
l
a
e
ge
isl_transitive_closure
.
c: path_
a
long_del
t
a: try
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Ve
r
doolae
g
e
export isl_
q
polyno
m
ia
l
_move
_
dims
commit
|
commitdiff
|
tree
2010-04-03
Sven
Verdoolaege
add is
l
_qpolynomial_g
e
t_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoo
l
aege
add isl
_
pw_qpolyn
o
m
i
al_fold_
g
et_d
i
m
commit
|
commitdiff
|
tree
2010-04-03
Sven Ve
r
dool
a
ege
add
s
ome
qpolynomial test functions
commit
|
commitdiff
|
tree
2010-04-03
Sven
Verdoolaege
add isl_pw_qpol
y
no
m
ial_fold_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
rdoolae
g
e
isl_ta
b
_min_at_most_neg_one: r
e
s
t
ore sam
p
le value o
f
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
o
laege
isl_ma
p
_coales
c
e
:
avoid
r
econsidering pairs co
n
sidered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ven Ver
d
oolaege
isl_ta
b
.
c: update debug
g
ing aid check_table to pr
e
sence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
e
rdoolaege
i
s
l_tab_relax: make s
u
r
e no n
o
n-
n
ega
t
ive rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
is
l
_tab
_
pi
p
.
c:
a
l
way
s
set ro
w
sig
n
of found row
t
o
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_printer_pri
n
t_ba
s
i
c
_{set,map}: add
closing "}"
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoolaege
expo
r
t isl_set_split_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaege
a
d
d isl_
s
et_
r
ecession_cone
commit
|
commitdiff
|
tree
2010-04-01
Sven Ve
r
doo
l
aege
add i
s
l
_
set_dim_is_
b
o
u
n
d
e
d
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl_map_transitive_clo
s
ure: break
e
a
rly if input m
a
p
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl_map_transitive_
c
losure: coalesce after e
a
ch step
commit
|
commitdiff
|
tree
2010-03-30
S
v
e
n
V
e
rdoolaege
ex
p
ort
i
sl_pw_qp
o
l
yno
m
ial_coalesce
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoolaege
isl_tab
.
c: unrelax: re
s
tore row if
v
a
riable is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oolaege
isl_tab
.
c: cut_to
_
hyperplane: add e
x
tra sanity check
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdo
o
la
e
ge
add isl_pw_qpolynomial_fold_
s
iz
e
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oolaege
ad
d
i
s
l_pw_qpolynom
i
al_split_dims
commit
|
commitdiff
|
tree
2010-03-30
S
v
en
V
e
r
doolaege
isl_qpolynomi
a
l_max: fix
d
etection
o
f inac
t
ive
variables
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
doc: f
i
x
t
r
an
s
itiv
e
closure example
commit
|
commitdiff
|
tree
2010-03-23
Sven
Ve
r
d
o
olaege
isl_
c
onvex_hu
l
l
.
c: valid_di
r
e
ction: properly normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaeg
e
isl_conve
x
_hu
l
l
.
c: simpli
f
y co
m
putation o
f
in
i
tial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
ola
e
ge
ex
p
ort isl
_
pw_qpolynom
i
al_is_ze
r
o
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add
i
sl_pw_qpolynom
i
al_fol
d
_
dim
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Ver
d
o
o
laege
add
i
sl_int_
g
et_d
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
d
o
olaege
add isl_pw_qpolynomia
l
_
m
in
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
V
erdoolaege
add
isl_pw
_
qpolynomial_
f
i
x
_dim
commit
|
commitdiff
|
tree
2010-03-23
S
ven Verdoolaege
add
i
sl_pw_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdoolaege
export isl_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
aege
isl_pw_qpoly
n
omial_fold_add: r
e
move redu
n
dant quasipolyno
m
ia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
olaeg
e
isl_qpolynom
i
al_alloc: take
in
i
tial struct isl_upo
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
ven Verdoolaege
add
isl_set_so
l
ve_lp
commit
|
commitdiff
|
tree
2010-03-23
S
ve
n
Verdoolaeg
e
isl_pol
y
nom
i
al
.
c
:
separate out fold functionality to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolae
g
e
is
l
_pw_qpoly
n
omial_{f
o
ld
_
,}pr
i
n
t
: se
t
output for
m
a
t
commit
|
commitdiff
|
tree
2010-03-21
Sv
e
n Verdoolaege
i
m
pr
o
ve isl
_
p
w
_qpolynom
i
al_move
commit
|
commitdiff
|
tree
2010-03-20
Sven Verdo
o
laege
add isl_mat_move_cols
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
V
erdoolaege
is
l
_
s
t
r
ea
m
: ac
c
ep
t
"
%"
t
oken
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verd
o
olaege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
next