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_map_get_dim
2009-08-07
S
v
en
Verdoolaege
add isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_map_ge
t
_dim
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verd
o
o
l
aege
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolaege
export isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
d
o
olaege
isl_t
a
b
.
c:
mark_redundan
t
: o
n
ly mark va
r
iab
l
e nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaeg
e
isl_tab
.
c:
t
o
_
row
:
allow pivoting in arbi
t
rary direction
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_
t
ab
.
c: simplify code by lett
i
ng mark_empt
y
return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add i
s
l_seq_last_non_zer
o
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
isl_tab
.
c
: simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
isl_tab
.
c: extra
c
t
allocate_con
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n Verdoolaege
privately ex
p
or
t
i
s
l_b
a
sic_set_s
e
t_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
c
on
f
igure
.
ac: explic
i
tly set AC_CONFI
G
_AUX_DI
R
commit
|
commitdiff
|
tree
2009-07-21
Sven
Verdoolaeg
e
c
o
nvex_hull: coalesce s
e
t during facet
co
m
pu
t
ation
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Verdoola
e
ge
i
sl
_
m
a
p_coalesce: do
n
't drop rational fl
a
g
from resu
l
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Ver
d
oolaege
isl_tab_
c
on
e
_is_bo
u
nded: start
ove
r
a
f
t
e
r
computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verd
o
olaege
isl_basic_s
e
t_dim_residue_c
l
a
s
s
:
o
nly set *mo
d
ulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdoolaege
add isl_bas
i
c_set_fast_dim_is
_
fixed
commit
|
commitdiff
|
tree
2009-07-16
S
v
en Verdoolaege
isl_tab: dro
p
isl_ctx ar
g
ume
n
t
where
not absolutel
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
v
e
n
Verdoolaege
i
sl
_
mat: kee
p
track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdool
a
ege
isl_basic
_
set_sample: don'
t
p
ro
j
ect out lineality spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
isl_basic_map_fix_po
s
: micr
o
-o
p
tim
i
zation
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
d
o
olaege
move isl_basic_
s
et_
s
kew_to_pos
i
tive
_
or
t
hant to
is
l
_s
a
mple
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolae
g
e
isl_tab
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
isl_bas
i
c_
s
et_sample
:
brea
k
early if sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
e
xport isl_tab_sample_is_in
t
eger
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
is
l
_basic_set_
s
ample:
check
sample
s
tored by isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
r
doolaege
i
sl_
b
a
sic_map_is_empty
:
remove sta
l
e sample
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
Verdo
o
laege
add isl
_
p
olyhe
d
ron_sample app
l
ication
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
introduce generalized
b
asis
reduction based sampling
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
add isl_
s
e
q
_
c
d
iv_q
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
V
e
r
doolae
g
e
isl_sample
.
c
:
i
nt
e
rval_sa
m
p
le: dro
p
redundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
is
l
_
s
ample
.
c: clean up handling
o
f lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_samp
l
e
.
c
:
extract out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
isl_sample
.
c:
i
nterval_sam
p
le: hand
l
e equaliti
e
s direc
t
ly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_samp
l
e
.
c:
extract out e
m
pty_samp
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verd
o
o
lae
g
e
i
s
l_sample
.
c
: genera
l
ize poi
n
t_sampl
e
t
o zero_
s
a
mple
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_
t
ab: d
o
n't create new u
n
do rec
o
rds during
r
ollback
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Ve
r
doolaege
isl_tab_m
i
n: us
e
ge
n
eral rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
oolaeg
e
i
s
l_tab: optionally sa
v
e
d
ual
s
o
lution
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Ver
d
oolae
g
e
isl_tab: a
d
d isl_tab_add_v
a
li
d
_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
e
xport isl_t
a
b_al
l
oc
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verdoolae
g
e
a
d
d is
l
_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
private
l
y
expor
t
isl_basic_
s
et_
r
ecession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rd
o
o
l
aege
i
s
l_co
n
vex_hull
.
c: add missing assi
g
n
ment
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
V
erdoolaege
p
r
i
vately export
isl
_
b
a
sic_set_l
i
neality_spa
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_
v
e
c: kee
p
t
r
a
ck of i
s
l_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_coalesce
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2009-06-13
S
ven
V
er
d
ool
a
ege
update
p
iplib for change
i
n configure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
isl_basic_map_drop_re
d
undant_divs: c
o
a
lesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
isl
_
basic_map_d
r
op_redun
d
ant_divs: set div ex
p
r
e
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_basic_map
_
dro
p
_redundant_divs: drop mo
r
e ki
n
ds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
ae
g
e
isl_map_
c
omp
u
te_divs:
drop
o
bviously red
u
ndant di
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
i
s
l_map_pipl
i
b
.
c: extremum_
o
n: det
e
ct equal
i
ties
f
i
rst
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl_pip_basic_map_compute_d
i
vs: re
m
o
ve some equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ve
n
Verdoolae
g
e
isl_
p
i
p
_basic_map_
c
o
mp
u
te_divs:
s
epar
a
te
o
ut dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
isl_basic_set_preimage:
handl
e
divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaeg
e
isl_inp
u
t_omega
.
c
:
m
ake variable
_
{free,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
d
o
olaege
isl_map
.
c:
m
ake
a
dd_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
isl_bas
i
c_map_simplify
:
dete
c
t div constrain
t
s while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Verdoolaege
isl_basic_map_drop:
properly handle dimensi
o
ns
o
f type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Verdoolaege
a
d
d isl_int
_
mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
olae
g
e
a
d
d isl_
s
eq_
f
div_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doolaege
add i
s
l_seq_fdiv_
r
commit
|
commitdiff
|
tree
2009-06-07
S
ven Ve
r
doolae
g
e
isl_
b
asic_ma
p
_detect_equalities: p
r
operly handl
e
empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
is
l
_basic_map_is_emp
t
y
: exp
l
icitly ma
r
k basi
c
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Ve
r
doolaege
isl_m
a
p
.
c: o
r
der_divs: swa
p
with correct div
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaege
isl_map_
c
oale
s
ce: remove extra divs introduced by isl_map_a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
v
en Verdool
a
ege
add i
s
l_map_c
o
alesce
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Verdoolaege
a
d
d isl_set_produc
t
commit
|
commitdiff
|
tree
2009-05-19
Sven
V
erdoolaege
expo
r
t isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaeg
e
i
sl_map_convex_hull: handle unbounded, but p
o
i
n
t
ed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdool
a
e
ge
pr
i
vate
l
y ex
p
ort isl_mat_
u
ni
m
o
dular_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
isl_t
a
b
.
c: add isl_tab_
g
et_sam
p
le_v
a
l
ue
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdool
a
ege
isl_map_convex_hull: avoid intr
o
d
ucing l
i
neality
spac
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add two
m
o
re convex hull test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
o
l
aege
isl_map_convex_hull: rem
o
ve lineali
t
y
s
p
a
ce if a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
a
dd isl_bas
i
c_set_is_univers
e
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
add isl_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolae
g
e
i
sl_conve
x
_hull
.
c
: update
wra
p
_facet to the fac
t
we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex_hu
l
l
.
c: fix ty
p
o
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
d
oolaege
i
s
l
_coale
s
ce
.
c: fix
t
ypo
i
n com
m
ent
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
la
e
ge
isl_tab
.
c: fix typo in co
m
men
t
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oolaege
conf
i
gure
.
i
n
:
s
e
t A
C
_CON
F
IG_MACRO
_
DIR
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
add isl_basic_set_get_d
i
m
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
isl_basic_map_gist: n
o
rmalize divs (
i
f an
y
)
in context
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_
b
asic_map_
s
implify:
remove duplicate d
i
vs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
e
rdoolaege
add i
s
l_basic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aege
ch
a
nge calli
n
g co
n
v
ention of isl_b
a
sic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_simplify
.
c
: uset_
g
i
s
t: brea
k
early if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
r
do
o
laege
i
s
l_
m
ap_simplif
y
.
c: us
e
t_g
i
st: break early i
f
intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add
is
l
_basic
_
set_fast_is_emp
t
y
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
g
e
update p
i
plib
t
o 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
isl_ta
b
.
c: store number o
f
equalities among
t
he c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoo
l
aeg
e
isl_m
a
t_exte
n
d: properly extend
matrices
w
ith
r
eordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_gis
t
: h
a
ndle som
e
special cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_ma
p
_unive
r
se
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rdoolae
g
e
a
dd isl
_
basic_map_fa
s
t_is_em
p
ty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ol
a
ege
isl_basic_map_gi
s
t: replace by new version ba
s
e
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_map_s
i
mplify
.
c
: compute
_
el
i
mination
_
in
d
ex: d
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_map_implicit_
e
qu
a
liti
e
s
commit
|
commitdiff
|
tree
next