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: allow introduction of extra variables
2009-05-06
Sven
V
erdoolaege
add isl_ba
s
i
c_set_is_
u
niverse
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdo
o
laege
add
i
s
l
_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verd
o
o
l
aege
isl
_
conve
x
_hull
.
c: update w
r
ap_facet to
t
h
e fact w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex_hull
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Ve
r
doolaege
isl_coa
l
esce
.
c: fix typo in c
o
m
ment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oola
e
ge
i
s
l
_ta
b
.
c:
f
i
x typo in com
m
ent
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolae
g
e
configu
r
e
.
in: set AC_CONFIG
_
MACRO_D
I
R
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
ol
a
ege
add isl_ba
s
ic
_
s
e
t_get_dim
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n
Verd
o
o
laeg
e
isl_bas
i
c_map_gist:
n
ormalize divs
(
i
f any) in context
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
sl
_
b
a
s
ic
_
map_simplif
y
: remove du
p
licate divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aege
add isl_
b
asic_se
t
_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
change callin
g
c
onven
t
ion of isl_basic_ma
p
_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl
_
map_si
m
p
lify
.
c: uset_gist: br
e
ak early i
f
there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
i
sl_map_
s
implify
.
c: use
t
_gist:
break
e
arly if intersec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolae
g
e
add isl_basic_set_fast_i
s
_empt
y
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n V
e
rdoola
e
g
e
u
p
date pipl
i
b to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
isl_tab
.
c: store number of equalities
a
mo
n
g
the constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_mat_extend: properly extend matr
i
ces with reorde
r
ed
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_m
a
p_gi
s
t: handle som
e
s
p
ecial cases
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
V
erdoolaeg
e
ad
d
isl
_
map_universe
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdoolaege
a
d
d isl_basic
_
m
ap_fast
_
is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaeg
e
isl_
b
asic_map_
g
is
t
:
replace
b
y new version
b
ased
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl
_
m
ap_simplify
.
c: compute_elimination_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolae
g
e
a
d
d
i
s
l
_map_implicit_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oola
e
ge
ad
d
is
l
_basic_set_fr
e
e_equality
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl
_
m
ap
_
convex_h
u
ll:
m
a
rk result
as
n
ot
having
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
convex_hull: coal
e
s
c
e set first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set_co
a
lesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doo
l
ae
g
e
isl_inpu
t
_omega
.
c: basic_map_read:
a
cce
p
t "+" in constra
i
n
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add is
l
_
b
asic_set
_
a
l
loc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
add isl_set_
a
lign_di
v
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
uset_affine
_
hu
l
l: ignore directions
in
a
f
f
i
ne hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
i
s
l
_b
a
s
i
c_map_im
p
licit_equal
i
ties: perform Gauss
i
a
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolae
g
e
isl_affine_hull
.
c
:
ou
t
si
d
e
_
point: check fo
r
obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
erdoolaege
private
l
y
export isl_basic
_
set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolaege
isl
_
ctx:
add negone
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaeg
e
i
s
l_
v
ec_d
u
m
p
:
hand
l
e NULL v
e
c
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_affine_hull
.
c: ex
t
ract uset_affi
n
e_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Verdoolaege
isl_mat_transpo
s
e: handle non-rec
t
an
g
u
l
a
r
matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl
_
map_simple_hull: compute affine hu
l
l
before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
isl_map_simple_hull:
mark re
s
ult a
s
n
ot
having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
doo
l
aege
add isl_se
t
_b
o
un
d
ed
_
simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_
m
ap_affine_hull: detect
equalities of
i
nteger affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
a
ege
isl_ba
s
ic_map_dup: copy flags
o
f o
r
ig
i
nal to d
u
plicate
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaeg
e
isl_basic_
m
ap_extend_
d
i
m
: move respo
n
sibilit
y
o
f cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verd
o
ola
e
ge
isl_ba
s
i
c_map_extend_d
i
m:
only extend co
n
s
train
t
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_so
l
ve_lp: use t
a
b
l
e
aus instead of calling pip
l
ib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
olaege
isl_s
o
lve_
l
p: accept affine obje
c
t f
u
nc
t
ion instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
la
e
ge
isl_map_simple_hull: use hash table
s
and tab
l
ea
u
s
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_con
v
ex_h
u
l
l
.
c:
e
x
t
r
act out u
s
e
t_simple_hul
l
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hull
.
c
:
exte
n
d: avoid wrap
p
i
n
g around alrea
d
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoo
l
aeg
e
i
s
l_convex
_
hu
l
l
.
c: int
r
oduce proto
_
h
ull bas
e
d on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hu
l
l
.
c: mo
v
e initial hull construc
t
ion into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laeg
e
isl_convex_hull
.
c: move compu
t
ation
of bounds int
o
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_map_conv
e
x
_hull
:
check f
o
r boun
d
edn
e
ss using r
e
cession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
ol
a
e
ge
isl_basic_m
a
p_convex_hu
l
l:
u
se tableau to d
e
tect redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoola
e
ge
i
sl_aff
i
ne_hull
.
c:
u
se
t
a
blea
u
to detect imp
l
i
c
i
t
eq
u
al
i
ties
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_tab
.
c: don't detec
t
equalities
w
hile setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
a
d
d int
e
rnal representation o
f
L
P tab
l
eaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
add i
s
l_mat_
e
xtend
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
i
s
l_
s
et_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ver
d
oolaege
privat
e
ly export
i
sl_basic_{
s
e
t
,map}_
n
ormalize_constra
i
n
ts
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
add isl_basic_
s
et_extend_
d
im
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
i
sl_b
a
sic_map_e
l
imina
t
e
_
vars: cl
e
ar divs
first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_basi
c
_map_elimina
t
e_
v
a
rs: remov
e
all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
add isl
_
hash_table_all
o
c a
n
d
i
s
l
_hash_table_
f
ree
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoola
e
ge
isl_has
h
_
t
able_
i
n
it:
t
ake minimal size ins
t
ead
of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
ool
a
ege
isl_{b
a
s
ic_,}set
_
preimage: drop ctx argument
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ol
a
ege
isl_basic_ma
p
_inte
r
s
ect: reuse sample value
o
f
e
i
t
her
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verd
o
ol
a
ege
add isl_i
n
t
_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_basic_set_has_defining
_
inequal
i
ties: fix typo
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_constrai
n
t_d
i
v:
p
erfor
m
required reference increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Verdoolaege
i
s
l_b
a
si
c
_map
:
p
u
t in
e
q
uali
t
ie
s
before equalities
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdool
a
e
g
e
ad
d
is
l
_seq_normaliz
e
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doolaege
isl_ctx
.
h: mak
e
F
L
_ISSET return a boolean v
a
lue
commit
|
commitdiff
|
tree
2009-03-08
S
v
en V
e
rdoolaege
rename
F_ and FL_ m
a
c
r
o
s to I
S
L_
F
_ and I
S
L
_FL_ t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
e
rdoo
l
aege
add isl
_
mat_swap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
is
l
_mat_dum
p
:
al
s
o i
n
d
e
n
t
NULL mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
laege
add isl_calloc_type
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoo
l
aege
isl_map_c
o
n
vex_hull:
n
ormaliz
e
map first
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_
s
et_
p
reima
g
e: clear ISL_SET
_
NORMALI
Z
E
D flag
commit
|
commitdiff
|
tree
2009-02-23
Sven
V
er
d
oolae
g
e
a
dd is
l
_basic_map_detect_equalit
i
es
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolae
g
e
add is
l
_ma
p
_rem
o
ve
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoolaege
export isl_basi
c
_
m
ap_is_eq
u
a
l
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
a
d
d isl_basic_map_r
e
m
ove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl
_
dim_
r
ange
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoola
e
ge
add isl_map_product
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolae
g
e
a
d
d isl_basic_map_add_con
s
traint
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
aege
a
d
d isl_dim_a
d
d
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
oolaeg
e
isl_map_piplib
.
c: isl_map_from_quast: properly kee
p
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
d
ool
a
e
g
e
c
hange call
i
ng
c
onvention of isl_basi
c
_map_{eq
u
al,less_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoolaege
a
dd isl_m
a
p_co
p
y
_basic_
m
ap and isl
_
map_d
r
o
p
_basic_map
commit
|
commitdiff
|
tree
2009-02-22
S
v
e
n
Verdoolaege
add isl_map_from_r
a
nge
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erd
o
ol
a
eg
e
add isl_map_fast_i
s
_empty
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
ch
a
nge calling convention of is
l
_
map_
e
mp
t
y and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
i
sl_
m
ap_intersect_{domain,ra
n
ge
}
: allow
i
nt
e
rse
c
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaeg
e
isl_map_i
n
t
ersect
:
all
o
w
i
nte
r
s
e
c
tion with pure parameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoola
e
ge
isl_basic
_
map_af
f
i
n
e_hull: fix
se
a
rch for inte
g
er
p
oints
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
isl_
b
asic
_
map
_
overlying_set:
don't add div constraint
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaege
isl_dim
.
c:
u
pdate n_nam
e
(only) when c
h
anging names
commit
|
commitdiff
|
tree
next