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_tab: privately export some functionality
2009-05-05
Sve
n
Verd
o
olaege
isl_coalesc
e
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
d
o
olaege
isl_ta
b
.
c:
f
i
x
typo in comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Ver
d
oolaege
co
n
figu
r
e
.
in: set AC_CON
F
IG_
M
AC
R
O_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
a
d
d isl_basic_set_ge
t
_dim
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolaege
isl_basi
c
_m
a
p_gist: n
o
r
malize divs (i
f
a
n
y) in
c
o
ntext
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdool
a
ege
isl_basic_m
a
p_simplify: remove dupl
i
c
a
te divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erd
o
olaege
ad
d
i
s
l_basic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
cha
n
ge
calling c
o
nvention of isl_basic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
i
s
l_map_simpl
i
fy
.
c:
uset_gist: break ea
r
ly if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map
_
si
m
plify
.
c: uset_gist: break early if intersect
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven V
e
r
doolaege
add isl_b
a
si
c
_set_fast_i
s
_empty
commit
|
commitdiff
|
tree
2009-03-23
S
ve
n
Verdoo
l
aege
update piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoo
l
aege
is
l
_
t
ab
.
c: store number of equa
l
ities among the
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doo
l
aege
isl_
m
at_ex
t
end: properly
e
x
t
end matric
e
s with
r
eordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaeg
e
isl
_
m
a
p_gist: handle
some sp
e
c
i
al cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
a
dd isl_map_univ
e
rse
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_basic_map_fas
t
_is_emp
t
y
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verd
o
o
l
ae
g
e
isl
_
basic
_
m
a
p_gist: rep
l
ac
e
by ne
w
ve
r
sion
based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
map_simpli
f
y
.
c: comp
u
te_
e
liminat
i
on_
i
ndex: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdoo
l
aege
ad
d
isl_
m
ap_implicit_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
add isl_basic_set_
f
re
e
_equality
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoola
e
ge
isl_
m
ap
_
convex_h
u
ll
:
mark result as not having an
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolaege
convex_hul
l
: coal
e
sce set fir
s
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set_
c
oalesc
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_input_om
e
ga
.
c
:
basic_m
a
p_
r
e
a
d
: ac
c
ept "+" in c
o
n
straints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_basic
_
set_a
l
loc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
add isl_s
e
t_align_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doo
l
aege
uset
_
aff
i
n
e
_
h
u
l
l:
ignore directions in affine
h
ull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdoolaege
isl_basic_map_implicit_equalities:
p
erf
o
rm
G
a
ussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
doolaege
isl_affi
n
e_hull
.
c: outside_poi
n
t: check fo
r
obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdool
a
ege
privately ex
p
ort isl_basic_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdool
a
ege
isl_ctx: add negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl
_
ve
c
_
dump: handle NUL
L
vec
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
ola
e
ge
isl_af
f
ine_hu
l
l
.
c: e
x
tract use
t
_
affine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoo
l
aege
isl_mat_transpose: handle non-rectangular
matrices
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolae
g
e
isl_map_simpl
e
_hull
:
compute affine hul
l
b
e
fo
r
e al
i
g
n
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_map_simple_
h
ull
:
mark re
s
ult as not havin
g
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
o
l
a
ege
add isl_set_bounded_
s
imple_hull
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
doolaege
isl_
m
ap_affine_hul
l
: det
e
ct equaliti
e
s of in
t
eger affi
n
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
i
s
l
_
b
asic
_
map_dup: copy flags of
original to duplicate
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ver
d
oolaeg
e
isl_bas
i
c_map
_
e
xtend_dim:
m
ove res
p
onsibility o
f
c
o
w
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_
b
asic_map_exte
n
d_dim: only extend constrai
n
t matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oolaege
isl_solv
e
_lp:
u
se t
a
blea
u
s
instead o
f
calling p
i
pl
i
b
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoola
e
ge
i
s
l_solve_
l
p
:
accept
a
ffin
e
o
b
j
e
ct funct
i
on instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
doolaege
isl
_
map_simp
l
e_
h
ull: use has
h
tab
l
es
a
nd tableaus
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_convex_hull
.
c: extract
o
u
t
u
s
et_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_convex_hul
l
.
c: extend: avoid wrapping around already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doola
e
ge
isl_convex_hull
.
c: introduce proto_hull bas
e
d on o
b
vious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdo
o
laege
i
sl_convex_hull
.
c: move i
n
itial hull construction into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
ege
isl_convex
_
hull
.
c: move com
p
ut
a
tion of bou
n
ds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_map_c
o
nvex
_
hull
:
c
h
eck for boun
d
edness using recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_map_convex_hul
l
: use
tabl
e
a
u
to detect redundan
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_a
f
f
i
n
e
_hull
.
c:
use
t
ab
l
eau
t
o
d
etect
implicit e
q
ua
l
ities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_tab
.
c: don't detect equalities whi
l
e setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
doolaege
a
d
d internal repr
e
sentation of LP tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
add isl_mat_ex
t
end
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
add isl_set_di
m
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
oolaege
pr
i
vately export isl_basic_{set
,
map}_normalize_c
o
nstrai
n
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verd
o
o
l
ae
g
e
a
d
d isl_ba
s
i
c
_set
_
extend_dim
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
olaege
i
s
l
_b
a
si
c
_map_eliminate_var
s
: clear di
v
s first
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
is
l
_basi
c
_
map
_
eliminat
e
_
vars: remove all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_
h
a
s
h_ta
b
le_allo
c
and isl
_
ha
s
h_ta
b
le
_
free
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_hash_
t
able_init: take minimal size instead of nu
m
ber
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolaege
isl_{ba
s
ic_,
}
se
t
_preimage:
d
rop ctx argument
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaege
isl_ba
s
ic_map_intersect: reuse sample value of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
erdoolae
g
e
a
dd isl_int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_basic_se
t
_has_defining_inequa
l
ities: fix typo
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdoola
e
ge
i
sl_constrai
n
t_div:
perform required ref
e
rence increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdoola
e
g
e
i
sl_basic
_
map: put
inequalities b
e
for
e
equaliti
e
s
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoola
e
g
e
a
dd isl_seq_normalize
commit
|
commitdiff
|
tree
2009-03-08
S
ve
n
Verdoolaege
isl_ctx
.
h: mak
e
FL_ISSET return a b
o
ol
e
an val
u
e
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Ver
d
ool
a
e
ge
rename F_ and FL_ macros to
ISL
_
F
_
and ISL_FL_ to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n
V
erdo
o
laege
add isl_mat
_
s
w
ap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
l
aege
i
s
l_mat_dump: also ind
e
n
t N
U
LL mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaeg
e
add isl_
c
all
o
c_ty
p
e
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoolaege
isl_m
a
p_conve
x
_hull: normalize map first
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doo
l
a
ege
isl_s
e
t_preimage: clea
r
I
S
L
_
SET_NO
R
M
ALIZED
flag
commit
|
commitdiff
|
tree
2009-02-23
S
ven
Verdool
a
ege
a
d
d isl_basic_map_detect_equalitie
s
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdool
a
ege
a
d
d isl_
m
ap_remove
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Ve
r
doolaege
export
isl_b
a
sic_map_is_equal
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdo
o
l
a
eg
e
a
d
d
isl_ba
s
ic_
m
a
p_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doo
l
aege
add isl_
d
im_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
add
i
s
l_map_prod
u
c
t
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
a
e
ge
add
isl_b
a
sic_map_add_
c
onstrai
n
t
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaege
add isl_dim_add
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_map_piplib
.
c: isl_map
_
from_quast:
p
roperly
keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolaeg
e
cha
n
ge calling
c
onv
e
ntion
o
f isl_bas
i
c_map_
{
equal,less_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdool
a
ege
add
isl_map_copy_basic_map and
isl_map_dr
o
p_ba
s
ic_map
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdool
a
ege
add isl_map_f
r
om_rang
e
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
add
i
sl_map_
f
ast_is_empty
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdo
o
lae
g
e
change
c
alling convention of
i
s
l_
m
ap
_
em
p
ty and a
d
d
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_ma
p
_inters
e
ct_
{
domain,range}: allow inte
r
se
c
tion
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n
Verdoolaege
is
l
_map_inter
s
ec
t
:
allow in
t
erse
c
tion with pure parameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolaege
isl_basic_map_af
f
ine_hull: f
i
x
search
f
o
r int
e
ger
points
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_
b
a
s
ic_map_over
l
ying_set: don't
a
dd div cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Ve
r
d
oola
e
ge
isl_
d
i
m
.
c: upda
t
e n_name (onl
y
)
when chang
i
ng nam
e
s
commit
|
commitdiff
|
tree
2009-02-15
Sven Verdool
a
ege
f
ix serious
e
rror in isl_mat_parameter_compre
s
sion
commit
|
commitdiff
|
tree
2009-02-11
S
ven Verdo
o
l
a
eg
e
expor
t
isl_basic_m
a
p_intersect_range
commit
|
commitdiff
|
tree
2009-02-11
Sv
e
n Verdoolaege
add isl_basic_map
_
floordiv
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
add isl_basic_
m
ap_fas
t
_is_fixed
commit
|
commitdiff
|
tree
next