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_map_transitive_closure: coalesce input map
2010-04-13
Sven Verdoolaege
isl_
m
ap_t
r
ansitive_c
l
osure: coalesc
e
input
map
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoo
l
aege
i
sl_transiti
v
e_closure
.
c: con
s
truct_component:
a
lways
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oo
l
aege
doc: cite Omega library document
a
tion on compu
t
ation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verd
o
olaeg
e
add isl_strea
m
_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl
_
arg
.
h: add mi
s
s
i
ng i
n
clude
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verdoo
l
a
e
g
e
isl_basi
c
_map_move
_
dims:
n
orma
l
ize equal
i
ties
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdool
a
ege
r
e
n
ame isl_map
_
move t
o
isl_map_
m
ove_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaeg
e
i
s
l_o
p
tio
n
s_parse
:
only parse
k
no
w
n options by
d
ef
a
u
l
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaege
isl_map_
c
losure: option
a
lly
u
se Omega-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_clos
u
re: take
o
ptions
commit
|
commitdiff
|
tree
2010-04-10
S
ven
Verdoolaege
isl_map_
a
ffine_hull: handle
non-obviously em
p
ty inp
u
t
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaege
isl_map_comp
u
te_divs
:
ha
n
dle non-obviou
s
ly empty in
p
ut
commit
|
commitdiff
|
tree
2010-04-10
S
v
en
Verdoolaege
isl_basic_set_
p
rei
m
a
g
e: ad
d
e
xtra sanit
y
check
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
a
ege
isl_basic_map_s
e
t_
t
o_empty: add missing assignment
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
er
d
ool
a
ege
isl_equalities
.
c: isl_ma
t
_v
a
ri
a
ble_com
p
ression: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
S
ven
Verdoolaege
isl_sample
.
c: ini
t
ial
_
b
a
s
i
s: set n_unb
o
unded and n_zer
o
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaeg
e
isl_map_coalesce: only u
s
e non-redu
n
dant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
S
v
en Verdoolae
g
e
isl_m
a
p_pri
n
t: allow empt
y
constraints
commit
|
commitdiff
|
tree
2010-04-09
S
ven
V
erd
o
olaege
isl_options
.
h: allow inclusion from C
+
+
commit
|
commitdiff
|
tree
2010-04-09
S
v
en Verdoo
l
aege
isl_arg
.
h: allow inclusion fr
o
m C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_transi
t
i
ve_closure
:
ha
n
dle
e
xis
t
en
t
i
als
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_deltas: preserve dimension names
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_print: support
LaTeX output f
o
rmat
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
i
s
l
_map_simplify: don't remove a
n
y div
def
i
ni
t
ions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en V
e
rdoolaege
isl_map_interse
c
t: add special cases for empty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n Ver
d
oolae
g
e
isl_t
r
ansitive_closure
.
c: path_a
l
ong
_
d
e
lta: share
c
ode
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
g
e
isl_transitive_closure
.
c: path_along_delta:
t
r
y
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Ve
r
do
o
l
aege
export i
s
l_
q
polyno
m
i
a
l_move_dim
s
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add
i
sl_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Verdoolaege
add isl_pw_qpo
l
ynomial_fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolae
g
e
a
dd some qpolynomia
l
test functions
commit
|
commitdiff
|
tree
2010-04-03
Sve
n
Verdoo
l
aege
a
dd
isl
_
pw
_
qpolyn
o
mial_fold_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
o
o
laege
isl_tab_min_at_most_ne
g
_
one
:
restore sampl
e
value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolae
g
e
isl_m
a
p_c
o
alesce
:
a
voi
d
reconsidering pairs consider
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
ol
a
ege
isl_t
a
b
.
c: update debugging aid che
c
k_table t
o
pr
e
sence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
e
n
V
e
rd
o
o
l
ae
g
e
isl_tab
_
r
elax: make sure no
n
o
n
-negative rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoola
e
ge
i
sl_tab_pip
.
c: always set
ro
w
sig
n
of
found row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n
V
e
r
d
o
ola
e
ge
isl_pri
n
ter_print_basic_{set,map}
:
add c
l
osing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven Ver
d
oo
l
a
e
ge
e
xport isl_set_split_dim
s
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoolaege
add i
s
l_set_r
e
c
ession
_
cone
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdoolaege
add i
s
l_set_dim_is_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoo
l
ae
g
e
i
sl_map_transi
t
ive_c
l
osure
:
break early
i
f
inpu
t
map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n
Verdoo
l
aege
isl_ma
p
_transiti
v
e_closure:
c
o
a
lesce after e
a
ch step
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
e
rdoo
l
aege
expor
t
isl_pw_
q
pol
y
n
om
i
al_
c
oalesce
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verdoolaege
isl_t
a
b
.
c: unrelax: restore row if variable
is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verd
o
olaege
isl_tab
.
c: cut
_
to_hyperp
l
a
ne: add extra sanity
c
h
e
c
k
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolae
g
e
add is
l
_pw_qpolynomial
_
fol
d
_size
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
add isl_p
w
_qpolynomial_split_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdoolaege
isl_qpo
l
ynomial_max: fix de
t
e
c
tion
o
f i
n
active va
r
iabl
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
doc: fix transiti
v
e clo
s
ure example
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdoolae
g
e
isl_convex_hull
.
c: valid_direction:
p
r
o
perly normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Ver
d
o
olaege
is
l
_c
o
nvex_hull
.
c: simplify comput
a
tion
of init
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
doola
e
ge
export isl_pw_
q
polynomial_is_zero
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add
i
s
l_p
w
_qpolynomial_fold_dim
commit
|
commitdiff
|
tree
2010-03-23
S
ven Verdoolaege
a
d
d i
s
l_int_
g
et_d
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add isl_pw_qpolyn
o
mial_min
commit
|
commitdiff
|
tree
2010-03-23
S
ven Verdoolaege
add isl_pw_
q
polynom
i
al_fix_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven
Verdoo
l
aege
add isl_
p
w
_qpo
l
y
nom
i
al
_
add_dims
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdo
o
laege
e
x
port isl
_
dim
_
move
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdoolaege
isl
_
pw_
q
po
l
ynomial_fold_add: remove redundant quasipolynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
i
sl_qpo
l
ynomial_alloc: t
a
k
e initial struct isl_upoly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdoolaege
add isl_set_solve_lp
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_polynomial
.
c
:
sep
a
r
ate ou
t
fold funct
i
onality
t
o
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n
V
erdoola
e
ge
isl_p
w
_qpolynomial_{fold_,}print: s
e
t o
u
tpu
t
format
commit
|
commitdiff
|
tree
2010-03-21
Sven Verdoolaege
improve
isl_pw_
q
polynom
i
al_move
commit
|
commitdiff
|
tree
2010-03-20
S
v
en Verdoolaege
a
d
d isl_mat_move_
c
ol
s
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
a
d
d basic isl_
p
w_qpolynomial_fold_coalesce
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add is
l
_pw_qpol
y
nomial_
f
old_get_c
t
x
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolae
g
e
isl_p
r
inter
_
pri
n
t_pw
_
qpolynomial{,_
f
old}: allow
p
rin
t
ing
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
ola
e
ge
add is
l
_qpolynomial_
g
et_d
e
n
commit
|
commitdiff
|
tree
2010-03-18
S
ven
V
erdoolaege
add isl_pw_qpolynomial_gist and isl_pw_qpolynomi
a
l_fold_gist
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdool
a
ege
ex
p
o
r
t is
l
_ma
p
_
g
ist
commit
|
commitdiff
|
tree
2010-03-18
S
v
en
Verdoolaege
add isl_map_i
n
sert
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
a
d
d isl
_
printer
commit
|
commitdiff
|
tree
2010-03-14
Sven
Ve
r
doolaege
add isl_pw_q
p
olynomial
_
max
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
V
erdoolaege
isl
_
q
polyno
m
ial_add
:
replace 0-degre
e
polynomials by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
add isl_set_eliminate
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolae
g
e
isl_map
_
range: optimize case wher
e
th
e
numb
e
r of
i
nput
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
isl
_
pw_qpolynomial_print: f
i
x p
r
i
n
t
i
ng of unnamed piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
d
ocument transi
t
ive
c
losure implementation
commit
|
commitdiff
|
tree
2010-03-13
S
ven V
e
rdoolaeg
e
isl
_
stream: accept "
.
" token
commit
|
commitdiff
|
tree
2010-03-12
Sven Verdoolaeg
e
add isl_pw_*_inters
e
ct
_
domain
commit
|
commitdiff
|
tree
2010-03-12
Sven
V
erdool
a
e
g
e
add i
s
l_pw
_
*_domain
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
V
e
rdoolaege
i
s
l 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
isl
_
pw_templ
.
c:
c
opy: fix return
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
e
ge
i
sl_polyno
m
ial
.
c:
qpolynomi
a
l_fo
l
d
_
alloc: fix u
p
condit
i
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
update AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Verdool
a
e
ge
isl_
p
i
p
: use isl_s
e
t_p
r
int instead of
i
sl_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
add some pip
t
ests from the pip
l
ib
distribu
t
ion
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
d
on't print
newline in ISL
_
F
O
R
M
AT_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
ege
us
e
ty
p
e
def
t
o e
n
su
r
e ar
g
ument
to mp_get_m
e
mory_funct
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olae
g
e
add isl_obj_pw_qp
o
ly
n
o
mial_
f
ol
d
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ve
r
doola
e
ge
ad
d
isl_pw_qpolynomial_fold_eval
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
g
e
add isl_pw_qpoly
n
omi
a
l_
f
old
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
doolaege
a
dd isl_pw_qpo
l
ynomial_for
e
ach_
l
if
t
ed_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdool
a
ege
a
dd isl_s
e
t_lift
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
add isl_
s
et_
f
rom_point
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
a
d
d
isl_mat_inse
r
t_cols
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d isl_pw_qpo
l
yn
o
mial_dim
commit
|
commitdiff
|
tree
next