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_tab_pip.c: extract out context handling
2009-10-09
Sven V
e
r
dool
a
eg
e
isl
_
tab
_
p
i
p
.
c: extr
a
ct
o
ut context handlin
g
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolae
g
e
isl_tab_pip
.
c: add_div: u
s
e m
o
re rel
i
able
way to
t
est
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
g
e
isl_tab_basic_map_partial_le
x
opt: remov
e
samples t
h
at
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
ool
a
ege
isl_tab
.
c: ext
r
a
ct out samples
h
andling from isl
_
tab_p
i
p
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl_af
f
ine_hull
.
c: uset_affine_h
u
ll_b
o
u
n
ded: use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
isl_
b
asic_map_detect_equaliti
e
s: keep
track of samp
l
e
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdool
a
e
g
e
i
s
l_basic_map_dete
c
t_e
q
ualities: only compute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n Verdo
o
lae
g
e
is
l
_tab_sample: handle u
n
bound
e
d directions
i
n initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
is
l
_ta
b
_
c
omp
u
t
e
_
r
educed_bas
i
s:
h
a
ndle unbounded d
i
rect
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdo
o
la
e
ge
exploit equali
t
ies in isl_t
a
b_sa
m
p
le
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolae
g
e
isl
_
t
a
b: keep (in)equalities of bset (if any) in s
y
nc
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
isl_tab_samp
l
e: be m
o
re
verb
o
se about unb
o
unded dir
e
c
tions
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
separate out isl_tab_sample fr
o
m sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
sample_bounded: reimplemen
t
to work
d
irectly on a
tableau
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoo
l
aege
isl_tab_com
p
ut
e
_reduc
e
d_basis: work with
a
ffine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Ve
r
do
o
la
e
ge
isl_tab
_
compute_reduced_b
a
sis: allow increm
e
ntal computa
t
ion
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
isl_pol
y
tope_s
c
an: use isl_tab_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
s
epar
a
te out is
l
_tab_redu
c
ed_basis
from isl_ba
s
ic_s
e
t
_
redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
basis_reduction_
t
a
b
.
c: use isl_tab_product to constr
u
c
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
Verdoolaege
add is
l
_ta
b
_product
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
i
s
l_basic_s
e
t_redu
c
e
d
_b
a
sis: fix
v
alue
i
n directio
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
is
l
_ba
s
ic_set_red
u
ced_basi
s
: fix up
d
ocumentation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
basis_reduction_t
a
b
.
c
: keep track o
f
con_offs
e
t ins
t
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdo
o
laege
add isl
_
t
a
b
_
add
_
eq
commit
|
commitdiff
|
tree
2009-10-08
Sven
Ver
d
oolaege
isl_tab_add_valid_eq:
add special treatment
for
manifest
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doolaege
isl_tab_extend_c
o
ns: ch
e
ck tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n
Verdoo
l
ae
g
e
rena
m
e isl_tab_detect_equalities to isl_tab_detect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_fr
o
m_recess
i
o
n
_cone: take basic set instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
r
d
oolaege
isl_il
p
.
c: s
e
parate out solve_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoola
e
ge
isl_sample
.
c: basic_set_
s
ample:
r
emembe
r
b
o
undednes
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl_polyhedron_detect_equalit
i
es test
a
pplicati
o
n
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erd
o
olaege
add i
s
l
_basic_set
_
det
e
ct_equalities
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
e
rdoolaege
isl_tab_a
l
locate_con: add extra assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
is
l
_sample
.
c: basi
c
_
s
et_reduc
e
d: fix typo preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_ba
s
ic_m
a
p_p
a
rtial_lexopt:
s
implify re
s
ult
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
privately exp
o
rt
isl_basic_s
e
t_add_{in
,
}e
q
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
privately export isl_basic_
s
et_sample_
w
ith
_
cone
commit
|
commitdiff
|
tree
2009-10-07
S
v
en V
e
rdoolaege
add isl_
b
as
i
c_set_un
d
erlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven
Ver
d
o
o
laege
isl_tab
.
c: close_row: pu
s
h undo record for sett
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oolaege
add isl_mat_vec_i
n
verse_product
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolae
g
e
add isl_mat_c
o
n
c
a
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
d
oolae
g
e
ad
d
isl
_
int_divex
a
ct_u
i
commit
|
commitdiff
|
tree
2009-10-05
S
ven Ve
r
d
oolaege
add isl_set_dim_resi
d
u
e
_c
l
ass
commit
|
commitdiff
|
tree
2009-10-03
S
ven Verdoolaeg
e
f
i
x lon
g
stan
d
ing bug in i
s
l_mat_in
v
er
s
e_p
r
oduct
commit
|
commitdiff
|
tree
2009-10-02
Sven
Ver
d
oolaege
add isl
_
basic_map
_
foreach_lex
m
in
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
aege
add isl_set_project_ou
t
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
V
erdoolaege
ad
d
isl_set_d
e
tect_equalities
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verdoolaege
add isl_s
e
t
_fore
a
ch_basic
_
se
t
commit
|
commitdiff
|
tree
2009-10-02
S
v
en
V
e
r
doolae
g
e
add isl_
s
et
_
l
i
f
t
ing
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoola
e
ge
i
sl_dim_si
z
e
:
check
a
rgument
commit
|
commitdiff
|
tree
2009-10-02
S
v
en
V
e
r
d
oolaege
export isl_mat header
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_basic_map
_
lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
a
d
d isl_map_foreach
_
b
a
sic_map
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
olaege
c
onfigure
.
a
c
: fix cut-and-paste erro
r
in origi
n
a
l
comm
i
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdool
a
ege
add isl_int_get_
s
i
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Ve
r
dool
a
ege
export isl_se
t
_sampl
e
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add i
s
l_basic_set_universe_like_set
commit
|
commitdiff
|
tree
2009-10-02
Sven
Ve
r
doolaege
add isl_set_is
_
strict_s
u
bset
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdool
a
ege
add isl_set
_
universe_like
commit
|
commitdiff
|
tree
2009-09-20
Sv
e
n Verdoo
l
ae
g
e
AX_S
U
BMODULE: set
PKG_CONFIG_PA
T
H
commit
|
commitdiff
|
tree
2009-09-20
Sven
Verdoolaege
crea
t
e
p
kg-config f
i
le
commit
|
commitdiff
|
tree
2009-09-20
Sve
n
Verdoolaege
AX_SUBMODULE: drop op
t
ions th
a
t are me
a
ningless
given
.
.
.
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Verd
o
olae
g
e
add isl
_
map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl_map_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolae
g
e
a
dd isl_map_n
e
g
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdo
o
laege
add isl_map_is_strict_subset
commit
|
commitdiff
|
tree
2009-08-30
S
ven Verdoolaege
a
d
d isl_map_fast_is_fixed
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Verdoolaege
a
dd
i
s
l
_m
a
p_identity_like
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n
V
e
rdoola
e
ge
rename
i
sl_map_iden
t
i
t
y
_like to isl_map
_
i
dentity
_
li
k
e_
b
as
i
c_map
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_seq
_
normalize: u
s
e
pre-al
l
ocated temporary variable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_vec
_
normalize
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoola
e
ge
isl_
s
eq_normalize
:
no need t
o
scal
e
down by one
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add i
s
l_polyhedron_minim
i
ze
application
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
add gener
a
lized
b
asis reductio
n
based ILP
solver
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolaege
add isl_vec_mat_product
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
export isl_ve
c
_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
o
la
e
ge
isl_basi
c
_set_sample: only perform
basis reduction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
rename isl_solve_lp
t
o isl_b
a
sic_{map,set}_solve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
r
doolaege
i
sl_solve_lp: o
p
tionally return solution point
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
export isl_ve
c
h
e
a
d
er
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
V
erdoo
l
aege
add
i
s
l
_int_fdiv_q
_
ui
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaege
a
d
d
i
s
l_vec_read_from_file
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n
V
erdoola
e
g
e
i
s
l_basic_map
_
drop_re
d
u
n
dant_divs:
al
s
o investigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
isl_ba
s
ic_map_apply_{do
m
a
i
n,ran
g
e
}: d
r
op redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
V
erdoo
l
aeg
e
i
s
l_map_simplify
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolae
g
e
isl_
b
a
si
c
_
set_proje
c
t_
o
ut: drop redundant
d
ivs in
r
e
s
ult
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
ae
g
e
is
l
_basi
c
_map_re
m
ove: only drop div
s
if basic map d
i
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
ve
n
V
e
rdoolaege
is
l
_basic_map_d
e
tect_eq
u
aliti
e
s: explicitly ke
e
p
track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdo
o
l
a
ege
isl_basic_map_
e
x
t
end_
d
im
:
keep hold of sample if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdo
o
lae
g
e
i
s
l
_
t
a
b_min:
re
a
d off all i
n
formation
f
rom ta
b
le
a
u
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
Verdoolaege
isl_tab_add_valid
_
eq: ke
e
p track of
w
h
ether equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
doolae
g
e
conf
i
gur
e
.
ac: no longer us
e
piplib by default
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add an internal
param
e
tric integer li
n
ear program sol
v
er
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaeg
e
isl_mat_
e
xtend: ma
k
e
s
ure the number of rows n
e
ver
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_affine_hull
.
c
: only cons
t
r
uct affin
e
hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_t
a
b: ad
d
support fo
r
k
eeping
track of sam
p
les
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
i
sl_ta
b
: optionally k
e
ep
track of row si
g
ns
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
i
sl_ta
b
:
a
dd isl_
b
asic_se
t
field
f
o
r op
t
i
o
nal
l
y keepin
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oo
l
aege
isl_tab
:
intr
o
d
uc
e
sup
p
o
r
t for
"
b
ig par
a
meters
"
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdoolaege
isl_tab:
a
llow introduction of extra v
a
riables
commit
|
commitdiff
|
tree
next