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_map_compute_divs: handle non-obviously empty input
2010-04-10
Sven
Ve
r
do
o
l
ae
g
e
isl_map_compute_divs:
h
andle n
o
n-obvious
l
y empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
ol
a
ege
i
s
l_bas
i
c_set_preimage:
add e
x
tra
sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aeg
e
i
sl
_
basic_map_se
t
_to_e
m
pty:
a
dd
m
iss
i
ng as
s
ignment
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
d
o
olaege
isl_eq
u
alit
i
es
.
c
: isl_mat
_
variable_compr
e
ssion
:
clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdoola
e
g
e
isl_s
a
mple
.
c
:
ini
t
i
al_
b
asis: se
t
n_u
n
bounded
a
nd n
_
zero
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoo
l
aege
isl_m
a
p_coalesce:
o
nly use
non-r
e
dundant constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaeg
e
isl_map_print: allow emp
t
y constraints
commit
|
commitdiff
|
tree
2010-04-09
S
v
e
n Verdoolaege
isl_
o
ptions
.
h:
a
l
low incl
u
sion from C++
commit
|
commitdiff
|
tree
2010-04-09
S
ven
Verdoolaeg
e
isl_
a
rg
.
h
:
allow
incl
u
s
i
on f
r
o
m
C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_transitive_closure: handle exist
e
ntials
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
rdoolaege
i
sl_map_deltas: preserve dimension n
a
mes
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
a
e
ge
i
sl_ma
p
_pr
i
nt
:
s
u
ppo
r
t La
T
eX
o
u
t
put fo
r
mat
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
s
l_map_simplify: don't re
m
ove any div definit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaege
isl
_
map_int
e
rsect: add specia
l
cases fo
r
empty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
d
oo
l
a
e
ge
i
s
l
_transitive_closure
.
c: path_along_delta: share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Ve
r
doolaeg
e
i
sl_transiti
v
e
_closure
.
c: p
a
th_alon
g
_
d
e
l
t
a
:
try a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven V
e
rdool
a
ege
e
xport isl_qpol
y
n
omi
a
l_move_d
i
ms
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add isl_qpolynomi
a
l_get
_
ctx
commit
|
commitdiff
|
tree
2010-04-03
S
v
en
V
erdoo
l
aege
add is
l
_
pw_q
p
o
l
y
nomia
l
_fold_
g
et_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add some qpo
l
ynomial test fun
c
tions
commit
|
commitdiff
|
tree
2010-04-03
Sven Verd
o
olaeg
e
add is
l
_pw_qpolyno
m
ial_fold_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
rdoolaege
isl_tab_min_at_m
o
st_neg_one
:
restore sample value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
rd
o
olaege
i
sl_m
a
p_coalesce: avoid
r
econsidering
p
airs considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n Ve
r
doolaege
isl_tab
.
c: update debugg
i
ng aid
check_tab
l
e
to presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
Verdoolaege
isl_
t
ab_relax: make
s
ure no n
o
n-negative rows get
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
i
s
l_tab_
p
ip
.
c:
a
lways set
row
s
ign of f
o
un
d
row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
i
s
l_printer_print_
b
asic_{set
,
map}
:
add closing "}"
commit
|
commitdiff
|
tree
2010-04-01
S
v
en
Ve
r
doolaege
export isl_set_s
p
li
t
_d
i
ms
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoo
l
a
ege
add
i
sl_set_rec
e
ssion_cone
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdoolae
g
e
add isl
_
set_dim
_
i
s
_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaeg
e
is
l
_ma
p
_tr
a
nsi
t
ive_closu
r
e
: break ea
r
ly
i
f inpu
t
map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
o
laeg
e
i
s
l_map_transiti
v
e_c
l
o
s
u
r
e
: c
o
alesce a
f
te
r
e
a
ch step
commit
|
commitdiff
|
tree
2010-03-30
S
v
e
n V
e
rdoolaege
export isl_pw_qpoly
n
omial_co
a
lesce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
i
s
l_tab
.
c
:
u
nrelax:
r
estore r
o
w if
var
i
able is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verd
o
ol
a
ege
isl_tab
.
c: cut_to_hyp
e
rp
l
an
e
: add extra sanit
y
che
c
k
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoolaege
add isl_p
w
_qpolynom
i
al_fold_size
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
d
o
olaege
a
d
d isl_pw_qpolynomial_split_d
i
ms
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oola
e
ge
i
sl_qpolynomial_max: fix detect
i
on of
i
nactive variab
l
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
doc: fix
t
r
a
nsitive c
l
o
sure exa
m
p
l
e
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_c
o
nvex_hull
.
c: valid_di
r
ection:
p
r
o
perly normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
oolaege
isl_convex_hull
.
c
:
simplify co
m
put
a
ti
o
n of in
i
t
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
o
l
aege
expor
t
isl_pw_q
p
olynomial_is_
z
ero
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verdoolaege
add isl_pw_q
p
olyn
o
mial_fo
l
d_dim
commit
|
commitdiff
|
tree
2010-03-23
S
ven Verdo
o
laege
add isl_int_get_d
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdoolaeg
e
add isl_
p
w_qpolynomial_min
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
oolaege
add isl_pw_q
p
o
ly
n
o
mial_fix
_
d
im
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
olae
g
e
add isl_pw_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
e
r
doolaege
e
xport is
l
_dim_move
commit
|
commitdiff
|
tree
2010-03-23
S
v
en V
e
rdoolaege
isl_pw_qpolynomia
l
_fold_add:
r
e
mo
v
e redundant quasip
o
lynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
a
e
g
e
i
sl_qpolynomial_al
l
oc: take initial stru
c
t isl
_
upoly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdoolaege
add
i
s
l_set_
s
olve_lp
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoolaege
isl
_
polynomial
.
c: separ
a
te out fold funct
i
on
a
li
t
y
to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Ve
r
doolaege
isl_p
w
_q
p
olynomial
_
{fo
l
d_,}pr
i
nt:
s
et output
f
o
rmat
commit
|
commitdiff
|
tree
2010-03-21
Sven
V
erdo
o
l
aeg
e
improve
i
sl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-03-20
Sve
n
Ve
r
doolaege
ad
d
i
s
l
_
mat_move_co
l
s
commit
|
commitdiff
|
tree
2010-03-19
Sven V
e
rdo
o
la
e
ge
ad
d
isl_pw_qpolyn
o
mia
l
_drop_
d
im
s
commit
|
commitdiff
|
tree
2010-03-19
Sve
n
Verdoolae
g
e
add i
s
l_set_dro
p
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdoolaeg
e
ad
d
isl_pw_qpoly
n
omial
_
involves_dims
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_stream: ac
c
ept "%" token
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
d
o
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdool
a
ege
add basic isl_pw
_
qp
o
lynom
i
al_fold_coa
l
esce
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdo
o
laege
ad
d
is
l
_pw_qpolyn
o
mial_fold_get_ctx
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolae
g
e
isl_print
e
r_
p
rint_
p
w_q
p
olynomial{,
_
fold}: allow printing
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
V
e
rdoola
e
ge
add isl_qpolynomial_ge
t
_den
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdool
a
ege
add is
l
_
pw_
q
polynomia
l
_gist and
isl_pw_qpolyn
o
mial_
f
old_gist
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolae
g
e
export
i
sl_map_gist
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verd
o
olaege
ad
d
i
sl_map_i
n
sert
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
add is
l
_printer
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
add isl_p
w
_qpolynomial_max
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdo
o
l
a
e
g
e
isl_qpolynomial_add: replac
e
0-de
g
r
e
e
pol
y
nomials
by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
d
oolaege
add isl_set_eli
m
in
a
te
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
l
_
m
ap_r
a
nge
:
optimize case where the num
b
e
r
of i
n
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verd
o
ol
a
e
ge
isl_pw_q
p
olynomial_pri
n
t: fix pr
i
nt
i
n
g of unn
a
med piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoola
e
ge
doc
u
ment transitive
c
losu
r
e implementation
commit
|
commitdiff
|
tree
2010-03-13
Sv
e
n Verdoolaege
isl
_
stream: accept "
.
" to
k
en
commit
|
commitdiff
|
tree
2010-03-12
Sven V
e
rdoolaege
add isl_pw_*_inte
r
sect_domain
commit
|
commitdiff
|
tree
2010-03-12
Sve
n
Ve
r
do
o
laege
add isl_
p
w_*_domain
commit
|
commitdiff
|
tree
2010-03-10
S
v
en
V
erdoola
e
ge
isl 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoo
l
aege
i
sl_pw_templ
.
c: copy: fix retu
r
n
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdo
o
l
aege
isl_polynomial
.
c: qpolynom
i
a
l
_
fold_
a
lloc: fix up condi
t
ion
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
u
p
dat
e
A
U
THORS
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Ver
d
oolaege
isl_pip: use isl_se
t
_print instea
d
o
f isl
_
s
et_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
add some
pip test
s
fr
o
m the piplib
d
istri
b
ution
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
d
o
n't print newline i
n
ISL_FORMAT_I
S
L
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
us
e
typedef to
ensur
e
argument to mp_g
e
t_
m
em
o
ry_functions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
a
dd is
l
_obj_pw
_
q
polynomial_
f
ol
d
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdool
a
ege
a
dd
isl_pw_qpolyno
m
ial_fold_eval
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
doolaege
add
i
sl_pw_qpolyn
o
mial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
oolaege
add isl_pw_qpol
y
n
o
mial_fo
r
e
a
ch_lifted
_
piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
add isl_set
_
lift
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
add
i
s
l_set_
f
rom_point
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
a
d
d isl_mat_in
s
ert_co
l
s
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaeg
e
ad
d
isl
_
pw_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
lae
g
e
add
i
sl_pw_qpoly
n
omial_forea
c
h_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
add is
l
_
p
w_qpo
l
ynomial_get_dim
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Ve
r
d
o
o
la
e
g
e
a
dd isl
_
d
i
v
_
d
im
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
sl_stream: allo
w
"_" in toke
n
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaeg
e
i
sl_stream:
a
ccept "@" t
o
ken
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ol
a
ege
i
s
l_map_read
:
ac
c
ept '*' in a
f
fine
e
x
p
r
e
s
s
ions
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaeg
e
is
l
_qpolynomia
l
_eval: us
e
c
o
ns
i
stent dimens
i
on
for
.
.
.
commit
|
commitdiff
|
tree
next