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
fix return type of isl_div_free
2009-09-06
Sven Verdoo
l
aege
fix
r
eturn type of i
s
l_d
i
v_fre
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl_map_simplify
.
c: drop return
f
rom void
f
unction
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aeg
e
isl
_
map_s
i
m
p
lify
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verd
o
olaege
isl_con
v
ex
_
hu
l
l
.
c
:
use isl_seq_get_hash inst
e
a
d
of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olae
g
e
declare flexarrays of
s
ize
1
to si
l
ence sun compiler
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
V
erdoolaege
change
isl_basic_map_empty in
t
e
r
face
for consistency
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoo
l
a
ege
A
X
_SUBMOD
U
LE: m
e
ntion default type of
library to use
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
confi
g
ure
.
ac: use
A
X_SUBMODULE
for gmp
f
o
r co
n
sistenc
y
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
separate out co
n
fig
h
eader from isl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sve
n
V
e
rdool
a
e
g
e
pilp solver: d
o
n't ig
n
ore feasibility test on con
t
e
x
t
commit
|
commitdiff
|
tree
2009-09-01
S
v
e
n
V
erd
o
ol
a
ege
is
l
_basic_
m
ap_ga
u
ss: try not to r
e
move any di
v
de
f
initions
commit
|
commitdiff
|
tree
2009-08-30
S
v
e
n
Verdoolaege
add isl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdo
o
la
e
g
e
add isl_map_floordiv
commit
|
commitdiff
|
tree
2009-08-30
S
v
en
V
erdoola
e
ge
add isl_map_ne
g
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Verdo
o
l
a
e
g
e
add isl_map_is_str
i
ct_subse
t
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl_map_fast_is_fixed
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
ad
d
isl_map_identity_like
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdoolae
g
e
re
n
ame isl
_
map_id
e
ntity_like to
i
sl_
m
ap_identity_like_basic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
o
olaege
add isl
_
polyt
o
pe_scan application
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verd
o
olaege
i
s
l
_seq_
n
ormalize:
u
se pre-allocated temporary vari
a
bl
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoo
l
aege
a
dd isl_ve
c
_normalize
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Ve
r
do
o
laege
isl_se
q
_normal
i
ze: no n
e
e
d
to s
c
ale do
w
n
b
y o
n
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
ege
a
d
d isl_polyhe
d
ron_min
i
mize a
p
plica
t
io
n
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolaege
add
generalized basis r
e
duction
b
ased ILP solver
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
a
d
d isl_vec_mat_product
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
laege
exp
o
rt isl_ve
c
_
ceil
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
isl
_
basic_
s
et_sample: on
l
y perform
b
asis reduction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolaege
rename isl_solve_lp to
i
sl_basic_{map
,
set}_
s
olve
_
lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_solve
_
lp:
o
p
t
ionally return soluti
o
n point
commit
|
commitdiff
|
tree
2009-08-28
S
ven Ve
r
d
o
ol
a
ege
export isl
_
vec
h
e
ader
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaege
add is
l
_int_fdiv_q_u
i
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
V
e
rdoolaege
add
i
s
l_v
e
c_r
e
ad_
f
rom_fi
l
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
isl_basic_map
_
drop_re
d
undant_divs: also investigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaege
isl_basic_map_app
l
y
_
{do
m
ain,rang
e
}: dro
p
redu
n
d
a
nt
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
Verdoolaege
isl_
m
a
p
_
simplify
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoo
l
a
ege
isl_b
a
sic_set_project_out: drop redundan
t
divs in result
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_
b
asic_map_r
e
move: on
l
y drop
d
i
vs i
f
basic map
d
id
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdool
a
ege
isl_basic_ma
p
_
de
t
ect_equaliti
e
s: exp
l
i
citly k
e
ep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_basic_
m
a
p_extend_di
m
:
keep hold of sample if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sve
n
Verdoolae
g
e
isl_tab_min: read off all informati
o
n f
r
om tablea
u
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verd
o
olaege
isl
_
tab_ad
d
_valid
_
e
q
: keep tr
a
ck of
wheth
e
r equalit
y
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
c
o
nfigu
r
e
.
a
c
:
no lo
n
ge
r
u
se
p
i
plib by default
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolae
g
e
add
an internal param
e
tric integer l
i
near program solver
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_
m
at_extend
:
m
a
ke sure the number of ro
w
s neve
r
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rd
o
olae
g
e
isl
_
a
f
fine_h
u
ll
.
c: only
construct
a
ffine hu
l
l in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ve
r
doola
e
g
e
is
l
_tab: add support for keepin
g
track
o
f sample
s
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
rdoolaeg
e
isl_tab:
optionally keep track of row si
g
ns
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
la
e
ge
i
s
l_tab: add isl
_
basic_set field for optionally kee
p
ing
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ve
n
Verdoolae
g
e
isl_t
a
b: i
n
troduce support for
"
big parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
d
o
olae
g
e
i
sl_tab: allo
w
i
n
t
roduction of ext
r
a variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_tab: introduce pa
r
a
m
eters and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdoolaege
isl_tab
.
h
: fix ty
p
o in comment
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaeg
e
isl_ta
b
: allow saving and restoring the co
m
plete basis
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaeg
e
isl_tab:
priv
a
tel
y
exp
o
rt some functionali
t
y
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_tab: store
und
o
arg
u
m
ent in a union
fo
r
future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
erdoola
e
ge
add isl_basic_set_sample_bounde
d
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
privately expor
t
isl_basic_
s
et_order_divs
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaeg
e
isl_m
a
p_simpl
i
fy
.
c: remove_
d
ependent_vars: o
n
ly
remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdoo
l
aege
isl_b
a
s
i
c_map_compute_
d
ivs
:
use isl_basic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl
_
pip_bas
i
c_map_compute_
d
iv
s
: d
o
n
'
t turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
Verdoola
e
ge
p
ri
v
at
e
ly e
x
port isl_bas
i
c_ma
p
_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_{s
e
t,m
a
p}_ad
d
: don't a
d
d obvio
u
sly empty
basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdool
a
ege
co
m
bine is
l
_
p
ip
_
bas
i
c_map_le
x
{min,max} i
n
to isl_pip
_
basic
_
ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n V
e
rdoolaege
make piplib
h
eaders pri
v
ate
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
laege
isl_mat: keep
track of
the actual
n
umber of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaeg
e
isl_tab_pivot: fi
x
typo that prevented normalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
add isl_
b
asic_set_p
o
s
i
t
i
ve_ortha
n
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
do
o
l
aege
ad
d
isl
_
ba
s
ic_set_partial_lex{min,ma
x
}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
rename isl
_
basic_map_lex{min
,
max} to is
l
_basic_map_
p
arti
a
l
_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
add isl_basic_set_free_d
i
v
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
erdoolaege
isl_s
e
t_di
m
: sup
p
ort is
l
_dim_all
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdoolaege
isl_tab: store index o
f
variable in undo rec
o
rd instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
a
dd
isl_{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verd
o
olaege
add
i
sl
_
ma
p
_get
_
dim
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verd
o
ol
a
ege
add i
s
l_basi
c
_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n
Verdool
a
eg
e
add
i
s
l_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
aege
export isl_ma
t
_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verd
o
olaege
isl_tab
.
c: mark_redundant: only mar
k
variable
n
o
nneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n
Verdoolaege
isl_tab
.
c: to_ro
w
:
a
l
low pi
v
oting in
a
rbit
r
a
r
y
dire
c
tion
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolaege
isl_tab
.
c: simpl
i
fy code by letting m
a
rk_empty ret
u
rn
t
ab
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoola
e
g
e
add isl
_
seq
_
las
t
_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoolaege
i
sl_ta
b
.
c: simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
V
e
rdoola
e
ge
isl_tab
.
c: extract all
o
cat
e
_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
priva
t
ely
export isl_b
a
sic_s
e
t_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
config
u
r
e
.
a
c
: exp
l
icitly set
A
C_CONFIG_AUX
_
DI
R
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
erdoolaege
c
o
nvex
_
hull: coalesce set
d
ur
i
ng facet computat
i
o
n
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
isl_map_co
a
l
esce: don't
d
rop
r
ati
o
nal
f
lag from
r
es
u
lt
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
S
ve
n
Verdoolae
g
e
isl_tab_cone_is_bounded: start
o
ve
r
after computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaege
i
sl_basic
_
se
t
_dim_residue
_
class
:
only
s
et *modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sve
n
Ver
d
oolaege
add is
l
_b
a
s
i
c_set_fast_dim
_
i
s
_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
i
s
l_
t
ab: dr
o
p isl_
c
tx argu
m
en
t
where not absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
Verdoolaege
i
s
l_ma
t
:
k
e
ep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
i
s
l
_
basic_set
_
s
a
mpl
e
: don'
t
p
r
oje
c
t out lineal
i
ty
s
pace
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n
Verdoolaege
isl_b
a
s
ic_
m
ap_fix_pos:
m
icro-optimizat
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
mov
e
isl_basic_set_sk
e
w_to_po
s
itive_orthant to isl
_
sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolae
g
e
i
s
l_tab
.
c: fix typo i
n
com
m
ent
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
sl_basic_set_sampl
e
: break early if
s
a
mple foun
d
in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdool
a
ege
export isl_tab_
s
a
m
ple_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaeg
e
isl
_
basic_se
t
_
s
amp
l
e: check sample stored by is
l
_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaeg
e
isl_b
a
sic
_
map_is_empty: remove sta
l
e sample
commit
|
commitdiff
|
tree
next