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_equalities.c: drop redundant error handling
2009-08-07
Sv
e
n
V
erdoolaeg
e
add isl_b
a
sic_s
e
t_positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
add is
l
_basic_s
e
t_partial_
l
e
x{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
doolaeg
e
r
e
n
a
m
e
isl_
b
a
s
i
c
_ma
p
_l
e
x{min,max}
to isl_b
a
sic_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
Verdool
a
ege
add isl_basic
_
s
et_
f
ree_div
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_s
e
t_
d
i
m: support isl_dim_al
l
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdo
o
laege
isl_tab:
sto
r
e index of variabl
e
in undo record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
add isl_{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
add isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
add isl_bas
i
c_map_get_
d
im
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n Verd
o
olaege
add is
l
_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
rdoolae
g
e
export isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c
: mark_r
e
dundant:
only mark variable
n
o
nneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Ver
d
oolaege
is
l
_tab
.
c
: to_row:
allow pivoting i
n
arbitrary di
r
ection
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
dool
a
e
ge
isl_tab
.
c
:
simplify
c
ode by letting mark
_
empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl_s
e
q_last_
n
on
_
zer
o
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoolaege
isl_ta
b
.
c:
s
implify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c:
e
x
t
ract al
l
ocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erd
o
o
laege
priva
t
e
ly
e
xport isl_basi
c
_set_
s
et_ra
t
ional
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
c
o
nfigure
.
a
c
: expl
i
ci
t
ly set
AC_CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Ver
d
oolaeg
e
convex_
h
ull:
c
oal
e
sce set duri
n
g facet computation
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Verdoo
l
aege
is
l
_map_coalesce:
d
on't
d
rop rational f
l
ag from
resu
l
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
isl_tab
_
c
o
ne_is_
b
ounded:
s
tart over afte
r
comput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaege
isl_
b
asic_se
t
_di
m
_residue_
c
lass: only set *mo
d
ulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdool
a
ege
add
isl_basic_set_fast_di
m
_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl
_
tab: drop
isl_ctx argument where not absolu
t
ely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven V
e
r
d
oolaege
isl_ma
t
: keep track o
f
isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
S
ven Verdoolaege
isl_b
a
sic_
s
et_
s
ample: don
'
t
p
roject out lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolae
g
e
isl_basic_map
_
fix_pos: micro
-
opt
i
miza
t
ion
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoo
l
a
ege
move isl
_
basic_set_sk
e
w_to_
p
o
sitive_
o
rtha
n
t
to i
s
l_sampl
e
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n Verd
o
olaege
i
s
l_tab
.
c:
f
ix t
y
po
in c
o
mment
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdool
a
ege
isl_basic_set_sample: break ea
r
ly if sample found
in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oo
l
aege
e
x
port i
s
l_ta
b
_sample
_
i
s
_int
e
ger
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolae
g
e
isl_basic_set_sample: check sample stored
by
isl_basic
_
m
ap
_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdo
o
laege
isl_basi
c
_map
_
is_empty: remove stale s
a
mple
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
lae
g
e
add is
l
_polyhedro
n
_sampl
e
a
pplication
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
o
l
ae
g
e
i
ntro
d
uce
g
eneralized basis
redu
c
tion
based sampli
n
g
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
add i
s
l_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoo
l
a
e
ge
isl_sample
.
c
: in
t
erval_sample: drop redundant
argument
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n Verdoolaege
isl_sa
m
pl
e
.
c: cl
e
an u
p
handling
o
f line
a
lity s
p
ace
commit
|
commitdiff
|
tree
2009-07-13
S
ven V
e
rdoolaege
i
s
l_
s
ample
.
c
:
extract out
s
ample_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
r
d
oolaege
isl
_
s
amp
l
e
.
c:
i
nter
v
al_
s
ample: handle equalities direct
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ve
r
doola
e
ge
isl_s
a
mple
.
c: ext
r
act out empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
i
sl_sample
.
c: gen
e
r
a
l
ize po
i
nt_sample
t
o
zero
_
s
a
mple
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_t
a
b: don't c
r
ea
t
e new undo records during r
o
l
l
back
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab_mi
n
: use g
e
neral
r
ollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ver
d
oolae
g
e
isl
_
tab: optionally save dua
l
s
olution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
is
l
_
t
ab: add
i
sl_tab_a
d
d
_
v
alid_eq
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolae
g
e
exp
o
rt isl
_
tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
add isl
_
int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
r
d
oolaege
p
r
ivately
exp
o
rt
i
sl_ba
s
ic_
s
et_reces
s
ion_cone
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
erdoolaege
isl
_
convex_hu
l
l
.
c: add mis
s
i
ng assignment
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ver
d
oolaege
priva
t
ely export isl_basic
_
set_lineality_spac
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
isl_vec:
keep trac
k
o
f
isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sv
e
n Verdo
o
laege
isl_coalesc
e
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2009-06-13
Sven Ve
r
dool
a
ege
update piplib f
o
r change in confi
g
ur
e
argum
e
nts
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ver
d
oolaeg
e
isl_basic
_
m
a
p_dro
p
_redunda
n
t_
d
ivs: coalesce
d
ivs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
o
olaege
isl
_
b
a
sic_map_drop_redundant
_
divs:
s
e
t div
ex
p
re
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
Verdo
o
laeg
e
is
l
_basic_map_dro
p
_redu
n
dant_divs: dr
o
p m
o
re kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl_map_comput
e
_divs: drop obviously
re
d
unda
n
t divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
i
sl_map_piplib
.
c: e
x
tremum_on: detect equalit
i
es fi
r
st
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoola
e
ge
isl_pip_
b
asic_
m
a
p
_compute_d
i
v
s: rem
o
ve some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rd
o
olaeg
e
isl_pip_bas
i
c
_
ma
p
_compute_divs: separate out dime
n
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_set_pre
i
mage: handle divs in
i
nput
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaeg
e
isl_inpu
t
_omega
.
c:
m
ak
e
varia
b
le_{free,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doola
e
ge
is
l
_
map
.
c: make add_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_si
m
plify: detect div con
s
t
raints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Ve
r
doolaeg
e
i
sl_
b
asic_m
a
p_
d
ro
p
: properly hand
l
e dimensions
of ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaege
a
dd isl_seq
_
fdiv_
q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl
_
seq_f
d
i
v
_
r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
s
l_basic_map_detect_equal
i
ties: p
r
operly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdool
a
e
g
e
isl_basic_map_i
s
_empty: explicitly mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
laege
i
s
l
_
m
ap
.
c:
order_divs
:
swap with c
o
r
rect div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
ege
i
sl_
m
ap_coalesce: r
e
m
ove extra divs introduced by isl_
m
ap_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoo
l
aeg
e
add is
l
_map
_
coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
add isl_set_pr
o
duct
commit
|
commitdiff
|
tree
2009-05-19
Sven Ve
r
doo
l
a
ege
expo
r
t
i
s
l
_
ma
p
_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolaege
isl
_
m
a
p_convex_hull: h
a
ndle unbou
n
ded, bu
t
p
ointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verd
o
olaege
private
l
y e
x
port
isl
_
mat_un
i
m
o
dular
_
comple
t
e
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erd
o
olaeg
e
isl_
t
ab
.
c: add is
l
_t
a
b_get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
S
ven Ver
d
oolaege
isl_map_co
n
ve
x
_
h
u
l
l: avoid intr
o
d
u
cin
g
l
ineality spac
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
a
dd two more convex
hull
te
s
t c
a
s
e
s
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Ve
r
doo
l
aege
isl_map_convex_
h
u
l
l
:
r
emove linealit
y
space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
add is
l
_ba
s
ic_set_is_univ
e
rse
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdool
a
ege
add
isl_s
e
t_
g
e
t
_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verd
o
olaege
isl_convex
_
hull
.
c: update wrap_facet to th
e
fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdool
a
e
ge
isl_co
n
vex_
h
ull
.
c:
f
ix typo i
n
comm
e
n
t
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolaege
isl_coalesce
.
c: fix t
y
po in comme
n
t
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdool
a
ege
isl_tab
.
c: fix ty
p
o in
c
o
m
m
e
nt
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoola
e
g
e
c
o
nfigur
e
.
in: se
t
AC_CO
N
FI
G
_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
add isl_b
a
sic_set_g
e
t_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_basic_ma
p
_gist: normalize divs
(
i
f
a
ny) i
n
c
o
ntext
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_basic_map
_
simpli
f
y: remove du
p
licate d
i
vs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
add isl_basic_
s
et
_
div
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
change calling con
v
ention of isl_basic_ma
p
_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
e
r
dool
a
ege
isl
_
map_simplify
.
c: uset_
g
ist: break ea
r
l
y if ther
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Ver
d
o
o
lae
g
e
isl_
m
ap_si
m
plify
.
c: uset
_
gis
t
:
b
re
a
k early if
i
ntersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
ad
d
i
sl_
b
asic_set_fast_
i
s_
e
mpty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
update piplib t
o
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdool
a
ege
isl
_
tab
.
c: s
t
o
re num
b
er o
f
eq
u
alities among the constraints
.
.
.
commit
|
commitdiff
|
tree
next