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_map_read: accept chains of comparisons
2010-02-13
Sven Verdoolaege
isl_
m
ap_read: accept chains of compari
s
ons
commit
|
commitdiff
|
tree
2010-02-10
Sven
Verdoolaege
export isl
_
m
a
p
_align_
d
ivs
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rd
o
o
l
aege
i
s
l_map_read: for
g
et existen
t
ially quant
i
f
ied variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Ver
d
oolaege
isl_i
n
put
.
c
:
remove ne
e
dless ind
i
recti
o
n
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
Verdool
a
ege
doc: d
o
cument
h
o
w
t
o
in
s
pect sets a
n
d
r
elati
o
n
s
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
r
d
oolae
g
e
export is
l
_map_compute_di
v
s
commit
|
commitdiff
|
tree
2010-02-09
S
ven
Verdoolae
g
e
isl_constraint_div: make sure requeste
d
div is a known d
i
v
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdool
a
ege
doc: d
r
o
p docum
e
n
t
ation of
_
d
ump fu
n
ctions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map_p
r
int:
i
mprove o
u
tp
u
t
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdool
a
e
ge
add isl_basic
_
map_for
e
ach_cons
t
rai
n
t
commit
|
commitdiff
|
tree
2010-02-08
S
ven
V
erdoolaege
i
s
l_map_coa
l
e
s
ce: handl
e
mo
r
e cases
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Ver
d
oolaege
pr
i
v
a
t
ely ex
p
ort isl_s
e
t_w
r
ap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
isl_conv
e
x_hull
.
c:
w
r
a
p_fa
c
et: allow
unbou
n
ded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Ver
d
oolaege
doc
:
imp
r
o
v
e decription of isl_map_t
r
ansiti
v
e_closu
r
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doola
e
g
e
isl_map_transitive_closure: improve test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verd
o
olaege
add a
c
ou
n
ter ex
a
m
p
le
f
or
Theorem
1
o
f the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoola
e
ge
add isl_ma
p
_low
e
r_bound
_
si
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
r
d
o
o
laege
isl_map
_
power: coalesce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_flow
.
c
:
add missing isl_access_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
V
erdoolae
g
e
isl_coales
c
e
.
c: fi
x
typo
in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_m
a
p_read: ac
c
ept lists of affine
e
xpressi
o
ns in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add
i
sl_ma
t
_from_row_ve
c
a
n
d isl_mat_vec_c
o
n
cat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: read extended polylib f
o
rmat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl_
s
t
r
eam_next_token_o
n
_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaeg
e
isl_map_
r
ea
d
: make
su
r
e po
l
ylib constra
i
nt co
e
fficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
is
l
_{m
a
p,set}_d
i
m: handle
N
ULL input
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
isl_ma
p
_read
:
use more u
n
iform w
a
y o
f
r
e
adi
n
g in polyl
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_transiti
v
e_c
l
osu
r
e
.
c: fix ty
p
o in
c
omment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_transitiv
e
_c
l
osu
r
e: use more r
e
laxe
d
ex
a
ct
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n
Verdoolaege
a
dd i
s
l_m
a
p
_power and is
l
_map_t
r
a
nsitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
i
s
l_map_subtr
a
ct
.
c
:
make
s
o
m
e
internal fu
n
ctions stat
i
c
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
Verdo
o
laege
add generic isl_ma
p
_pro
j
e
ct_o
u
t
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doola
e
ge
a
d
d isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
Verdoo
l
aege
r
en
a
me isl_
{
map,set
}
_add t
o
isl_{m
a
p,set}_a
d
d_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven
V
erdool
a
e
ge
isl_set_
p
roject_out:
always
u
p
d
ate dimension, ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
i
s
l_dim_join: don't require
n
ames of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add i
s
l_map_
f
rom_domain_and_
r
a
nge
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
V
erd
o
o
laege
isl
_
s
t
ream: treat "-
"
as o
p
erator r
a
t
h
er
t
han
a
s
-
1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_re
a
d
: acc
e
p
t "
s
trict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erd
o
olae
g
e
isl_in
p
ut
.
c: fix memory deallocation probl
e
m o
n
mis
s
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ve
n
Verd
o
o
laege
add depend
e
nce analysis
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoo
l
a
ege
add isl_map_
{
partia
l
_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oolaege
ad
d
private isl_{se
t
,map}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
basis_redu
c
t
ion_temp
l
.
c: fix t
y
po i
n
comment
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rd
o
o
l
a
ege
isl_tab_
p
ip
.
c
:
find_solutions: break
w
hen co
n
t
ext
b
ecomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
isl_dim_equ
a
l: don
'
t
r
equire n
a
m
e
s o
f
in
p
ut an
d
output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoola
e
ge
isl_dim_map: properly
duplicate n
a
me
s
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
i
s
l_
d
im_drop: prop
e
rly adj
u
s
t
length o
f
names arra
y
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoola
e
ge
doc: a
b
it more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
oola
e
ge
d
o
c
: des
c
ribe input/
o
utput form
a
ts
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
d
oc:
fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
add isl_cat
t
es
t
app
l
ication
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omeg
a
ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
o
olaege
add i
s
l output
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
isl_test: u
s
e i
s
l
_s
e
t_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
a
d
d isl_set_r
e
ad_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
g
e
add isl_map_
r
ead_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_map_
r
ead_from_file:
a
ll
o
w
unions in isl form
a
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_b
a
sic_map_re
a
d: read definitions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
priv
a
tely expo
r
t is
l
_basic_map_ad
d
_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl_basic_m
a
p
_
r
e
ad: re
a
d affine co
n
straint as t
w
o affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
isl_input
.
c: opti
o
nally
read paramet
e
rs f
r
om input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
tokeni
z
er: accept
"
a
n
d"
ke
y
w
o
rd
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
export
i
sl_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl_basic_map_re
a
d_from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
S
ven V
e
rdoolaege
drop redun
d
ant
i
n
p
ut_
f
ormat argu
m
ent from
reading functi
o
n
s
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl
_
input
.
c: merge fun
c
t
i
ons
for reading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
erdoolaeg
e
isl_input_o
m
e
g
a
.
c: accept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input
_
omega
.
c: prepare
f
or reading parametri
c
un
i
ons
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erd
o
ol
a
ege
isl_input
_
o
mega
.
c:
f
inalize
a
nd simp
l
ify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oo
l
ae
g
e
isl_input_o
m
ega
.
c: fix ch
e
ck for memo
r
y al
l
ocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolaege
isl
_
stream_next_token:
s
kip co
m
m
ent lines
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdool
a
ege
i
sl_tab_ba
s
ic_map_partial_l
e
x
op
t
:
proper
l
y h
a
ndle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaeg
e
isl_b
a
sic_map
_
set_to_em
p
ty:
r
emove
sample (if
any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add
isl_set_fa
s
t
_
is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdo
o
laege
proper
l
y
r
emove p
i
pl
i
b
s
ubm
o
du
l
e
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoolaege
isl_basic_map_update_from_tab: re-ga
u
ss re
s
u
l
ting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
r
doolaege
ax_submodule
.
m4: don't let --with-mod
u
le conflict
w
ith
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdool
a
ege
a
dd is
l
_
set_f
o
l
l
ows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
erdoolaege
i
s
l_basic_
s
et_co
m
p
a
r
e
_
a
t
:
c
ompute result in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolae
g
e
isl_tab_pip
.
c: add
cuts for all
n
on-integer co
o
rdinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
isl_bas
i
c_ma
p
_
g
ist:
don't drop e
q
u
a
lities from co
n
text
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verd
o
o
laege
i
s
l_
c
o
n
vex_
h
ull
.
c: initial_facet
_
co
n
stra
i
nt:
drop
a
ll
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoo
l
ae
g
e
isl_co
n
vex_hull
.
c: is_inde
p
e
ndent_boun
d
: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolaege
isl
_
co
n
vex
_
hull
.
c: extend: check hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdo
o
l
a
ege
isl_mat_righ
t
_inve
r
se: be mo
r
e verbose on
er
r
o
r con
d
it
i
on
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdo
o
laege
isl_constraint_dup:
m
ake sure line refers to equat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
erd
o
olae
g
e
isl_map_intersect:
a
d
d
s
p
ecial case for adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
erdoolaege
compute set di
f
ference using a backtracking al
g
orith
m
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoola
e
ge
i
s
l
_map_s
u
btr
a
c
t
.
c:
e
xt
r
act
from isl_
m
ap
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoola
e
ge
isl
_
t
a
b: k
e
e
p
tr
a
ck of isl_basic_map instead of
i
sl_
b
asic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
er
d
oolaege
privately e
x
port i
s
l
_basic_map_
c
ontains
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaege
add isl_basic
_
map_
a
dd_ineq and isl
_
b
a
sic_map
_
ad
d
_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_
t
ab_detect_red
u
nd
a
nt: ret
u
rn status
i
nstead
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
e
r
d
o
olaege
isl_tab: add isl_tab_fr
e
eze_c
o
ns
t
raint
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Verdoolaege
i
s
l_tab_add_
i
neq and i
s
l_tab_mark_empty:
return s
t
atus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
doolaege
add mis
s
in
g
AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven V
e
rdoolae
g
e
isl_basic_set_s
w
a
p
_
v
a
rs: re-gauss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdo
o
la
e
ge
add isl
_
b
a
sic_m
a
p
_
first_con
s
t
raint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaeg
e
ex
p
ort isl_bas
i
c_map_lexm
a
x
commit
|
commitdiff
|
tree
next