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_tab_pivot: fix typo that prevented normalization of rows
2009-08-07
Sven
Verdoola
e
ge
isl_
t
ab_pivot
:
fix ty
p
o t
h
at
prevented normalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_
b
asic_set
_
positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
add
i
sl_b
a
s
i
c_set_partial_lex{mi
n
,max}
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
rename
i
sl_basi
c
_map_lex
{
min,max} to isl_
b
asic_map_part
i
al_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
add isl_basi
c
_set_fr
e
e_
d
iv
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoo
l
aege
isl_set_di
m
: s
u
pport
isl_di
m
_all
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
o
o
l
a
ege
isl_
t
a
b:
s
tore inde
x
of variable i
n
undo reco
r
d i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
d
d isl_{set
,
map
}
_gro
w
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
ad
d
isl_
m
ap_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
dool
a
ege
a
d
d
i
s
l_b
a
sic_m
a
p_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolae
g
e
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
export isl_mat_d
u
p
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: mark
_
redundant: only mark variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolaege
isl_tab
.
c:
to_row: all
o
w
piv
o
ting in a
r
bit
r
a
ry dir
e
ctio
n
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
er
d
oolaeg
e
isl
_
t
a
b
.
c: simplify code by letting mar
k
_empty ret
u
rn tab
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdool
a
ege
add isl_seq_last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
S
v
en
V
erdool
a
ege
isl
_
tab
.
c: extra
c
t allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
privately e
x
po
r
t
i
sl_basic_
s
et_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
configure
.
ac: explicitly set
A
C_CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rd
o
olaege
conv
e
x_hull:
coales
c
e set durin
g
f
a
cet computation
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Verdoolaege
is
l
_map_
c
oalesce: do
n
't drop
ratio
n
al
f
lag from resu
l
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
isl_tab_co
n
e_is_boun
d
e
d
: start over af
t
er c
o
mp
u
ting
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven
V
erdoolaege
i
s
l_basic_
s
et_dim_residue_cl
a
s
s
: only s
e
t *
m
odulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
S
v
e
n
V
er
d
oolaege
add is
l
_b
a
sic_set_fast_
d
i
m_is_f
i
x
e
d
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_tab
:
dr
o
p isl_ct
x
argument where
not
absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
v
e
n
V
e
r
d
oolaege
i
sl
_
ma
t
: keep track of isl_
c
t
x
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdo
o
laege
isl_basi
c
_set_sa
m
ple: don't
p
r
oject o
u
t li
n
eality sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoo
l
a
e
g
e
i
s
l_basic_map_fix
_
pos: micro-opti
m
ization
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
lae
g
e
move isl_
b
asi
c
_set_skew_to_positiv
e
_orthant to isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_tab
.
c:
f
ix typo
in comment
commit
|
commitdiff
|
tree
2009-07-15
S
ven
V
erdoolaege
i
sl_basic_set_sample: break
e
a
rly
if
s
a
m
ple found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
e
xport isl_tab
_
sample_
i
s_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_set_s
a
mple: check
s
a
mple stored by isl_bas
i
c_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Ver
d
oolaeg
e
isl_basic
_
map_is_empty:
r
emove stale samp
l
e
commit
|
commitdiff
|
tree
2009-07-15
S
ven V
e
rdoo
l
aege
add isl_polyhe
d
ron_samp
l
e applic
a
tio
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
intr
o
d
u
ce gener
a
liz
e
d basis reduction ba
s
ed
sam
p
ling
commit
|
commitdiff
|
tree
2009-07-15
S
ve
n
Ver
d
oolaege
ad
d
isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
isl_sample
.
c: in
t
erval_sample: drop redundant argume
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sam
p
le
.
c: clean up handling of linea
l
ity space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
is
l
_s
a
mple
.
c:
e
x
t
ract out sampl
e
_eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ve
r
doola
e
ge
isl_sample
.
c: in
t
erval_sample: handle equalities di
r
ectly
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
V
erdoolaege
isl_
s
ample
.
c
:
ext
r
act out em
p
ty_s
a
mple
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
i
s
l_sample
.
c
:
generaliz
e
point_sample
t
o zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
i
sl_tab: don't cre
a
te new
undo rec
o
rd
s
duri
n
g rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaeg
e
i
sl_tab
_
min: use general
rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_tab: optionall
y
save dual sol
u
t
i
on
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl
_
tab: add isl_tab_add
_
val
i
d
_
eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Verd
o
olaege
expor
t
i
sl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erd
o
olaege
privately export i
s
l_basic_set_r
e
cession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_convex_hull
.
c
:
add missing assignment
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolae
g
e
private
l
y export isl_basic
_
s
e
t_lineality_sp
a
ce
commit
|
commitdiff
|
tree
2009-07-13
S
ven Ve
r
doolaege
isl_vec: keep track of is
l
_ctx
commit
|
commitdiff
|
tree
2009-07-12
S
ven Verdoolaege
is
l
_
c
oalesce
.
c:
fix
typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
up
d
ate pip
l
i
b
f
or change in
c
onfigu
r
e ar
g
umen
t
s
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
isl_bas
i
c
_
m
a
p_drop
_
redundant
_
divs
:
coal
e
sc
e
divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
o
ola
e
ge
isl_basic_map_drop_r
e
dun
d
ant_
d
ivs
:
s
et di
v
expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
is
l
_basic_map_drop_redundant_
d
i
vs: drop mo
r
e
k
inds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
er
d
ool
a
ege
isl_map_compute_div
s
: drop obviousl
y
r
e
dundant di
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_piplib
.
c: extremum_on: d
e
t
e
ct
e
q
u
al
i
ties first
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ver
d
oolaege
i
s
l_pi
p
_bas
i
c_map_c
o
mpute_d
i
vs: rem
o
ve some equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
ge
isl_pip_basic_
m
ap_comp
u
te_divs:
separate out d
i
m
ension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoola
e
ge
i
s
l_basic_set_p
r
eimage
:
handle divs i
n
input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
input_omega
.
c: make variable_
{
free,n
e
w} static
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolae
g
e
is
l
_
m
ap
.
c: mak
e
a
d
d_divs sta
t
ic
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
isl_basic_ma
p
_simplify:
detect div constraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Ver
d
oolaege
isl_
b
as
i
c_
m
a
p
_
drop: pro
p
erly
handle dimen
s
ions
o
f
typ
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
add
isl_int_m
u
l_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdoolaeg
e
add
isl_seq_fdi
v
_q
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
V
erdo
o
laeg
e
add isl_seq_f
d
iv_
r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
olaege
i
sl_basic_ma
p
_detect_equalit
i
e
s:
p
ro
p
erly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
Verd
o
olaege
i
s
l_ba
s
ic_map_is_empty:
e
x
p
licitly
ma
r
k
basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
isl_map
.
c: order_divs: swap with correct
d
iv
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_
m
ap_coa
l
esce:
rem
o
ve extra divs
i
ntroduced by i
s
l_ma
p
_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
add isl_m
a
p_coalesce
commit
|
commitdiff
|
tree
2009-05-19
S
ven Verdoola
e
g
e
add
i
sl
_
set
_
p
r
oduct
commit
|
commitdiff
|
tree
2009-05-19
Sven
V
erdoolaege
expor
t
isl_ma
p
_di
m
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
is
l
_map_convex_hull:
h
and
l
e
unb
o
unded, but
pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
r
d
oolaege
privately ex
p
ort isl_mat_unimodula
r
_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdool
a
ege
isl_tab
.
c: add isl_tab_g
e
t
_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
i
s
l
_
map_conv
e
x_hull: avoid
i
ntr
o
ducing
li
n
eality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
a
dd two m
o
re
convex hull test case
s
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdo
o
laeg
e
i
sl_map_convex_hull: remove l
i
neal
i
ty spa
c
e
i
f any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
add isl_basic_s
e
t_is_universe
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdool
a
ege
add isl_s
e
t
_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verdoolaege
isl_con
v
ex_hull
.
c: upd
a
te wrap_facet t
o
t
h
e
fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verd
o
o
l
aege
isl_conve
x
_hull
.
c:
fix
typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
isl_coalesce
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoo
l
ae
g
e
isl_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
e
n Ve
r
doolaege
configure
.
in:
set AC_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n Verdoolaege
a
d
d isl_basi
c
_
s
e
t_get_dim
commit
|
commitdiff
|
tree
2009-03-23
S
ven V
e
rdoolaege
isl_basic_map_gist:
n
o
rmalize divs
(if any
)
in co
n
text
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Ve
r
dool
a
ege
isl_b
a
sic_map
_
simp
l
ify: rem
o
ve duplicate divs befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolaege
add is
l
_basi
c
_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoo
l
aege
change calling con
v
ention of
i
s
l
_basic_map
_
div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
isl_m
a
p
_simplify
.
c: us
e
t_g
i
st: b
r
ea
k
early if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n
V
erdoo
l
a
e
ge
i
s
l_map_
s
implify
.
c:
us
e
t_gist: b
r
eak early if intersecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
add isl_basic_se
t
_fas
t
_i
s
_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
update piplib t
o
1
.
4
.
0
commit
|
commitdiff
|
tree
next