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_transitive_closure.c: path_along_delta: try and avoid splitting off identity
2010-04-07
Sven Verdoolaege
i
sl_tran
s
itive_closure
.
c: p
a
th_along_delta: try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Ve
r
d
o
o
l
aege
ex
p
o
r
t is
l
_qpolynomial_move_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven Verd
o
o
l
aege
add
i
sl_q
p
olynomial_
g
et_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolae
g
e
add
i
sl_pw_qpolynomial_fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
S
ven
Verdoola
e
ge
add some qpo
l
y
n
o
m
i
a
l test
functions
commit
|
commitdiff
|
tree
2010-04-03
Sve
n
Verdoolaege
add
i
sl_pw_qp
o
lynomial_fold
_
{max,min}
commit
|
commitdiff
|
tree
2010-04-02
S
v
en
V
e
r
d
oolaege
isl_
t
ab
_
min_a
t
_most_ne
g
_
on
e
: restore sa
m
ple
valu
e
of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
laege
isl_map_coa
l
e
sce:
a
void recon
s
idering pairs
c
onsidered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ven
Verdoolaege
isl_tab
.
c: upda
t
e debugging aid check_table to
p
r
esence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_tab_rel
a
x: mak
e
sure
n
o
non-negative rows g
e
t
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdoolaeg
e
is
l
_
t
ab_pip
.
c: always
s
et row
sign of f
o
u
nd row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n
Verdoolae
g
e
isl_printer_print_
b
asic_{set,
m
ap}:
a
dd closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n
Verdoolaege
exp
o
rt isl_set_split_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaege
a
d
d isl_set_re
c
ession_cone
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
add isl_set_dim_is_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoola
e
g
e
is
l
_map_trans
i
ti
v
e_cl
o
s
u
r
e: break early
i
f input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
olaege
isl_map_tr
a
nsitive_clos
u
re
:
coales
c
e after each step
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
erdoolaege
expor
t
isl_pw_qpol
y
nomia
l
_
c
o
a
l
e
sce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_tab
.
c: unrelax:
rest
o
r
e ro
w
if variable is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_tab
.
c: cut
_
to_hy
p
erplane: add extra
s
anity ch
e
ck
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
olae
g
e
add i
s
l_pw_qpolyn
o
mial_fold_size
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdool
a
ege
a
dd isl_pw_q
p
olynomia
l
_split_d
i
ms
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
is
l
_
q
polynomial_max:
fi
x
det
e
ction of i
n
active variables
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoola
e
ge
doc: fix tr
a
nsitive closur
e
e
x
a
mp
l
e
commit
|
commitdiff
|
tree
2010-03-23
S
ven
V
erdoolaege
isl_c
o
n
vex
_
hull
.
c
:
v
a
lid_dire
c
tion: prope
r
ly nor
m
a
lize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
oola
e
ge
isl_co
n
vex_hul
l
.
c:
s
implify comput
a
tion of initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
olae
g
e
exp
o
rt isl_pw_qpolyn
o
mial_is_zer
o
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
a
d
d isl_
p
w_qpolynomi
a
l_fold_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add isl
_
int
_
get_
d
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
o
laeg
e
add isl_pw_qpolynomial_min
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
a
dd isl_pw_qpolynomial_fix_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
e
g
e
add isl
_
pw_qpolynomial_ad
d
_dims
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdo
o
laege
export i
s
l_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erd
o
olaege
isl_pw_qp
o
lynomial
_
fo
l
d_add: rem
o
ve redundan
t
quasip
o
l
y
nomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdool
a
ege
i
s
l_qpolynomial
_
alloc: take initial str
u
ct isl_upoly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
Verdoolae
g
e
add
is
l
_set_solve_
l
p
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verdoolaege
isl_polynomial
.
c: separate out fold functionality to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_pw_qpolynomial_{fold_,}p
r
int: set ou
t
pu
t
format
commit
|
commitdiff
|
tree
2010-03-21
Sven
V
erdoolae
g
e
improve i
s
l
_pw_qpolyn
o
mial
_
move
commit
|
commitdiff
|
tree
2010-03-20
Sven
V
e
rdo
o
laege
add
isl_ma
t
_move_cols
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaege
i
s
l_
s
tream: accept "%" token
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Ver
d
oolae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
add basic
i
sl_pw_qpolynomial_fold
_
co
a
les
c
e
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n Ver
d
oolaege
add isl_pw
_
qpo
l
yn
o
mial_fold_get
_
c
tx
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_printer_print_pw_qpolyn
o
mial
{
,_fold}: al
l
ow printing
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
olaege
add isl_
q
pol
y
nomial_get_den
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
olaege
add isl_pw_qpolynomial_gi
s
t
a
nd isl_pw_qpo
l
ynomial_fold
_
gis
t
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
expo
r
t isl_map_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
add
i
sl_
m
ap_insert
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaege
a
dd isl
_
p
ri
n
ter
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
add isl_pw
_
qpo
l
ynomial_max
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ver
d
oolaege
i
sl_q
p
olynomial_add: replace 0-degree poly
n
omials by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
add
i
s
l_se
t
_eli
m
inate
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
isl_map_range: opt
i
m
ize c
a
se where the number of input
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isl_pw_qpolynomial_print: fix printing of un
n
a
m
e
d
p
i
e
c
ewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
d
o
c
ument transitive closur
e
i
mp
l
em
e
ntation
commit
|
commitdiff
|
tree
2010-03-13
Sven Verdoolaege
i
sl_stream: acc
e
pt
"
.
" token
commit
|
commitdiff
|
tree
2010-03-12
Sven Ve
r
doolaege
add isl_pw_
*
_
int
e
rs
e
ct_domain
commit
|
commitdiff
|
tree
2010-03-12
S
v
en Verdoolaege
add isl_pw_*_domain
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
is
l
0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
isl_pw_
t
empl
.
c:
c
o
py: fi
x
retur
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
isl
_
polynomial
.
c: q
p
o
l
ynomial_
f
old_all
o
c: fix up co
n
dition
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
update AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
S
v
en V
e
rdo
o
l
a
ege
isl_pip: use isl_
s
e
t
_print inst
e
ad
o
f
isl_set_
d
um
p
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
add some pip tests from the pipli
b
distrib
u
tion
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaege
don'
t
p
r
int newl
i
ne in IS
L
_FORM
A
T_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
use ty
p
ed
e
f t
o
ensure argument to
mp_get_m
e
mory_functi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add isl_obj_pw_qpolynomi
a
l_fold
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
add isl_pw_qpo
l
yn
o
mia
l
_fold_eval
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Verdool
a
e
g
e
add
i
s
l_pw_qpolynomi
a
l_f
o
ld
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
add isl_pw_qpolynomial_foreach_lifted_piece
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdool
a
eg
e
a
d
d isl_set_lift
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdool
a
e
ge
add isl_set_from_po
i
nt
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
ad
d
isl_mat_insert_co
l
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d
isl_pw_qpolynomi
a
l_dim
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verd
o
ol
a
ege
ad
d
i
s
l_pw_q
p
o
lyno
m
ial_fo
r
each_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
l
a
ege
add isl_pw
_
qpolynomial_get_
d
im
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoolaege
add
i
sl_div_
d
i
m
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ver
d
oolaege
isl_stream:
a
llow
"_
"
in tokens
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
sl_stream
:
accept "@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_map_read: accept '*' i
n
affine
ex
p
ressions
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdo
o
laege
isl_qpolyno
m
ial_eval:
u
se consis
t
e
n
t di
m
ension
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
doc: upda
t
e to
r
emoval
of piplib
a
s
a
submodule
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
doc:
f
i
x typo
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
isl
_
s
tream_read_ob
j
: add su
p
port fo
r
r
eading piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Ve
r
doolaege
add isl_str
e
am_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
dd gen
e
ric isl_
o
bj
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
do
o
laege
add support fo
r
(pi
e
cewis
e
) quasipolyno
m
ials
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verd
o
ola
e
g
e
isl_stream:
p
ars
e
NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdool
a
ege
isl_stream: p
a
rse in
f
ty
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n V
e
rdoolaege
export
is
l
_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl_stre
a
m
: a
l
low us
e
r
speci
f
ied
k
eywords
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
isl_stream: ad
d
som
e
auxilia
r
y fun
c
t
i
o
ns
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaeg
e
isl_stre
a
m: r
e
ad
"definition" token ":="
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
oolaege
a
dd isl_int_tdiv
_
q
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
pri
v
a
t
ely export isl_s
e
t
_
co
n
t
ains_p
o
int
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolae
g
e
add isl_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
do
o
l
a
ege
add is
l
_set_sa
m
ple_po
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
add isl_poi
n
t
commit
|
commitdiff
|
tree
next