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_{set,map}_add: don't add obviously empty basic sets/maps
2009-08-07
S
v
en Verd
o
o
l
aege
i
sl_{set,
m
ap}_add
:
don't add obviously emp
t
y ba
s
ic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
combine i
s
l_pip_basic_map_lex{min,max} into isl_pip_basi
c
_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
a
e
ge
mak
e
pip
l
ib headers
p
rivat
e
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_m
a
t:
keep track of the act
u
a
l
num
b
er of
c
olumn
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_
t
ab
_
pivot: fi
x
t
y
p
o
that prevented nor
m
alizat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olae
g
e
a
d
d
i
s
l_b
a
sic
_
set_po
s
itive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laeg
e
add isl_basic_set_pa
r
tial_lex{m
i
n,max
}
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
erd
o
olaege
rename
i
sl_basic_map_lex{min,
m
ax} to is
l
_basic
_
map_partia
l
_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
ola
e
ge
add isl_basic_set_f
r
ee_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
do
o
l
aege
isl_set_dim: supp
o
rt isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
a
e
g
e
isl_
t
ab: store
i
n
d
e
x of variab
l
e
in undo r
e
cor
d
instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oo
l
aege
add i
s
l
_{set
,
map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
a
e
ge
add isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
add isl_
b
asic_map_get_
d
im
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdo
o
laege
add isl_t
a
b_dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n
Verdoolaeg
e
export isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
i
s
l_tab
.
c:
m
ark_redundant: only ma
r
k
v
ar
i
able
n
o
n
n
e
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
S
ven V
e
rdool
a
ege
isl_tab
.
c: to_
r
ow: al
l
o
w
pivoti
n
g in arbit
r
ary dir
e
c
t
ion
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
V
erdoolaege
is
l
_tab
.
c: simp
l
ify code b
y
letting
mark_empty retur
n
tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoola
e
ge
add isl_seq_last_n
o
n_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_t
a
b
.
c
: simplify add_
e
q
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
rdoolaege
is
l
_tab
.
c
:
e
xtract alloca
t
e_con
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolae
g
e
priv
a
tely expo
r
t
i
sl_basic_set_
s
et_rational
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoola
e
ge
configure
.
ac
:
expli
c
itly set AC_CONFI
G
_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Ver
d
oolaeg
e
convex_hull: coalesce set during facet computation
commit
|
commitdiff
|
tree
2009-07-21
Sven
Ver
d
oo
l
aege
isl_map
_
c
oalesce: don't drop rat
i
onal fl
a
g from r
e
sult
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
V
erdo
o
l
a
ege
isl_
t
ab_cone_is_bounded: start
o
ver after
c
omp
u
ting
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdool
a
ege
is
l
_basic_
s
et_d
i
m_
r
esidue_
c
lass: only set *
m
odulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven
V
er
d
o
olaeg
e
add isl_basic_set_fast_dim_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
V
erd
o
olae
g
e
isl_tab:
dro
p
isl_ctx argum
e
n
t wh
e
re no
t
absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Ve
r
d
o
olaege
isl
_
mat:
k
e
e
p
t
ra
c
k of isl
_
c
tx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoola
e
ge
i
sl_basic
_
se
t
_samp
l
e: don't proje
c
t
out lineal
i
ty space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
Ver
d
o
o
laege
isl
_
bas
i
c
_
m
ap_fix_pos: micro-optimization
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
do
o
laege
move isl_ba
s
ic_set_skew_
t
o_
p
osit
i
ve
_
or
t
hant to
i
s
l
_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
isl_tab
.
c: fix typ
o
in c
o
mme
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
i
sl_bas
i
c_set_sample: break early
if
s
a
mple found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoo
l
aeg
e
e
x
p
ort isl_tab_sample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doo
l
aege
isl
_
basic_set_sample:
c
hec
k
sampl
e
sto
r
ed by isl_
b
asic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laeg
e
isl_basic_ma
p
_is_em
p
t
y
:
r
emove stale s
a
m
p
le
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoola
e
ge
ad
d
isl
_
polyhedron_
s
a
m
ple a
p
plication
commit
|
commitdiff
|
tree
2009-07-15
S
ven
V
erdoola
e
ge
int
r
oduce g
e
ne
r
alize
d
basis reduction based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add is
l
_seq_cdiv_
q
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
isl_s
a
mple
.
c: interval_sampl
e
: drop redundant
argument
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaeg
e
isl_sam
p
le
.
c
: clean
up handl
i
ng of
l
i
neal
i
ty s
p
a
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
isl_sa
m
ple
.
c: extract out s
a
mple_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdo
o
laege
isl_
s
ample
.
c: interval
_
sample: handle
equalities dir
e
ctly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
ola
e
ge
isl_sample
.
c
:
extract out empty_sam
p
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
ool
a
ege
isl_sa
m
p
le
.
c: generalize p
o
i
nt_sample to zero_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdo
o
laege
is
l
_
tab:
don't create new
undo records d
u
ring ro
l
l
b
ack
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
ola
e
ge
isl_tab_min: use general rollback
m
e
chanism
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
i
sl_t
a
b: optionally save dual so
l
ut
i
on
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
isl_t
a
b: add isl_tab_a
d
d_va
l
id_
e
q
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
e
xport is
l
_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
pr
i
v
at
e
ly e
x
port isl_ba
s
ic_set_recessio
n
_cone
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Verdool
a
ege
is
l
_convex_
h
ull
.
c:
a
dd missi
n
g assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
p
rivately export isl_basic_set_line
a
lity_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
i
s
l_vec: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
i
sl_
c
oa
l
es
c
e
.
c: fix
typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolae
g
e
update piplib for chan
g
e
in configure argu
m
ent
s
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
isl_basic_map_drop_redundant_divs: coale
s
ce d
i
vs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
isl_basic_
m
ap
_
drop_redundant_divs: set div
e
xp
r
ession
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
isl_b
a
sic_map_
d
r
o
p_re
d
undant_divs: dr
o
p more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
i
sl_ma
p
_co
m
pute_divs: drop obv
i
ou
s
l
y
redundant di
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl_
m
ap_pipli
b
.
c
:
extremum
_
on
:
detect equalities first
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Ver
d
oolaege
isl_p
i
p_b
a
sic_map_c
o
mpute_divs: remov
e
s
o
me equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
Verdoolaege
is
l
_pip
_
basic_map_com
p
ut
e
_div
s
: s
e
p
arate out
dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_set_preimag
e
: ha
n
dle divs
i
n input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
ge
isl_inp
u
t_omeg
a
.
c: make variable_{free,
n
ew} st
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
m
ap
.
c: make add_divs
s
tatic
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
is
l
_
basic_
m
ap
_
simpli
f
y: detect div
c
o
nstra
i
nts while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_map_drop: pr
o
p
e
r
l
y
handle dimensio
n
s o
f
type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoola
e
ge
ad
d
isl_in
t
_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Ve
r
d
o
olaege
a
dd isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdo
o
laege
isl_basic_map_det
e
ct_equaliti
e
s: properly h
a
n
dle empt
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoo
l
aeg
e
isl_basic_map_is_empty: expli
c
it
l
y mark ba
s
ic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
is
l
_map
.
c
:
o
rder_d
i
vs: swap
w
ith corre
c
t
d
i
v
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Ve
r
d
o
olaege
isl_map_coalesce: r
e
move ext
r
a divs int
r
o
d
u
ced by
isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verd
o
olaege
add isl
_
map_
c
oal
e
sce
commit
|
commitdiff
|
tree
2009-05-19
S
v
en Verdoolaeg
e
add isl_set_p
r
o
duct
commit
|
commitdiff
|
tree
2009-05-19
S
v
en Verdoola
e
ge
exp
o
rt isl_map
_
dim
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
V
e
rdoolaeg
e
isl_m
a
p_convex_h
u
l
l
:
h
a
n
d
l
e unbound
e
d, but p
o
inted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdo
o
l
a
ege
p
rivat
e
ly export isl_mat_unimodula
r
_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erd
o
o
laege
isl_tab
.
c: add
isl_t
a
b
_ge
t
_sampl
e
_val
u
e
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoola
e
ge
is
l
_
m
ap_convex_hu
l
l
:
avoid introd
u
cing lin
e
a
l
it
y
s
paces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoola
e
ge
a
d
d
two more convex hul
l
test case
s
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdool
a
ege
isl_map_c
o
nvex_hu
l
l: remove li
n
ealit
y
space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add is
l
_basic_set
_
is_un
i
v
e
rse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aege
add isl_set_ge
t
_
d
im
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_con
v
e
x_hull
.
c: update wrap_facet to t
h
e
fact w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
i
s
l_convex_
h
u
l
l
.
c
:
fix
t
yp
o
in c
o
mment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaeg
e
i
s
l
_coalesce
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoola
e
ge
isl
_
tab
.
c: f
i
x t
y
po
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolaege
configure
.
in:
s
e
t AC_
C
ONF
I
G_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
ad
d
isl_ba
s
ic_set_get
_
di
m
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdo
o
la
e
g
e
i
s
l_basic_map_gis
t
: normalize divs
(
if
any) in context
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n
V
e
rdo
o
laege
is
l
_basic_map
_
simplify: remove du
p
lica
t
e
div
s
be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
r
d
oolaege
a
d
d isl_
b
asic_set_
d
iv
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aege
change c
a
lling convent
i
on o
f
i
s
l_basic_map_div
commit
|
commitdiff
|
tree
next