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 isl_map_coalesce
2009-06-05
Sve
n
Verdoolaeg
e
add i
s
l_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n Verdoolaeg
e
add
i
sl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
export isl_ma
p
_
dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
i
s
l
_ma
p
_
c
o
nvex_hu
l
l
:
handle unbounded, but po
i
nted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaege
p
rivately export isl_mat_uni
m
o
du
l
ar
_
complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaege
isl_t
a
b
.
c:
a
d
d
i
sl_tab_get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verd
o
olaeg
e
isl
_
map_convex_
h
ull: a
v
oid
introducing lineality spac
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaeg
e
a
d
d two more
con
v
e
x hull
test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aege
isl_map_
c
onvex_hull: remove lineality spa
c
e
i
f any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoolaege
add
isl_basic_
s
et_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaeg
e
add i
s
l_set_ge
t
_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex_hull
.
c: upd
a
t
e
w
rap
_
face
t
to the
fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolaege
isl_convex_
h
u
ll
.
c: fix
typo
i
n
c
o
mm
e
nt
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdoolaege
isl_coalesce
.
c
:
f
i
x
typo in commen
t
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
doolaege
i
sl_tab
.
c: fix ty
p
o in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
laege
configure
.
in: set
A
C_CONFIG_MACR
O
_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
a
d
d isl_basi
c
_
s
et_get_dim
commit
|
commitdiff
|
tree
2009-03-23
S
ven V
e
rdoolae
g
e
i
s
l_basic_m
a
p_g
i
st
:
normalize
divs
(
if
any) in
c
o
ntext
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
isl_basic
_
m
a
p_simpli
f
y: remove duplicate divs be
f
or
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add is
l
_basic_set_div
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaeg
e
change cal
l
ing con
v
entio
n
of isl_basic_map
_
div
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erd
o
olaege
i
s
l_map_si
m
p
l
ify
.
c: uset_gist: break early if ther
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
er
d
oolaege
is
l
_map_simpli
f
y
.
c:
u
se
t
_gist: break
e
arly if i
n
tersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdo
o
l
aege
add is
l
_basic_set_fa
s
t_is_em
p
ty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
upd
a
t
e
piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
i
s
l_tab
.
c
:
store
n
umber of eq
u
al
i
tie
s
among t
h
e c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
is
l
_m
a
t_ex
t
en
d
: properl
y
extend matrices
w
ith r
e
ordere
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_map_gist: han
d
l
e som
e
special c
a
ses
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
add is
l
_map_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
a
d
d isl_basic_map_fast_is_e
m
pty
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
o
o
la
e
ge
isl_
b
asic_map_gis
t
: replac
e
by new version
b
ased o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
ege
isl_map_
s
implify
.
c: compute_elim
i
nation_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
o
o
laege
a
dd isl_map_imp
l
icit_eq
u
ali
t
ies
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add isl_bas
i
c_set_free_equ
a
lity
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_map_convex_hull: mark result as n
o
t having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
ae
g
e
c
onvex
_
hul
l
: co
a
lesce set firs
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set_
c
oa
l
esce
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
i
s
l
_
input
_
omega
.
c: basic_m
a
p_
r
ead: ac
c
ept "+" in constra
i
nts
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ola
e
ge
add isl_
b
asic_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
add isl_s
e
t_align_div
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
uset_affine_hu
l
l: ignore d
i
rections in affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
erdoolaege
isl_basic_map_implicit_equalities: perform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
r
doo
l
aege
isl_affine
_
hull
.
c: outside
_
poi
n
t: check for ob
v
i
o
us
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
p
r
i
vately export isl_basic_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
d
oolaege
i
s
l_ct
x
: add negone
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rd
o
olaeg
e
is
l
_
v
ec_dump: ha
n
dle
N
U
L
L
v
e
c
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoola
e
ge
isl_affi
n
e
_hu
l
l
.
c: extr
a
ct uset_affin
e
_
hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_mat_transpose:
handle non-
r
ectangular matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_map_simp
l
e_hull: co
m
pute a
f
fin
e
hul
l
before a
l
igni
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_simple_hull: mark resul
t
a
s
n
ot having a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
add
i
s
l
_set_bounded_
s
imple_hul
l
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoola
e
g
e
isl_map_affine_hull
:
detect equal
i
tie
s
of integer
a
ffine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdoolae
g
e
is
l
_basic_m
a
p_dup: copy
f
l
ag
s
o
f
orig
i
n
a
l to duplicate
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolae
g
e
i
s
l_b
a
sic_ma
p
_extend_dim: move responsibi
l
ity of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_basic_map_ex
t
en
d
_d
i
m: only extend constraint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdool
a
ege
is
l
_solve_lp
:
u
se tableaus instead of calling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
i
s
l_solve_lp: accept
a
f
fine
object function i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_simple_hull
:
u
se hash
table
s
and tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_convex_
h
u
ll
.
c: extrac
t
out uset_simple_hul
l
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoo
l
a
e
ge
i
s
l_convex_hull
.
c: extend: av
o
id wrapping
a
roun
d
al
r
eady
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
r
d
ool
a
e
g
e
is
l
_
c
onvex_
h
ull
.
c:
i
n
t
roduce proto_
h
ull bas
e
d on obv
i
o
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolae
g
e
isl_convex_hull
.
c: move initial hull construct
i
on i
n
to
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
i
s
l_convex_h
u
ll
.
c: move compu
t
ation of bound
s
i
n
to
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Ve
r
doolaege
isl_map_convex
_
hull: check for
b
ounded
n
ess usin
g
r
ecess
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
d
o
olaege
isl_basi
c
_map_
c
onvex_hull
:
use tab
l
eau
t
o detect redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_affine
_
hull
.
c
: use ta
b
leau t
o
detect
impli
c
i
t
equalit
i
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoo
l
aege
isl_ta
b
.
c: don't de
t
ect equalities while setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
laege
add internal represen
t
ation
of
L
P tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
a
d
d isl_
m
at_e
x
tend
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Ve
r
d
o
ola
e
ge
a
d
d isl_se
t
_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
d
oolaege
pr
i
vately export isl_basic
_
{set,map}_normal
i
ze_con
s
tr
a
ints
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
laeg
e
add isl_ba
s
ic_
s
et_exte
n
d_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
doola
e
g
e
isl_
b
asic_map_el
i
m
inate_vars: clear div
s
f
irst
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdool
a
e
ge
i
s
l_basic_map_el
i
m
i
n
a
te_vars:
remove a
l
l
depe
n
d
ent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_h
a
sh_ta
b
le_alloc and isl_
h
as
h
_table_free
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_hash_table_
i
nit: t
a
ke minimal size
ins
t
ead of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
olaege
i
sl
_
{basic_,}set_preimage: drop c
t
x argu
m
ent
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolae
g
e
isl_
b
asi
c
_map_intersect:
r
euse sample value of eithe
r
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdool
a
ege
add isl_int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_bas
i
c_set_has_de
f
i
n
ing_inequa
l
iti
e
s: f
i
x typo
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_c
o
nstrain
t
_div: pe
r
form required refe
r
e
n
ce increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdoola
e
ge
i
sl_basic_map: pu
t
inequalities
before equa
l
i
ti
e
s
commit
|
commitdiff
|
tree
2009-03-08
S
ven Verdoolaege
add is
l
_seq_normalize
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verdoolaege
isl_c
t
x
.
h: make FL
_
I
SSET retu
r
n
a boo
l
e
a
n
value
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdool
a
eg
e
rename F_ and F
L
_ macros
t
o IS
L
_
F_ and
I
S
L
_
FL_ to av
o
id
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add isl_mat_sw
a
p_co
l
s
commit
|
commitdiff
|
tree
2009-03-08
Sven Ver
d
oolaege
isl_mat_dump:
a
ls
o
inden
t
NULL mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add isl_callo
c
_ty
p
e
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoo
l
aege
isl_map_co
n
ve
x
_hull:
norm
a
lize map fi
r
st
commit
|
commitdiff
|
tree
2009-03-08
S
v
e
n Verdool
a
ege
isl_set_
p
re
i
mage: clear ISL_SET_NORMALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sven Verdoolaege
add isl_
b
asic_map_detect_equa
l
ities
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
aege
add isl_map_rem
o
v
e
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoola
e
ge
export
isl_
b
asic_m
a
p_is_equa
l
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoo
l
aege
add isl
_
basic_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
aege
add isl_dim_
r
an
g
e
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolaege
a
dd isl_map_product
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoo
l
a
ege
add isl_
b
asi
c
_
m
ap_add_constraint
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Ver
d
oolae
g
e
add isl_dim_add
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaeg
e
isl_ma
p
_pipl
i
b
.
c:
i
sl_map_from_quast: properly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
change calling c
o
nv
e
ntion of isl_basic_map
_
{equal
,
l
e
ss_at
.
.
.
commit
|
commitdiff
|
tree
next