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
add isl_seq_last_non_zero
2009-08-04
Sven Verdo
o
laeg
e
add isl_seq_last_non_ze
r
o
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdo
o
laege
isl_tab
.
c: simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
d
o
o
laege
isl_tab
.
c: ext
r
ac
t
allocate_co
n
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
la
e
ge
private
l
y export
i
sl_basic_set_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
c
o
nfigure
.
ac:
e
x
p
l
icitly set AC
_
C
O
NFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Ve
r
doolaege
convex_h
u
ll
:
c
oalesce
s
e
t
d
u
ring f
a
c
e
t
c
omputation
commit
|
commitdiff
|
tree
2009-07-21
Sven Ver
d
oolae
g
e
isl_map_coal
e
s
ce:
d
on't drop
ratio
n
al flag fro
m
r
esult
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaege
isl_t
a
b_
c
one_i
s
_
b
ounded: start
over
after comp
u
t
ing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaege
isl_basic
_
set_dim_res
i
due_class: only set *modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Ve
r
doolaege
add isl_b
a
si
c
_s
e
t_fast_dim_is
_
fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
i
sl_tab: drop i
s
l
_
c
tx argument wher
e
n
ot abs
o
lute
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdool
a
ege
isl_mat: kee
p
track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
S
ven Verdoolaege
is
l
_ba
s
ic
_
set_s
a
mple: d
o
n
'
t
project out
lineality
s
pac
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
isl_basic_ma
p
_fix_pos:
m
i
cr
o
-
o
ptimiza
t
ion
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
move isl
_
basi
c
_set_skew
_
to_positiv
e
_orthant to
i
sl_sa
m
ple
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_ta
b
.
c:
fix typo in co
m
ment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laeg
e
isl_basic_set
_
sample: break early i
f
sam
p
le
f
ound in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
Verdo
o
l
aege
export isl
_
tab_samp
l
e_is_integ
e
r
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
i
sl_basic_set_sample:
c
h
eck
sample stored
b
y
isl_basic
_
map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_
m
ap_is_e
m
pty: remove stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aege
add isl_polyhedron_
s
a
m
ple ap
p
licat
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
n
tro
d
u
ce gener
a
lized basis re
d
u
ction
based sa
m
p
ling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laeg
e
a
d
d isl_seq_cdiv
_
q
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n
Ve
r
doolaege
isl_sample
.
c:
i
nterval_sa
m
p
le: drop redu
n
dant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aege
isl_samp
l
e
.
c: clea
n
up
ha
n
dling of
l
ineality sp
a
ce
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolae
g
e
isl_sa
m
pl
e
.
c: extrac
t
out sampl
e
_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
isl
_
s
a
mpl
e
.
c: interval_sam
p
le: handle equalities directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
a
e
ge
is
l
_sample
.
c: extract ou
t
em
p
ty_sample
commit
|
commitdiff
|
tree
2009-07-13
S
ven Ver
d
oo
l
aeg
e
isl_s
a
mple
.
c: generali
z
e point_samp
l
e to zero_sa
m
ple
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
isl_tab: don't
c
re
a
te
n
ew undo records d
u
ring rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl
_
t
a
b_min
:
u
s
e general rollback
m
echanism
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl_tab:
optionall
y
save dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
is
l
_tab
:
add isl_
t
ab_add_va
l
id_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoo
l
aege
export
isl_tab
_
a
lloc
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verd
o
o
l
aege
a
d
d
i
s
l
_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
pri
v
at
e
ly export isl_basi
c
_se
t
_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_convex_hull
.
c: add miss
i
n
g assignment
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ve
r
doo
l
aege
p
riva
t
e
l
y
export isl_basic_s
e
t
_lin
e
ality_space
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
i
sl_vec: keep t
r
ac
k
of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
S
v
en Ve
r
doolae
g
e
isl_coalesce
.
c
:
fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
u
p
date p
i
p
l
ib for change in configure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
is
l
_
b
asic_map_dro
p
_redundant_di
v
s: coalesce
d
ivs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basi
c
_ma
p
_
d
r
o
p_redundan
t
_
divs: set
d
iv expressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
o
laege
is
l
_basic_m
a
p_drop_redundant_divs:
drop more kind
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_map
_
compute_divs:
d
rop obviously redund
a
n
t divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_ma
p
_pipl
i
b
.
c:
extremum_on: detect equalit
i
es fir
s
t
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl_p
i
p
_basi
c
_map_compute_d
i
vs: r
e
move some equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
isl_
p
ip_bas
i
c_ma
p
_compute_divs
:
separate out dim
e
n
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
isl_basic_
s
et_prei
m
a
ge:
handle divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolae
g
e
isl_inpu
t
_o
m
ega
.
c: make variable_{free,
n
ew} stati
c
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n V
e
r
d
o
olaege
isl_map
.
c
: make add_divs st
a
ti
c
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl
_
basic_map_simplif
y
: det
e
ct div
constraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoolaege
isl_basic_
m
a
p_d
r
op: properly handl
e
dimensions
o
f type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
do
o
la
e
ge
add
isl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doola
e
ge
add is
l
_se
q
_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
ad
d
isl_seq
_
fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n
Ver
d
oolaeg
e
is
l
_
basi
c
_map_dete
c
t_equalities
:
p
r
operly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
laege
isl_basi
c
_
map_is_em
p
ty
:
explic
i
t
ly mark basic se
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
i
s
l_map
.
c: order_div
s
: s
w
ap with c
o
rrect div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_map_co
a
lesce: r
e
m
ove
extra divs in
t
roduced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sv
e
n
Verd
o
olaege
add i
s
l_m
a
p_c
o
a
l
e
sce
commit
|
commitdiff
|
tree
2009-05-19
Sven
Verdool
a
ege
add isl_set_pr
o
duc
t
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n Verdoolaege
export isl_ma
p
_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
ool
a
ege
isl_m
a
p_co
n
ve
x
_hull: handle unbounded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en
V
er
d
oolaege
priv
a
tely export isl_mat_un
i
m
od
u
lar_co
m
plete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
ge
isl_tab
.
c: add isl_t
a
b_get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
isl_
m
a
p_convex_hull:
av
o
id introducing lineality sp
a
ces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
a
dd two more convex hu
l
l test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_
c
on
v
ex_hul
l
: remo
v
e
l
in
e
ality space if
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdo
o
lae
g
e
add is
l
_b
a
sic_set
_
is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolaege
add isl_set_ge
t
_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolae
g
e
isl_conv
e
x_hull
.
c: update wrap_fac
e
t to
the
f
act we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex_hu
l
l
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
d
o
olaege
isl_coalesce
.
c: fix typ
o
i
n
comme
n
t
commit
|
commitdiff
|
tree
2009-05-05
S
ven
V
erdoo
l
aeg
e
isl
_
tab
.
c: fix typo in
c
omme
n
t
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
con
f
igure
.
in: set A
C
_
CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aege
a
dd
i
sl_
b
asic_se
t
_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
e
r
do
o
l
a
e
ge
isl_basic_
m
ap_
g
i
st: normalize
d
i
v
s
(
i
f any) in cont
e
xt
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
isl_
b
asic_
m
ap_sim
p
lify: remove duplica
t
e divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
do
o
l
a
ege
add isl_basic_set_div
commit
|
commitdiff
|
tree
2009-03-23
S
ven Ver
d
oolae
g
e
c
h
ange calling
con
v
ention of isl_b
a
sic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
isl_ma
p
_s
i
m
p
l
i
fy
.
c
: uset_g
i
st: b
r
eak early if ther
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n
Verdool
a
ege
isl_ma
p
_
simplif
y
.
c: uset_gist: b
r
eak early if in
t
ersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add is
l
_basic_se
t
_fast_
i
s_emp
t
y
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
upda
t
e p
i
plib
t
o 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
sl_
t
ab
.
c
:
s
t
o
r
e number of equalit
i
e
s am
o
ng the constrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
r
d
oo
l
aege
i
sl_mat_extend: prop
e
rly e
x
tend
m
a
t
rices with reo
r
d
e
red
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_
m
ap_
g
ist
:
handle
s
ome
s
pecial ca
s
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
add isl_map
_
universe
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
a
dd isl_basic_map_fast_
i
s_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_map_gist: replace by new version based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoo
l
aege
is
l
_map_
s
i
m
pli
f
y
.
c:
c
ompute_
e
liminat
i
on_i
n
de
x
: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaeg
e
add isl
_
map_implicit_equalit
i
es
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolae
g
e
add isl_basic_set
_
free_e
q
uality
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
m
ap_convex_hull
:
m
a
rk
r
e
sult a
s
not
having
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
olaege
conv
e
x_hull
:
c
oalesce set first
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolaege
add is
l
_se
t
_coa
l
e
s
ce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_i
n
put_omega
.
c:
basic_
m
ap
_
read: acc
e
pt "+"
i
n co
n
straints
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erd
o
ol
a
ege
add isl_basic_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaeg
e
a
d
d i
s
l_set
_
align_divs
commit
|
commitdiff
|
tree
next