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_assert: validate all arguments and fix up fallout
2009-09-06
S
v
en
V
e
r
doolae
g
e
isl_assert:
validate all
a
r
g
uments and
fix up fallout
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
polyhedron_sample
.
c: a
d
d miss
i
ng i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_pip
.
c:
check
r
e
turn
value of fscanf
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
p
olyhedron_minimize
.
c
:
h
a
ndle all
en
u
meratio
n
values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
configu
r
e
.
a
c: set maxi
m
al
optimi
z
ation compiler
f
lags
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
is
l
_set
_
copy_basic_set: add missing retu
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_set_
d
r
op
_
ba
s
ic_set
:
a
dd m
i
s
s
ing re
t
urn
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Ver
d
o
o
l
aege
isl_set_c
o
alesce: add
m
issing return
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
V
e
rdoolaeg
e
isl_
c
oalesce
.
c: add missing inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
isl_test: check srcdir has bee
n
set
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erd
o
olaege
privately e
x
port isl_tab_ki
l
l_co
l
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_tab
.
c: fix up to_co
l
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
s
l_tab_pip
.
c
:
a
d
d missing in
c
l
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
isl_vec
.
c
:
add
m
issing incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoola
e
g
e
e
xport isl
_
seq_cmp
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
fix ret
u
rn type of isl_con
s
t
r
aint_free
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verdoolaege
export is
l
_token_free
and isl_stream
_
e
rro
r
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaeg
e
isl_l
i
st
.
c
:
add missi
n
g i
n
clu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
do
o
l
aege
isl_div
.
c
:
add missing
include
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdo
o
l
a
ege
i
s
l
_c
o
nstraint
.
c: add missing i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
basis_
r
eduction_tab
.
c: ad
d
missing in
c
lude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
isl_m
a
p_no_piplib
.
c: ad
d
missing includ
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
ax_create
_
stdint
_
h
.
m
4
: pr
o
tect
s
ome lim
i
ts f
r
om redef
i
nition
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
pol
y
tope_scan
.
c: add missing inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verd
o
olae
g
e
fix return typ
e
of is
l
_div_f
r
ee
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
lae
g
e
isl_ma
p
_simplify
.
c
:
drop re
t
urn from void fu
n
c
tion
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl_map_simplify
.
c:
a
dd missing include
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdo
o
laege
isl_con
v
e
x
_hull
.
c
:
use
isl_
s
eq_get_hash in
s
t
ead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
S
ven V
e
rdoola
e
ge
declare f
l
exarrays of size 1 to silen
c
e su
n
compiler
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
chang
e
isl_basic_map_em
p
ty int
e
rface
f
o
r
consistency
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
V
e
rdool
a
ege
AX_SUBMODUL
E
: mention
d
efault type of
l
ibra
r
y to use
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
co
n
f
i
gure
.
ac:
use AX_SUBMODU
L
E fo
r
gmp for
c
onsistenc
y
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
separate out config h
e
ader
from isl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sve
n
Verdoo
l
a
ege
pilp
solver: don
'
t ignore fea
s
ibility test on conte
x
t
commit
|
commitdiff
|
tree
2009-09-01
Sven Verdoolaege
i
sl_basic_m
a
p_gau
s
s: try not to remove any
div definiti
o
n
s
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verdoolae
g
e
add isl_
m
ap_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven
V
erdoo
l
aege
add i
s
l
_
map_floord
i
v
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoola
e
ge
a
d
d isl_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdoolaege
add isl_map_is_strict_subset
commit
|
commitdiff
|
tree
2009-08-30
Sven Verd
o
olaege
a
dd isl
_
map_fast_is_
f
ixed
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n
Verdoo
l
aege
add isl_ma
p
_identity_li
k
e
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaeg
e
rena
m
e
isl_map_identit
y
_like to isl_map_identi
t
y_like_basic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
rdoolaege
ad
d
isl_polyt
o
pe_scan appli
c
ation
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolae
g
e
isl_seq_normalize:
u
se
pre-allocat
e
d temporary
v
ariable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_vec_normalize
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Ve
r
d
o
o
l
ae
g
e
isl_seq_normalize:
n
o
n
e
ed to
scale do
w
n
b
y
one
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
add
i
sl_polyhedron_
m
ini
m
ize
a
pplication
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
add generalized basis reduction based ILP sol
v
er
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
add is
l
_vec_mat_produ
c
t
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdool
a
ege
exp
o
rt i
s
l_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
r
d
oolaege
isl_
b
asi
c
_set_sample: only perform basis reduct
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoola
e
g
e
r
e
name isl
_
solve_lp
to isl_basic_{map,set}_solve
_
lp
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
isl_solve
_
lp: o
p
tionally
r
etu
r
n solution p
o
int
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
r
d
o
olae
g
e
e
x
po
r
t
is
l
_vec head
e
r
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
r
d
oolaege
add
i
s
l_int_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add
isl_
v
ec_read_from_fil
e
commit
|
commitdiff
|
tree
2009-08-28
S
ve
n
Verdoolaege
isl
_
basic_map_drop_red
u
ndant_divs: also i
n
vestigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
V
e
rdoola
e
ge
i
s
l_basic_m
a
p_apply_{domain,
r
ange}: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_ma
p
_simplify
.
c: fix typo in comm
e
n
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_basic_set_
p
roject_out: drop r
e
d
un
d
ant divs
i
n
result
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoola
e
ge
isl_basic_map_
r
emove: only d
r
op di
v
s if basic
map did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_basic_map_detect_
e
qualiti
e
s: explicitly
k
eep tr
a
ck
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Ver
d
oolaege
i
s
l_basic_m
a
p_
e
xtend_dim: keep hold of sam
p
le if d
i
mensio
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
isl_
t
ab_min: read off a
l
l
inform
a
tion f
r
om
tab
l
eau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
ven Verdoo
l
aege
isl_tab_add_valid_eq: keep track
o
f whether e
q
uali
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ve
r
doolaege
configure
.
ac
:
n
o
lon
g
er use piplib by def
a
ul
t
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verd
o
olaege
a
d
d an internal param
e
tr
i
c
integer line
a
r p
r
o
g
ram solver
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolae
g
e
isl_mat_
e
xtend: m
a
ke sure the
number of rows
n
e
ver
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
er
d
oolaege
i
s
l_affine_hull
.
c
:
o
nly construct
a
ff
i
n
e
hu
l
l in bo
u
nded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaeg
e
isl_tab: add su
p
p
ort for keep
i
ng tr
a
c
k
of samp
l
e
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_tab: optionally keep
t
rack of row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: add isl_
b
asic_set
f
i
el
d
for
o
ptional
l
y
keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
is
l
_tab: introduce s
u
p
por
t
f
o
r "bi
g
param
e
t
e
rs"
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoo
l
aege
i
sl_tab:
allo
w
i
n
t
roduct
i
on o
f
e
x
tra
variables
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Ver
d
oolaege
isl_tab
:
introduce
p
a
ram
e
ters
a
nd
d
iv
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_t
a
b
.
h: fix typo
in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: allow s
a
v
i
n
g and res
t
orin
g
the com
p
lete
bas
i
s
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_tab: privately export some fu
n
ctional
i
ty
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_ta
b
:
store undo argum
e
nt in a union for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
oolaege
a
d
d isl_basic_set_sample_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately export
isl_bas
i
c_set_orde
r
_divs
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verd
o
olaeg
e
isl_map
_
simplify
.
c
:
r
emove_dependent_
v
a
rs:
o
n
ly re
m
ove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_basic_
m
ap_com
p
ute_divs: use isl_b
a
sic_set_
l
e
x
min
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ve
r
doolaege
isl
_
pip_b
a
sic_map_comput
e
_divs: don't turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
rd
o
o
laege
pri
v
ately export
i
s
l_basic_map_s
w
ap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
i
s
l_{s
e
t,map}_add: don't a
d
d obvio
u
sly empty bas
i
c
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
combine is
l
_
p
ip_basic_map
_
l
ex{min,max} i
n
t
o
isl_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdo
o
l
aege
make piplib headers private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
isl_mat
:
keep
track of the actual
n
um
b
er
o
f columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaeg
e
isl_tab_
p
ivot
:
f
ix
typo
t
hat
prevente
d
normalizat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
dd isl_basi
c
_s
e
t_pos
i
tive_or
t
hant
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
add isl_basic_set_partial_lex{min,ma
x
}
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ver
d
oolaege
rename isl_basic_map
_
lex
{
min,max}
to
i
s
l
_basic_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
lae
g
e
add is
l
_basi
c
_
set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
rdoolaege
isl_s
e
t_dim: sup
p
o
r
t i
s
l_dim_all
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
oo
l
aege
isl_tab
:
stor
e
ind
e
x of va
r
iable i
n
undo
record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
a
d
d
i
sl_{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
add
i
s
l_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdool
a
ege
add isl_basic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
o
olaege
add isl_tab_dup
commit
|
commitdiff
|
tree
next