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_map_no_piplib.c: add missing include
2009-09-06
Sven V
e
rdo
o
la
e
ge
isl_ma
p
_no
_
pip
l
ib
.
c: add miss
i
ng
include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
ax_crea
t
e_s
t
dint_h
.
m
4
: pro
t
ect some limits
from redefinit
i
on
commit
|
commitdiff
|
tree
2009-09-06
S
ve
n
Verdoola
e
ge
polyt
o
pe_scan
.
c: add missing includ
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
ool
a
ege
fix retu
r
n
type of i
s
l_div_f
r
e
e
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolae
g
e
isl_map_simplify
.
c: drop r
e
turn
from voi
d
function
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl_
m
a
p_simplify
.
c:
add missin
g
include
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Ve
r
doolaege
isl_convex_hull
.
c: use isl_seq_g
e
t
_
ha
s
h
instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
declare flexarrays of si
z
e 1 to silence sun compiler
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ve
r
dool
a
ege
change i
s
l_basic_map_emp
t
y inte
r
face for consist
e
ncy
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
AX
_
SUBMO
D
ULE: ment
i
on default
type of libr
a
ry to
u
se
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaeg
e
configure
.
a
c: u
s
e A
X
_SU
B
MODULE for gmp
f
or consiste
n
cy
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
separa
t
e out con
f
ig header f
r
om isl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven Verdo
o
laeg
e
pi
l
p solv
e
r: don't ignore
f
e
as
i
b
ility test on context
commit
|
commitdiff
|
tree
2009-09-01
Sven Verdoolaege
isl_basic
_
map_gaus
s
: try not to
r
emov
e
a
n
y div definitions
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add
isl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
S
ven Verd
o
olaege
add isl
_
map_
f
loordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
ad
d
isl_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven Ver
d
oolaege
add isl_
m
ap_is_strict_subset
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoo
l
a
ege
add isl_map
_
fast_is_fi
x
e
d
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoo
l
a
e
g
e
a
dd isl_ma
p
_ident
i
t
y_like
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaeg
e
rename
i
sl_map_ident
i
ty_like to isl_map_i
d
entity_l
i
ke_basic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
o
o
l
a
eg
e
add isl_poly
t
ope_scan application
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
sl_
s
eq_
n
orma
l
ize: use pre-
a
l
l
ocated temporary
v
ariable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verd
o
o
l
aege
add isl_vec_normalize
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
laege
isl_seq
_
nor
m
alize: no need
t
o
scale
dow
n
b
y on
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
a
d
d
i
sl_polyhedro
n
_
m
in
i
mize appl
i
cati
o
n
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
add gener
a
lized basis reduc
t
i
on
based ILP sol
v
er
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
e
ge
add isl_
v
ec_mat_prod
u
ct
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaeg
e
expor
t
i
s
l_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
d
oo
l
aege
i
s
l_basic_set_sample:
only per
f
o
r
m basis redu
c
tion
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
Ver
d
oolaege
rename i
s
l_solve_lp to i
s
l_basic_{map,
s
e
t
}_sol
v
e_lp
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
isl
_
so
l
ve_lp: optionally retu
r
n
s
olution point
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
V
erdoolaege
export isl_vec
header
commit
|
commitdiff
|
tree
2009-08-28
S
ven Ver
d
o
o
la
e
ge
a
d
d
i
sl_
i
nt_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdo
o
laege
add
isl_
v
ec_read_from
_
file
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolaege
isl
_
basic_
m
ap_drop_redund
a
n
t_divs: also
inv
e
stigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
r
d
oolaege
isl_ba
s
ic_
m
ap_app
l
y_{
d
omai
n
,range}: drop redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdool
a
ege
isl_map
_
simplif
y
.
c: f
i
x typo in comment
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
isl_basic_set_p
r
oject_out: drop r
e
dundant divs in r
e
s
ult
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoola
e
ge
is
l
_basic_map
_
remo
v
e: only
drop
div
s
if basic map did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
v
en V
e
rdool
a
e
g
e
isl_basic_map_de
t
ect_equaliti
e
s
: explicitly keep
trac
k
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven
V
er
d
oolaege
isl
_
b
asic_map
_
e
xtend_dim: keep hold of s
a
mple if di
m
ension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
ven
Verdoolaege
isl_
t
a
b
_min
:
r
e
ad o
f
f all inform
a
tion from ta
b
leau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verd
o
ola
e
g
e
isl_tab_add_valid_eq: keep
t
rack of whether equali
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
con
f
igure
.
ac: no longer us
e
pipli
b
by defa
u
lt
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
add a
n
inter
n
al param
e
tric integer linear
p
rogr
a
m so
l
v
e
r
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaeg
e
isl_mat_e
x
tend: mak
e
s
ure the
numb
e
r of r
o
ws neve
r
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdo
o
laege
i
sl
_
a
f
fine_
h
ul
l
.
c: only const
r
uct a
f
fine hull i
n
b
o
unded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
e
rdoolaege
isl_ta
b
: add
s
upp
o
rt for kee
p
in
g
track of s
a
m
ples
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdo
o
l
ae
g
e
isl_tab: optionally keep track of row
s
ig
n
s
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
oolaege
isl_t
a
b
:
add
isl_basic_s
e
t field
for
o
ptionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
:
introduce su
p
p
o
rt
for "big p
a
r
am
e
ter
s
"
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
olaege
i
s
l_tab: allow introduction
o
f extra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_tab: in
t
roduce
par
a
meters and divs
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
rdoolaege
isl_tab
.
h: fix typo in comment
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ver
d
o
ola
e
g
e
i
s
l
_
tab: allow saving
and restor
i
ng the complete b
a
sis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
i
s
l
_
tab: privately export so
m
e functi
o
nality
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolae
g
e
isl_tab
:
st
o
re u
n
do
a
r
g
u
ment in a union for f
u
ture
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
add i
s
l_basic_set_sample_bounded
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
erdoolaege
p
r
ivately
e
x
p
ort isl_basi
c
_set_or
d
e
r
_d
i
vs
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_ma
p
_simpl
i
fy
.
c: remo
v
e_d
e
penden
t
_vars: only remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_b
a
sic_map_comp
u
te
_
divs
:
use is
l
_
basic_s
e
t_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdo
o
la
e
ge
isl_
p
ip_basic_ma
p
_
c
om
p
ute_divs
:
don't turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
p
r
iva
t
ely export isl_basi
c
_map_swap
_
div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
olae
g
e
isl_
{
set,map}_add: don'
t
ad
d
obviously
empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
c
omb
i
ne isl_pip_basic_map_lex{
m
i
n
,max} in
t
o
i
sl_pip_basic_m
a
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoola
e
ge
make piplib
h
eaders
private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
a
ege
isl_mat: keep track
o
f
the actual number of co
l
um
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
a
e
ge
isl_tab_pivo
t
: f
i
x typo tha
t
pre
v
ented norma
l
ization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erd
o
ola
e
ge
add
i
sl_basi
c
_set_po
s
itive_orthant
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoo
l
aege
a
d
d isl_basic_
s
et_partial_l
e
x{min,
m
a
x}
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ve
r
d
oola
e
g
e
rename
i
sl_basic_map_lex{min,
m
ax}
t
o isl_basic_ma
p
_partia
l
_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaeg
e
add i
s
l
_basic_set_free_di
v
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_set_dim: support isl_di
m
_al
l
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_tab: store index of variable
in
un
d
o record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaeg
e
ad
d
i
sl_{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
o
ola
e
ge
add isl_ma
p
_get
_
dim
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
a
d
d isl_basic_map_g
e
t_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolaege
add i
s
l_tab_du
p
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoola
e
ge
export isl_
m
at_dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaege
isl_
t
ab
.
c
:
mar
k
_r
e
dundant: only mark var
i
a
ble nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erd
o
olaege
i
s
l_tab
.
c: to_row: allow pivoting in arb
i
tra
r
y
direction
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rd
o
o
l
a
e
ge
isl_ta
b
.
c: simplify code by let
t
ing mark_empty return
tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
ad
d
isl_seq_last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolaege
isl_ta
b
.
c
:
sim
p
l
ify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verd
o
ola
e
ge
i
s
l_ta
b
.
c: extract allocate_co
n
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
pr
i
vat
e
ly exp
o
rt i
s
l
_
b
a
sic_set_set_rati
o
n
a
l
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Ver
d
oolaege
co
n
f
i
gure
.
ac: ex
p
lici
t
ly set AC_CONFIG_AUX_D
I
R
commit
|
commitdiff
|
tree
2009-07-21
S
ven Ver
d
ool
a
e
g
e
conve
x
_hull: coalesce
set duri
n
g
f
acet comp
u
tati
o
n
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaeg
e
isl_map_coalesce
:
do
n
'
t drop r
a
tional flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n
Verdoola
e
ge
isl_tab_cone_is_bou
n
ded: start o
v
er aft
e
r
computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaege
isl_basic_set_dim_r
e
sid
u
e
_
cla
s
s: only set
*modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdoolaeg
e
add is
l
_
basic_se
t
_
fast_d
i
m_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_
t
ab: dro
p
isl_
c
tx argume
n
t wher
e
not absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaeg
e
isl_mat: k
e
e
p
track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
S
ven Verdool
a
ege
i
s
l_basic_set_sample: do
n
't
p
roject out linea
l
ity
s
pace
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_map_fix_po
s
:
micro-optim
i
zation
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdo
o
laege
move isl_basi
c
_
set
_
sk
e
w_to_positive
_
orthant to isl_sam
p
le
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
r
do
o
la
e
ge
isl_
t
a
b
.
c
:
fix typo
i
n comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
isl_basic_set_sample: break
e
arly if sample found in
.
.
.
commit
|
commitdiff
|
tree
next