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
S
v
en Verdoolaege
add
i
sl_qpolynomia
l
_
get_ct
x
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
a
dd isl_pw_
q
polynomial_fold_g
e
t_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Ver
d
oola
e
ge
add some qpo
l
ynomial tes
t
functi
o
n
s
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
erdoolaege
add isl_pw_qpolyno
m
ial_fold_{max
,
min}
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoo
l
aege
isl_ta
b
_min_at_most_neg
_
one: restore sample value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdoolaege
i
sl_map_coalesce: avoid
reconsidering pairs
c
onsidered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
rdoolaege
is
l
_tab
.
c: updat
e
d
e
b
uggin
g
aid check_ta
b
le to presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
i
s
l_tab_rela
x
: make sure no non-negative rows g
e
t a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdool
a
ege
isl_tab_pip
.
c: always
set row si
g
n
o
f
found row
t
o
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaeg
e
isl_printer_
p
ri
n
t_basic_{set,ma
p
}: ad
d
closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
e
xport isl_
s
et_
s
plit_
d
i
m
s
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verd
o
olaege
add
i
s
l_set_recessio
n
_c
o
ne
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoo
l
ae
g
e
a
d
d
isl_set_d
i
m_is_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n
Verdo
o
laeg
e
i
s
l_map_trans
i
tive_closure: brea
k
early if input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdoolaege
i
sl_map_tran
s
itive_clos
u
re
:
coal
e
sce after each step
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
e
r
doolaege
export is
l
_pw_qpolyn
o
m
i
a
l
_co
a
l
e
sce
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oolae
g
e
isl
_
tab
.
c: unrelax: restore row if
variable is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_tab
.
c: cut_to_hyp
e
rplane: add extra
s
anity check
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
o
l
a
e
ge
ad
d
isl_pw_qpolynomial_fold_
s
ize
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdoolae
g
e
add isl_
p
w_
q
po
l
ynomial_split_dims
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verd
o
ol
a
ege
isl_qpolynom
i
al_max: fix detection of
ina
c
ti
v
e varia
b
les
commit
|
commitdiff
|
tree
2010-03-25
Sven
Ver
d
oolaege
doc: f
i
x
t
ransitive c
l
os
u
re exampl
e
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
olaege
isl_co
n
vex
_
hul
l
.
c: valid_direction: properly
normaliz
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoolaege
i
sl_c
o
nvex_hu
l
l
.
c: simp
l
ify c
o
mputa
t
ion of initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdoolaege
export isl_
p
w_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
a
ege
add
isl_pw_qpoly
n
o
mial_
f
o
ld_
d
im
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n
Verdoolaege
add is
l
_i
n
t_get_d
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verdoolaege
a
dd isl_pw_q
p
ol
y
nomia
l
_min
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
oolaege
a
d
d isl
_
pw_qpo
l
y
nomi
a
l_fix_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
a
d
d isl_
p
w_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-03-23
Sven
Ver
d
oola
e
ge
expor
t
isl_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_pw_qpolynomial
_
f
old
_
ad
d
: r
e
move redunda
n
t quasipol
y
nomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_qpolynomial_alloc: take initial stru
c
t i
s
l
_
upoly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add i
s
l_s
e
t_solve_l
p
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
laege
isl_polynomial
.
c: separate
o
ut fold functionality to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
is
l
_pw_qpoly
n
omia
l
_{fol
d
_
,}pri
n
t: s
e
t output f
o
rmat
commit
|
commitdiff
|
tree
2010-03-21
Sven Verdoolaege
impr
o
ve isl_pw_qpol
y
nomial_move
commit
|
commitdiff
|
tree
2010-03-20
Sven Verdoola
e
ge
add
i
sl_ma
t
_move_co
l
s
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolae
g
e
i
s
l
_
stream:
a
ccept
"%"
t
oken
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
laege
d
oc:
fix typo
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verd
o
olaege
ad
d
bas
i
c
isl_pw_
q
poly
n
omial_f
o
l
d_
c
oal
e
s
ce
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdo
o
laege
add isl_pw
_
qpolynomial_
f
o
ld_get_ctx
commit
|
commitdiff
|
tree
2010-03-18
S
v
en
Verdool
a
e
ge
isl_printer
_
prin
t
_pw_qpo
l
ynomial{,_fold}:
all
o
w printing
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
add isl_qpolynomial
_
get_
d
e
n
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n
Verdoolaege
a
dd isl_pw_qpolynomial_gist an
d
isl_pw_qpolyn
o
mi
a
l_fold_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
export isl_map_gist
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
a
d
d
isl
_
m
a
p_inser
t
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
laege
add i
s
l_prin
t
e
r
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
add isl_pw_
q
p
o
lyno
m
ial
_
max
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erd
o
ol
a
e
ge
isl
_
qpolyn
o
mi
a
l_
a
dd: rep
l
ace 0-degree polyno
m
ials b
y
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ver
d
oolaeg
e
add isl_set_eliminate
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
isl_map_range: optimize ca
s
e where the number o
f
input
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
isl_pw_
q
polynomial_pr
i
nt: fix printing of un
n
amed piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
o
la
e
ge
docu
m
en
t
trans
i
tive closure implementation
commit
|
commitdiff
|
tree
2010-03-13
Sven Verdo
o
la
e
ge
i
sl_stream: accept "
.
"
t
o
ken
commit
|
commitdiff
|
tree
2010-03-12
Sven Verdoolaege
a
dd
isl_pw_*_i
n
tersec
t
_domai
n
commit
|
commitdiff
|
tree
2010-03-12
Sven Ver
d
oolaege
add isl_
p
w_*_domain
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aeg
e
is
l
0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
isl_p
w
_templ
.
c: copy: fix r
e
turn
commit
|
commitdiff
|
tree
2010-03-10
S
ven
Ver
d
oo
l
a
ege
is
l
_polynomial
.
c: qpolynomial_fold
_
all
o
c:
fix
u
p
c
ondition
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
update AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaege
isl
_
pi
p
: u
s
e isl_set_print i
n
stead of i
s
l_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
r
d
oolaege
ad
d
some
p
ip tests from
the
p
iplib distribution
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
don't print n
e
wline
in
I
S
L_FORMAT_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
use typedef to e
n
sure argument to mp_get_memory_
f
u
n
ctions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ver
d
o
olaeg
e
add isl_obj_pw_qpolynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
i
s
l
_
pw_qpolynom
i
al
_
fold_eval
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
e
r
doo
l
aeg
e
ad
d
isl_
p
w_q
p
olynomi
a
l
_
fo
l
d
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
add isl
_
pw_q
p
olynomial_for
e
ach_lifted_
p
iece
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verd
o
o
l
aege
add isl_set_lift
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
add isl_s
e
t
_from_point
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d isl_mat
_
i
n
sert
_
cols
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoo
l
aege
add isl_pw_qpolynomial_d
i
m
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoolaege
add
i
s
l
_pw_qpolyn
o
mial_foreach_
p
iece
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
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
Sven Verdo
o
l
aege
isl_stream: allow "
_
"
in tokens
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
isl_stream: accept "@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
is
l
_map_read:
accept '*' in affine expressions
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
Verdoolaege
isl_qpolyn
o
mial_eva
l
: use consistent
d
i
m
e
n
sion for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Ve
r
dool
a
e
ge
doc:
u
pdate to r
e
m
o
val of pipli
b
as a
submod
u
le
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
isl_stream_r
e
ad_obj:
a
d
d
support for reading piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add i
s
l_stream_rea
d
_
o
bj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
add generic
i
sl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add su
p
port for (piecew
i
se) quasipolyno
m
ials
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
e
rdoolaege
add
i
s
l
_map_m
o
ve
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
sl_s
t
ream: p
a
r
se N
a
N
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_stream: parse infty
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
export isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
is
l
_stre
a
m:
a
llow
u
s
e
r
sp
e
cified keywords
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdo
o
laege
isl_st
r
eam:
a
dd some
auxilia
r
y func
t
i
ons
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_str
e
am: read
"
definit
i
on
"
token ":=
"
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
d
d isl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
priva
t
ely export isl_set
_
contains_
p
oint
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
e
g
e
a
dd isl_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
dd isl_set_sa
m
ple_poin
t
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ver
d
oolaege
add isl_poi
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
sl_bas
i
c_
s
et_sca
n
: make su
r
e s
u
fficient rows are allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl_map_subtract: onl
y
add divs when n
e
e
ded
commit
|
commitdiff
|
tree
next