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
privately export isl_basic_map_contains
2009-10-02
Sv
e
n Verdoolaege
add isl_map_foreach_basic_
m
ap
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
co
n
fi
g
u
re
.
ac:
fix cut-and-paste error in
o
r
i
g
i
n
al commit
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaeg
e
ad
d
isl_in
t
_ge
t
_si
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaeg
e
exp
o
rt is
l
_set_sample
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
laege
ad
d
isl_ba
s
i
c_set_
u
n
i
verse_like_set
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verdoolae
g
e
add isl_set_is_
s
trict_subset
commit
|
commitdiff
|
tree
2009-09-20
Sven Verd
o
olaeg
e
add isl
_
set_universe_like
commit
|
commitdiff
|
tree
2009-09-20
Sven Ve
r
doolaege
AX_SUBMODUL
E
: set PKG_CONFIG_P
A
TH
commit
|
commitdiff
|
tree
2009-09-20
Sven Ver
d
o
ola
e
ge
create pkg-config file
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
AX
_
SUBMODULE
:
d
r
op options
that
a
re meaningles
s
given
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven Verdoolaege
i
s
l
_b
a
sic_map_from_constraint: r
e
turn copy of bmap
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven Verdoolaege
d
oc: fix descri
p
t
i
on of lex
i
cograhpic order
r
elations
commit
|
commitdiff
|
tree
2009-09-16
Sven Verdo
o
laege
add isl_map_lex_le a
n
d isl_m
a
p_lex_ge
commit
|
commitdiff
|
tree
2009-09-14
Sven Verdoolaege
e
x
port isl_basi
c
_
m
ap
_
gist
commit
|
commitdiff
|
tree
2009-09-14
Sven Verdoolaege
a
d
d isl_basic
_
map_sample and
i
sl_map_sample
commit
|
commitdiff
|
tree
2009-09-13
S
v
en Verdoo
l
aege
isl_sample
.
c
:
mov
e
isl_basic_
s
et_from_vec from isl_aff
i
ne_hull
.
c
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoolaege
rename isl_basi
c
_set_sampl
e
t
o i
s
l
_
basic_set_sa
m
ple
_
vec
commit
|
commitdiff
|
tree
2009-09-13
S
v
en V
e
rdoolaeg
e
make
some internal functions stat
i
c
commit
|
commitdiff
|
tree
2009-09-13
Sven Ve
r
doolaeg
e
isl_b
a
si
c
_map_add
_
constraint: handl
e
constr
a
ints
o
b
tained
.
.
.
commit
|
commitdiff
|
tree
2009-09-13
S
ven V
e
rdoolaege
a
d
d
isl_basic_map_from_cons
t
raint
commit
|
commitdiff
|
tree
2009-09-12
Sven Ver
d
oolaege
isl_map_simpli
f
y
.
c: break if set turns out t
o
be empty
.
.
.
commit
|
commitdiff
|
tree
2009-09-12
Sven Verdoolaege
add is
l
_basic_map_uni
v
e
rse_like
commit
|
commitdiff
|
tree
2009-09-09
Sven Verdoolaege
add isl_map_lex_lt and
isl_map_le
x
_gt
commit
|
commitdiff
|
tree
2009-09-09
Sven Verd
o
olae
g
e
isl_tab
.
c
: cut_to_hyp
e
rplane: do nothing
i
f
s
elected
.
.
.
commit
|
commitdiff
|
tree
2009-09-09
Sv
e
n Verdoolaege
reverse meaning of isl_b
a
sic_
m
ap_{less,more}
_
at
commit
|
commitdiff
|
tree
2009-09-08
S
ve
n
V
e
r
doolae
g
e
isl_ta
b
_dup:
a
void out-of-b
o
unds array ac
c
ess
commit
|
commitdiff
|
tree
2009-09-06
S
ven
V
e
r
d
oolaege
i
s
l
0
.
0
1
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdool
a
ege
add a ru
d
i
me
n
t
ar
y
manual
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
ad
d
s
o
me memory management annotation
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
export isl_bas
i
c_set_proj
e
ct_o
u
t
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
V
erdool
a
ege
isl
_
b
a
s
ic_set
_
normalize_constra
i
n
ts:
add missin
g
return
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rd
o
olaege
i
sl_map_simpl
i
f
y
.
c: remo
v
e
u
n
u
sed variables
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdool
a
ege
i
s
l
_map
.
c: re
m
o
v
e u
n
us
e
d varia
b
les
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Ver
d
oolae
g
e
isl_b
a
sic_set_get_
h
as
h
:
i
nitial
i
ze
h
ash value
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_a
f
fin
e
_
hu
l
l
.
c
:
remove unu
s
e
d v
a
riable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
lae
g
e
isl
_
hash
.
c: remove
unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
isl_lp
.
c: add missing in
c
lud
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_equalities
.
c
: drop
r
edundan
t
error h
a
ndling
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rd
o
o
l
a
e
g
e
isl_equalitie
s
.
c
:
remove unused variab
l
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
V
e
rdo
o
laege
isl_
c
onvex_hull
.
c
:
r
e
m
o
ve unus
e
d variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_constraint
.
c: remove
u
nused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
g
e
isl_tab
.
c
:
sig
n
_of_min: only
p
i
vot back if w
e
performed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdool
a
ege
isl_tab
.
c: isl_ta
b
_mark_redundan
t
:
fix up error retu
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
isl_tab
.
c:
r
emove u
n
used va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_ta
b
_pip
.
c: remove unused vari
a
bles
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_
vec
.
c:
remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Ver
d
ool
a
ege
isl_test
.
c:
remove
u
nus
e
d variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
s
l_assert: validate all
a
rgum
e
n
t
s
and
f
ix up
f
allout
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
polyhedron_sa
m
ple
.
c: a
d
d missing in
c
lude
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
i
s
l_pip
.
c: check return value of
f
scanf
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
polyhedron_minimize
.
c: handle all
e
numeration v
a
lue
s
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
co
n
f
i
gure
.
a
c: set maxi
m
al
o
ptimization compiler
f
lags
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erd
o
olaege
isl
_
set_co
p
y_basic_set: add mis
s
ing return
commit
|
commitdiff
|
tree
2009-09-06
S
ven
V
e
r
doolaeg
e
i
s
l
_set_d
r
o
p_basic_set
:
add missing r
e
turn
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
rdoolae
g
e
isl_
s
et_coalesce: add
missing ret
u
rn
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
is
l
_coa
l
es
c
e
.
c: a
d
d missing in
c
lud
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaeg
e
isl_test: check srcdir
h
as bee
n
se
t
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
Verd
o
olaege
privately export isl_tab_k
i
ll_col
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verd
o
o
lae
g
e
isl_tab
.
c: fix up to_
c
o
l
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_tab_pip
.
c
:
add missing in
c
l
u
de
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaeg
e
isl_ve
c
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Ve
r
doola
e
ge
export i
s
l_seq_cmp
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
g
e
f
i
x r
e
t
u
rn type
o
f isl_constraint_free
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
export isl_token_f
r
ee and isl_str
e
am_error
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaeg
e
isl
_
list
.
c: add missing in
c
lude
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoola
e
ge
i
sl_div
.
c: add
missi
n
g in
c
lude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_cons
t
raint
.
c:
a
d
d missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
basis_reduction_tab
.
c:
ad
d
mi
s
s
i
ng
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_map_no_
p
iplib
.
c: a
d
d
m
issing inc
l
ud
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
Verdoolaege
ax_
c
reate_st
d
int_h
.
m4: prot
e
ct som
e
limits from redefinit
i
on
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdool
a
e
ge
po
l
ytope_sca
n
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verd
o
olaeg
e
f
i
x retu
r
n type of isl
_
div_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
is
l
_map_simplify
.
c:
drop return from void function
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
isl_map
_
simplify
.
c: add
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_
c
onvex_
h
u
l
l
.
c: use isl_
s
eq_get_hash instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
decla
r
e f
l
exarrays of size 1 to
s
ile
n
ce
sun
compiler
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
Ve
r
doolaege
change
is
l
_basic_map_empty
interface
for co
n
sist
e
ncy
commit
|
commitdiff
|
tree
2009-09-06
S
ven Ver
d
oolaege
AX_SUBMODULE: mention default
type of library to use
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaeg
e
configure
.
a
c
: use AX_SUBMODULE f
o
r
g
m
p for consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolae
g
e
sepa
r
ate o
u
t config header from
i
sl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven Verdo
o
laege
pil
p
solver: don't ignore feasibil
i
ty test on context
commit
|
commitdiff
|
tree
2009-09-01
Sv
e
n Verdoola
e
ge
isl_basic_map_gauss:
try
n
ot t
o
remov
e
any div
def
i
nitions
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaeg
e
add is
l
_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
a
dd isl_map_f
l
oo
r
div
commit
|
commitdiff
|
tree
2009-08-30
Sven Ver
d
oolaege
add isl_
m
ap_ne
g
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl_map_
i
s_strict_subset
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoo
l
aege
add isl_
m
ap_fast_is_fixe
d
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdoo
l
aeg
e
a
d
d isl_map_id
e
ntity_like
commit
|
commitdiff
|
tree
2009-08-30
S
ven Verdool
a
ege
rename i
s
l_m
a
p
_identity_like to i
s
l_map_identity_
l
ike_ba
s
i
c_map
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl
_
poly
t
ope_scan
app
l
ication
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaeg
e
i
sl_seq_normalize: use pr
e
-allo
c
ated temporary v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
ve
n
Verdoolaege
add isl_
v
ec_n
o
rmaliz
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
isl_seq_normalize: no nee
d
to
scale dow
n
by one
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n Verdoolaege
add isl_
p
olyhedron_m
i
nimize
a
p
pl
i
cation
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add g
e
neraliz
e
d basis red
u
c
tio
n
b
a
sed ILP so
l
ver
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
a
dd isl_
v
e
c
_
m
at
_
pro
d
uct
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
V
erdoolaege
export is
l
_
v
ec_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Ve
r
dool
a
ege
isl_basic_set_
s
ample:
on
l
y perform basis reduct
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaeg
e
renam
e
isl_s
o
lve_lp to isl
_
bas
i
c_{map,set}_sol
v
e_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_solve_lp:
optional
l
y return solution
p
oint
commit
|
commitdiff
|
tree
next