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
privately export isl_basic_set_recession_cone
2009-07-13
Sven Verdoolaege
p
rivately e
x
port i
s
l_basic_set_rece
s
s
i
on_cone
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Ver
d
oolaege
i
s
l_convex
_
h
ull
.
c:
add missing
assi
g
n
m
ent
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately export isl_basic_set_lineal
i
ty_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
e
ge
isl
_
vec:
k
e
ep tr
a
c
k
of isl_ct
x
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_co
a
lesc
e
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven
Verdoolaege
update
p
ipli
b
for change in c
o
nf
i
gure arguments
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoola
e
ge
isl_basic_map_drop_re
d
u
ndant_di
v
s: coalesc
e
divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
r
d
oo
l
ae
g
e
isl_basic_ma
p
_drop_redund
a
nt_d
i
vs:
set div expr
e
s
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n Verdoolaege
i
s
l_basic_map_drop_
r
e
d
u
ndant_divs:
d
rop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Ver
d
oolaege
isl_map_comp
u
te_divs:
d
r
o
p
o
bvi
o
usly red
u
ndan
t
divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
m
a
p
_
piplib
.
c: extrem
u
m_on: detect equaliti
e
s fir
s
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pip_basic_map_comp
u
t
e
_d
i
vs: remove
some
eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
is
l
_p
i
p_basic_m
a
p_com
p
ute_divs: s
e
pa
r
ate out
dim
e
nsion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_basi
c
_set_preimage: handle
divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
r
d
oola
e
g
e
i
s
l_input_omega
.
c
:
m
ake varia
b
le_{free,n
e
w}
s
tati
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
d
o
olaege
isl
_
map
.
c: mak
e
add
_
divs s
t
atic
commit
|
commitdiff
|
tree
2009-06-11
S
ven Ve
r
do
o
la
e
ge
isl_b
a
si
c
_map_simplify: detect div constrain
t
s while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
isl_bas
i
c_map_drop: pro
p
e
rly handle d
i
mensio
n
s o
f
t
ype
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolaege
ad
d
isl_int
_
mul_u
i
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
add isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
add isl
_
se
q
_fdiv
_
r
commit
|
commitdiff
|
tree
2009-06-07
Sven
Ve
r
doolaege
isl_basic_
m
ap_de
t
ect_equalities: properly ha
n
dle empt
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
e
r
do
o
l
a
eg
e
isl_basic_
m
ap
_
is
_
empty: expli
c
itly
m
ar
k
basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdo
o
laege
isl_map
.
c
:
orde
r
_divs: s
w
ap with
correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
isl_map_coalesce: r
e
move extra divs introduced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdool
a
e
g
e
add isl
_
map_c
o
alesce
commit
|
commitdiff
|
tree
2009-05-19
Sven V
e
rdoo
l
aege
add isl_
s
e
t_pr
o
d
uc
t
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolae
g
e
e
xport isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
isl_map_convex_hull: handle unbounded,
b
ut pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en V
e
rdoolaege
privately export isl_ma
t
_unimodul
a
r_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
rdoolaege
isl_tab
.
c:
a
dd i
s
l_tab_get_
s
ampl
e
_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doo
l
a
e
ge
i
s
l
_
map_co
n
vex_hull: avoid introducing lineality s
p
ac
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
a
d
d
two mo
r
e c
o
nv
e
x hull test cases
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdo
o
laege
isl_map_co
n
v
ex_hull: rem
o
v
e lineality space
if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
add
isl_bas
i
c_s
e
t_
i
s_universe
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
add i
s
l_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
S
v
en V
e
rd
o
ola
e
ge
isl_con
v
ex_hull
.
c: update wrap_facet to
the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
isl_convex_hull
.
c: fix ty
p
o in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_coa
l
esc
e
.
c: fix typ
o
in co
m
ment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoola
e
ge
i
s
l
_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
en V
e
rdoolaege
co
n
figure
.
in: set
AC_CONFIG_MA
C
RO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdool
a
ege
a
d
d i
s
l_ba
s
ic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
isl_basic_ma
p
_
gist: norm
a
l
i
ze divs (if any) in context
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
do
o
lae
g
e
isl_basic_map_simpl
i
fy: remove duplicate di
v
s b
e
f
o
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
e
rdo
o
laege
a
d
d is
l
_basic_s
e
t_div
commit
|
commitdiff
|
tree
2009-03-23
S
ve
n
Verdoolaege
change calling convention o
f
isl_b
a
sic_ma
p
_
div
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
i
sl
_
map_sim
p
lify
.
c: uset_gist: b
r
eak early
if th
e
re
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoo
l
aege
isl_map_simp
l
ify
.
c: uset_gist: br
e
ak early if in
t
ersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
a
d
d i
s
l_b
a
sic_set
_
fast_i
s
_empty
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
update piplib
to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoo
l
a
e
ge
isl_tab
.
c: store number of e
q
ualities am
o
ng the constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_ma
t
_
extend: properly extend matrices with reordere
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_map_gis
t
: handle some sp
e
cial cases
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ver
d
oolaege
ad
d
isl_m
a
p_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
a
dd isl_basic
_
m
a
p_fast_
i
s_empty
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolaege
is
l
_
basic_map_gist: re
p
lace by
n
ew version based
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
d
oolae
g
e
i
s
l
_map_s
i
mpli
f
y
.
c: comp
u
te_eliminat
i
on_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Ve
r
doolaege
add isl_map
_
impli
c
it_
e
q
ualities
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
erdool
a
ege
add isl_basic_set_
f
r
e
e
_equality
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_map_
c
on
v
ex_hull: mark r
e
sult
as not havi
n
g a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdo
o
laege
convex_hull:
c
oale
s
ce set first
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaeg
e
add i
s
l_
s
et_coalesce
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_in
p
ut_omega
.
c: ba
s
ic
_
map_read
:
ac
c
ept "+" in constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl
_
b
a
sic_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
ege
add isl_
s
et_a
l
ign_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdo
o
la
e
ge
uset_affine_hull
:
ig
n
ore directions
i
n
affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_b
a
sic_map_im
p
licit_equal
i
ties:
perform G
a
ussia
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaeg
e
isl
_
affine_hull
.
c: outside_
p
oint: chec
k
f
or o
b
vious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolae
g
e
pr
i
v
a
tely expo
r
t
isl_basic_set_con
t
ains
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_ct
x
: a
d
d negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
vec_dump: handle NULL v
e
c
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoola
e
ge
isl_af
f
i
ne_
h
ull
.
c: e
x
tract uset_
a
ffin
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
d
o
o
laege
isl_mat_tra
n
spose: handl
e
non-rec
t
ang
u
lar matrices
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdool
a
ege
isl_map
_
sim
p
le_hull: c
o
mpute affine hull before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolae
g
e
isl_map_simple_hull: mark resu
l
t as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
erdoolaege
a
dd isl_set_bounded_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
i
s
l_map_affine_hull: detect equalities of
integer aff
i
ne
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rd
o
olaege
isl_basic_map_dup: copy
flags of orig
i
nal to duplicate
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdoolaege
is
l
_basic_
m
ap_extend_dim: mo
v
e respons
i
b
ilit
y
of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_basic
_
map_extend_dim: only extend const
r
aint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_
s
olve_lp
:
use tabl
e
aus i
n
s
tead of ca
l
l
i
ng pipli
b
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_sol
v
e_
l
p:
accept aff
i
ne object function inst
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_ma
p
_simple_hull: use ha
s
h tables and tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_convex_hull
.
c: ex
t
ra
c
t out
u
set_simple_hul
l
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoola
e
ge
isl_convex_h
u
ll
.
c: extend: avoi
d
wr
a
pping around a
l
ready
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
i
sl_c
o
n
v
ex_hull
.
c: introd
u
ce pro
t
o_
h
ull b
a
sed on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
olaege
isl_convex
_
hull
.
c: move initial hull construct
i
on i
n
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hu
l
l
.
c
:
move computati
o
n
of bound
s
i
nto
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
olaege
isl_map
_
convex
_
hull:
check
f
o
r
boundedness using
r
ecession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
g
e
isl_basic_map_
c
onvex_hull: use tabl
e
au to dete
c
t
redun
d
a
nt
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_affine_hull
.
c: use tableau
t
o det
e
c
t
implicit
equa
l
ities
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_tab
.
c: don't dete
c
t
e
q
ualities while setting
up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
ad
d
internal repre
s
entation of
LP tab
l
eaus
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
add i
s
l_mat
_
exte
n
d
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdool
a
ege
a
dd isl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
olaege
pr
i
vatel
y
export isl_basic_{set,map}_
n
orm
a
lize_constra
i
nts
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
doolaege
add is
l
_basic_set_e
x
ten
d
_di
m
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_basi
c
_map_
e
lim
i
nate_vars: clear divs first
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_b
a
sic_map_eliminate
_
vars:
remove all depe
n
d
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_hash_t
a
ble_allo
c
and isl_hash_table
_
f
r
ee
commit
|
commitdiff
|
tree
next