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_basic_set_partial_lex{min,max}
2009-08-07
Sve
n
V
e
rdoolaege
add
isl_b
a
sic
_
set_partial_lex{m
i
n,max}
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
r
e
name
i
sl_basi
c
_map_le
x
{min,max}
to isl_basi
c
_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
a
ege
add isl_basic_set
_
fre
e
_div
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdo
o
la
e
g
e
isl_set_dim: support isl
_
dim
_
a
l
l
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_tab: s
t
ore index
of va
r
iab
l
e
in undo
rec
o
rd instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_{s
e
t,m
a
p}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_map_get
_
d
i
m
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_map
_
get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
o
o
laege
add is
l
_tab
_
dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
aege
exp
o
rt isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_ta
b
.
c:
ma
r
k_redundant: on
l
y m
a
rk
v
ar
i
able
nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
i
s
l
_
tab
.
c
: to_row: a
l
l
o
w pivoting in ar
b
i
trary direction
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoolaege
isl_tab
.
c: simplify code by let
t
ing
m
ark_e
m
pty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
er
d
oolaege
add isl_se
q
_l
a
st_n
o
n
_z
e
r
o
commit
|
commitdiff
|
tree
2009-08-04
Sven
Ve
r
do
o
laege
i
s
l
_
tab
.
c
: simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolae
g
e
isl_tab
.
c: extract allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
p
r
ivate
l
y expor
t
isl_basic_s
e
t_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
co
n
fi
g
ure
.
ac: e
x
pl
i
citly
s
et AC_
C
ON
F
IG
_
AUX_D
I
R
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdoo
l
a
e
g
e
c
onvex_hull: coa
l
esce set during facet
c
o
mp
u
tati
o
n
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
V
erdoolaege
i
s
l_map_coa
l
es
c
e: don't drop r
a
tional flag from resul
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdool
a
ege
i
sl_tab_
c
o
n
e_is_bo
u
nded: star
t
o
v
er after computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_
t
a
b
:
dr
o
p isl_ctx argum
e
n
t
where not abso
l
ute
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
is
l
_mat: keep track
o
f
isl_ct
x
commit
|
commitdiff
|
tree
2009-07-16
S
v
e
n Verdoolaege
i
sl_basic_set_sample:
don't
p
roject out l
i
neality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
isl
_
basic_map_fix_
p
os: micro-optimization
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
move i
s
l_
b
as
i
c_set_skew_t
o
_posit
i
ve_ort
h
ant
t
o isl_sampl
e
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
i
s
l_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Ve
r
doolaege
isl_basic
_
set_sample: b
r
eak early if sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoola
e
ge
export
isl_t
a
b_sa
m
ple
_
is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aeg
e
isl_basi
c
_set_sampl
e
: chec
k
s
ample stored b
y
isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_map_
i
s_empty: remo
v
e stale sample
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Ver
d
oolaege
a
d
d isl_polyhedron_sample applicat
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doola
e
ge
introduc
e
gener
a
lized bas
i
s reduction bas
e
d
s
a
m
pling
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Ve
r
doolaege
a
dd
i
s
l
_
seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
i
s
l_sample
.
c
:
interv
a
l_sample: drop redundant ar
g
ument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_
s
a
mple
.
c: c
l
ean up
h
an
d
ling of line
a
l
i
ty s
p
a
ce
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
sl_sam
p
le
.
c:
e
xtract out
sam
p
le
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n V
e
rdoolaege
i
sl_sample
.
c
: int
e
rv
a
l_samp
l
e
: handle
e
q
ualit
i
es di
r
ectly
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
V
erdoola
e
g
e
isl_sample
.
c
: extract
out em
p
t
y
_sample
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ve
r
doolaege
isl_s
a
m
p
le
.
c: generali
z
e
p
o
int_sample
t
o zer
o
_s
a
mp
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
is
l
_tab
:
don't create ne
w
un
d
o records during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab_min
:
use general roll
b
ack
mechan
i
sm
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaeg
e
isl_t
a
b:
o
ptionally save
d
u
al solution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_t
a
b
: add isl
_
tab
_
add_valid
_
eq
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
export
isl_tab_
a
lloc
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
Ver
d
oola
e
ge
add isl
_
int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
pr
i
vately export isl_basic_
s
et_reces
s
i
on_cone
commit
|
commitdiff
|
tree
2009-07-13
S
ve
n
V
erdoolaege
i
s
l_
c
onv
e
x_hul
l
.
c: add
missin
g
assignm
e
nt
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
privately export is
l
_basic
_
s
e
t_lineality
_
space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_ve
c
: keep
t
rack of
i
sl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sve
n
Verdoolaege
is
l
_c
o
alesce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
S
v
en Verdool
a
ege
upd
a
te p
i
plib for change in configure argum
e
nts
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n
V
erdoolaege
isl_basic_map_drop_redundant_divs: coa
l
e
s
ce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_bas
i
c_m
a
p_drop
_
r
edundant_div
s
: set div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
d
oolaege
isl
_
b
a
sic_map_drop_
r
e
d
u
ndant_divs: dr
o
p mor
e
ki
n
ds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaeg
e
isl_m
a
p_
c
o
mpute_divs: dro
p
ob
v
iously redundant div
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_
p
iplib
.
c
: extremum_
o
n:
detect eq
u
alities first
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl_pip
_
b
a
sic_map_compute_
d
ivs: remov
e
s
o
me
e
qua
l
ities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
i
s
l
_
pi
p
_
b
asic_map_
c
ompute_divs: sep
a
rat
e
out
di
m
ension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
ge
isl_ba
s
ic_set_pr
e
image: handle div
s
in in
p
u
t
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
V
erdoolaege
isl_
i
nput_om
e
ga
.
c:
make variab
l
e_{fre
e
,new} stati
c
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdo
o
laege
isl_map
.
c: make add_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
isl_basic_map_simplify:
detect div constraints w
h
i
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
isl_
b
as
i
c_map
_
drop
:
properly handle dimensions of t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verd
o
o
l
a
e
ge
add
isl
_
int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
l
a
ege
a
d
d isl_seq_
f
div_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
l
aege
ad
d
isl_seq
_
f
di
v
_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_map_
d
etect
_
eq
u
alit
i
es
:
prop
e
rl
y
han
d
le
em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
olaege
isl_bas
i
c_m
a
p
_is_em
p
ty: explicitly
mark basic
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
e
rdool
a
ege
isl_map
.
c: ord
e
r_divs
:
swap w
i
th
c
orrect
d
iv
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolaege
isl_map_coa
l
e
sce: remov
e
e
x
tra divs introduced
by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven
V
erdoo
l
aeg
e
add isl_map
_
co
a
l
esce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
a
dd isl_se
t
_produc
t
commit
|
commitdiff
|
tree
2009-05-19
Sven Verd
o
o
laege
expor
t
isl_
m
ap_di
m
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n
V
erdoolaege
isl_map_co
n
vex_hull: handle unbounded
,
but point
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verd
o
ola
e
ge
p
r
ivately export
i
sl_ma
t
_unimodu
l
ar
_
c
omplet
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_ta
b
.
c: add isl_tab_get_sample_
v
al
u
e
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n
V
e
rdoolaege
isl
_
map_
c
onve
x
_hull: avoid introduc
i
ng
l
i
neality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add
t
wo more con
v
ex h
u
ll test
c
ases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_
c
o
n
vex_hull: remove lineality s
p
ac
e
i
f
an
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaeg
e
add isl_basic_set_i
s
_un
i
verse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add isl_set_ge
t
_
dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoo
l
a
e
g
e
isl_convex_hull
.
c: u
p
date wra
p
_facet
t
o the
f
a
ct w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolaege
is
l
_
c
on
v
ex
_
hull
.
c: fi
x
t
y
po in comm
e
nt
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n
V
erd
o
olaege
isl_coalesce
.
c:
fix typo
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoola
e
ge
isl_tab
.
c: fix t
y
po
i
n
c
o
mment
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add i
s
l
_basic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
isl_basic_map_g
i
st
:
normali
z
e di
v
s (if an
y
) in co
n
te
x
t
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_basic_map_simpli
f
y
: remove dupli
c
a
te divs befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
a
d
d
i
sl_
b
asic_
s
et_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oolaege
c
h
ange call
i
ng convention of isl_basic
_
m
ap_
d
i
v
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verd
o
ola
e
ge
isl_
m
ap_
s
implify
.
c: us
e
t_gist: b
r
eak ear
l
y if t
h
ere
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
e
rdoolaege
isl_map_s
i
mp
l
ify
.
c: uset_gist: break ear
l
y if
i
n
t
ersecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdool
a
ege
a
d
d
isl_basic_set_
f
ast_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
update piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
e
rdoolaege
isl_tab
.
c: s
t
ore number of equalities among the constraint
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl
_
mat_extend: p
r
operly e
x
tend ma
t
rices with reordere
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
r
d
oolaege
isl_map_gist: handle some sp
e
c
ial cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
a
dd isl_map
_
universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_ba
s
ic_map_fast_is_empt
y
commit
|
commitdiff
|
tree
next