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
export isl_mat_dup
2009-08-04
Sven Ver
d
oolae
g
e
export isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaege
isl_t
a
b
.
c: mark_redundant:
o
nl
y
mark variable
nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdool
a
ege
isl_tab
.
c: to_ro
w
: all
o
w piv
o
ting
in arbitrar
y
d
irection
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoolae
g
e
isl_tab
.
c: s
i
mplify code by letting mark_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaege
add isl_seq_last_no
n
_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verd
o
o
l
a
e
ge
isl
_
tab
.
c
:
simplify
a
d
d_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolae
g
e
isl_tab
.
c: extract alloca
t
e_co
n
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
privately ex
p
ort isl_basic_set_set_
r
ation
a
l
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaeg
e
configu
r
e
.
ac:
e
x
plicitly set A
C
_CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
o
laeg
e
co
n
vex_h
u
ll: c
o
alesce
set during face
t
computatio
n
commit
|
commitdiff
|
tree
2009-07-21
S
v
en V
e
rdoolaege
isl_map_coalesce: don
'
t drop r
a
tional flag from resu
l
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
isl
_
tab_c
o
ne_is_bounded
:
sta
r
t over
after computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
S
v
en V
e
rd
o
olaege
isl
_
basic_set
_
di
m
_residue
_
cl
a
ss:
only
s
e
t
*modulo
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdoolaege
add is
l
_basic_set_fas
t
_dim_i
s
_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
i
s
l
_tab
:
drop is
l
_ctx
a
rgument where not absol
u
tely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
v
en Verdoolaege
isl_mat: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
S
ven Verdo
o
lae
g
e
isl_basic_set_sampl
e
: don't
p
roje
c
t
o
ut li
n
eality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_bas
i
c_map_fix_pos:
micro-
o
pti
m
ization
commit
|
commitdiff
|
tree
2009-07-15
Sven
Ver
d
oola
e
ge
move isl_basic_set_skew_to_positive_orthant to
isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_tab
.
c: fix
t
ypo in comment
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Ver
d
o
ol
a
ege
i
s
l_basic_se
t
_
sa
m
ple:
b
reak early if sample foun
d
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
export i
s
l
_
ta
b
_sam
p
le_i
s
_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
isl_basic_set_sam
p
le: ch
e
ck sa
m
ple stored
by isl_basic_map
_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
isl_ba
s
ic_map_is_empty: remo
v
e stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
add is
l
_polyhe
d
ron_sample ap
p
lica
t
i
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdo
o
lae
g
e
introduce
g
eneralized basis
r
edu
c
tion
b
ased sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add isl_se
q
_
c
div_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sample
.
c: i
n
terval_sample: d
r
op redun
d
an
t
argu
m
ent
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n V
e
rd
o
olaege
isl_sample
.
c: clean u
p
handling
o
f
lineali
t
y space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
isl
_
sa
m
ple
.
c: extr
a
ct out
s
ample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_sample
.
c: interval_sample
:
han
d
l
e equalit
i
es directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olae
g
e
isl
_
sample
.
c: extract out emp
t
y
_sam
p
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olae
g
e
isl_
s
ample
.
c: gen
e
ral
i
ze point_s
a
m
p
le to zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_ta
b
: don't cre
a
te new und
o
record
s
during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ve
r
doolaege
is
l
_tab_min: use general rollb
a
c
k me
c
h
a
ni
s
m
commit
|
commitdiff
|
tree
2009-07-13
S
ven
Verdo
o
laege
isl_tab:
o
ptionally save dual solu
t
ion
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaeg
e
is
l
_tab: add isl
_
tab_add_val
i
d_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
export isl_tab_a
l
l
oc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
a
d
d isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
privat
e
ly ex
p
ort
i
sl_basic_set_rece
s
sion_co
n
e
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
i
s
l_convex_hull
.
c: a
d
d missing assi
g
nment
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ver
d
oolaege
privat
e
ly exp
o
rt
i
sl
_
b
a
sic_set_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
o
laege
isl_vec: keep track of isl
_
ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolae
g
e
isl_co
a
l
esce
.
c: fix t
y
p
o
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
upda
t
e p
i
p
l
ib
for chang
e
in configure
a
rguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
b
as
i
c_
m
ap_drop_red
u
ndant
_
divs: coalesc
e
divs
i
f
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
rdool
a
ege
i
s
l_basic_map_drop_red
u
ndan
t
_di
v
s: set di
v
expr
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en
Verd
o
olaege
isl
_
ba
s
ic_map_dr
o
p_redundant_di
v
s
:
dro
p
more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaeg
e
isl_map_c
o
mpu
t
e_divs
:
drop obvious
l
y r
e
du
n
dant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
isl_map_pip
l
ib
.
c: extr
e
mum_on: detect equalities
first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
isl_pi
p
_basic
_
map_comput
e
_d
i
vs
:
rem
o
ve some equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
r
d
o
olaege
isl_pip_basic_map_compute_divs
:
s
e
parate out d
i
me
n
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
rdoolae
g
e
isl
_
ba
s
ic_s
e
t_p
r
e
image: ha
n
dle divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_input_omega
.
c: m
a
ke vari
a
ble_
{
fr
e
e
,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Ver
d
oolaeg
e
isl_map
.
c: make
add_
d
ivs
s
tati
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
g
e
isl
_
basic_m
a
p
_
simplify: detect d
i
v con
s
tr
a
ints whil
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoo
l
aege
isl_basic_m
a
p
_drop:
prope
r
ly hand
l
e dimen
s
io
n
s of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Ve
r
doola
e
ge
add isl_int_mul
_
ui
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdool
a
ege
a
d
d
isl_seq_
f
div_q
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaeg
e
add isl_seq_fd
i
v_r
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoola
e
ge
isl_basic
_
ma
p
_detect
_
equalities: p
r
operl
y
han
d
le emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
isl_b
a
sic_
m
ap_
i
s_empty: explicitly mark
basi
c
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Verdoolaege
isl
_
m
ap
.
c: order_divs: sw
a
p
with correct d
i
v
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
isl_map_coal
e
sce: remove ex
t
ra divs introduced by isl_m
a
p
_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven
Verdoolaege
add i
s
l_map_co
a
lesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
add i
s
l_set_prod
u
ct
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdool
a
e
g
e
export isl_map_d
i
m
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aege
i
s
l_map
_
c
onvex_hu
l
l
:
handle unbounded, b
u
t
pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n
V
e
rdool
a
e
g
e
priv
a
tely export isl_mat_unim
o
dular_compl
e
te
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
V
erd
o
olaeg
e
isl_tab
.
c: add isl_tab_ge
t
_
s
a
mple_v
a
l
ue
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
laege
isl_map_conve
x
_hull: avoid intro
d
ucing l
i
neal
i
t
y spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
a
e
g
e
a
dd
two more
convex h
u
ll test c
a
ses
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map
_
c
o
nvex_hu
l
l:
r
e
m
ov
e
l
i
neality spa
c
e i
f
an
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add isl_b
a
sic_set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolae
g
e
add
i
sl_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex_hull
.
c
:
update wrap_facet to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoolaege
isl_convex_hu
l
l
.
c
:
fi
x
ty
p
o
i
n c
o
mment
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verdoolaege
isl_coalesce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolaege
isl_tab
.
c
:
f
ix typo
in co
m
m
ent
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoo
l
aege
con
f
igure
.
in: set AC_CONFIG_M
A
CRO_
D
I
R
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
add isl_basic
_
se
t
_ge
t
_dim
commit
|
commitdiff
|
tree
2009-03-23
S
v
en
V
e
rdoolaege
isl_bas
i
c_map_gist: no
r
malize
d
ivs (if
a
n
y) i
n
conte
x
t
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
er
d
oolaege
is
l
_basic
_
ma
p
_s
i
mplify: r
e
mo
v
e duplicate div
s
befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdo
o
laeg
e
add isl_basi
c
_
s
et_div
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolae
g
e
c
h
ange calling con
v
ention of isl_basic_ma
p
_div
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Ver
d
oolaege
isl_map_
s
i
m
plify
.
c: us
e
t_
g
ist: b
r
ea
k
early
if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdool
a
e
g
e
isl_m
a
p
_
s
implify
.
c
:
u
se
t
_gist: b
r
e
ak early if
inter
s
ectio
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
r
d
o
o
l
aege
add
i
s
l
_basic_set_fast_i
s
_em
p
ty
commit
|
commitdiff
|
tree
2009-03-23
Sven
Ver
d
oolaege
update piplib t
o
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aege
isl_tab
.
c: s
t
ore number of equ
a
l
i
ties among t
h
e
constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verd
o
olaege
isl_
m
a
t
_extend: properly
e
xtend
m
a
t
ri
c
es with re
o
rdered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_map_gist: handle some special c
a
ses
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdoolaege
add isl_map
_
unive
r
se
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl
_
basic_ma
p
_fast_
i
s_e
m
pty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_basic_ma
p
_gist: repl
a
ce by ne
w
v
e
rs
i
on based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_map_simplify
.
c:
c
ompute_el
i
mination
_
index:
d
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
ool
a
ege
add isl_
m
ap_impli
c
it_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
add isl_basic_set_fr
e
e
_equalit
y
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdool
a
ege
isl_m
a
p
_convex_hull: mark
r
e
s
u
l
t as
not having a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaeg
e
conv
e
x_h
u
ll: coalesce
set
f
irst
commit
|
commitdiff
|
tree
next