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_tab_sample_is_integer
2009-07-15
Sven
V
erdoolaege
expor
t
i
s
l_tab_sam
p
l
e_is_integer
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n Verdoolaege
isl_basi
c
_
set_sample:
ch
e
c
k sample stor
e
d b
y
i
sl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olae
g
e
isl_
b
a
si
c
_
map_is_
e
mpty:
remove
stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add isl_polyhed
r
on_sample application
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
o
l
a
ege
introduce generalized basis
red
u
ction based samp
l
ing
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add isl_
s
e
q
_
cdiv
_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
isl_samp
l
e
.
c: inte
r
val_sa
m
ple: d
r
op redundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doo
l
aege
isl_sample
.
c: cle
a
n up han
d
ling of lin
e
ality space
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ver
d
oolaege
isl_
s
ample
.
c: e
x
tract out
sample
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verdoola
e
ge
is
l
_sample
.
c: in
t
e
r
v
a
l_samp
l
e: handl
e
equaliti
e
s d
i
rectly
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdo
o
laege
isl_sample
.
c: extract out em
p
ty_s
a
mple
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verd
o
olaege
i
s
l_
s
ample
.
c: generalize p
o
int_s
a
m
ple
t
o zero
_
sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab
:
do
n
't cr
e
a
te n
e
w und
o
records dur
i
n
g
r
o
llbac
k
commit
|
commitdiff
|
tree
2009-07-13
S
ve
n
Verdoolaege
isl_tab_mi
n
: use g
e
ner
a
l rollback me
c
hanism
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verdoolaege
isl_tab: op
t
ionally save d
u
al solution
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doo
l
aeg
e
isl_tab: add
i
sl_
t
ab_
a
dd_v
a
lid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
ex
p
o
r
t i
s
l_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
g
e
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erd
o
ola
e
ge
privately export isl_basi
c
_set
_
recession_
c
one
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_conve
x
_hu
l
l
.
c:
a
dd mis
s
ing assignme
n
t
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdo
o
l
a
e
ge
pr
i
vately
e
xport isl
_
basi
c
_set
_
lineality
_
space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
sl_v
e
c: keep trac
k
of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
i
s
l_coa
l
esce
.
c: fix
typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
updat
e
piplib for change in c
o
nfigure
ar
g
uments
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
rdoolaege
isl_basic
_
m
a
p_drop_redundant_divs: coalesce divs
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
isl_basic_map_drop_r
e
dundant_divs: set div exp
r
ession
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_basic_map
_
d
r
o
p_redundant_d
i
vs: drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Ve
r
d
oolaeg
e
isl
_
m
a
p_compu
t
e_divs: drop obviously red
u
ndant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
isl_map_piplib
.
c:
e
xtremum_on: detect equaliti
e
s first
commit
|
commitdiff
|
tree
2009-06-11
S
ven Ve
r
do
o
laeg
e
isl_pip_basic_map_compute_di
v
s: remove some equ
a
litie
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
V
e
rdoolae
g
e
isl_pip_basi
c
_ma
p
_compute_divs:
separat
e
out dim
e
nsion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_set_p
r
e
imag
e
:
handl
e
divs in inp
u
t
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
rdoolaege
isl_input_omega
.
c
:
make
var
i
able_{free,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
is
l
_map
.
c: m
a
ke ad
d
_divs
s
tatic
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
is
l
_basic_map
_
simpli
f
y:
dete
c
t
d
i
v
constraints wh
i
le
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
olaege
isl_ba
s
ic_map_drop: properly h
a
nd
l
e dim
e
n
s
ions of
ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
add
is
l
_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
add isl_seq_
f
div_q
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Verdoolae
g
e
ad
d
isl_seq_
f
div_r
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verd
o
olaege
isl_basic_map_detect
_
equalities: pr
o
perly
h
and
l
e
empt
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doolaege
isl_
b
asi
c
_map_is_empt
y
: explicitly mark basi
c
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
isl_map
.
c
:
order_d
i
vs: swap
with co
r
rect div
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
V
e
r
doolae
g
e
i
sl_map_c
o
ales
c
e:
r
e
m
o
v
e extra d
i
v
s i
n
t
r
od
u
ced by is
l
_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
a
d
d is
l
_map_coa
l
es
c
e
commit
|
commitdiff
|
tree
2009-05-19
S
v
en Verdoolaege
add isl_set_pro
d
u
ct
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n
Verdoolaeg
e
export
i
sl_map_
d
im
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
laege
i
s
l_m
a
p_con
v
ex
_
h
ull: handle unbounded, bu
t
po
i
nted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
laege
privately export
isl_mat_
u
nimodu
l
ar_comp
l
ete
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n V
e
rdoolaege
isl_
t
ab
.
c: add isl_tab_ge
t
_
s
ample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
i
s
l_map_convex_hull: avoid introducing lineality s
p
a
ces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdool
a
ege
add two more convex hu
l
l
test c
a
s
e
s
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aege
isl_
m
a
p
_convex
_
hull:
rem
o
ve lineality spa
c
e if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
g
e
add isl_basi
c
_
s
et_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
ege
add isl_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoola
e
ge
i
sl_convex_hull
.
c
:
u
p
d
ate wra
p
_
facet to the
fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolaege
isl_convex_hull
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolaege
is
l
_coalesce
.
c: fix
t
ypo in
c
omment
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
r
doolaege
isl_
t
ab
.
c: f
i
x
t
y
p
o in commen
t
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
a
d
d isl_b
a
sic_
s
e
t_get_dim
commit
|
commitdiff
|
tree
2009-03-23
S
ven
Ver
d
oolaeg
e
isl_basic_map_gist:
n
ormal
i
ze divs (
i
f any) i
n
c
o
ntext
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_basic_map_simplify: remo
v
e du
p
licate divs
be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
r
dool
a
ege
add isl_basic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
e
rdoolaege
cha
n
g
e
c
alling convention of
isl_b
a
s
ic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
is
l
_map_simp
l
ify
.
c: uset_gist: break ea
r
ly if th
e
re
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
i
s
l_
m
ap_simplify
.
c: uset_gist: break
early if
in
t
er
s
e
c
tion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
ad
d
i
s
l_basic_set_f
a
st_is_
e
mpty
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verd
o
o
l
a
ege
update piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_tab
.
c: store number of equali
t
i
e
s
among t
h
e const
r
ai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n
Verdo
o
lae
g
e
isl_mat_extend:
p
roperly extend matric
e
s wit
h
reord
e
red
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdo
o
l
a
eg
e
isl_
m
ap_gist: handle some special ca
s
es
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
dool
a
ege
add isl_map_universe
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
add i
s
l_basic_map_fast_is_
e
mp
t
y
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_basic_map_gist: replace by n
e
w ver
s
io
n
b
ased o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_simpli
f
y
.
c:
c
omput
e
_el
i
min
a
tion_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdo
o
laege
add isl_map_implic
i
t_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
a
dd isl
_
basi
c
_set_free_
e
quality
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_map_convex
_
hull: m
a
rk result as not havi
n
g an
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
olaege
c
o
nvex_hu
l
l: coalesc
e
set first
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdo
o
laege
a
d
d
isl
_
s
e
t_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_input_om
e
ga
.
c: b
a
sic_ma
p
_read
:
a
c
cept "
+
"
i
n
con
s
t
raints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_basic_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
erdoola
e
ge
add isl_set_a
l
ign_divs
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verd
o
o
l
aege
uset_
a
ffine_hull:
i
gno
r
e
di
r
ections in af
f
i
ne hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
eg
e
i
s
l
_bas
i
c
_
map_i
m
plicit
_
equalities:
p
er
f
orm Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
eg
e
isl_affine_hull
.
c: outside_po
i
nt: check for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdo
o
l
aege
privat
e
ly
exp
o
rt isl_ba
s
ic_set_contain
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_ctx: add negone
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaeg
e
isl_vec_dump: h
a
ndle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_affine_hu
l
l
.
c: extract
u
set_affin
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_mat_transp
o
se: handle non
-
r
e
cta
n
gular ma
t
rices
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
o
olaege
i
s
l_map
_
s
im
p
le_hull
:
compu
t
e
af
f
ine hull
b
efore alig
n
ing
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n V
e
rdoolaege
isl_map_si
m
p
l
e_hull: mark result as not ha
v
ing
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
ad
d
isl_set
_
bounded_s
i
mple_hull
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verd
o
ol
a
ege
i
sl_map_aff
i
ne_hull: detec
t
equalities
o
f integer affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_basic_map_dup: co
p
y
flags of original to
d
uplicat
e
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdoolae
g
e
isl_basic_map_exte
n
d_dim: move responsibi
l
i
ty of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaeg
e
i
s
l_basic_map_extend_dim:
onl
y
extend c
o
nst
r
ain
t
matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
oolaege
isl_sol
v
e_lp: use tableaus instead of calling pi
p
lib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
er
d
oolaege
i
s
l_so
l
ve_lp:
accept affin
e
o
bj
e
ct function instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
oolaege
i
s
l_ma
p
_simple
_
hull: use hash tables a
n
d t
a
b
l
eau
s
commit
|
commitdiff
|
tree
next