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_set_dim_is_bounded
2010-04-01
Sven V
e
rdoolaege
a
d
d
isl_se
t
_dim_is_boun
d
ed
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaege
isl_map_t
r
ansitiv
e
_c
l
osure:
b
reak early if inpu
t
m
ap
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaege
is
l
_map_
t
ran
s
i
t
ive
_
closure: coalesce afte
r
e
a
c
h step
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolae
g
e
e
xpo
r
t
i
s
l_pw_qpolynomial_
c
o
ales
c
e
commit
|
commitdiff
|
tree
2010-03-30
S
ven
Verd
o
o
lae
g
e
isl_tab
.
c: unrelax: restore row if v
a
riab
l
e is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
S
v
en
V
erdo
o
laeg
e
is
l
_tab
.
c: cut_to_hyperplane
:
a
d
d
ext
r
a sanity check
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
r
d
oolaeg
e
add isl_pw
_
qp
o
l
ynomial
_
fold_s
i
ze
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
olae
g
e
add isl_
p
w_qpolynomial_split_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
e
rdool
a
ege
isl_qpolynomial_max: fix d
e
tection of ina
c
tive variables
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoolaege
do
c
: fi
x
transitive cl
o
s
ure example
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
i
sl_c
o
n
vex_hull
.
c: valid_direction: proper
l
y normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Ve
r
dool
a
ege
isl_c
o
nvex
_
hull
.
c: s
i
mplify comp
u
tation
of initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
export
i
s
l
_
pw_qpol
y
n
o
mial_is_ze
r
o
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
laege
ad
d
isl_p
w
_qpolynomi
a
l
_fold_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven
Verdoolaege
a
d
d isl_int
_
g
e
t_d
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add is
l
_pw
_
qpolynom
i
al_m
i
n
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add isl_pw_q
p
olynomial_
f
ix_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoola
e
ge
a
d
d
isl_pw
_
qpolynomial
_
a
d
d
_d
i
ms
commit
|
commitdiff
|
tree
2010-03-23
S
ven
V
erdool
a
ege
export
i
sl_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verd
o
o
l
aeg
e
isl
_
pw
_
qpolynomial_fold_add: remove redun
d
ant
quasipolynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
dool
a
ege
isl_qpolynom
i
al_all
o
c:
t
ake initial struct isl_u
p
oly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add isl
_
set_sol
v
e_lp
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verdoo
l
aege
isl_polynomial
.
c:
separate out fo
l
d f
u
n
c
tionality to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
ven Verdoolaege
isl
_
pw_qpolynomial_{fold_,}print: set output format
commit
|
commitdiff
|
tree
2010-03-21
Sven V
e
rdoola
e
g
e
improve
i
sl_
p
w_qpolynomial_m
o
ve
commit
|
commitdiff
|
tree
2010-03-20
S
v
en Verdoo
l
aege
add
i
sl_mat_move_cols
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdool
a
ege
add isl_pw_qp
o
lynomial_
d
rop_dims
commit
|
commitdiff
|
tree
2010-03-19
S
v
en Verdoolaege
ad
d
isl_set_dr
o
p
commit
|
commitdiff
|
tree
2010-03-19
Sven V
e
rdoolaege
add is
l
_pw_
q
poly
n
omi
a
l_involves
_
dim
s
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
ae
g
e
isl_stream: ac
c
ep
t
"%" token
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
aege
doc: fix
typ
o
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add basic
isl_pw_qpolynomial_
f
old_coalesce
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
aege
add
isl_pw_qpolynomial_fold_get_ctx
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_printer_print_pw_qpol
y
nomial{,_fold}: al
l
ow printing
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdo
o
laege
add isl_qpolyn
o
m
i
al_get_den
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
olaege
add isl_pw_qpolyn
o
m
i
al_gist and i
s
l_pw_qpolynomi
a
l_fold_gist
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdo
o
la
e
ge
e
xpo
r
t
isl_
m
a
p_
g
i
st
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoo
l
aege
a
dd isl_ma
p
_
insert
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
ool
a
e
g
e
ad
d
isl_printe
r
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
add isl
_
p
w
_qpolynomial_ma
x
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
lae
g
e
isl_qpolyn
o
m
ial_add: replace
0-degree poly
n
omials b
y
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
a
d
d isl
_
set_elimin
a
te
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erd
o
o
l
ae
g
e
isl_ma
p
_range: optimize case where
the num
b
er of input
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
isl_pw_qpolynomial_p
r
int: fix prin
t
ing o
f
u
nna
m
ed
p
iece
w
ise
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
docu
m
ent transitive closure impl
e
menta
t
ion
commit
|
commitdiff
|
tree
2010-03-13
Sven Verdoolaege
isl_str
e
am: accept "
.
" t
o
ken
commit
|
commitdiff
|
tree
2010-03-12
Sven Verdoolae
g
e
add isl
_
pw_*_
i
nters
e
c
t
_domain
commit
|
commitdiff
|
tree
2010-03-12
Sven Verd
o
o
l
aege
add is
l
_
pw_*_domain
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoola
e
g
e
isl 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
isl_
p
w_te
m
pl
.
c
:
c
o
py: fix
r
eturn
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
isl_polynomial
.
c
: qpolynomial_fol
d
_
a
lloc: fix up condition
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
rdoolaege
update AUTH
O
R
S
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaeg
e
i
s
l_p
i
p: us
e
isl_set_print i
n
st
e
ad
o
f isl_set_d
u
mp
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Verdo
o
l
a
e
g
e
add some pip
t
ests
f
rom the
p
iplib dist
r
ibutio
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
d
o
n'
t
p
rin
t
newlin
e
in ISL_FORMAT_
I
SL
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verd
o
olae
g
e
use typedef t
o
ensure
a
rgument to mp_get_mem
o
ry_functions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add
i
sl_obj_pw_qpolynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
add
i
sl_pw_qpol
y
nomial
_
fold_eval
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolae
g
e
a
dd is
l
_pw_qpolynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
add isl_pw_qpolyn
o
mial_f
o
r
e
ach_lifte
d
_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
add isl_
s
et_lif
t
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ver
d
oolaege
ad
d
is
l
_set
_
from_point
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Verdo
o
lae
g
e
a
d
d isl_
m
at
_
inser
t
_
cols
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
a
dd isl_pw_qpoly
n
o
mial_di
m
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
add isl_pw
_
qpol
y
nomial_foreach_
p
iece
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Verdoolaege
add isl_pw_q
p
ol
y
nomia
l
_get_d
i
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doo
l
aege
add isl_div
_
dim
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ve
r
doolaege
i
s
l
_s
t
ream: a
l
low "_" in tokens
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
isl_
s
tream: accept "@" token
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
isl_map_read: accept '*'
i
n affine ex
p
r
e
ssions
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
isl_qpolynomial_eval: u
s
e consistent dimens
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
doc: updat
e
to
r
emoval of piplib as a submodule
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
doc: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdool
a
ege
isl_
s
tr
e
am_
r
ead_obj: add support for reading
p
i
ecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaeg
e
a
dd isl_stream_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
add generic isl_o
b
j
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
add support for
(piecewise) quasip
o
lynomials
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
r
d
oo
l
aege
add i
s
l
_
map_move
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erd
o
olae
g
e
isl_str
e
a
m: pars
e
NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
isl_st
r
eam: parse infty
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ver
d
oolaege
e
x
port isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verd
o
olaege
isl_stream: allow user spe
c
ified keywords
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_st
r
eam: add
s
ome aux
i
l
iary fu
n
c
t
ions
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ve
r
doolaege
isl_stream
:
r
e
ad
"defin
i
ti
o
n" t
o
ken ":=
"
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
o
o
l
aege
add
i
s
l_int_td
i
v
_
q
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
priv
a
tel
y
export isl_set_contain
s
_point
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoolaege
add isl_set_count
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
a
dd isl_set_sample_
p
oi
n
t
commit
|
commitdiff
|
tree
2010-03-04
S
ven
Verdoola
e
ge
ad
d
isl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaeg
e
isl
_
basic_se
t
_
s
can: make
s
ure su
f
fic
i
e
nt rows are alloca
t
ed
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ve
r
d
oolaege
isl_map_su
b
tract: on
l
y add divs when needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_map_order_divs
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdool
a
ege
e
x
tract
isl
_
tab_add_div from
i
s
l_tab_
p
ip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
is
l
_vec
.
c:
f
i
x minor whitespace issue
commit
|
commitdiff
|
tree
2010-03-04
S
ven V
e
rdo
o
laege
a
d
d
isl_
s
e
t
_c
o
m
plement
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
export
i
sl_
m
ap_ma
k
e
_
disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
add isl_has
h
_t
a
ble_for
e
ach
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rd
o
olae
g
e
isl_ma
p
_print: ex
t
r
a
ct ou
t
print_
d
is
j
uncts
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
g
e
add isl_s
e
t_fast_is_univ
e
rse
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l_in
p
ut
.
c: accept_affine: fi
x
memory l
e
a
k
on e
r
ror
.
.
.
commit
|
commitdiff
|
tree
next