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_print: support ISL_FORMAT_POLYLIB
2010-02-17
Sven Verdo
o
laege
is
l
_map_print: support
I
SL_FORMA
T
_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolae
g
e
i
s
l_m
a
p_coalesce: fix so
m
e
regres
s
ions int
r
oduce
d
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
add
i
s
l
_c
l
os
u
re test application
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
add transi
t
ive clo
s
ure examp
l
e
fro
m
Kelly
'
s 19
9
6 paper
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_
m
ap_tran
s
i
t
ive_closure:
c
onstruct ge
n
eral paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
isl_ma
p
_
t
r
ansitive_clo
s
ure: prepar
e
for the
constru
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl_map_transitive_
c
losure:
c
o
nstruct
p
aths t
h
at
c
an
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
erd
o
olaeg
e
isl_transitive_closure: e
x
tract
out constr
u
ction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
is
l
_map_transitive_cl
o
sure: use
m
ore generic acyclicit
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
isl
_
map_print: add
p
arentheses a
r
ound disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
isl_hash_table: use size
that correspond
s
to the numbe
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
o
laege
isl_hash_table: grow tab
l
e when
we run out of entr
i
e
s
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdo
o
laeg
e
isl_
m
ap_
c
oalesce: only use non-
r
edundant constraint
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
a
d
d
isl_
s
et_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verd
o
olaege
isl
_
m
ap_
r
ead: ac
c
e
p
t
chain
s
of c
o
mparisons
commit
|
commitdiff
|
tree
2010-02-10
S
v
e
n Verdoolaege
e
x
port isl_
m
ap_alig
n
_divs
commit
|
commitdiff
|
tree
2010-02-10
S
ven
Verd
o
ola
e
ge
i
sl_map_r
e
ad: forget existentiall
y
quantified vari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
V
e
rdoo
l
aege
is
l
_input
.
c: remo
v
e needless in
d
irection
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
doc: docume
n
t how to inspect
s
e
ts and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
export isl_m
a
p
_comp
u
te_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
r
d
oolaege
isl
_
constra
i
nt_div: make sure r
e
q
uested di
v
is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
doc:
dr
o
p
do
c
u
m
entation of _dump funct
i
ons
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoola
e
g
e
isl_m
a
p_print: improve ou
t
put
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
add is
l
_ba
s
ic_map_foreach_co
n
s
t
rai
n
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l
_map_coa
l
e
s
ce
:
handle mor
e
cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
privately export isl_set_wrap_fac
e
t
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n V
e
rd
o
olaege
is
l
_convex_hull
.
c:
wrap_fa
c
et: allow u
n
b
o
unded f
a
cets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
doc: impr
o
ve dec
r
iption of isl_map_transi
t
ive
_
closure
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n V
e
rdoolaege
isl_map_tr
a
nsitive_closure: impr
o
ve test for exact
n
ess
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
add a counter example
f
o
r Theorem 1 of the COCOA pap
e
r
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
ad
d
isl_map_lower_boun
d
_s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
lae
g
e
isl_map_power: c
o
al
e
sce d
o
main and r
a
nge
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
is
l
_flow
.
c
:
add mi
s
sing isl
_
acce
s
s_in
f
o
_
free retur
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
o
o
laege
isl_c
o
ale
s
ce
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoolaege
i
nclude/isl_int
.
h:
a
rgument of mp_get_mem
o
r
y
_
fun
c
ti
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdool
a
e
ge
isl_map_read: accept lists of affine expressions
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoola
e
ge
add is
l
_mat_fro
m
_row_vec and isl_m
a
t
_vec
_
concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_
m
ap_read:
r
ead e
x
tended polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
a
d
d isl_stream_next_token_on
_
same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
isl_map_read: make sure polylib constraint coeffici
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
sl_{map,
s
et}
_
dim
:
handle NULL
inp
u
t
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoo
l
aege
isl_map_read: use more uniform way of readin
g
in
polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_transit
i
ve_clos
u
re
.
c
: f
i
x
t
y
p
o in c
o
mment
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdo
o
l
aeg
e
isl_map
_
transitive_closure: u
s
e more r
e
laxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdool
a
e
ge
add isl_map_
p
o
w
e
r
and isl_map
_
transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
isl_m
a
p_subtract
.
c
: make some
internal functions static
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoo
l
aege
add gen
e
ric isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
add isl_{
m
ap,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
r
doo
l
aege
r
e
na
m
e isl_{m
a
p,set}_add to isl_{map,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdool
a
ege
isl_se
t
_
project_ou
t
:
always
update dime
n
sion
,
e
ven
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
r
d
oolae
g
e
isl_di
m
_join:
d
on't
r
equire names of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
add
i
sl_map_from_domain_and
_
range
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolae
g
e
isl_stream
:
treat "-" as oper
a
tor ra
t
her than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_read:
accep
t
"strict" inequali
t
ies
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
Verdoolaege
isl_input
.
c:
f
ix m
e
m
ory deallocation problem on
m
i
ssing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add dep
e
nden
c
e ana
l
ysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
o
laege
add
i
sl_map_{partial_
,
}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
a
d
d p
r
ivate isl_{set,map}_make_d
i
sjoint
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Ve
r
doo
l
aege
basis_red
u
ction_templ
.
c
:
f
i
x
typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
er
d
oolaege
isl_tab_pip
.
c
:
find_so
l
utions: brea
k
when
c
ontext becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
isl_dim_equal: don'
t
require
nam
e
s
o
f input and
o
utput
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
i
s
l
_dim_
m
ap: properly duplic
a
te
names
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n V
e
rdo
o
laege
isl_d
i
m_d
r
op: properly
a
djust length
o
f
names array
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erd
o
olaege
doc:
a
bit
more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
do
c
: describ
e
input/output form
a
ts
commit
|
commitdiff
|
tree
2010-01-26
S
ve
n
V
e
r
d
o
olaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoo
l
aege
add isl_cat t
e
st ap
p
lication
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoola
e
ge
a
d
d omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
r
d
o
o
l
aege
add
isl outpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
l
aege
isl_test: use
isl_set_r
e
ad_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
a
dd isl_set_r
e
a
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add i
s
l_map_read_
f
rom_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_map_read_from_fi
l
e: allow unions in isl for
m
at
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
o
olaege
isl_b
a
sic
_
ma
p
_read
:
read de
f
initions o
f
exis
t
ent
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoo
l
aege
privat
e
ly ex
p
ort isl_basic_map_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n V
e
r
doolaege
is
l
_basic_m
a
p_read: read
affine constraint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoola
e
ge
i
sl_input
.
c: option
a
l
ly
read para
m
et
e
rs fro
m
input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
e
ge
to
k
eni
z
er: accept "and
"
keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
exp
o
rt isl_map_read_from_fil
e
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdool
a
e
g
e
export isl_basic_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doo
l
a
ege
d
r
o
p redundant input_format argument f
r
om
r
ead
i
ng functions
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
isl_inp
u
t
.
c
: merge fun
c
tions for r
e
ading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
i
s
l_input_omega
.
c: accept
P
olyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdool
a
ege
isl_input_omega
.
c: prepar
e
f
or reading par
a
m
e
tric unions
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Ve
r
doolaege
isl_input_omega
.
c:
f
inalize and simpl
i
fy r
e
sulti
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
o
ola
e
ge
i
s
l
_
input_ome
g
a
.
c
: fix che
c
k
f
or memor
y
allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdo
o
laege
i
sl_stream_
n
ex
t
_t
o
ken: skip com
m
ent lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
isl_tab_basic_map_partial_lexopt: pr
o
perl
y
handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Ve
r
d
oolaege
isl_basi
c
_map_set_to_empt
y
: remove sample (if a
n
y)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add
i
sl_set_fast_is
_
empty
commit
|
commitdiff
|
tree
2010-01-13
Sv
e
n
Verdoolaege
prop
e
rly remove
pipli
b
submod
u
le
commit
|
commitdiff
|
tree
2010-01-08
Sve
n
Verdoolaege
isl
_
basic
_
ma
p
_update_fro
m
_tab: re-gaus
s
re
s
ulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n Verdool
a
ege
ax_submodule
.
m4:
d
on
'
t let -
-
with-m
o
d
u
l
e conflict wit
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Ve
r
doolaege
add isl_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n
Verdoolae
g
e
i
s
l_bas
i
c_se
t
_compare_at: com
p
ut
e
result in
terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
Verdool
a
e
ge
isl_tab_pip
.
c
: add c
u
ts for
a
l
l non-int
e
g
er c
o
ordinate
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven
V
erdoolaege
isl_
b
asic_map_gist: do
n
't drop equalities f
r
o
m
c
o
ntext
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoolaege
isl_con
v
ex_hull
.
c
:
initial
_
f
acet_const
r
a
int: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verdoo
l
aege
isl_convex_hull
.
c: is_indepen
d
e
nt_bou
n
d: normal
i
ze
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoolaege
isl_
c
o
nvex_hull
.
c: extend: c
h
eck hull
argument
commit
|
commitdiff
|
tree
next