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 Ver
d
ool
a
ege
add isl_ma
p
_get_
d
i
m
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
add isl_basic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl_tab_
d
up
commit
|
commitdiff
|
tree
2009-08-04
Sven Verd
o
o
la
e
ge
export i
s
l_m
a
t_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl
_
tab
.
c
:
mark_re
d
undant: only
m
ar
k
var
i
a
bl
e
nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
r
d
oola
e
ge
isl_tab
.
c: to
_
row: allow
p
i
v
oting
i
n arbitrary direction
commit
|
commitdiff
|
tree
2009-08-04
S
v
en V
e
rdoolaege
isl_tab
.
c: simpli
f
y
co
d
e
by letting mark_empt
y
re
t
urn ta
b
commit
|
commitdiff
|
tree
2009-08-04
Sven Verd
o
ol
a
ege
a
d
d
i
s
l
_se
q
_
last_n
o
n_zer
o
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n Verdoolaege
isl_tab
.
c: simplify
add_
e
q
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
isl_tab
.
c: extr
a
ct a
l
locate_
c
on
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaeg
e
privately export i
s
l_basic_set_set_r
a
tion
a
l
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n
V
er
d
oolaege
configu
r
e
.
a
c: exp
l
icitly set AC_CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Ve
r
doo
l
aege
convex_hull:
coalesce
s
et dur
i
ng
fa
c
e
t
computation
commit
|
commitdiff
|
tree
2009-07-21
S
v
en V
e
r
d
oolaege
i
sl_ma
p
_c
o
alesce
:
do
n
't dro
p
rational
f
l
ag from re
s
ult
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
S
ve
n
Verdoolaeg
e
isl_tab_cone_is_bounded: st
a
rt o
v
er after compu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolae
g
e
isl
_
ba
s
ic_set_
d
im_r
e
sidue_class: on
l
y set *
m
odu
l
o
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verd
o
olaege
isl_tab
:
drop
i
sl_ctx ar
g
um
e
nt where not absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
ven Verdo
o
laege
i
sl_mat
:
keep track of
i
sl
_
ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolae
g
e
isl_b
a
sic_set_sa
m
ple
:
do
n
'
t
proj
e
ct out line
a
lity space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_
b
asi
c
_
m
ap_fix_pos: mic
r
o-optimiz
a
tion
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoo
l
a
e
ge
move isl_basic
_
se
t
_
skew_to_pos
i
tiv
e
_
o
r
t
han
t
to
i
sl
_
sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
S
ven
V
er
d
oolaege
isl_basic_set_
s
ample:
b
reak early if samp
l
e found i
n
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
export isl_tab_sample_is_inte
g
er
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
is
l
_basic_set
_
sa
m
ple: check sa
m
ple st
o
re
d
b
y isl
_
basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
ola
e
ge
i
sl_b
a
s
i
c_map_is_empty: r
e
m
ove
s
tale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
r
d
oo
l
aege
add isl_pol
y
h
e
dron_samp
l
e applic
a
tion
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaeg
e
introduce generalized basis reducti
o
n
b
ased sa
m
pli
n
g
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n Verdoolae
g
e
add is
l
_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
i
s
l_
s
ample
.
c: interval_sam
p
l
e: drop redundant argum
e
nt
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n V
e
rdoolaege
isl_
s
ample
.
c:
clean
up
h
andling of lineality s
p
ace
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c
: extract
out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl
_
sa
m
ple
.
c: inter
v
al_sample:
h
a
ndle equalit
i
es directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolae
g
e
isl
_
sampl
e
.
c
: extract ou
t
empty_sa
m
ple
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
i
s
l_sa
m
pl
e
.
c:
g
eneralize
p
oint_sample
to zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
oolaege
isl_tab
:
don't create new
u
ndo records duri
n
g rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
i
sl
_
tab_min: use general rollba
c
k mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: opti
o
nally save dual
s
oluti
o
n
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
sl_tab:
a
dd isl_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
lae
g
e
export isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privat
e
ly export isl_bas
i
c_
s
et
_
recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
isl_
c
onvex_hull
.
c: add missing assignmen
t
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
pr
i
v
ately expor
t
i
sl_
b
asic_set_lineality
_
space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
i
sl_vec:
keep track
of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdool
a
ege
isl_co
a
l
esce
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2009-06-13
Sve
n
Verdoolaege
update piplib for change in configure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
is
l
_basic_map_drop_
r
edundant
_
divs:
coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_drop_red
u
ndant_divs:
set di
v
expr
e
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_b
a
sic_map_d
r
op_redundant
_
divs: drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en
V
er
d
o
o
laege
isl_map_compute_divs:
dro
p
obvio
u
s
ly
redunda
n
t
d
ivs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl_ma
p
_pipl
i
b
.
c: ext
r
emum_on: detect equaliti
e
s
first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
ge
is
l
_pip_basic_map_compute_divs:
r
emove some
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pip_basic_m
a
p
_com
p
ute_divs: s
e
parate out dim
e
nsio
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
i
s
l_basic_set_p
r
eimage
:
handl
e
d
i
vs in input
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
isl_in
p
ut_
o
m
ega
.
c: make variable_{f
r
ee,new} stati
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
o
laege
isl_map
.
c:
m
ake add_
d
i
v
s static
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaeg
e
i
s
l_bas
i
c_m
a
p
_s
i
mplify: detect div c
o
nstraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
olaege
i
s
l_bas
i
c_m
a
p
_dr
o
p
: properly h
a
nd
l
e dimensions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
add isl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdo
o
laege
a
d
d isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_
m
ap_det
e
c
t
_equalities: properly
h
andle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Ve
r
doo
l
aege
isl_basic_map_is_empty:
e
xplicitly mark
b
asic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
isl_map
.
c: order_divs: swa
p
with cor
r
ect d
i
v
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoola
e
g
e
isl_map_coalesce: remov
e
extra
divs intr
o
duced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
a
dd i
s
l_
m
a
p_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven
Verdoo
l
a
ege
add isl_se
t
_produc
t
commit
|
commitdiff
|
tree
2009-05-19
Sven Ver
d
o
o
l
ae
g
e
export isl_map_d
i
m
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
o
laege
isl_m
a
p_con
v
ex_hull:
ha
n
dle unbo
u
nded
,
but
po
i
nted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aege
p
r
ivately
export isl_mat_unimodular_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olae
g
e
isl_tab
.
c:
add
isl_ta
b
_get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaege
isl_m
a
p_
c
o
nvex_
h
ull: avoi
d
introd
u
cing l
i
neal
i
ty spa
c
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaege
add two more
c
onvex
hull t
e
st
c
ases
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolae
g
e
isl_map
_
c
o
nvex_hull:
r
e
m
o
v
e
l
i
n
ea
l
i
t
y
space if a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add
isl_basic_
s
et_is_un
i
verse
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n
V
erdoolaege
add isl_set_get_di
m
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolae
g
e
i
sl_
c
onvex_hu
l
l
.
c: update wr
a
p_facet to
t
he
fact
w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaeg
e
i
s
l_co
n
vex_hull
.
c: f
i
x typ
o
in co
m
ment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_coalesce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
doolaege
isl_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoolaeg
e
con
f
i
gur
e
.
i
n: set AC_
C
ONF
I
G_MA
C
RO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
a
dd isl_basic_
s
et_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
isl_
b
asic_ma
p
_gist: normalize div
s
(if any) in conte
x
t
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n
Verdoolaeg
e
isl_basic_map
_
simpli
f
y: r
e
mo
v
e duplicate
d
i
v
s
before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Ver
d
ool
a
e
g
e
add isl_
b
asic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
change c
a
lling
c
onvention of isl_basic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
dool
a
ege
isl_map_simp
l
ify
.
c: uset_g
i
st: break
early
i
f there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolae
g
e
isl_map_si
m
plif
y
.
c: uset_gi
s
t: bre
a
k
e
a
r
l
y
if intersect
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoo
l
aege
add isl_basi
c
_set_fas
t
_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doo
l
aege
update p
i
plib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoola
e
g
e
isl_t
a
b
.
c:
s
t
ore number of equalities among t
h
e constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_mat_extend: properly extend matrices with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oo
l
aege
isl_map_gist: h
a
ndle
some
s
pec
i
a
l
cases
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Ve
r
doo
l
aege
add is
l
_map_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add
isl_ba
s
ic_map_fast_is_
e
mpty
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
i
sl_b
a
sic_
m
ap_gist:
replace by new ver
s
i
o
n based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
i
s
l_map_si
m
plify
.
c
: compute
_
elimination_inde
x
: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaeg
e
a
d
d
isl_map_implicit_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_basic_s
e
t_free_equality
commit
|
commitdiff
|
tree
next