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_basic_set_dim_residue_class: only set *modulo to 0 when dimension is fixed
2009-07-19
Sven Verdool
a
eg
e
isl_ba
s
ic_set_dim
_
residue_class: only set *modul
o
to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
S
ven Verdoolaege
a
d
d
isl_ba
s
ic_
s
et_f
a
st_dim_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verd
o
o
l
aege
isl_tab: drop isl_
c
tx argument
w
here not abs
o
lutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven V
e
rdoo
l
aege
isl_mat: keep track o
f
isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoola
e
ge
isl_basi
c
_set
_
sample: don't proje
c
t out lin
e
ality sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
sl_basic_
m
a
p_fix_
p
os:
m
icro-optimizat
i
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
move isl_ba
s
i
c_set_
s
kew_to_positi
v
e_ort
h
ant to i
s
l_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
a
ege
i
s
l_tab
.
c: fix t
y
po i
n
commen
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oola
e
ge
isl_ba
s
ic_
s
et_sample:
break early if sa
m
ple found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoo
l
aege
ex
p
ort isl_ta
b
_s
a
mple_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
eg
e
i
s
l
_
basic_s
e
t_sample: che
c
k
s
ample
stored
b
y isl_
b
asic_m
a
p_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
i
sl_basic_map_is_
e
mpty
:
rem
o
ve
stale sample
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n V
e
r
d
o
o
laege
add isl_polyhedr
o
n_sam
p
l
e
application
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
n
troduce ge
n
eralized basis reduction based s
a
m
p
ling
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
a
d
d isl_se
q
_cd
i
v_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l_sample
.
c
:
int
e
rval_sam
p
le: drop
redu
n
dant argument
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
i
sl
_
samp
l
e
.
c: clean up handling of l
i
nealit
y
space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl
_
sample
.
c
: extract out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
e
rdo
o
laege
isl
_
sample
.
c
:
interva
l
_sample
:
handl
e
eq
u
alities d
i
r
e
c
tly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_
s
a
mple
.
c: extract out empty_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
ola
e
ge
isl
_
sample
.
c: genera
l
ize point_sample
t
o
ze
r
o_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_tab:
d
on't create new und
o
re
c
ords during rollbac
k
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
isl_tab_min: use general r
o
ll
b
a
ck mechani
s
m
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n V
e
r
doolaege
isl_tab: optional
l
y
s
ave dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erd
o
olaege
isl_tab:
a
dd isl_tab_add
_
vali
d
_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
export isl_t
a
b_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
add isl
_
int_l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
privately e
x
po
r
t
is
l
_basic_se
t
_rec
e
s
s
i
o
n_con
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_convex_hull
.
c: add m
i
ssing assig
n
me
n
t
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolae
g
e
pri
v
a
tely export isl_b
a
sic_set_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l_
v
ec
:
keep track of i
s
l_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Ve
r
doola
e
ge
isl_coalesce
.
c:
fix
t
ypo
commit
|
commitdiff
|
tree
2009-06-13
S
v
e
n
V
erdoolaege
upd
a
te pi
p
l
i
b f
o
r cha
n
ge in confi
g
u
r
e arguments
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdo
o
laege
isl_bas
i
c_map
_
dr
o
p_redunda
n
t_divs: co
a
lesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaeg
e
isl_
b
asi
c
_
m
ap
_
drop_red
u
ndant
_
di
v
s: set
div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoo
l
a
ege
isl
_
b
a
sic_map
_
d
r
op_redundant_divs: drop more
k
inds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
o
l
aeg
e
isl_map_
c
ompute_divs: d
r
op obviously redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
r
doolae
g
e
isl_map
_
pi
p
l
i
b
.
c:
e
xtremum_on: detect equal
i
ties first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
isl_pip_b
a
s
ic
_
map_compute_div
s
:
r
emove
some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
a
e
ge
isl_pip_b
a
sic_map_comput
e
_
divs
:
separate out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
Verdoolaege
isl_basi
c
_set_preimage
:
h
andle divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl
_
input_om
e
g
a
.
c: ma
k
e va
r
iab
l
e_{free,new} sta
t
ic
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdo
o
laege
isl
_
m
a
p
.
c: m
a
ke ad
d
_divs static
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_basic_map_si
m
plify: detect div constraint
s
while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaeg
e
isl_b
a
sic_ma
p
_drop: properl
y
h
a
ndl
e
d
i
men
s
i
o
n
s of ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven
V
erdoolaege
ad
d
isl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
add isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_seq
_
fdiv
_
r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
lae
g
e
isl_basic_map_detect_equalities
:
properly hand
l
e
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_map_is_empty:
e
xpl
i
citly m
a
rk basic
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
isl_ma
p
.
c: order_divs: sw
a
p with correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
isl
_
map_coalesce: remove
extra
d
i
v
s
intro
d
u
c
e
d by is
l
_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven
V
erdoolaege
add isl
_
map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven V
e
rd
o
olaege
add
isl
_
s
e
t_
p
rod
u
ct
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n Verdoola
e
ge
export
isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoolaege
i
s
l_map_
c
onvex_hull
:
handle
unbounded, bu
t
p
o
i
n
ted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
laege
privately export isl_mat_un
i
m
o
dular_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdo
o
laege
isl_tab
.
c:
add isl_tab_get_sampl
e
_value
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
r
doolaege
i
s
l
_
m
a
p
_
convex_hull: avo
i
d introdu
c
ing li
n
ealit
y
s
p
aces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add two more convex hull test cases
commit
|
commitdiff
|
tree
2009-05-06
S
v
en V
e
rd
o
olaege
isl_map_convex_hu
l
l: remove lineality space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ve
n
Verdoolaege
add
i
sl_
b
asic_set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
add isl_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolae
g
e
isl_conv
e
x_hull
.
c: update wrap_fac
e
t t
o
the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex_
h
u
l
l
.
c: fix
t
ypo in commen
t
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Ve
r
doolaege
isl_coa
l
esce
.
c: fix t
y
po in c
o
mment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaeg
e
i
s
l_tab
.
c: fix t
y
p
o i
n
comment
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolaege
confi
g
ure
.
in
:
s
et AC_CONFIG_M
A
CRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_ba
s
ic_set_
g
et_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
i
s
l
_basic_map
_
gist: n
o
rmalize d
i
vs (if any) i
n
c
o
ntext
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_basic_map_simplify: remove duplicate divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ve
n
Verdoolaege
add is
l
_
basic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
ool
a
ege
c
ha
n
ge c
a
lling convention
o
f isl
_
basic
_
m
ap_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
do
o
l
a
ege
isl_map_simplif
y
.
c: uset_g
i
s
t: break early i
f
the
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verd
o
olaege
isl_map_simplify
.
c
:
uset_gist: break
e
a
r
ly i
f
inte
r
se
c
tion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n V
e
rdoolae
g
e
add isl_
b
asic_set
_
fast_is
_
empt
y
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoo
l
aege
upd
a
te pi
p
lib
to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoola
e
ge
isl_
t
ab
.
c
: store
number of e
q
ualities among the
constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
ola
e
ge
i
s
l_mat_ext
e
nd: properly extend matrices w
i
th reorde
r
ed
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_gist
:
ha
n
dle some s
p
ecial cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_map_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
ool
a
ege
add isl_basic_map_fast
_
is_empt
y
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdoolae
g
e
isl_basic_
m
ap_gist: rep
l
ace by n
e
w version based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
e
ge
isl_map_simplif
y
.
c
: compute_eliminati
o
n_index
:
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
add
isl_map_im
p
licit_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
ege
add isl_basic_set_free_equ
a
l
i
ty
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
olaege
isl_map_convex_hull
:
mark
r
e
s
ult as not h
a
ving any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
lae
g
e
c
o
n
vex
_
hull: coalesce set first
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdool
a
ege
a
d
d
i
sl_se
t
_coa
l
esce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
i
sl_input_omega
.
c: basic_map_read: accep
t
"+" in constrai
n
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olae
g
e
a
d
d isl_
b
asic_set_allo
c
_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
add i
s
l_se
t
_
a
lign
_
d
ivs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
uset_affine_hull: ign
o
re directions in
affine
hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
doolaege
isl_b
a
s
i
c
_
map_im
p
lici
t
_equalities: perfo
r
m Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_
a
ffine_
h
u
l
l
.
c
:
outside_point: c
h
eck for
o
bvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
pr
i
va
t
ely
e
xport
isl_basic_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_ctx:
add neg
o
ne
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_v
e
c_
d
u
mp: hand
l
e
NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
e
g
e
isl_affin
e
_
h
u
ll
.
c
: extract uset_affin
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rd
o
ol
a
e
g
e
isl_mat_tr
a
nspos
e
: handle
non-re
c
tangula
r
m
a
t
rices
commit
|
commitdiff
|
tree
next