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_piplib.c: extremum_on: detect equalities first
2009-06-11
Sven V
e
rdoolaege
isl_ma
p
_
piplib
.
c: extr
e
mum_
o
n
: detec
t
equalitie
s
first
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoo
l
aege
isl_pip
_
basic_m
a
p_com
p
ute_
d
i
v
s: r
e
m
o
ve som
e
equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l
_pip_
b
asic_map_com
p
ute_divs: separate out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
lae
g
e
isl
_
basic
_
s
e
t_preimage: hand
l
e
d
i
v
s in input
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
isl_in
p
ut_
o
mega
.
c: mak
e
v
a
riable_{fre
e
,
n
e
w
} static
commit
|
commitdiff
|
tree
2009-06-11
S
v
en
V
erdoola
e
ge
isl_map
.
c: make
a
dd_divs
s
tati
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_ba
s
ic_map_simpl
i
fy
:
detect
d
iv constraint
s
while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
e
r
d
oolaege
i
sl_basic_ma
p
_drop: properly handle dimens
i
ons of
t
y
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
add
isl_i
n
t_mul_u
i
commit
|
commitdiff
|
tree
2009-06-07
S
ven
Verdool
a
e
ge
a
dd
isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
a
d
d
isl_s
e
q_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Ve
r
doolaege
isl_basic_map_de
t
ect_equalities:
prope
r
ly h
a
nd
l
e empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_map_is_empty: explici
t
ly mark basic set
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
Ver
d
oolae
g
e
isl_
m
a
p
.
c: order_
d
iv
s
: swap with co
r
rect d
i
v
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
isl_map_coalesce: re
m
ove extra di
v
s introd
u
ced by isl_map_
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
add isl_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Ve
r
dool
a
ege
add isl_set_pro
d
uct
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
export
isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaege
isl_map_convex_hull: handle unbounded, but poin
t
ed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
privately export
isl_mat
_
un
i
m
o
dular_com
p
l
ete
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
i
s
l
_
t
ab
.
c: add isl_tab_g
e
t_samp
l
e_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
laege
i
s
l_map_convex
_
hull: avoid
i
ntroducing lineality
s
paces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
rdoolaege
add
t
w
o
more convex
h
ull test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_con
v
ex_hull:
r
emove lineality
spa
c
e if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
l
a
ege
add isl_basic_set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
add isl_set_g
e
t_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verd
o
ola
e
ge
isl
_
convex_hull
.
c:
up
d
at
e
w
r
a
p
_facet
to t
h
e fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdoolaege
isl_convex_hull
.
c: fix typo
i
n c
o
mment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_coa
l
e
s
c
e
.
c
:
fix
typo in
c
omment
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erdoolaege
isl_tab
.
c
:
f
ix ty
p
o
i
n
commen
t
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n
V
erdoolaege
conf
i
gure
.
i
n
:
set AC_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
add isl
_
basic_set
_
g
e
t_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_basic_map_gist: n
o
rmalize divs (
i
f any)
i
n
c
ontext
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aege
i
s
l_b
a
s
i
c_map_si
m
plify: re
m
ove
d
u
p
l
ic
a
t
e d
i
vs befor
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
e
ge
a
d
d isl_b
a
sic_
s
et_d
i
v
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
e
rdoolae
g
e
cha
n
g
e ca
l
lin
g
con
v
ention of isl_bas
i
c_map
_
div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_simplify
.
c: uset_gist: break early if t
h
er
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
e
rdoolaege
i
sl_map_simplify
.
c: us
e
t_gis
t
:
break
ear
l
y if i
n
terse
c
tion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
add isl
_
b
a
sic_set_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
upd
a
t
e
piplib to
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_t
a
b
.
c
:
store number of equalities among th
e
constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoo
l
aege
isl_ma
t
_extend: properly extend mat
r
ices with reord
e
r
ed
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doo
l
aege
isl_
m
ap
_
gist:
h
andle
s
o
me s
p
ecia
l
case
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add i
s
l_map_
u
niverse
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
a
dd isl_ba
s
ic_m
a
p
_
fast
_
is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
o
ola
e
ge
i
s
l
_basic
_
m
a
p_g
i
st: replace by new ve
r
sion based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laeg
e
isl
_
map_simplify
.
c:
compute_elimination_in
d
ex: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolae
g
e
a
d
d isl_map_implicit_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
i
sl_basic_set_free_
e
q
uality
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_map_convex_hull:
m
a
r
k result a
s
n
ot
h
aving any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
con
v
ex_hull: co
a
lesce set fir
s
t
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdoolaege
add isl_set_coalesc
e
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
ge
isl_input_
o
m
e
ga
.
c: b
a
s
i
c_map_read: accept
"+" in
constra
i
nt
s
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
add isl_
b
asic_set_alloc_di
v
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
V
e
rdoolaeg
e
add
isl_set_align_di
v
s
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
doolaege
uset_affine_hull:
i
g
nor
e
di
r
ections i
n
a
ff
i
ne hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
i
sl
_
bas
i
c_map_implic
i
t
_
equalities: p
e
rform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_affine_hull
.
c: out
s
ide_point
:
chec
k
f
o
r obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
privately export isl_
b
as
i
c_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
o
lae
g
e
i
sl_c
t
x: add ne
g
one
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_vec_dump:
h
a
ndle NULL v
e
c
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ol
a
ege
isl_affine_hul
l
.
c: extract uset_affine_hul
l
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaeg
e
isl_
m
at_tra
n
spose: handle
n
on-rectangul
a
r
matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_sim
p
le_hu
l
l
:
c
ompute
a
ffine hu
l
l before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
is
l
_map_si
m
ple_hull: mark result as not having
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
add is
l
_set_bounde
d
_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_a
f
f
ine_hull:
d
ete
c
t equali
t
ies o
f
integer affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_b
a
sic_map
_
dup: copy flags of original to du
p
lica
t
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_basic_map_
e
xten
d
_
d
im: mo
v
e
responsibili
t
y of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_
b
asic_map_extend_dim: only exte
n
d
c
onstraint
m
atri
x
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
r
doo
l
aege
i
s
l_solve_lp: use tableaus ins
t
e
a
d
of calling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
oolaege
isl_
s
olve_lp: a
c
cept aff
i
n
e obje
c
t
f
unction instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_map_simple_hull
:
u
se hash tables and t
a
b
leau
s
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdo
o
la
e
ge
isl_con
v
ex_hull
.
c: extract out
u
set_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_c
o
nvex_hu
l
l
.
c: extend:
avoid
wrapping around already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_con
v
ex_hull
.
c: introduce pro
t
o_
h
ull based on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_convex_hull
.
c
: move init
i
al hull constru
c
tion into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
erdool
a
ege
isl_convex_hull
.
c:
m
ove co
m
putation of bo
u
n
d
s
i
nto
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_
c
onvex_h
u
ll: che
c
k for boundedness using recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_ba
s
ic_map
_
conv
e
x_hull: use tableau to d
e
tect redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
olaege
isl_affine_hull
.
c: use tabl
e
au to detec
t
implici
t
equalities
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verdoolaege
isl_
t
ab
.
c: don't detect e
q
ualiti
e
s wh
i
le setti
n
g
u
p
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
add
i
n
t
e
rnal re
p
resenta
t
ion of LP t
a
b
l
eaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
add isl_mat_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d isl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oo
l
aege
privately export isl_b
a
sic_{set,map}
_
n
o
rma
l
ize_con
s
traints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
add isl_bas
i
c_set_extend_d
i
m
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoo
l
ae
g
e
i
sl_basic_map_eli
m
inate_vars: clear
divs f
i
r
s
t
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_basi
c
_ma
p
_eliminate_va
r
s: remove al
l
dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
o
laege
a
dd isl_hash_tab
l
e_all
o
c a
n
d isl
_
h
a
sh_table_f
r
ee
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl
_
hash
_
table_init: ta
k
e
m
i
n
i
m
al size inst
e
ad of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoola
e
ge
isl_{basic_,}set_preimage: drop c
t
x
arg
u
ment
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rd
o
olaege
isl_basic_m
a
p_inter
s
ect: reuse sample value o
f
eithe
r
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolae
g
e
add isl_int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_
b
asic
_
set_has_defining_in
e
quali
t
ies: fix typo
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
oolae
g
e
isl_constra
i
nt_div
:
perform requ
i
red refere
n
ce increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
ve
n
Verd
o
ol
a
ege
isl_basic_map: put inequa
l
ities before equalities
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n
Verdoo
l
a
ege
add isl_
s
eq_normalize
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
i
sl_ctx
.
h: m
a
ke
F
L_I
S
SET
r
et
u
rn
a
boolean value
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
rename F_ and FL_ macros to ISL_F_ and ISL_F
L
_ to avoid
.
.
.
commit
|
commitdiff
|
tree
next