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_simplify.c: eliminate_divs_ineq: avoid NULL pointer dereference
2010-04-10
Sven Verdoolaege
isl_equalities
.
c: is
l
_mat_vari
a
ble_compress
i
on: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n Verdoolae
g
e
isl_s
a
mple
.
c
:
initial
_
basis: set n
_
u
nbounded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Verdoolaege
isl_map_coalesce: only use non-redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
S
v
en Verdo
o
laege
isl_map_print: a
l
low empty constraints
commit
|
commitdiff
|
tree
2010-04-09
Sven V
e
rdo
o
laege
isl_op
t
i
o
ns
.
h: allow inclusion from
C
++
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
erdoolaege
i
s
l_arg
.
h: allow i
n
clusio
n
from C+
+
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
ool
a
ege
isl_map_transit
i
ve_
c
los
u
re
:
handle
existent
i
als
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoola
e
ge
isl_map_delt
a
s: pre
s
erve dimensi
o
n
nam
e
s
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map
_
print
:
suppo
r
t LaTeX output for
m
at
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Ver
d
oolaege
is
l
_map
_
simplify: don't remov
e
an
y
div defini
t
ions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_intersect: add s
p
ecial cases
f
o
r empty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doola
e
ge
isl
_
transitiv
e
_closure
.
c
: pa
t
h
_along
_
delta: share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en
V
er
d
oolaege
i
sl_
t
ra
n
sitiv
e
_closure
.
c: path_
a
long_delta: t
r
y and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
S
ven Verdoolaege
export isl_
q
pol
y
nomial
_
move_
d
ims
commit
|
commitdiff
|
tree
2010-04-03
S
ven Verdoolaege
a
dd isl
_
qpolynomia
l
_
get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sv
e
n V
e
r
doolaege
add isl_pw_qpolynomial_fo
l
d
_
get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sve
n
Verdoolaege
add
some qpolynomi
a
l test functions
commit
|
commitdiff
|
tree
2010-04-03
S
ven Ver
d
oolaege
add isl_pw_qpolynom
i
al_fold_{max,
m
in}
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
oola
e
ge
is
l
_tab_min_at_most_neg
_
o
n
e: restore sample v
a
lue of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
d
o
olaege
isl_map_coales
c
e: avoid reconsideri
n
g
pairs
c
o
nsi
d
ered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
oolaege
isl_tab
.
c: u
p
date d
e
bugging
aid check_ta
b
le to presenc
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
o
l
aege
isl_tab
_
rela
x
: make sur
e
no
n
on-nega
t
i
v
e rows get
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
o
l
aege
is
l
_tab_pip
.
c: a
l
w
a
ys set row
sign o
f
found row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
erdoo
l
aege
is
l
_prin
t
er_print_basic_{set,map}
:
add closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdoolaeg
e
export isl_set_spli
t
_di
m
s
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoolaege
a
dd isl_se
t
_reces
s
i
on
_
cone
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
olaege
a
d
d isl_set
_
dim_is_bounded
commit
|
commitdiff
|
tree
2010-04-01
S
ven
V
e
r
dool
a
ege
i
s
l_map_
t
ran
s
itive_
c
l
o
s
ure: brea
k
early
if
i
nput
map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl_map_tr
a
nsitive_
c
lo
s
ure:
co
a
lesce aft
e
r eac
h
ste
p
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Verdoolaege
ex
p
o
rt
i
sl_pw_q
p
oly
n
o
m
ial_coalesce
commit
|
commitdiff
|
tree
2010-03-30
S
v
en
V
e
r
do
o
l
aege
i
s
l_tab
.
c: un
r
elax: res
t
ore row if v
a
riable is
n
on
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
olaeg
e
i
sl_ta
b
.
c: cut_to_
h
yperplane: add extra sanity check
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdoolae
g
e
add i
s
l_
p
w_qpolynomi
a
l_
f
old_size
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
e
rdo
o
laege
add isl_p
w
_qpolyn
o
mial
_
split_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_qpoly
n
omial_max: fix detection of
inac
t
ive variables
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
doc: fix transitive
c
losure example
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
d
oolaege
i
sl_co
n
vex_hull
.
c: vali
d
_d
i
rection: properly nor
m
alize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
o
la
e
ge
isl_convex
_
h
ul
l
.
c: s
i
mp
l
ify computation
of ini
t
ial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
export isl_pw_qpol
y
nomial_is_zero
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Ve
r
doolaege
a
dd
isl
_
pw_qpol
y
nomial_
f
old_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add
isl_int_get_
d
commit
|
commitdiff
|
tree
2010-03-23
S
ven V
e
rdoolaege
add i
s
l_pw_q
p
olynomial_min
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
doolaege
add isl_p
w
_qpo
l
ynomial_fix_
d
im
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Ve
r
d
o
o
l
aege
add isl_pw
_
q
p
olyn
o
mi
a
l
_add
_
dim
s
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
export isl_dim_m
o
ve
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdoola
e
g
e
i
sl_pw_qpolynomial_fold_add:
remov
e
redundant quasipo
l
yno
m
i
a
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
e
r
doolaege
i
s
l_qpolynomial
_
alloc: tak
e
initial struct
i
sl_
u
poly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add isl_s
e
t_solve_lp
commit
|
commitdiff
|
tree
2010-03-23
Sven
Ve
r
doolaege
isl
_
polynomia
l
.
c: separate out fo
l
d functionality to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
e
rdoo
l
aege
isl_pw
_
q
poly
n
o
m
ial_{fold_,}p
r
int:
set
o
utput format
commit
|
commitdiff
|
tree
2010-03-21
Sven Ver
d
oolaege
improve
isl_pw_q
p
olynom
i
al_move
commit
|
commitdiff
|
tree
2010-03-20
S
ven
V
erdoolaege
add isl_mat_mo
v
e_co
l
s
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdoolaege
a
dd isl_pw_qpolynomial_drop
_
dims
commit
|
commitdiff
|
tree
2010-03-19
S
ven Verdoo
l
aege
a
d
d i
s
l_set_
d
rop
commit
|
commitdiff
|
tree
2010-03-19
S
v
en Verdo
o
laege
add isl_pw
_
qpolynomial_involves_dims
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doo
l
a
e
g
e
isl_stream:
accept "%" token
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
r
doolaeg
e
doc: f
i
x typo
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
add
b
asic isl_pw_qpolynomial_
f
o
l
d_coalesce
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
ad
d
is
l
_pw_qpol
y
nomi
a
l_fold_get_ctx
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaeg
e
isl_printer_prin
t
_
pw_qpolynomial
{
,_fold}:
a
l
low
p
rintin
g
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolae
g
e
a
dd isl_qpolynomia
l
_get_
d
en
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
a
dd i
s
l_pw_q
p
olyno
m
ial_gist and
isl_p
w
_qpolynomi
a
l_fo
l
d_gi
s
t
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oolaeg
e
exp
o
rt isl_m
a
p_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolae
g
e
add isl_map_i
n
sert
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Ve
r
doolaege
a
dd isl_
p
rint
e
r
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
ad
d
isl_pw_q
p
olyn
o
mial_max
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
is
l
_q
p
olynomial_a
d
d: r
e
place 0-degree
p
olynomials by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
add isl_set_eliminate
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n V
e
rd
o
olaege
isl_map_range: opti
m
ize case where the number of input
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
l
_pw_qpolynomial_pri
n
t
: fix print
i
ng of
u
nnamed piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
document transiti
v
e cl
o
s
u
re implementation
commit
|
commitdiff
|
tree
2010-03-13
Sven Ve
r
doo
l
aege
isl
_
stre
a
m:
ac
c
ept
"
.
" toke
n
commit
|
commitdiff
|
tree
2010-03-12
Sven Ver
d
oola
e
ge
add i
s
l_p
w
_*_intersect_domain
commit
|
commitdiff
|
tree
2010-03-12
S
v
en
Verdoolaege
add isl_pw_*_domain
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
isl
0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
V
e
r
d
o
olaege
is
l
_pw_templ
.
c
: copy
:
fix
r
e
t
urn
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolae
g
e
isl_pol
y
nomial
.
c: qpo
l
ynomial_fo
l
d_alloc: fix up condition
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
u
p
d
ate AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
isl_pi
p
: u
s
e isl
_
set_p
r
i
n
t instead of
isl_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
a
d
d some p
i
p tests from
t
h
e piplib distribution
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
don't print newlin
e
i
n
I
SL_FORM
A
T_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoola
e
ge
use
t
ypedef to
e
n
s
ure
a
rg
u
me
n
t to mp_get_memory_
f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
oolaege
add isl_obj_pw_qp
o
lynomia
l
_fol
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
add isl_pw_qpolyn
o
mial_fold_eval
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
add isl_pw_qpol
y
nomial_fol
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw
_
qpolynomia
l
_fo
r
each_lifted_p
i
ece
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoolaeg
e
add isl_
s
et_lift
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Verdo
o
laege
add isl_set_from_point
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
isl_mat_insert_
c
o
l
s
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
e
r
d
o
o
laege
a
d
d isl
_
pw_qpolynom
i
al_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
add isl_pw_q
p
olynom
i
al_f
o
re
a
ch_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
add i
s
l_pw
_
q
p
o
lynomial_g
e
t_dim
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
V
e
rd
o
o
laege
a
d
d isl_div_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
is
l
_stream: al
l
ow
"
_" in tokens
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Ve
r
d
o
olaege
isl
_
stre
a
m: accept
"
@
" token
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
isl
_
map
_
r
ead: accep
t
'*' in affine expressions
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdoolaege
isl_qpoly
n
omia
l
_eval: use
c
onsiste
n
t d
i
mens
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
erd
o
olaeg
e
doc: update
to remov
a
l of pipli
b
as
a submo
d
ule
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdool
a
ege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rd
o
olaege
isl_st
r
e
a
m_re
a
d
_
o
bj: add
support for reading piecewi
s
e
.
.
.
commit
|
commitdiff
|
tree
next