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_options.h: allow inclusion from C++
2010-04-09
S
ven Ve
r
do
o
la
e
ge
isl_opt
i
ons
.
h: allow
i
nclusion fro
m
C++
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Verdoolaege
isl_ar
g
.
h
: allow
inclu
s
ion
f
rom C++
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
isl_map_
t
r
a
nsit
i
ve_c
l
osure: handle existentials
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaeg
e
is
l
_map_deltas: preserve dimension
n
ames
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdo
o
laege
isl_map_print
:
suppo
r
t L
a
T
eX output fo
r
mat
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
isl_map_si
m
pli
f
y: don't
remove any
d
iv definitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
ool
a
ege
isl_map_intersect: add s
p
ec
i
al ca
s
es for
e
mpty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
rdoolaege
isl_transitive_c
l
osure
.
c: path_along_delta:
s
ha
r
e code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en
Verdoolaege
isl_transitive_closure
.
c: path_along_delta: try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven V
e
rdoolaege
expor
t
isl
_
qpo
l
ynomial
_
mo
v
e_d
i
ms
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add isl_qpoly
n
omial_g
e
t
_
ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add isl_p
w
_
qpoly
n
omial_fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
a
d
d some qpolynomial test func
t
i
o
ns
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolae
g
e
a
d
d isl_pw_qpolynomia
l
_
f
o
ld_{max,
m
i
n
}
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
V
e
rdo
o
laege
isl_tab_min_at_most_neg_o
n
e
: restore sam
p
le value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
doolaege
i
s
l
_
m
ap_
c
oal
e
sce: avoi
d
reconside
r
i
n
g pairs considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoo
l
aege
isl_tab
.
c
:
update d
e
bugging aid ch
e
ck
_
t
a
ble to presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ven Verdoolaeg
e
isl
_
tab_
r
elax: make
sure no non-negative row
s
ge
t
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
l
a
ege
i
s
l_tab_pip
.
c
: always set row s
i
g
n
o
f
f
o
und ro
w
to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_prin
t
er_print_basic_{set,map}: a
d
d closing "
}
"
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Ver
d
oolaege
e
x
port isl_set_split_dims
commit
|
commitdiff
|
tree
2010-04-01
S
ven Ver
d
o
olaege
a
dd isl_set_
r
ecession_con
e
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
e
rdoolaege
add i
s
l_set_dim
_
is_boun
d
ed
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
is
l
_
map_transitive_clos
u
re: break early if input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolae
g
e
isl
_
map_t
r
ansitive_closu
r
e: coalesce
a
ft
e
r ea
c
h
s
tep
commit
|
commitdiff
|
tree
2010-03-30
S
ve
n
Verdoolaege
export isl_pw_q
p
olynom
i
a
l
_coa
l
e
s
ce
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
rdoolaege
isl_ta
b
.
c: unrelax: restore row if variable is
non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verd
o
olaege
i
sl_tab
.
c
:
cut_to_hyper
p
lane
:
add extra sa
n
ity check
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoola
e
ge
add is
l
_pw_qpolynomial_fold_size
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Ve
r
doolaege
a
dd
isl_pw
_
qp
o
l
ynomial_sp
l
i
t_d
i
m
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_qpol
y
nomial_max
:
fi
x
detection
o
f i
n
active variab
l
es
commit
|
commitdiff
|
tree
2010-03-25
S
ven Ver
d
oo
l
aege
doc: fix
t
r
a
nsitive c
l
osur
e
exampl
e
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
aege
isl_convex_hull
.
c: va
l
id_di
r
e
c
tion: prop
e
r
l
y
n
ormali
z
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
ege
isl_conv
e
x
_
hull
.
c: simplif
y
computat
i
on of i
n
it
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
v
en
Verdoolaege
e
xport
isl_pw_qpolynom
i
al_is_zero
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add isl_pw_qpo
l
yn
o
mi
a
l_fold_dim
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Ve
r
doolaege
a
d
d isl_int_get_d
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdoolaege
a
d
d
isl_pw_
q
p
olynomial_m
i
n
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n V
e
rdoolaege
ad
d
isl_pw_qpolynomial_fix_d
i
m
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaeg
e
a
d
d isl_pw_q
p
o
ly
n
o
mial
_
add
_
dims
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
e
x
port isl
_
dim
_
move
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n
Verdoolaege
isl_pw_qp
o
ly
n
o
m
ial_
f
o
ld_add: remove redundant
q
ua
s
ipolynom
i
a
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
ege
isl_qpolyno
m
ial_a
l
loc: take initial st
r
uct isl_upo
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n
Verd
o
ol
a
ege
add is
l
_set
_
solve_lp
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
doola
e
ge
is
l
_polynomial
.
c
:
sepa
r
ate out fold funct
i
o
nality to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolae
g
e
i
s
l_p
w
_qpol
y
n
omi
a
l_{f
o
l
d
_
,}print: set ou
t
put format
commit
|
commitdiff
|
tree
2010-03-21
Sven
Verdoo
l
ae
g
e
impro
v
e
isl_pw_qpolyno
m
ial_m
o
ve
commit
|
commitdiff
|
tree
2010-03-20
Sven Ver
d
o
o
l
a
ege
add isl_mat_
m
ove
_
cols
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdool
a
ege
doc:
fix
t
yp
o
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoo
l
aege
add
basic isl_p
w
_qpolyno
m
i
a
l_fold_coale
s
ce
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
add isl
_
pw_qp
o
lynomial
_
fold_get_ctx
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
olaege
isl
_
p
r
i
n
t
er_
p
rint
_
pw
_
qpolynomial{,_fold}:
a
ll
o
w pri
n
ting
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolaege
add isl_qpolynomi
a
l_get_den
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add isl_pw_qpoly
n
o
m
ial
_
gist
a
nd i
s
l_pw_qpolynomial_f
o
ld_gist
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolae
g
e
exp
o
rt isl_map_g
i
s
t
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oolaeg
e
a
d
d
isl_m
a
p_insert
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
o
l
aeg
e
add isl_printer
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoo
l
a
e
g
e
a
d
d isl_pw_
q
polynomial
_
max
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaeg
e
i
sl_qpo
l
ynom
i
al_a
d
d:
r
epl
a
ce
0
-degre
e
polynomi
a
ls
b
y
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
add i
s
l
_set_elimina
t
e
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doo
l
aege
isl_map_
r
a
n
ge: optim
i
z
e case
w
here the numb
e
r
of input
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven Ver
d
oolaege
isl_pw
_
qp
o
l
ynomial_print: fix prin
t
ing
o
f u
n
named pi
e
cewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
document tr
a
n
siti
v
e closure implem
e
n
tation
commit
|
commitdiff
|
tree
2010-03-13
S
v
en Verdoolaege
i
s
l_stream: accept
"
.
"
toke
n
commit
|
commitdiff
|
tree
2010-03-12
Sven V
e
rdoolaeg
e
add is
l
_pw_*_intersect_domain
commit
|
commitdiff
|
tree
2010-03-12
Sve
n
V
e
rdoolae
g
e
a
d
d
i
s
l_pw_*_d
o
main
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doola
e
ge
i
s
l 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdool
a
ege
is
l
_pw_te
m
pl
.
c: copy: fix retur
n
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Ve
r
doo
l
a
e
ge
isl_poly
n
omial
.
c
:
qpolyn
o
mial_f
o
ld_alloc: fix up
condition
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
u
p
date AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
er
d
oolaege
isl_pip: use isl_set_pri
n
t
inste
a
d o
f
isl_set_du
m
p
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdool
a
ege
add some pip tests fro
m
the
p
iplib d
i
str
i
but
i
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Ver
d
oolaege
don't prin
t
newline in ISL_FORMAT_ISL
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verdoolaege
u
s
e
typedef t
o
ensure argument
to mp_ge
t
_memory_fun
c
tio
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_obj_pw_qpolynomial
_
f
old
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ver
d
ool
a
ege
a
dd i
s
l
_
p
w_qpo
l
yn
o
mial_fold_eval
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaeg
e
add isl_pw_q
p
olynomial
_
f
old
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
i
sl_pw_qp
o
ly
n
omial
_
f
oreach_lifted_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ve
r
doolae
g
e
a
d
d
isl_
s
et_lift
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
ad
d
isl_set_from_point
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Verdoolaege
add is
l
_
m
a
t
_insert_cols
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
add isl_pw_qpolynomial
_
di
m
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
doolaege
add
is
l
_pw_qpolynomial_fore
a
ch
_
p
iece
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdool
a
ege
a
d
d isl_pw_q
p
o
lynomial_
g
et_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add is
l
_div_dim
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verd
o
olae
g
e
isl_str
e
am: a
l
low "_" in tokens
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
doolaege
is
l
_stream
:
accept "@
"
toke
n
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
isl_map_read: accept
'*' in a
f
fine expr
e
ssions
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
i
sl_qpolynomial
_
eva
l
: use consistent dimension for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ve
r
doolaege
doc: up
d
ate to r
e
moval of pi
p
lib
as
a
submodul
e
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n V
e
rd
o
olaege
d
o
c
: fix typo
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
i
sl_stream_read_obj
:
add support for rea
d
i
n
g pi
e
cewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
a
dd isl_s
t
r
e
am_read_obj
commit
|
commitdiff
|
tree
2010-03-05
S
ve
n
Verdoolaege
add generic isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolae
g
e
add
support
f
o
r (piecewise) qu
a
sipol
y
nomials
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
dd is
l
_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoo
l
aege
isl_stre
a
m: parse
Na
N
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
isl
_
stream
:
parse inft
y
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
export isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
isl_stream: allow
u
s
er specified keywor
d
s
commit
|
commitdiff
|
tree
next