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 0.01
2009-09-06
S
ven Verdoola
e
ge
isl 0
.
0
1
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
add a rudi
m
e
n
tary manual
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
a
dd some
m
emory management a
n
notation
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
exp
o
rt
i
sl
_
b
a
sic_set_pr
o
ject_out
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
isl
_
basic_se
t
_no
r
malize_cons
t
r
aints: add miss
i
n
g return
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdo
o
lae
g
e
isl_map_si
m
plify
.
c: remove un
u
sed
variables
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
isl_map
.
c: rem
o
ve
u
nused variable
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
lae
g
e
isl_basic_set_
g
et_has
h
: initialize hash value
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdo
o
laege
isl_affine_hull
.
c: remov
e
unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_ha
s
h
.
c
:
remove un
u
sed variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_l
p
.
c: a
d
d missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_equali
t
i
e
s
.
c:
drop redundant error handling
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl_e
q
ualities
.
c: remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
is
l
_convex
_
hull
.
c: remov
e
unused va
r
ia
b
l
e
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
i
sl_con
s
tra
i
nt
.
c: remove unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
V
erdo
o
laege
isl_tab
.
c: sign_
o
f_mi
n
:
o
nly pivot bac
k
i
f
w
e
performed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
r
d
o
o
laege
i
sl_tab
.
c:
i
sl_tab_
m
ark
_
redundant: f
i
x up error retu
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoola
e
ge
isl_tab
.
c
:
remove unuse
d
varia
b
les
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdo
o
laege
isl_tab_pip
.
c: remove
u
nused
v
a
riables
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaeg
e
isl_vec
.
c: remove unused varia
b
le
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaeg
e
isl_test
.
c: re
m
ove u
n
use
d
variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
is
l
_asser
t
: valid
a
te all argument
s
a
nd fix up fallout
commit
|
commitdiff
|
tree
2009-09-06
S
v
en V
e
r
d
o
o
lae
g
e
polyhedro
n
_
sam
p
le
.
c: add miss
i
ng i
n
c
lude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_
pi
p
.
c: check ret
u
rn val
u
e
o
f fscanf
commit
|
commitdiff
|
tree
2009-09-06
S
ven
V
erdoolaege
polyhedron_minimize
.
c: handle a
l
l e
n
um
e
rat
i
o
n values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
S
v
en V
e
rdoolaege
c
o
n
f
igure
.
ac: s
e
t ma
x
imal optimizatio
n
compiler fl
a
gs
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_set_
c
opy_basic_
s
et: add m
i
s
s
ing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
o
lae
g
e
isl_set_drop_basic_set: ad
d
missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
o
olaege
isl_s
e
t_co
a
l
esce: add missing
return
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolae
g
e
isl_
c
oales
c
e
.
c: a
d
d m
i
ssing
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
do
o
l
a
e
ge
isl_tes
t
: ch
e
c
k srcdir has
been set
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verdo
o
laege
privately export is
l
_tab_kill_col
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoo
l
aege
isl_tab
.
c: fix up to_co
l
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
isl_tab_pip
.
c: add m
i
ssing i
n
c
lu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
l
a
ege
isl_vec
.
c: add m
i
ssing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
e
xport isl_
s
eq_cm
p
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
fix return type of
isl_constraint_free
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
export isl_token_free an
d
isl_stream_
e
rro
r
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
er
d
oolaege
isl_list
.
c: add mis
s
ing in
c
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verd
o
olaege
i
s
l_div
.
c: add
m
iss
i
ng
inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
s
l
_
cons
t
ra
i
nt
.
c:
a
dd mi
s
sing
include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
ba
s
is_reduc
t
ion_tab
.
c: add
mis
s
ing incl
u
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl_ma
p
_no
_
piplib
.
c
:
a
dd mi
s
sing include
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdo
o
laege
ax_create_stdint_
h
.
m4: protect s
o
me limits fr
o
m redefini
t
ion
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoo
l
aege
p
o
lytope_scan
.
c
:
a
d
d
missing i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
fix
r
etu
r
n
t
ype
o
f isl
_
div_free
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl_
m
ap_simpl
i
f
y
.
c
:
drop r
e
tur
n
fro
m
void function
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_map_
s
implify
.
c: add missing i
n
clu
d
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdoolaeg
e
isl_convex_h
u
ll
.
c: use isl_seq_get_hash instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
S
ven
Verdoolaege
dec
l
are flexa
r
r
ays of
s
ize 1 to
silen
c
e
sun co
m
pi
l
e
r
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
change isl_basi
c
_map_
e
mpty interfac
e
fo
r
c
onsistency
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
AX_
S
UBMODULE: m
e
ntio
n
d
efaul
t
type of library to use
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
configure
.
ac:
use AX_SUBMOD
U
LE for gm
p
for consist
e
ncy
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
separate
out
config header
f
r
om
isl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven Verdoolaege
pilp
s
olver
:
don
'
t ignor
e
feasibi
l
i
t
y
test on
c
ontext
commit
|
commitdiff
|
tree
2009-09-01
S
v
en
Verdo
o
laege
isl_b
a
s
i
c_m
a
p_gauss:
t
ry not to remo
v
e a
n
y div definiti
o
ns
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verdoolaege
a
dd isl_map_
s
um
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verdo
o
laege
add isl_map_floord
i
v
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
ad
d
i
s
l_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaeg
e
add
isl
_
ma
p
_is_strict_subs
e
t
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdool
a
ege
add is
l
_
map_fast_is_fixed
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdoolaege
add isl
_
map_identity_like
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoo
l
aege
rename
i
sl_map
_
identity_like to isl_map_identity_like_ba
s
ic_map
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
V
erd
o
olaeg
e
add i
s
l_polytope
_
sc
a
n applica
t
ion
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
isl_seq_normalize:
u
s
e
p
r
e-al
l
ocated te
m
porary variable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolaege
add isl_vec_normalize
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoola
e
ge
isl_
s
eq
_
normalize: no need to scal
e
dow
n
b
y
one
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolae
g
e
ad
d
isl_polyhedron_minimize applica
t
ion
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add gen
e
r
a
lized
b
a
sis reduction based IL
P
s
olver
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaege
a
dd isl_vec_mat_p
r
oduc
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaege
e
x
port
i
sl_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_bas
i
c
_set_sample: only
perform basis red
u
c
tion
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n
Verd
o
olaege
renam
e
isl_solve_lp t
o
i
sl_basic_{
m
a
p,set}_solve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
o
o
laege
is
l
_solve_lp: optionally return solu
t
ion poi
n
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
e
x
port is
l
_vec header
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolae
g
e
a
d
d
isl_int
_
fdi
v
_q_u
i
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
add
i
s
l_
v
e
c_read_from_fi
l
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaeg
e
isl_basi
c
_map_drop_red
u
n
d
ant_divs
:
also investiga
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdo
o
la
e
ge
isl
_
basic_map_appl
y
_{domain,ran
g
e}: drop re
d
un
d
ant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_map_simplify
.
c: fix typo i
n
c
o
m
m
e
nt
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaeg
e
isl_
b
a
s
ic_set_project_out: drop redundant divs in result
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolae
g
e
is
l
_b
a
sic_map_remo
v
e:
o
n
ly drop divs if basic map did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_basic_m
a
p
_detect_e
q
ualities: e
x
plicitly keep t
r
a
ck
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
ven Verdoolaege
isl_b
a
sic
_
ma
p
_
e
x
t
e
nd_dim:
keep
ho
l
d of sa
m
pl
e
if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoola
e
g
e
is
l
_
t
ab_min: read off all
i
nformation from tab
l
eau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
v
en Verd
o
olae
g
e
isl_tab_
a
dd_val
i
d_
e
q: keep t
r
a
c
k
of whet
h
er equali
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ve
r
doolaege
configure
.
ac: no l
o
nger use
piplib by de
f
au
l
t
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
add an internal pa
r
ametric
i
nteger linear pro
g
r
am
solver
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_mat_exte
n
d: m
a
ke
s
ur
e
the number of rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verd
o
ol
a
e
g
e
isl_affine_hull
.
c: o
n
ly construc
t
a
ffine h
u
ll in b
o
unded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
erdoolaege
isl_
t
a
b
:
a
dd
s
upport
for k
e
eping
t
rack of samples
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_tab: optiona
l
ly
k
ee
p
track o
f
row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_tab: add
isl_basic_set field
f
or op
t
ionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab:
i
ntroduce
support f
o
r "big
pa
r
ameters"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl
_
t
a
b: allow in
t
rodu
c
tion
of extr
a
variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaeg
e
isl_tab: intr
o
duce parameters a
n
d
d
i
vs
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl
_
tab
.
h: fix typo in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
i
s
l_tab: allow saving and restor
i
ng the
c
omplete basi
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_tab: pr
i
vately export some f
u
nctionality
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
isl_
t
ab: store undo
a
rgument in a
union for
f
uture
.
.
.
commit
|
commitdiff
|
tree
next