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_pw_qpolynomial_foreach_lifted_piece
2009-10-21
S
v
en Verdool
a
ege
extract isl_basic_set_scan from
polytope_sc
a
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoola
e
g
e
isl_ba
s
ic_ma
p
_sim
p
lify: avoid removal of div defini
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaeg
e
is
l
_map
.
c: declare var
i
a
b
le at
s
ta
r
t o
f
code b
l
ock
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_bas
i
c
_
set_project_out: handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_ba
s
ic_se
t
_remo
v
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
i
s
l_ta
b
_pip:
k
e
e
p
c
ache of part
i
al sol
u
tions
commit
|
commitdiff
|
tree
2009-10-16
S
ven Verdool
a
eg
e
isl_tab_pip: don't fre
e
isl_sol on e
r
ror con
d
iti
o
n
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdoolaeg
e
isl_tab: support gene
r
ic undo
records
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
oolaege
a
dd isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven
Ve
r
doolaege
i
sl_
t
ab_pip
.
c:
remove some c
o
de d
u
plication b
e
tween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verdoolaeg
e
isl_map_is_
s
ubset: add
special case for singleto
n
m
a
ps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
ege
is
l
_
map_com
p
ute
_
divs: ski
p
c
omputa
t
i
o
n if d
i
vs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
olaege
i
sl_ma
p
_is_subs
e
t
: exploit another
e
a
sy special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
ge
add
i
s
l_map_fast_is_univers
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oo
l
a
e
g
e
a
dd isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oolaege
mark so
m
e functions as
requiring
use of
r
e
turn v
a
lue
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab: improved error handlin
g
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n Verd
o
olaege
isl
_
t
a
b_pip
.
c: i
n
crementally bui
l
d r
e
cessio
n
cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
e
rdoolaeg
e
isl_tab_pip
.
c: p
r
opagate some equalities from gb
r
contex
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verd
o
olaege
isl_tab_pip
.
c: d
e
tect equalities in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add i
s
l_tab
_
detect_
e
qualities
commit
|
commitdiff
|
tree
2009-10-10
S
ven Ver
d
oolaege
add
i
sl_tab
_
set_
i
nit
i
al_ba
s
is_wi
t
h_co
n
e
commit
|
commitdiff
|
tree
2009-10-10
Sven Verd
o
olaege
isl_tab
_
pip: use
g
enerali
z
ed bas
i
s re
d
uction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab
_
pip: add gene
r
a
lized basis r
e
du
c
tion based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
i
s
l_ta
b
_pip
.
c
:
e
x
t
ract
out
context handl
i
ng
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
t
ab_pi
p
.
c
: add_div: u
s
e more r
e
l
i
a
ble
way to t
e
st
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl
_
tab_basic
_
map_partial_lexop
t
:
remove sampl
e
s
that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl_t
a
b
.
c: extract out samples han
d
ling fro
m
isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_affine_hull
.
c:
uset_affine_hull_bounded
:
u
s
e tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdo
o
laege
isl_b
a
sic_map_detect
_
equa
l
ities: keep
t
ra
c
k
o
f sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_map_detect_eq
u
a
l
ities:
o
nly co
m
pute re
c
ession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verd
o
o
laege
i
sl_tab_sample: handle un
b
ounded dir
e
ctions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
V
erdoolaege
isl_tab_compute_redu
c
ed_b
a
s
i
s
: han
d
le unbounded dire
c
tions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
ex
p
loit
equalities in
i
sl
_
t
a
b_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolae
g
e
isl_tab: keep (in
)
equalities of bset (if a
n
y) in syn
c
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
isl_tab_sample: be more verbose about
u
nbou
n
d
e
d
d
irections
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
s
e
parate out isl_tab_sam
p
le from sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
do
o
laege
sample_
b
oun
d
ed: reimplement to work directly on
a
tab
l
eau
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolae
g
e
is
l
_ta
b
_
compute
_
reduced_basis: work with aff
i
ne ba
s
i
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n V
e
rdoolaege
is
l
_tab_comput
e
_r
e
du
c
ed_basi
s
:
a
llo
w
incre
m
ental compu
t
atio
n
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoo
l
aege
isl_polyto
p
e_scan
:
use isl
_
tab_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
V
erd
o
olaege
separat
e
o
u
t isl
_
tab
_
reduced_basis f
r
om isl_bas
i
c_set_reduc
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
r
d
o
o
laege
basis_reduction_tab
.
c: use i
s
l_tab_
p
roduct to construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
add isl_tab_
p
r
oduct
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
isl_b
a
sic_set_
r
educed_basis: fi
x
value in directi
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl_b
a
sic_set_reduced_bas
i
s: fix up
d
o
c
umentation
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdo
o
la
e
ge
basis_reduct
i
on
_
tab
.
c: keep
track of
con_offse
t
instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
a
d
d
i
sl
_
tab_add
_
eq
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolae
g
e
i
s
l
_tab_add_
v
alid_eq: add special trea
t
m
e
nt for manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolaeg
e
isl_tab
_
ex
t
end_
c
ons:
c
heck tab arg
u
men
t
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
rename isl_tab_det
e
ct_equalities to i
s
l_t
a
b_detect_implicit
_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdo
o
l
a
e
ge
isl_tab_from_recession_co
n
e: take basic
se
t
inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
r
dool
a
ege
isl_ilp
.
c
:
separate out
solve
_
ilp_search
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
l
aege
isl_sample
.
c
:
basic
_
se
t
_sample: remember bounded
n
es
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdool
a
ege
add isl_polyhedron_detect_equalities te
s
t applic
a
ti
o
n
commit
|
commitdiff
|
tree
2009-10-07
S
v
e
n
Verdo
o
laege
add isl_basic_set_
d
e
tec
t
_equalit
i
e
s
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
isl_tab
_
allo
c
ate_
c
o
n
:
add extra assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaege
isl_sample
.
c: basic_set_redu
c
ed: fix
t
y
po
p
reventi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdoolaege
isl
_
t
a
b_basic_m
a
p_p
a
rtial_lex
o
pt: sim
p
lify result
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
eg
e
priv
a
tely export isl_
b
asic_
s
et_add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdool
a
ege
privatel
y
e
xport isl_
b
asic_set_sample_with_
c
one
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
V
erdoolaege
add i
s
l_b
a
sic_set_underlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolae
g
e
is
l
_tab
.
c:
close_row: p
u
s
h undo record
f
or settin
g
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
ad
d
is
l
_mat_vec
_
inve
r
se_product
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdoolae
g
e
add isl_mat
_
concat
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdool
a
eg
e
add is
l
_in
t
_
d
ivexact_
u
i
commit
|
commitdiff
|
tree
2009-10-05
Sven
Verd
o
o
laege
add isl_set_dim_residue_class
commit
|
commitdiff
|
tree
2009-10-03
Sven Verdoo
l
aege
fix l
o
n
g
st
a
n
d
ing
bu
g
i
n isl_ma
t
_inverse_pr
o
duct
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdool
a
ege
add
isl_basic_
m
ap_foreach_
l
exmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdool
a
ege
add isl_se
t
_project_
o
ut
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Verdoolaege
add
isl
_
set_de
t
ect_equalit
i
e
s
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
laege
add isl_set_foreach_b
a
sic_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_lifting
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
isl_dim_size: check arg
u
ment
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
V
erdoo
l
aege
export isl_mat hea
d
er
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoo
l
aege
ad
d
isl_basic_map_l
e
xmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
aege
add isl_map_
f
oreach_basic_map
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdool
a
eg
e
configure
.
ac: fix cut-an
d
-paste err
o
r in
o
rigin
a
l com
m
i
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Ve
r
doolaege
add isl_
i
nt_get_si
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
e
r
doolaege
export isl_s
e
t_
s
ample
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verdoolaege
add is
l
_
basic_set_universe_l
i
ke_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdool
a
ege
a
dd isl_
s
et_is_s
t
rict_subset
commit
|
commitdiff
|
tree
2009-09-20
Sven
V
erd
o
olaege
add
is
l
_
s
et_univ
e
rse_like
commit
|
commitdiff
|
tree
2009-09-20
Sven
V
erdoolae
g
e
AX_SUBMODULE
:
s
et P
K
G
_CONFIG_PATH
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdool
a
ege
create pkg-config file
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
AX_SUBMODULE: drop options that are mean
i
ngless given
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
S
v
en Verdoolaege
isl_b
a
sic
_
map
_
fr
o
m_constr
a
int: return copy of b
m
ap
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sve
n
V
erdo
o
lae
g
e
doc: fix descript
i
on of lex
i
cog
r
ahpic order
r
elations
commit
|
commitdiff
|
tree
2009-09-16
Sven
V
erdoolaege
a
dd isl_
m
a
p_lex
_
le and isl_map_lex_ge
commit
|
commitdiff
|
tree
2009-09-14
S
v
e
n Verdoolaege
exp
o
rt isl_basic_m
a
p_gist
commit
|
commitdiff
|
tree
2009-09-14
Sven Ver
d
oolae
g
e
add isl_
b
a
s
ic_map
_
sampl
e
and isl_map_sampl
e
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoolaege
isl_sam
p
le
.
c: move isl_basic_set_from_vec fr
o
m isl_affine_hull
.
c
commit
|
commitdiff
|
tree
2009-09-13
Sven Ve
r
doo
l
aege
rename
i
s
l
_
basic
_
se
t
_sample to
i
sl_bas
i
c_set_sam
p
le_ve
c
commit
|
commitdiff
|
tree
2009-09-13
S
v
en Verdoolaege
m
a
ke some internal fun
c
tions static
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdo
o
laege
isl_basi
c
_map
_
add_con
s
trai
n
t
:
hand
l
e
constrain
t
s ob
t
ained
.
.
.
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoolaege
ad
d
i
sl_
b
asic_map_from_constrain
t
commit
|
commitdiff
|
tree
2009-09-12
S
ven Verdoolae
g
e
isl_ma
p
_simp
l
ify
.
c: break if set
t
urns out to be empt
y
.
.
.
commit
|
commitdiff
|
tree
2009-09-12
S
v
e
n Ver
d
o
o
l
a
ege
add isl_basic_
m
ap_universe_like
commit
|
commitdiff
|
tree
2009-09-09
Sven Ve
r
d
o
olae
g
e
ad
d
isl_map
_
l
e
x
_
l
t and isl_map_lex
_
gt
commit
|
commitdiff
|
tree
2009-09-09
Sven Verdoolae
g
e
isl_tab
.
c
:
c
ut_to_hyperplane: do noth
i
ng if sel
e
cted
.
.
.
commit
|
commitdiff
|
tree
next