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_pip: optionally perform some check on the results
2009-09-13
Sve
n
Verdoolaege
isl_
s
ample
.
c:
move isl_basic_set_
f
r
om
_
vec from isl_af
f
ine_hull
.
c
commit
|
commitdiff
|
tree
2009-09-13
Sv
e
n
V
erdoolaege
r
en
a
me isl
_
basi
c
_
s
e
t
_sample to is
l
_basic_set_sample_vec
commit
|
commitdiff
|
tree
2009-09-13
Sven Ve
r
doola
e
g
e
make some inter
n
al
f
un
c
tions stat
i
c
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoolaege
isl_basic_m
a
p_add_
c
on
s
traint: handle
constrai
n
ts
o
bt
a
i
n
ed
.
.
.
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoolaege
add
i
s
l_basic_map_from_cons
t
raint
commit
|
commitdiff
|
tree
2009-09-12
Sven V
e
rdo
o
l
aege
isl_map_simplify
.
c: br
e
ak if set turns out to be empty
.
.
.
commit
|
commitdiff
|
tree
2009-09-12
S
v
e
n Verdoola
e
g
e
a
d
d
i
sl_basic_map_univer
s
e_like
commit
|
commitdiff
|
tree
2009-09-09
Sven Verdool
a
ege
add isl_map_
l
ex
_
lt and isl_map_lex_g
t
commit
|
commitdiff
|
tree
2009-09-09
Sven Verdoolaege
isl_
t
ab
.
c: cut_
t
o_hyperplane:
d
o nothing if sele
c
ted
.
.
.
commit
|
commitdiff
|
tree
2009-09-09
S
v
en Ve
r
dool
a
ege
reverse
me
a
ning o
f
isl_basic_map_{less,more
}
_at
commit
|
commitdiff
|
tree
2009-09-08
Sven Ve
r
doola
e
ge
isl_t
a
b_
d
up: av
o
i
d o
u
t-of-bounds array access
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoo
l
aege
isl 0
.
0
1
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
a
dd a rudimen
t
ary manual
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
add some mem
o
ry managemen
t
a
nnotations
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
exp
o
r
t
isl_basic
_
s
e
t
_project_ou
t
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdool
a
ege
isl_basic
_
set_normalize_constra
i
nts:
a
dd missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
is
l
_map_simplify
.
c: remove
unus
e
d vari
a
bles
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_map
.
c: remove unused variabl
e
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_basic
_
set
_
get_hash: initi
a
lize hash value
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
is
l
_a
f
fine_hull
.
c:
remove
unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_h
a
sh
.
c: remove un
u
sed
v
ar
i
able
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
isl_lp
.
c: add
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
isl_e
q
ua
l
ities
.
c
:
drop re
d
undant
er
r
or handling
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
isl_equ
a
lities
.
c:
r
emove unu
s
e
d variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
is
l
_convex_hu
l
l
.
c: remove un
u
s
e
d variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_constrain
t
.
c: rem
o
ve
u
nu
s
ed va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl_tab
.
c: s
i
gn_of_m
i
n
: on
l
y pivot back if we
performe
d
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
ae
g
e
isl_tab
.
c: isl_tab_mark_redundant: fix up
error return
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verd
o
olaege
isl_tab
.
c: rem
o
ve unus
e
d variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl_tab
_
p
ip
.
c: rem
o
ve unused v
a
r
iab
l
e
s
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdool
a
ege
i
sl_v
e
c
.
c: re
m
o
ve u
n
us
e
d
v
ariabl
e
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdool
a
ege
isl_test
.
c: rem
o
ve
unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_assert: validate all argum
e
nts and fix up fallout
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
polyhedron_sample
.
c: ad
d
mi
s
sing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl
_
pip
.
c: check return value of fscanf
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
polyhedron_minimize
.
c
: han
d
le all enumerati
o
n
values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
o
o
laege
c
o
nfig
u
r
e
.
a
c
:
set maximal
o
ptimization com
p
iler fl
a
gs
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl_set
_
copy_basic_set
:
add missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl_set_drop_basic_set: add
missin
g
r
e
turn
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n V
e
r
d
oolaege
i
s
l_set_
c
oalesce: add miss
i
n
g
return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laeg
e
i
s
l_coalesce
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoo
l
aege
is
l
_test:
c
h
eck src
d
ir has been set
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
pr
i
va
t
e
l
y exp
o
rt i
s
l_tab_kill_col
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
i
sl_tab
.
c: fix
u
p
t
o
_col
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olae
g
e
isl_tab
_
pip
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
isl_vec
.
c: add mi
s
sing inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
e
xport isl_seq_cmp
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
fix return
t
ype
of isl
_
constraint_free
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
V
erdoolaege
exp
o
r
t
isl_token_free and
i
s
l
_str
e
am_error
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_list
.
c: add
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
i
s
l_div
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_constra
i
nt
.
c
: ad
d
missing inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoo
l
aege
basis_reduct
i
o
n_tab
.
c:
a
dd missing in
c
lude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_map_no_piplib
.
c
: add
m
is
s
ing in
c
lud
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
d
o
olaeg
e
ax_create_stdin
t
_h
.
m4: protect some limits fro
m
redefi
n
ition
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
d
o
olaeg
e
p
o
ly
t
ope_scan
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
ol
a
e
ge
fix return type of isl_div_fr
e
e
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
isl_map_
s
imp
l
ify
.
c: d
r
op return from
void function
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_map_s
i
mpli
f
y
.
c
:
add
m
i
ssing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl_con
v
e
x_hull
.
c: use isl_s
e
q_get_hash inst
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdool
a
e
ge
d
eclare flexarrays of size 1 to silence sun
com
p
iler
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
chang
e
is
l
_ba
s
i
c
_ma
p
_
e
m
p
ty inte
r
face for cons
i
stency
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdool
a
ege
AX_SUBMOD
U
LE: menti
o
n default type
of library to u
s
e
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
configure
.
a
c
: use
A
X_SUBMODULE for gmp for c
o
nsistency
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
s
eparate out config hea
d
e
r fr
o
m isl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sve
n
Ve
r
doolaege
pil
p
solver: don't ignor
e
feasibil
i
ty t
e
st on c
o
n
text
commit
|
commitdiff
|
tree
2009-09-01
Sven V
e
r
d
o
olaege
is
l
_basic
_
map_gauss
:
tr
y
n
o
t
to re
m
o
v
e
a
n
y
div d
e
f
i
n
it
i
o
n
s
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdool
a
e
ge
add
i
sl_map_su
m
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
a
d
d
isl
_
map_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verdo
o
laege
add isl_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven Verd
o
olaege
add isl_map_
i
s_stri
c
t_subse
t
commit
|
commitdiff
|
tree
2009-08-30
S
ven Verdo
o
la
e
g
e
ad
d
isl_
m
ap_fast
_
is_fixed
commit
|
commitdiff
|
tree
2009-08-30
S
v
en V
e
rdoolaege
add isl_map_identity_like
commit
|
commitdiff
|
tree
2009-08-30
Sven Verd
o
olaeg
e
re
n
a
me
isl_ma
p
_identi
t
y_lik
e
to isl_map_ide
n
tity_like_basic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoola
e
g
e
a
dd isl_polytope_scan
a
ppl
i
cati
o
n
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
V
erdoolaeg
e
isl_
s
eq_normali
z
e: use pre-a
l
located tempor
a
ry
vari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verd
o
olaege
add isl
_
vec_no
r
malize
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
is
l
_seq_normalize: no need to
s
c
a
le down b
y
one
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
add isl_polyhedron_
m
inimize appli
c
ation
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
ege
a
d
d gene
r
alized basis
reduction bas
e
d
I
LP solver
commit
|
commitdiff
|
tree
2009-08-28
Sven
Ver
d
oolaeg
e
add isl_
v
ec_mat_product
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdool
a
eg
e
export isl_v
e
c_c
e
i
l
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
is
l
_b
a
si
c
_set_sample: only perform
b
asi
s
r
e
duction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
l
aege
rename isl_solve_lp to isl_b
a
sic
_
{
m
a
p,set}_so
l
ve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdo
o
l
a
ege
is
l
_solve_lp: op
t
ionally return solution po
i
nt
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
V
erdool
a
ege
exp
o
rt isl_ve
c
header
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_int
_
f
d
iv_q_u
i
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
add isl_v
e
c_rea
d
_from_file
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
i
s
l_
b
asic_map_dr
o
p_redundant_di
v
s
:
als
o
inv
e
stigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Ver
d
oolaege
isl_basic
_
map_apply_{do
m
ain,range}: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_map_si
m
p
lify
.
c: fix t
y
po in commen
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_ba
s
ic_set_
p
roject_ou
t
: drop redundant
di
v
s in result
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdo
o
laege
isl_basic_m
a
p
_
remov
e
: only drop divs
i
f basic map di
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Ver
d
o
olae
g
e
isl_basic_map_detect_equalities
:
explicitly
kee
p
tra
c
k
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sve
n
V
e
r
d
oola
e
g
e
isl_basic_map_extend
_
dim: ke
e
p
hol
d
of sam
p
l
e if
d
i
mensio
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sve
n
Verdoolaege
isl_
t
ab_min: read off
a
ll information from table
a
u
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Ve
r
do
o
laege
is
l
_ta
b
_add_v
a
lid_eq: keep
t
rack of whether equa
l
it
y
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolae
g
e
configure
.
a
c: no longer use p
i
plib
by default
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add an intern
a
l
p
a
rametric i
n
tege
r
li
n
ear pr
o
gram solver
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
erdoolaege
is
l
_
mat_e
x
tend: make sure the numbe
r
o
f rows neve
r
.
.
.
commit
|
commitdiff
|
tree
next