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_get_dim
2009-08-07
Sven Verdoolaege
add isl_map
_
ge
t
_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
a
d
d
i
s
l
_basic_m
a
p_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdool
a
eg
e
add
isl_ta
b
_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdo
o
l
aege
expo
r
t
isl_
m
at_d
u
p
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoo
l
aege
isl_tab
.
c: mark_re
d
un
d
ant: only
m
ark
v
a
r
i
abl
e
n
o
nneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n
Verdoola
e
ge
i
s
l_tab
.
c: to_row:
allow pi
v
oting i
n
arbitrary direct
i
on
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
r
doola
e
ge
isl_t
a
b
.
c: simplify
code
b
y l
e
t
t
ing mark_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolae
g
e
add i
s
l
_seq_
l
as
t
_non_z
e
ro
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Ve
r
d
o
olae
g
e
isl_tab
.
c:
simpl
i
fy add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
isl_tab
.
c: extract a
l
lo
c
ate_c
o
n
commit
|
commitdiff
|
tree
2009-07-22
Sven
Ve
r
doolaege
p
r
ivately
e
x
port i
s
l
_basic_set_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
c
onfigu
r
e
.
ac: explicitly
set AC_C
O
NFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
convex_hull: coalesce set during facet computation
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n
Verdoo
l
aege
isl_map_coal
e
sce: don't
drop rat
i
onal
f
lag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaege
isl_tab
_
co
n
e_is_bou
n
d
e
d: start ove
r
after
c
omputin
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaege
isl_basic_set_dim_residue
_
c
la
s
s: only se
t
*mod
u
lo t
o
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Ve
r
doolaege
a
dd
i
sl_basic_set_fast_dim_
i
s
_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
i
sl
_
tab
:
d
rop isl_
c
tx argumen
t
where n
o
t absol
u
t
e
ly
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
v
en V
e
rdoolaege
isl_mat: kee
p
t
r
ack
o
f
isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_basic_set_sample: don't
p
roje
c
t out lineal
i
ty space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
o
o
l
a
ege
isl_basic_map_fix_pos: micro-opti
m
ization
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
m
o
ve isl
_
basic_se
t
_skew_to_positive_o
r
thant to
i
sl
_
sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
isl_tab
.
c: fix typ
o
i
n
com
m
ent
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
i
sl_basic_
s
et_sample: b
r
eak
e
ar
l
y
if sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
d
o
ol
a
e
g
e
e
xport
is
l
_tab_sample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
isl_basic_set_sample:
c
heck
sample store
d
by isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n Verdoolaege
i
s
l_ba
s
i
c
_map_is_empty: remov
e
st
a
l
e
sample
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
a
dd isl_p
o
l
y
hedron_sa
m
p
l
e application
commit
|
commitdiff
|
tree
2009-07-15
S
ven Ver
d
oola
e
ge
intro
d
uc
e
gen
e
ralized
b
as
i
s reduction ba
s
ed sa
m
pling
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaeg
e
ad
d
isl_s
e
q_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
is
l
_s
a
mple
.
c: interval_sampl
e
: drop
redundant
a
rg
u
ment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sample
.
c
: c
l
ea
n
up handling of lin
e
al
i
ty
s
pa
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
isl_sa
m
ple
.
c: extract out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
isl_sa
m
ple
.
c
: interval_sample: handle equalities direc
t
ly
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
oolaege
isl_s
a
mple
.
c: extrac
t
ou
t
empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rd
o
olaege
isl_
s
ample
.
c: generaliz
e
point_samp
l
e to z
e
ro_sample
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
V
e
r
d
oolaege
isl_tab: do
n
't cre
a
te
n
ew undo recor
d
s durin
g
roll
b
ack
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
is
l
_tab_min: use
gene
r
a
l rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ve
r
d
o
olaege
isl_tab: o
p
tion
a
lly save dua
l
so
l
u
tio
n
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
isl_tab: add
i
sl_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ve
r
doolaege
export i
s
l
_
tab_
a
lloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
ad
d
is
l
_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
e
rdoolaege
privat
e
ly
e
xp
o
rt isl
_
basic_set_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
isl_convex
_
hull
.
c: add missing
a
ssi
g
n
ment
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Ve
r
doolaege
privat
e
ly
e
xport is
l
_basi
c
_set_lineal
i
ty_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
dool
a
ege
isl_vec: keep track of isl_c
t
x
commit
|
commitdiff
|
tree
2009-07-12
S
v
en Verdoolaege
isl_coalesce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven V
e
r
d
oolaege
upd
a
te piplib
f
o
r
change in conf
i
g
u
re a
r
guments
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
i
sl_basic
_
map_d
r
op_redun
d
ant_
d
ivs: coales
c
e divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basi
c
_map_drop_red
u
ndant_di
v
s
:
s
et div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en
V
erdoo
l
aege
isl_basic_map_drop_redund
a
n
t
_divs: dr
o
p more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdo
o
laege
i
s
l
_
map_compute_divs: drop o
b
vious
l
y
re
d
un
d
an
t
divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_piplib
.
c
:
extremu
m
_
o
n:
d
e
t
ec
t
equalities
f
i
rst
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
o
la
e
ge
isl_pip
_
basic_map_compute_divs: remove some equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
erdo
o
lae
g
e
isl_pip_basic_map_
c
ompute_divs: sepa
r
ate out di
m
ens
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
basic_set
_
p
reim
a
ge: handle divs in inp
u
t
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ve
r
doolaege
i
sl_input_
o
mega
.
c: make va
r
iable
_
{
f
r
e
e,new} stat
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
is
l
_map
.
c
:
make add_di
v
s static
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
V
e
rdoolae
g
e
isl_basic_ma
p
_simplify
:
d
e
tect div con
s
tra
i
nts whi
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaeg
e
isl_
b
as
i
c
_
m
a
p_drop: p
r
o
p
erly handle dimens
i
ons of t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
a
dd isl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
add isl_seq_f
d
iv_q
commit
|
commitdiff
|
tree
2009-06-07
S
ven Ve
r
doolaeg
e
a
d
d
isl_seq_fdiv_
r
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
o
ola
e
ge
isl_ba
s
i
c_map_detect_equaliti
e
s
:
p
roper
l
y
handle e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
laege
i
s
l
_
basic_map_is_empt
y
:
e
xplicitly mark
b
a
s
ic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
V
erdoolaege
isl_map
.
c: o
r
der_div
s
: swap with c
o
rr
e
c
t
d
iv
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
s
l_map_coalesce
:
remov
e
extra divs introduced by is
l
_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Ver
d
oolaege
a
d
d isl_ma
p
_coalesc
e
commit
|
commitdiff
|
tree
2009-05-19
S
ven V
e
rdoolaeg
e
add isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
S
v
en Verdool
a
e
g
e
e
xp
o
rt isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_convex_hull:
handle
u
nbounded,
but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
privately
export
isl_mat_un
i
m
o
dular_co
m
pl
e
te
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoola
e
ge
isl_
t
ab
.
c: ad
d
isl_tab_get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n V
e
r
d
oolaege
i
sl_map_conv
e
x_hull: avoid
i
ntroducing
l
in
e
a
lity spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
add t
w
o more convex hull tes
t
cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
do
o
laege
isl_map_conve
x
_hull
:
remove lineali
t
y
s
p
a
c
e if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add
i
sl_ba
s
ic_s
e
t
_
is
_
u
niverse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add is
l
_s
e
t_ge
t
_
dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
i
sl
_
co
n
vex_hul
l
.
c
: update
wrap_
f
acet
to
t
he fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verd
o
olaege
isl_convex_hu
l
l
.
c:
f
ix
typo i
n
comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
e
n
Verdoolaege
is
l
_c
o
a
l
esce
.
c
: fix typo in
c
o
m
men
t
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoo
l
aeg
e
isl_
t
a
b
.
c
: fix typo
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
e
rdo
o
lae
g
e
configu
r
e
.
i
n: set
AC_CONFIG
_
M
A
C
R
O_
D
IR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
l
a
ege
add isl_basic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl
_
b
asic_ma
p
_
gi
s
t: normalize d
i
vs (if any) in context
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
isl_basic_map_simp
l
ify: remove
d
u
p
lica
t
e di
v
s
b
efore
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
add isl
_
b
a
sic_set_d
i
v
commit
|
commitdiff
|
tree
2009-03-23
S
ven V
e
rdoolaege
c
h
ange ca
l
ling
c
onv
e
ntion of isl_basic_m
a
p_div
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
isl
_
map_simplify
.
c: uset_gist: break early if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Ver
d
oo
l
a
ege
isl_m
a
p_simpl
i
fy
.
c: uset_g
i
st: break early if in
t
ersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
e
r
d
oolaege
a
d
d isl
_
ba
s
ic_set_fast_is_empt
y
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
update
p
i
p
lib to
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n
V
e
rdoolaege
isl_tab
.
c: st
o
re number
of
equalities amon
g
t
h
e constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaeg
e
isl_mat
_
exten
d
: properl
y
extend matrices wit
h
reorder
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
e
rd
o
olaege
isl_map_gist: ha
n
dle
som
e
s
pecial ca
s
es
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_map_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
ad
d
isl_basic_map_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoo
l
aege
isl_b
a
sic_map_g
i
st: replace by new ver
s
ion based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoo
l
a
e
ge
isl_ma
p
_simplify
.
c: compute_elim
i
nation_inde
x
: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_map_implici
t
_equal
i
t
ies
commit
|
commitdiff
|
tree
next