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 two more convex hull test cases
2009-05-06
Sven
Verdoolaege
add tw
o
more con
v
e
x hul
l
test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
i
s
l_ma
p
_convex_hul
l
:
remove lineality space if
a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
laege
add isl_basic_set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add isl_
s
et_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
d
oolaege
isl_convex_hull
.
c: upda
t
e wrap_f
a
c
e
t to
t
he fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_c
o
nv
e
x_hull
.
c: f
i
x ty
p
o in
comm
e
nt
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
do
o
l
a
ege
i
s
l_coales
c
e
.
c:
fix
typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_ta
b
.
c: fix
typo in
c
om
m
ent
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rd
o
olaege
conf
i
gu
r
e
.
i
n
:
se
t
AC_
C
ONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
add isl_basic_se
t
_
ge
t
_dim
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
e
rdoolaege
i
sl_ba
s
ic_map_
g
ist:
norm
a
liz
e
divs (if any) in
c
o
ntext
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oolaege
isl_
b
asic_m
a
p_simplify: remo
v
e
duplicate divs
b
efore
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
r
do
o
lae
g
e
add isl_
b
asic_s
e
t
_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
change c
a
lling conve
n
tion of isl_basic_ma
p
_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
sl_map_simplify
.
c: uset_gist: brea
k
ea
r
ly
i
f there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n V
e
rdoolaege
isl_m
a
p_simplify
.
c: uset_
g
ist: break early if intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
add isl_basic_set_
f
ast_is_empt
y
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdool
a
e
g
e
update piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_tab
.
c: store number
o
f
equa
l
ities
a
mong th
e
constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
dool
a
ege
isl_mat_ex
t
end: prop
e
rly exten
d
matrices with reord
e
red
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_map_gist: handle
s
ome special
cases
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdo
o
laeg
e
add isl_map_universe
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Verd
o
olaege
add
i
sl_basic_map
_
fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_basic_map_
g
ist: replac
e
by
new version ba
s
ed
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdo
o
la
e
ge
isl_map_simp
l
i
fy
.
c: compute
_
elimination_index:
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_map_impli
c
it_equa
l
ities
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
r
d
oolaege
add isl_basic_set_free
_
equality
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdool
a
ege
isl_map_convex_hull: m
a
rk result
as no
t
ha
v
ing
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
convex_hull: coalesce s
e
t fir
s
t
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
a
dd isl_set_
c
oalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_input_ome
g
a
.
c
:
basic_m
a
p_read: accept "+" in
constr
a
ints
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoola
e
g
e
add isl_basic_set_al
l
o
c
_
d
iv
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Ver
d
oolaege
add isl
_
set_align
_
di
v
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
uset_
a
ffine_hull: ignore directions in
a
ff
i
ne
h
ull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_basic_map_impli
c
it
_
equal
i
ties: perfo
r
m
Gauss
i
an
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
olaege
isl_affine_hull
.
c
: ou
t
s
ide_point: ch
e
ck for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
privately ex
p
ort
i
sl
_
basic_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaeg
e
is
l
_ct
x
: add negone
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
olaege
isl_vec_dump: handle NU
L
L
v
e
c
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_a
f
fine_h
u
ll
.
c: ext
r
act use
t
_
a
f
f
ine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_mat_transpose: handle
n
on-rectang
u
lar matric
e
s
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl
_
map
_
si
m
ple_
h
ull: co
m
pute
aff
i
n
e
h
ull before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
dool
a
ege
isl_map_simple_hull: mark resul
t
as
n
ot having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set_bounded_
s
imple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdo
o
l
a
ege
isl_map_a
f
fin
e
_hull: detect equa
l
ities of integer affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_b
a
sic_map_dup: co
p
y
flags of origina
l
to du
p
licate
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
b
asic_map_exte
n
d_dim: m
o
ve
r
espon
s
ibility
o
f cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_basi
c
_map
_
exten
d
_dim: only extend constraint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_solve_lp: us
e
tableaus inst
e
a
d
of
call
i
ng piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_
s
olve_lp: accept
affine object funct
i
on instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_ma
p
_simple_
h
ull
:
use hash
tables and t
a
bl
e
aus
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doo
l
aege
i
s
l_convex_hull
.
c: extract
o
u
t uset_simple_hul
l
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_conv
e
x_h
u
l
l
.
c: extend: avoid
wrapping ar
o
u
nd
already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoolaege
isl_convex
_
h
ull
.
c: introduce proto_hull based on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
is
l
_convex_hull
.
c: move initial hull constructio
n
into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_c
o
nvex_h
u
ll
.
c: move computat
i
o
n of
bounds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_map_conve
x
_hu
l
l: check for boundedness u
s
ing recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_b
a
sic_map_
c
onvex_hull: use tableau to detect r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_affine_hull
.
c: use tableau
to detect imp
l
icit equali
t
ies
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolae
g
e
isl_t
a
b
.
c:
d
o
n
'
t detec
t
equa
l
i
t
i
e
s while
s
etting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add int
e
rnal representation o
f
LP tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaeg
e
add isl_
m
at_extend
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
r
doolaege
add
isl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
priva
t
ely expo
r
t isl_basic_{set,
m
ap}_normalize
_
constrai
n
ts
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_ba
s
ic_set_exte
n
d_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoola
e
ge
isl_basic_map_elim
i
n
a
te_vars: clear
d
ivs first
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoola
e
ge
i
s
l_
b
asic_map_eliminate_vars: remove all
dep
e
ndent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaeg
e
add isl_hash
_
tabl
e
_alloc
a
nd isl
_
hash_table_free
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
doolaege
i
s
l_h
a
sh_tabl
e
_init: take minima
l
size instead of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
doolaege
isl_{ba
s
ic_,}set_p
r
eimag
e
: drop c
t
x argument
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_basic_m
a
p_int
e
rsect:
r
e
use sam
p
le value of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
a
d
d isl_int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolae
g
e
i
sl_basic_set_ha
s
_de
f
ining_
i
nequaliti
e
s: fix typo
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_constrai
n
t_div: perform required reference increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
v
en
V
e
rdo
o
la
e
ge
i
sl_basic_ma
p
: put
i
n
eq
u
alities befor
e
equalities
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdoolae
g
e
add
i
s
l_seq_
n
ormalize
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
d
o
olaege
isl_ctx
.
h: ma
k
e
F
L_
I
S
S
ET
retur
n
a boolean val
u
e
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n
V
e
rdoolae
g
e
rename
F_
a
nd FL_ macros t
o
ISL_F
_
and ISL_FL_
to
avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoo
l
aege
add isl_mat_swa
p
_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
laeg
e
isl_mat
_
dump: a
l
so indent N
U
LL mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoola
e
ge
add isl_ca
l
loc_type
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoo
l
aege
isl_map_
c
o
nvex_hull: norma
l
ize
m
ap fi
r
s
t
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_set_preimage
:
clear ISL_SET_NORMALIZED fla
g
commit
|
commitdiff
|
tree
2009-02-23
Sv
e
n Verdoolaege
add isl_basic_map_detect_eq
u
alities
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verd
o
olaege
a
dd
i
sl_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
export isl_basi
c
_ma
p
_
i
s_eq
u
a
l
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoola
e
g
e
a
d
d isl
_
basic_map_re
m
o
ve
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaeg
e
add isl_dim_range
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
ad
d
isl_map_product
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaege
add isl_basic_map_add_
c
on
s
t
ra
i
nt
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
rdoolaege
add isl_dim
_
ad
d
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolae
g
e
isl_map_
p
iplib
.
c: isl_map_from_quast
:
proper
l
y keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doolaege
cha
n
ge calling co
n
vention
o
f
i
sl_basic_
m
ap_{eq
u
al,less
_
at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
a
d
d i
s
l
_ma
p
_
c
opy_basic_map a
n
d isl_map
_
dro
p
_
b
asic_map
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
a
ege
add isl_map_from_range
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verd
o
olaege
add isl_map_
f
ast_is
_
empty
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdool
a
e
g
e
chang
e
cal
l
ing con
v
e
n
tion of isl_map_empty and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
ve
n
Verdoolaege
isl
_
map_intersect_{domain,
r
ange}: a
l
l
o
w intersec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdoolaege
i
s
l_
m
ap_i
n
tersect:
allow intersection with pure parameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
ven Ve
r
doolaege
isl_basic_
m
a
p
_affine_hu
l
l
:
fix search for int
e
ger points
commit
|
commitdiff
|
tree
next