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_equalities.c: drop redundant error handling
2009-09-06
Sven Ver
d
oolaege
isl_equ
a
lities
.
c: drop redundant err
o
r
handli
n
g
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verd
o
olaege
isl_e
q
ua
l
ities
.
c: re
m
ove unu
s
e
d
var
i
able
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
i
sl_con
v
e
x
_hull
.
c: rem
o
ve unused va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
V
er
d
o
olaege
isl_constrain
t
.
c: remove unuse
d
va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoola
e
ge
isl_tab
.
c: sign_of_
m
in:
only pivot back i
f
we performed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verd
o
olaege
isl_tab
.
c: isl
_
tab_
m
ark_redu
n
dant: fix up
error return
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Ve
r
d
o
ola
e
g
e
isl_tab
.
c: r
e
mov
e
unus
e
d variables
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdoolae
g
e
isl
_
tab_pip
.
c: remove
unuse
d
variables
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
rdoolaege
isl_vec
.
c: re
m
ove un
u
sed variable
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolae
g
e
isl_test
.
c
:
remo
v
e unu
s
ed variable
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Ve
r
d
oolaege
isl_
a
ssert: valid
a
te all
arguments an
d
fix up fall
o
ut
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doo
l
aege
p
o
l
y
hedron_sa
m
ple
.
c
: a
d
d mis
s
i
n
g include
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoola
e
g
e
isl_
p
ip
.
c: check ret
u
rn value of fscan
f
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oo
l
aege
polyhedron_m
i
nimi
z
e
.
c: handle all enumera
t
ion values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaeg
e
config
u
re
.
ac: set maximal
o
ptimi
z
ation c
o
mpiler fl
a
g
s
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdo
o
la
e
ge
isl_
s
et_co
p
y_basic_set
:
add missin
g
return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_set_
d
rop_basic_set: add missing return
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdoolaege
isl_set_coalesce: add missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaeg
e
isl_coalesce
.
c
:
a
dd missing i
n
clu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl
_
test: check srcdir has been
s
et
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
p
rivat
e
ly export isl_tab_k
i
ll_co
l
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoo
l
aege
is
l
_tab
.
c
: fix up t
o
_col
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
isl_tab_pi
p
.
c: a
d
d missing includ
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl_vec
.
c: a
d
d missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolae
g
e
expo
r
t
i
sl_seq_cmp
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
V
e
rdoolaege
fix retu
r
n
t
ype o
f
is
l
_constra
i
nt_fre
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
e
x
port isl_to
k
en_free and isl_stre
a
m_error
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoola
e
ge
isl_list
.
c: add
m
i
ssin
g
i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdo
o
lae
g
e
isl
_
div
.
c: add
missin
g
inc
l
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_constraint
.
c
: a
d
d
missing
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoola
e
ge
b
asi
s
_reduction_t
a
b
.
c: add
missing inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoola
e
g
e
isl
_
map_
n
o_piplib
.
c: a
d
d
m
i
s
sing include
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
r
d
oolaege
ax_create_stdi
n
t_h
.
m4:
p
rotect some limits from redefini
t
i
o
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
ola
e
ge
polytope
_
scan
.
c:
add m
i
ssing incl
u
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
fix return type of isl_div
_
free
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
r
doo
l
aeg
e
isl_
m
ap_simpl
i
fy
.
c: drop return from void
f
u
n
ction
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
o
laege
i
sl
_
map_
s
implify
.
c: add miss
i
ng
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_convex_hull
.
c
:
u
se
i
s
l
_
s
eq_get_hash instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
dec
l
are flexarrays of size 1 to silence s
u
n
c
o
mpiler
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ve
r
do
o
l
ae
g
e
change
isl
_
b
a
sic
_
map_e
m
pty interfac
e
for
consistency
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Ver
d
oola
e
ge
AX_SUBMODUL
E
:
ment
i
on d
e
fault type of library to use
commit
|
commitdiff
|
tree
2009-09-06
S
ven
Verdoolae
g
e
configure
.
ac: use AX_SUBM
O
DULE f
o
r gmp for consis
t
e
ncy
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
separate out config heade
r
f
r
om
isl
_
c
tx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven V
e
rdo
o
laege
pilp solver: don't ign
o
re fe
a
sibility test o
n
co
n
t
e
xt
commit
|
commitdiff
|
tree
2009-09-01
Sven Verdo
o
laege
isl_b
a
sic_ma
p
_
gauss: tr
y
not to remove any div defi
n
i
tion
s
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdool
a
ege
add isl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Verdoolaege
ad
d
isl_ma
p
_floordi
v
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Ve
r
doolaege
ad
d
isl
_
map_neg
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Verdoolaege
add isl_map_is_
s
tric
t
_sub
s
et
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdoolaeg
e
add isl_map_fast_is_fixed
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Verdoolaege
add is
l
_m
a
p_i
d
entity_like
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
renam
e
isl_map_identity_li
k
e to isl_map_ide
n
tity_li
k
e
_
basi
c
_map
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
ege
add isl_polytope_scan applica
t
ion
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
i
sl
_
seq_
n
ormalize: use p
r
e
-
allocated temporary v
a
ri
a
ble
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaege
add
i
sl_v
e
c_norm
a
lize
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
rdoolaege
isl_seq_normaliz
e
: no
n
eed to
scale down by one
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_polyhe
d
ron
_
minimize
a
pplication
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
r
dool
a
ege
a
d
d generalized
b
asis reduction based ILP s
o
lver
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
add isl_ve
c
_mat_p
r
o
duct
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaege
ex
p
ort
i
s
l
_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_b
a
sic_set_sample: only perform basis reduction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n
Verdoo
l
ae
g
e
rename
i
sl_
s
olve_lp to isl_basi
c
_{map,set}_
s
olv
e
_lp
commit
|
commitdiff
|
tree
2009-08-28
S
v
en V
e
r
do
o
lae
g
e
isl_solv
e
_
l
p: optional
l
y re
t
urn
s
olution p
o
int
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
V
erdo
o
l
a
e
ge
export isl_vec hea
d
e
r
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
o
o
laege
add isl_int_fdiv_q
_
ui
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Ver
d
o
o
laege
add isl_vec_rea
d
_from_file
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
sl_basic
_
map_
d
rop_redundant_divs
:
also inv
e
stigat
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_basic_map_apply_{do
m
ain,ran
g
e
}
: drop redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
isl_ma
p
_
s
implify
.
c
: fi
x
typo in co
m
m
ent
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_basic_
s
et_proj
e
c
t_out:
d
rop redundant divs in
result
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdo
o
laege
i
s
l_
b
asic_map_remov
e
: onl
y
drop divs
i
f basic
m
ap did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verd
o
olaege
isl_basic
_
m
ap
_
detect_equa
l
iti
e
s: expl
i
cit
l
y keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_basic_map_extend
_
dim:
keep hold of
sam
p
le if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sve
n
Verdool
a
ege
isl_
t
ab_min: read
o
ff all information fro
m
tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sv
e
n
V
erdoolaege
isl_tab_
a
dd_va
l
id_eq: keep track o
f
whether equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
Verd
o
olaege
c
o
nfi
g
ure
.
ac: no
longer use pipl
i
b by default
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doola
e
ge
a
dd an
internal parametri
c
i
n
teger
linear program so
l
v
e
r
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
is
l
_mat_e
x
tend: m
a
ke
sure
the numbe
r
o
f
r
ows
n
ever
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolae
g
e
isl
_
aff
i
n
e_hul
l
.
c: only con
s
truct
a
ffi
n
e hull in b
o
unded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_tab: add support for ke
e
ping
t
r
a
ck of samp
l
es
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_tab: optionally
k
e
e
p tr
a
ck of
r
ow
signs
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoo
l
aege
is
l
_tab: add isl
_
ba
s
ic_set f
i
eld for optionally keepi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_tab: introduce suppor
t
for "big parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ver
d
oolaege
isl
_
t
ab: allow introducti
o
n of ext
r
a va
r
iables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: introduce
parame
t
e
r
s
a
n
d divs
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoola
e
ge
isl_tab
.
h:
fix t
y
po i
n
comment
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ve
r
doola
e
ge
isl_tab: allow
saving and r
e
storing the complete ba
s
i
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
is
l
_tab
:
privately
exp
o
rt
s
ome functionality
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_tab:
s
tore undo a
r
gument in
a un
i
on for futur
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_
s
et_sample_b
o
unded
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
privately export
i
s
l_bas
i
c_s
e
t_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_map
_
simplif
y
.
c
:
remove_
d
ependent_vars: o
n
l
y remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
Verdoolaege
isl_basic_map_comput
e
_divs: use isl_basic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
do
o
laege
isl_
p
ip_basic_map_compute_divs: d
o
n't turn d
i
vs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
privately export
isl_
b
a
s
ic_
m
a
p_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_{set,map
}
_add: don't ad
d
obviously
e
mpty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
combine isl_pip_basic
_
map_l
e
x{min
,
max}
i
n
to isl_pip_
b
asic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
a
ege
m
a
ke piplib headers
p
rivate
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Verdoolaege
isl_m
a
t: keep track of the actual number of c
o
lumns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Verdoolaeg
e
isl_ta
b
_pivot: fix t
y
po
t
h
a
t prevent
e
d
n
ormalization
.
.
.
commit
|
commitdiff
|
tree
next