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_qpolynomial_get_ctx
2010-04-03
Sven Verdoolae
g
e
add
i
sl_qpolynomial_
g
et_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add isl_pw_q
p
olynomial_fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
S
ven Verdoo
l
a
ege
add some qpolynomial t
e
st functions
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
a
dd isl_pw
_
qpol
y
nomial
_
fold
_
{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
rdool
a
eg
e
isl_ta
b
_min_a
t
_most_n
e
g
_one: re
s
tore sample value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdoolaege
i
sl
_
map_coalesce: avoid r
e
considering pairs considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
erdoolaege
i
s
l_
t
ab
.
c
:
update debug
g
ing aid ch
e
ck_ta
b
le t
o
pre
s
ence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Ve
r
doolaege
isl
_
tab_rel
a
x: m
a
ke sure no no
n
-negative rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
r
d
oolaege
isl
_
tab_pip
.
c:
a
lwa
y
s set
r
o
w
sign of found row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
olaeg
e
isl_printer_prin
t
_basic_{set,m
a
p}: add closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdo
o
laege
export isl_set_sp
l
it
_
dims
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdo
o
lae
g
e
add isl_set_rece
s
sion_cone
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoolaege
add isl_set_dim_is
_
bounded
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoolaege
isl_map_
t
ran
s
itive_c
l
osure: break earl
y
if input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoolaege
isl_map_trans
i
tive_closure: coales
c
e
after ea
c
h
s
tep
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoo
l
aege
export isl_pw_q
p
olynomial
_
c
o
a
l
e
s
ce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoola
e
g
e
isl_tab
.
c:
unrelax: restore row if
v
ariable is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdoola
e
ge
isl_tab
.
c: cut_to_hyperplane: add e
x
tra san
i
ty check
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
add isl_pw_
q
p
olynomial_
f
old_size
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoolaege
ad
d
isl_pw_qpolyn
o
mia
l
_
split_
d
ims
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoolaege
isl_q
p
olynomial
_
ma
x
: fix detect
i
on of inacti
v
e
varia
b
l
e
s
commit
|
commitdiff
|
tree
2010-03-25
S
ven Ver
d
oolaege
doc: fix transitive closure example
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
er
d
oolaege
isl_convex
_
hull
.
c
: valid_dire
c
tion: properly n
o
rmalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
Ver
d
oolae
g
e
isl_convex_hull
.
c:
s
i
m
plify
c
o
m
putation of initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verd
o
ol
a
ege
export
i
s
l
_pw_q
p
olynomial_is_ze
r
o
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add i
s
l_pw_qpolynomial_fo
l
d_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
a
dd isl_int_get_d
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
ad
d
isl_pw_qpolynomial_min
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add isl_pw_qpol
y
n
omi
a
l
_fi
x
_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
e
r
doolaege
ad
d
isl_pw_qpolynom
i
al_add_dim
s
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
o
la
e
ge
export isl_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_p
w
_
q
polynomial_fold_add: remov
e
redundan
t
qua
s
ipolynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verd
o
olae
g
e
isl
_
qpol
y
nomial_alloc
:
take ini
t
ial s
t
ruct isl_upoly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erd
o
olaege
a
d
d isl_set_sol
v
e_
l
p
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_po
l
ynom
i
al
.
c:
s
e
p
a
r
a
te out fo
l
d fun
c
t
i
onal
i
ty to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
V
e
r
d
oolaege
isl_pw_qpolynomial_{f
o
ld_,}pr
i
nt
:
set ou
t
pu
t
form
a
t
commit
|
commitdiff
|
tree
2010-03-21
Sven V
e
rdoolaege
imp
r
ove
isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-03-20
Sven Ver
d
oolaeg
e
a
d
d
isl_mat_move_col
s
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdool
a
ege
add isl
_
pw_
q
polynomial_dr
o
p
_dims
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdoolaege
add isl_set_drop
commit
|
commitdiff
|
tree
2010-03-19
Sven Verd
o
o
laege
ad
d
i
s
l
_pw_qpolynom
i
al
_
invo
l
ves_dims
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n Verdoolaege
i
s
l_stream
:
accep
t
"%" token
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
laege
add basic isl_
p
w_qpolynomial_fold_coalesce
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdool
a
ege
ad
d
i
sl_pw_qpoly
n
omial_fold
_
g
et_ct
x
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
i
sl_printer_print_pw_
q
polyno
m
ial{,_fold
}
:
allow printing
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdool
a
ege
add isl_qp
o
lynomial_get_d
e
n
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolae
g
e
add isl_pw_qpoly
n
omial
_
gist and isl
_
pw_qpolynomi
a
l_fold_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdool
a
ege
expo
r
t isl_m
a
p
_
gist
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
l
aeg
e
add i
s
l_
m
ap_insert
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
a
dd isl_printe
r
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdool
a
ege
a
dd isl_pw_qpolynomial_max
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laeg
e
is
l
_qpo
l
ynomial_
a
dd: repla
c
e 0-degree p
o
ly
n
omia
l
s
by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
add
isl_set_el
i
m
inate
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doo
l
aege
i
sl_
m
ap_range: o
p
timize case wher
e
the number o
f
input
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoo
l
a
ege
isl_pw_qpolynomi
a
l_print: fix printing of unn
a
med piece
w
i
se
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
rdoolaege
document t
r
ans
i
t
i
v
e clos
u
re imp
l
ementation
commit
|
commitdiff
|
tree
2010-03-13
Sven Verdoolaeg
e
isl_strea
m
:
ac
c
ept "
.
" t
o
k
e
n
commit
|
commitdiff
|
tree
2010-03-12
S
v
en V
e
rdo
o
lae
g
e
add i
s
l_pw_*_intersect_doma
i
n
commit
|
commitdiff
|
tree
2010-03-12
S
v
en V
e
rdoolaege
add
i
sl_pw_*_domain
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaeg
e
isl
0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erd
o
olaege
isl_pw_temp
l
.
c: copy:
fix ret
u
rn
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
isl_polynomial
.
c: qpoly
n
omia
l
_fo
l
d_
a
lloc: fix up
c
o
n
d
itio
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
upd
a
t
e
AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n V
e
rdo
o
l
aege
isl_p
i
p: use
i
sl_set_print instead of
isl_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaege
add
some p
i
p
tes
t
s from the piplib
distribution
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
don't print new
l
ine in ISL_FORMA
T
_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ola
e
ge
u
s
e
t
ypedef to ensure a
r
gume
n
t to
m
p_get
_
memory_fu
n
ctions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
add is
l
_obj_p
w
_
qpolynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoola
e
g
e
a
d
d isl_pw_qpolynomial_fold
_
e
v
al
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolae
g
e
add isl_pw_q
p
o
lynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
a
dd isl_pw_qpoly
n
omi
a
l_fore
a
c
h_lifted_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_set_l
i
ft
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
a
dd
i
sl_s
e
t_f
r
om_p
o
int
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_mat_insert_cols
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolae
g
e
ad
d
isl_pw
_
qpolynomi
a
l_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
oolaege
add isl
_
p
w
_qpolynomial_foreach_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_get
_
dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl
_
div_
d
im
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n V
e
rdoolaege
isl_stream
:
allow "_" in toke
n
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_stream: acce
p
t
"@"
t
oken
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
doolae
g
e
isl_map_read: accept '*' in affine
e
x
press
i
on
s
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verd
o
olaege
i
s
l_qpolynomial_eval: use consiste
n
t dimension for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
doc: updat
e
to removal of pipl
i
b as a submodule
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
a
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2010-03-05
Sven
Ver
d
oolaeg
e
isl_stream_read_obj: ad
d
s
u
pp
o
rt for reading
piecew
i
se
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdo
o
laege
add isl_stream_read_
o
bj
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
add
g
eneric isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
add support for (pi
e
cewise) quasipolyn
o
mials
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ve
r
doolaege
a
d
d
isl_m
a
p_mov
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_strea
m
: pars
e
NaN
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_stre
a
m
: parse inf
t
y
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
export isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ve
r
d
o
olaege
isl_s
t
ream: allow us
e
r s
p
ecifie
d
ke
y
words
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
isl_stre
a
m: add some auxiliary functions
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
ae
g
e
isl
_
stream
:
r
ea
d
"definition" token ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ve
r
doolaeg
e
pr
i
vately ex
p
ort isl_set_
c
ontains_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl
_
set_count
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoolaege
add i
s
l_set_
s
ample_point
commit
|
commitdiff
|
tree
next