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.c: fix up to_col
2009-07-20
Sven Verdoola
e
g
e
isl_tab_
c
one_is_bound
e
d: start
over af
t
e
r
computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Ver
d
ool
a
e
g
e
isl_basic_set_dim_residue
_
class: o
n
ly set *mo
d
ulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sv
e
n Ver
d
oo
l
aege
add isl_b
a
s
ic_set_fast_dim_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoola
e
ge
isl_tab: drop isl_ctx a
r
gum
e
n
t w
h
ere
no
t
absolutel
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Ver
d
oolaege
isl_mat:
k
e
ep track
of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n Verdoolaege
i
s
l_ba
s
ic_set_sample: do
n
't pr
o
ject
o
ut linea
l
ity space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
i
sl_ba
s
ic_map_fix_pos:
m
i
c
ro-optimizat
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdo
o
laeg
e
m
ove isl_basic_set_
s
kew
_
to
_
positive_orthant
to
isl_samp
l
e
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaeg
e
isl_tab
.
c:
fix typo i
n
comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
isl_basi
c
_
set_sam
p
le: break early if samp
l
e f
o
un
d
in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
expo
r
t isl_tab_sample
_
is_
i
nteger
commit
|
commitdiff
|
tree
2009-07-15
S
ven Ve
r
doolaege
isl_b
a
sic_set
_
sample: check sam
p
l
e
stored by isl_ba
s
i
c
_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
isl_basi
c
_map_is_empty:
r
emove stale sa
m
p
l
e
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
add i
s
l
_pol
y
hedr
o
n_s
a
mple
a
pplicatio
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
intr
o
duce genera
l
ized bas
i
s
reductio
n
based sampling
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoo
l
aege
add isl_
s
eq_cdiv
_
q
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaeg
e
i
s
l_samp
l
e
.
c
:
inter
v
al_sample: drop redu
n
dant argument
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdool
a
ege
isl_sampl
e
.
c:
c
l
e
an up hand
l
ing of linea
l
ity space
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
isl_sam
p
le
.
c: extrac
t
o
u
t
sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
isl_sa
m
ple
.
c
: interval_s
a
mple: h
a
ndle equalitie
s
directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l
_sample
.
c: extra
c
t out em
p
ty_sa
m
ple
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdool
a
e
ge
isl
_
sample
.
c: general
i
ze po
i
nt_s
a
m
p
le
t
o zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolae
g
e
isl_
t
ab:
don't
c
reate
n
e
w undo rec
o
rds during rollba
c
k
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoo
l
aege
isl_tab_min: u
s
e gen
e
ral r
o
llba
c
k mechanis
m
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
sl_t
a
b: optional
l
y sav
e
d
u
al solution
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
isl
_
tab: add
isl_tab_a
d
d
_
valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoola
e
ge
export
is
l
_tab_al
l
oc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
la
e
ge
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven
Ver
d
o
olaege
privately export
i
sl_basic_set_recession_
c
one
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
i
sl_convex_hu
l
l
.
c: add missing assig
n
ment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
p
r
ivat
e
l
y
expor
t
isl_ba
s
ic_
s
e
t_lineality
_
spac
e
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaeg
e
isl_vec
:
ke
e
p tr
a
ck of
i
sl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Ve
r
doolaege
i
s
l_coalesce
.
c: fix
typo
commit
|
commitdiff
|
tree
2009-06-13
Sven
Verdoolaege
update piplib for change i
n
confi
g
ur
e
a
rgument
s
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aeg
e
i
sl_basic_map
_
drop_redunda
n
t_
d
ivs: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
d
o
o
l
aege
is
l
_basic_ma
p
_drop_r
e
dundant_d
i
v
s
:
set div expressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n
V
erdo
o
l
aege
isl_basic_m
a
p_drop_redun
d
ant_divs
:
drop more k
i
nds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoo
l
a
e
g
e
isl_map_co
m
pu
t
e_divs:
d
ro
p
obviously r
e
dundant div
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdo
o
laege
is
l
_map
_
piplib
.
c: extremu
m
_on: de
t
ect equalities first
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
d
oolae
g
e
isl_pip_basic_map_co
m
pute_divs: remove som
e
equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven
V
e
r
d
o
o
laege
i
sl_pip_basic_map_compute
_
divs:
s
eparate out dimen
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_ba
s
ic_set_p
r
eimage: han
d
le divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl_in
p
ut_o
m
ega
.
c:
make v
a
r
iable_
{
fre
e
,new} s
t
atic
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdool
a
e
g
e
isl_map
.
c:
m
ake a
d
d_divs static
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n
V
erdoolaege
isl_bas
i
c
_
map_s
i
m
p
l
ify
:
detect di
v
const
r
a
ints
w
hile
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en V
e
rdoolaege
isl_ba
s
ic_map_drop:
p
roperl
y
ha
n
d
l
e
d
imensions of typ
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en
V
erdoolaege
add isl_i
n
t_m
u
l_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoo
l
ae
g
e
add isl_seq
_
fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
add
i
sl_seq_fdi
v
_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
i
sl_basic_map_detect_equalities: properl
y
ha
n
dle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en V
e
rdool
a
eg
e
isl_basic_map_is
_
empty: explicitly mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoola
e
ge
is
l
_map
.
c: order_divs:
s
w
ap with
correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_m
a
p
_
coales
c
e: remove
extra
d
ivs intr
o
duced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdo
o
laege
add isl_
m
ap_
c
oal
e
s
ce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoo
l
ae
g
e
ad
d
isl_set_prod
u
ct
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Verdoolae
g
e
exp
o
rt
i
sl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
S
ve
n
Verd
o
olaege
isl_map_convex_hull: handle unbounded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
er
d
o
olaege
pr
i
vately export isl
_
mat_u
n
i
modular_compl
e
te
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaege
isl_tab
.
c: add isl_tab_get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
is
l
_map_convex_
h
ull: avoid introducing li
n
eality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
a
dd
t
w
o
m
ore convex hull test
cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aege
isl_ma
p
_co
n
v
ex_hu
l
l: remove lineality s
p
ac
e
if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n Verdoolaege
add
i
s
l
_b
a
sic_se
t
_
is
_
universe
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaeg
e
add isl_set_
g
e
t
_
d
im
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
i
s
l_convex_h
u
ll
.
c: update
w
r
a
p_face
t
to the fact w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex_hull
.
c: f
i
x typo in comment
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verd
o
o
laeg
e
isl
_
coale
s
ce
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
er
d
o
ola
e
ge
isl_tab
.
c: f
i
x
t
y
po in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdo
o
laege
co
n
figure
.
in: se
t
AC_
C
ONFIG_MACRO_
D
IR
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
add
i
sl_ba
s
ic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
isl_
b
a
s
ic_map_
g
ist: normalize div
s
(
i
f
any) in
c
ontext
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
s
l
_
bas
i
c_map_si
m
plify
:
remove duplic
a
te divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
a
d
d
isl_basic_set_di
v
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
change calling convention of isl_ba
s
ic_ma
p
_div
commit
|
commitdiff
|
tree
2009-03-23
S
ven Ver
d
oolaege
isl_map_simp
l
ify
.
c: us
e
t
_
gist: brea
k
early if ther
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_sim
p
lify
.
c: uset_gis
t
:
b
r
e
ak ea
r
ly if
inters
e
ct
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_basic_set_f
a
st
_
i
s
_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
r
do
o
laege
update
p
i
plib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoo
l
aege
i
s
l_tab
.
c
: store number of equalities among th
e
con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
isl_mat_
e
xtend: properly extend m
a
trices w
i
th reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_map_gi
s
t: handle some spe
c
ial
c
ases
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rd
o
ola
e
ge
add isl_map_un
i
verse
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ver
d
oolaege
add
i
s
l
_basic_map
_
fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doo
l
a
ege
isl_basic_map_gist: repl
a
ce by new version based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdoolaeg
e
isl_map_simplify
.
c: compute_e
l
i
m
ination_i
n
dex:
d
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoola
e
ge
add isl_map_
i
mplic
i
t_equa
l
ities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
a
eg
e
add isl_basic_s
e
t_free
_
eq
u
ality
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
e
g
e
isl_map_convex_hull:
m
a
rk
result as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
erdoolaege
convex_h
u
ll: coalesce set
first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add i
s
l_set_coalesce
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdool
a
ege
isl_inp
u
t_ome
g
a
.
c:
b
asic_map_read
:
acce
p
t
"+" in cons
t
raints
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
add isl_basic_set
_
all
o
c_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oola
e
ge
add isl_set_al
i
gn_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
uset_affi
n
e_h
u
ll:
i
g
n
ore directions in aff
i
ne hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_ba
s
ic_map_implicit_equalities: perform Gau
s
sian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
e
ge
isl_af
f
ine
_
h
u
ll
.
c:
o
utsi
d
e_poin
t
: check
f
o
r obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaeg
e
privately e
x
port isl_basic_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oolaege
isl_ctx: add negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_v
e
c_dump: handle
N
ULL
vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
i
sl_a
f
fine_hull
.
c: e
x
tract
u
set_
a
ffine_hull
commit
|
commitdiff
|
tree
next