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: accept string tokens
2010-04-23
Sven V
e
r
d
o
ola
e
ge
isl_s
t
ream:
a
ccept str
i
ng tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdo
o
l
a
e
ge
isl_tab_ro
l
lback:
r
e
store rows that a
r
e no longer mar
k
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
doc: document sim
p
le hull
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoola
e
g
e
doc
:
emphas
i
z
e that we are d
e
aling w
i
th integer
s
ets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_transitive
_
closure
.
c: pa
t
h_alon
g
_delta: only
a
vo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
is
l
_ma
p
_transitive
_
c
losure: compute divs of inpu
t
commit
|
commitdiff
|
tree
2010-04-21
S
ve
n
Verdoolaege
i
sl
_
m
a
p_c
o
mpute_divs: make sure resu
l
t
i
s gau
s
s
e
d an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_printer
_
p
rin
t
_
p
w_
q
pol
y
nomi
a
l
: pr
o
perly prin
t
c
o
nstr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_pip and isl_
c
at
:
terminate isl_arg
a
rray
w
i
t
h IS
L
_AR
G
_END
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolaeg
e
doc: docum
e
nt setting
a
nd getting of d
i
m
ens
i
on names
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoola
e
ge
doc: document *
_
get_
d
im fu
n
ctions
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolaege
i
s
l_map_convex_hu
l
l:
handle
n
o
n
full-dimensio
n
al pai
r
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaege
isl_conve
x
_hull
.
c: modul
o
_affine_hu
l
l:
drop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Ver
d
oolaege
isl_convex_hull
.
c:
c
onvex_hull_pair: s
k
ip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sv
e
n Verdoolaege
isl_printer_p
r
int_
b
asic_set:
f
ix up printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven V
e
rdoolaege
add
i
s
l_set_neg an
d
isl_
s
et_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl_
t
ransitive_c
l
o
s
ure
.
c: fix documentati
o
n of
c
o
nstruct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdo
o
laege
isl_map
_
coa
l
esce: make su
r
e re
s
ult s
t
ill
co
n
ta
i
ns
s
et
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laeg
e
isl_map_transiti
v
e_closure: Floyd-Warshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
isl
_
map_transi
t
iv
e
_
c
losure: use Floyd
-
Warshall on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
olaege
isl_transitive_closure
.
c: extract out isl_set_overla
p
s
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
isl_map_transitive_clos
u
r
e
:
proje
c
t out le
n
gt
h
on e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
i
s
l_t
r
a
nsitive_closu
r
e
.
c: construct_comp
o
n
e
n
t
: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
d
oolae
g
e
isl_map_transiti
v
e_cl
o
sure: do
n
't
add
l
ength p
a
r
a
met
e
r
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaege
doc:
f
ix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_set
_
gist: make con
t
ext argument an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Ver
d
oolaege
isl_map_tran
s
itive_clo
s
u
re:
coalesce inpu
t
map
commit
|
commitdiff
|
tree
2010-04-13
S
ve
n
Verdool
a
e
g
e
isl_transitive
_
closure
.
c: construct
_
c
omponent: al
w
ays
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
doc:
ci
t
e Omega l
i
brary documentation on computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolaege
add isl_stre
a
m_re
a
d_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_
a
rg
.
h: add missing i
n
clu
d
e
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verdoolaege
isl_basic_map_move_dims: normaliz
e
equalities
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Verdool
a
ege
rename i
s
l_map_move to isl_map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olaege
is
l
_op
t
i
ons_p
a
rse: only pa
r
s
e
known
opti
o
ns by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
l
aege
isl_map_closure: opti
o
nally
us
e
Omega-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
o
o
laege
i
sl_cl
o
sure
:
take opt
i
ons
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
e
rdoolaege
i
sl_map_affin
e
_hull: handle no
n
-
o
bviously empt
y
in
p
ut
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
l
ae
g
e
isl_map_com
p
u
te_div
s
: handle non-obviou
s
l
y
empty input
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
i
sl_basic_set_preimage: add
e
x
tra sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
is
l
_basi
c
_map_set_to_empty: add m
i
s
s
in
g
assignme
n
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
is
l
_equalities
.
c:
i
s
l_mat_variable_compre
s
sion: cl
a
r
ify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_s
a
mple
.
c: initi
a
l_basis: se
t
n_unbounded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
S
ven Ve
r
doolaege
isl_m
a
p_coalesce: onl
y
use non-redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Verdoolae
g
e
isl_ma
p
_print:
allow emp
t
y constraints
commit
|
commitdiff
|
tree
2010-04-09
Sven Ve
r
doolaeg
e
i
s
l_op
t
ions
.
h: al
l
ow incl
u
sion from C++
commit
|
commitdiff
|
tree
2010-04-09
Sv
e
n
Verd
o
olaege
is
l
_arg
.
h
: a
l
l
ow
inclusio
n
from
C
++
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
isl_ma
p
_
tran
s
i
t
ive_closure: handle existentials
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaeg
e
i
s
l_map_del
t
a
s: preserv
e
dimension names
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl
_
map_print: support LaTeX o
u
tput format
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
sl_
m
ap
_
sim
p
lify: d
o
n't rem
o
ve any div definit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
V
e
rdool
a
ege
i
s
l_map_intersect: a
d
d special ca
s
es f
o
r empty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
Verdoolae
g
e
i
s
l_transitiv
e
_closure
.
c: path_alo
n
g_delta: share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
isl_tr
a
nsiti
v
e
_
c
los
u
r
e
.
c: path_along_
d
e
l
t
a
:
t
r
y and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdool
a
ege
ex
p
ort isl_qpolynomial_mo
v
e
_
d
i
ms
commit
|
commitdiff
|
tree
2010-04-03
Sven Ve
r
d
o
olaege
a
d
d i
s
l_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdool
a
e
g
e
add isl_pw_qpolyn
o
mial_fold_get_di
m
commit
|
commitdiff
|
tree
2010-04-03
Sven
Verd
o
o
l
a
ege
add some qpolynomial test fu
n
c
tions
commit
|
commitdiff
|
tree
2010-04-03
Sven Verd
o
o
l
aege
add
i
sl
_
p
w
_qpoly
n
o
mial_fold
_
{max,m
i
n}
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n Ver
d
oo
l
aege
isl_tab_min_at_mo
s
t_neg_one: rest
o
re
s
ample value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
dool
a
e
g
e
isl_map_c
o
alesce: avoid
r
econsidering p
a
irs
c
ons
i
dered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdool
a
e
ge
i
s
l_ta
b
.
c
:
u
p
date de
b
uggi
n
g aid c
h
e
ck_table
t
o presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ven Ve
r
d
o
o
l
aege
isl_tab_relax: make su
r
e no non-negativ
e
rows get
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
e
rdoolaege
i
s
l_tab_pip
.
c: always set row sign of foun
d
row t
o
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en
Verdoolaege
isl_printer_print
_
bas
i
c_{se
t
,map}
:
add closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolae
g
e
export is
l
_se
t
_split_d
i
ms
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdo
o
l
a
eg
e
a
d
d isl_set_recession_cone
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoolaeg
e
add isl_se
t
_d
i
m_is
_
bound
e
d
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoolaege
isl_map_transitive_closure: break early if inp
u
t
map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
e
r
doolaege
isl_map
_
transitive_cl
o
sure:
c
oalesc
e
af
t
er e
a
ch step
commit
|
commitdiff
|
tree
2010-03-30
S
v
en
V
erdoolae
g
e
export i
s
l_
p
w_q
p
olynom
i
al_co
a
l
esce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_tab
.
c
:
u
n
relax: res
t
ore row if var
i
abl
e
is no
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
S
v
e
n Ve
r
d
oolaege
i
sl_t
a
b
.
c:
cut_to_h
y
perp
l
a
n
e: ad
d
extra sanity check
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Ver
d
oolaege
add
isl_pw_
q
p
olynomial_fold_siz
e
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
ol
a
e
ge
add isl_
p
w
_qpolynomi
a
l_
s
p
lit_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdoolaege
isl_qpolynomial_max: fix d
e
tection
o
f inactive
v
ariables
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
d
oc:
fix
transitive c
l
osure example
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
r
d
o
o
la
e
ge
isl_convex
_
hull
.
c: vali
d
_d
i
rection:
properly nor
m
alize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
lae
g
e
i
sl_convex_hull
.
c: simplify comp
u
tation of
initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdoolaege
e
x
por
t
isl_pw_qpolyn
o
mial_is_zero
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Ver
d
oolaege
add is
l
_p
w
_qpol
y
nom
i
a
l
_fold_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
d
oolaege
add isl_int_get_d
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoola
e
ge
add isl_pw_qpolyn
o
mial_min
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdoola
e
g
e
add
i
sl_
p
w
_
qpolynomial_fix_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
aege
ad
d
isl_pw_
q
po
l
yno
m
i
al
_
a
d
d_dims
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
laege
export
is
l
_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_pw
_
qpoly
n
omial_fold_add: remove redundant quasipolynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdoolaege
isl_
q
polynomial_alloc: take
i
nitial stru
c
t isl_u
p
oly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
laege
add isl
_
s
et_solve_
l
p
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n Verdoolaege
isl_polynomial
.
c: separate out
f
o
l
d funct
i
onality to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
i
s
l
_pw_qpol
y
nomial_{fold_,}print: set output
fo
r
mat
commit
|
commitdiff
|
tree
2010-03-21
Sven Verd
o
olaeg
e
improv
e
i
s
l_
p
w_qpol
y
nomial_move
commit
|
commitdiff
|
tree
2010-03-20
Sven
V
erdoola
e
g
e
add
isl_mat
_
m
o
ve
_
cols
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdo
o
laege
isl_stream:
accep
t
"%" t
o
ken
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
d
o
olaege
doc:
f
ix
typ
o
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add basi
c
isl_pw
_
q
p
ol
y
n
o
mial_fold_coalesce
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
a
e
g
e
add isl_pw_qpolynomial_fo
l
d_get_ctx
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verd
o
olae
g
e
isl_
p
rinte
r
_
p
rint_pw_qpolyn
o
mial{,_fol
d
}
:
allow pri
n
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaeg
e
ad
d
i
s
l_qpolynomial_get_den
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
aege
add isl_pw
_
qp
o
lynom
i
al_gist and isl_pw_q
p
olynomial_fold_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verd
o
olaege
export isl_map_gis
t
commit
|
commitdiff
|
tree
next