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_coalesce: handle more cases
2010-02-08
Sven
V
erdoola
e
ge
i
s
l_
m
ap_coalesce: handle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
pr
i
vately export isl_set_w
r
ap
_
facet
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
V
e
rdoolaege
isl_con
v
ex_hull
.
c: w
r
ap_facet: a
l
low
unbounde
d
facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
d
oolaege
doc:
i
mpr
o
v
e
decription
o
f isl_map_transi
t
ive_clos
u
re
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
Verdoo
l
aege
isl_map_transitive_
c
losur
e
: improve test
for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
add a co
u
nter ex
a
mpl
e
f
or Theorem 1 of
t
he COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdool
a
ege
ad
d
isl_m
a
p_lower_bo
u
nd_si
commit
|
commitdiff
|
tree
2010-02-08
S
ven
Verdoolaege
isl_map
_
power: coa
l
esce domain and r
a
nge
commit
|
commitdiff
|
tree
2010-02-08
S
ven Ver
d
oolaege
i
sl_flow
.
c: add missing isl_a
c
cess
_
info_fre
e
return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
isl_
c
oalesce
.
c:
fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoo
l
aege
include/isl
_
int
.
h: ar
g
ument of mp_get_m
e
mory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Ver
d
o
o
laege
isl_m
a
p_re
a
d: a
c
c
e
pt lists of a
f
fine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven V
e
rd
o
o
laege
add isl
_
mat_f
r
om_row_
v
e
c
and isl
_
ma
t
_vec_co
n
ca
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
isl_
m
ap_
r
ead: read extend
e
d p
o
l
y
li
b
format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aeg
e
add isl_stream_next_token_on_same_
l
i
ne
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoo
l
aege
isl_ma
p
_r
e
ad: make sure po
l
y
lib con
s
traint c
o
effici
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl_{map,set}_dim: h
a
ndle N
U
LL input
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
isl_map_read:
use more unif
o
r
m
way
of
r
eading in
polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
doolaege
isl_tran
s
i
t
iv
e
_closu
r
e
.
c: fix typo
i
n c
o
mment
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
isl_ma
p
_transitive_closure: use mor
e
relaxed exa
c
t
ness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ve
r
doolaege
add
isl_map_p
o
w
er and isl_map_transi
t
iv
e
_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
isl_map
_
subtra
c
t
.
c: m
a
k
e
s
o
me
i
n
ternal
f
unctions
s
tatic
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
add gene
r
ic isl_m
a
p_pro
j
ect_ou
t
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdool
a
ege
a
d
d isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
rename isl_{m
a
p,set}_ad
d
to is
l
_{map,set}_ad
d
_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
Verdo
o
laege
is
l
_set_pr
o
ject_o
u
t:
a
l
w
a
ys update dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Ve
r
doolaege
isl_dim
_
join: don't
r
equire
n
ames of
j
oi
n
ed
v
ariables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_map_from_domain_
a
nd_ran
g
e
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdo
o
laege
isl_strea
m
: trea
t
"-" as
o
perator
rather tha
n
as -1
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdo
o
laege
isl_map_read: accep
t
"strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
isl_inpu
t
.
c
: fix memory deallo
c
at
i
on
p
r
oblem o
n
m
i
ssi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolae
g
e
add dependence a
n
alys
i
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
add
i
sl_map_{part
i
al_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoola
e
g
e
a
d
d
private isl_{set,map}_
m
ake
_
disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoo
l
aege
ba
s
is_reduction_templ
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_tab_pip
.
c: find_solutions:
b
r
eak w
h
en context bec
o
mes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
V
erdoolaege
isl_
d
i
m_eq
u
al:
d
on'
t
require names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdool
a
ege
i
s
l_di
m
_map: properly
d
u
p
licat
e
names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_drop: pro
p
e
r
ly adju
s
t length of names arra
y
commit
|
commitdiff
|
tree
2010-01-26
S
v
en
V
erdo
o
laege
d
o
c
: a
bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoo
l
aege
doc: desc
r
ibe input/output for
m
a
ts
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdo
o
laege
d
oc: fi
x
typ
o
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdool
a
ege
a
d
d
isl_cat t
e
st
a
p
p
lication
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
a
dd omega ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n V
e
rdoolaege
a
d
d
isl
o
utput
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
isl_
t
es
t
: use isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoo
l
aege
ad
d
isl_set_
r
ead_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
add isl_map_
r
ead_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
i
sl_map_
r
ead_fro
m
_f
i
le: al
l
ow unions
i
n isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
i
s
l_basic_m
a
p_r
e
ad: read defi
n
i
ti
o
ns of
existent
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ve
r
doo
l
aege
privatel
y
ex
p
o
rt i
s
l_basic_map_add
_
div_
c
on
s
t
r
aint
s
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdo
o
l
aeg
e
isl_basic_map_read:
r
e
a
d affine constraint as two
affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaeg
e
isl_input
.
c
:
optio
n
ally read param
e
ters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdool
a
ege
t
o
kenizer
:
accept "and" k
e
yw
o
rd
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
export i
s
l_map_rea
d
_from_
f
ile
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laeg
e
export isl_bas
i
c_
m
ap
_
read_fr
o
m_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ve
r
doolaege
drop redun
d
ant input_format ar
g
ument from reading functions
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Verdoolaege
isl
_
input
.
c: merge fun
c
tion
s
for reading P
o
l
y
Lib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en V
e
rdoolaege
isl_
i
nput_omega
.
c: ac
c
ept Poly
L
ib input
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n
V
erdoo
l
aege
isl_input_omega
.
c
: prepare for readi
n
g parame
t
ric union
s
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdo
o
laege
isl_input_omeg
a
.
c: finali
z
e
and simplify res
u
lting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoolaege
i
s
l_i
n
pu
t
_omega
.
c:
fi
x
ch
e
ck
for memory allocati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
doo
l
aege
isl_str
e
am_n
e
xt_t
o
ken: sk
i
p comment lines
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoolaege
isl_tab_ba
s
ic_map_pa
r
tial_
l
ex
o
pt: properl
y
handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdoolaege
isl_basic_
m
ap_set_to_empty: r
e
move sa
m
ple
(
if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
o
l
a
e
ge
add i
s
l
_set_fa
s
t_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaeg
e
p
r
operl
y
remove piplib
s
u
bmodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoolaege
isl_basic_map_upda
t
e_fr
o
m_tab: r
e
-gauss resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n Verdoolaeg
e
ax_submodule
.
m4: don't
l
et --
w
ith-module conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
v
en Verdoo
l
a
e
ge
add
isl_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven
Verdoola
e
ge
isl_basic_se
t
_compare
_
at: compute result i
n
terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
ven Verdoolaege
isl_tab_p
i
p
.
c
:
a
d
d cu
t
s for all
non-i
n
teger coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sv
e
n
V
er
d
ool
a
e
ge
isl
_
basic_map_gi
s
t:
don't drop equa
l
it
i
es from
context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolae
g
e
is
l
_
conv
e
x_hu
l
l
.
c
:
initial_
f
acet_constrain
t
:
drop a
l
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaeg
e
isl_c
o
n
ve
x
_hul
l
.
c:
i
s
_independe
n
t
_bound:
n
o
r
malize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolaege
i
sl_
c
onve
x
_hull
.
c:
e
xtend: check hul
l
a
r
gument
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoolaege
isl_mat_rig
h
t_
i
n
v
erse
:
be
m
or
e
verbose on error conditi
o
n
commit
|
commitdiff
|
tree
2009-12-18
S
v
en
Verdoolaege
isl_constraint
_
d
up
:
mak
e
sure line refers to
e
quation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven
V
erdo
o
laege
add co
p
yr
i
ght state
m
ents
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolae
g
e
remov
e
fun
c
tions for converting
between isl and Po
l
y
L
i
b
commit
|
commitdiff
|
tree
2009-12-16
Sven V
e
r
d
oolaege
isl_tab_solve
_
lp: invert op
t
i
mal value
back when comp
u
tin
g
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Ver
d
oolaege
i
s
l_m
a
p
_
intersect: ad
d
s
p
e
ci
a
l cas
e
for a
d
ding
a
s
ing
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven Ve
r
doolaege
isl_map_
i
s_subset: b
r
eak
off as soon as differen
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
co
m
pute set
d
iffe
r
en
c
e u
s
i
n
g a backtr
a
c
k
ing al
g
orithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
is
l
_map
_
su
b
tract
.
c
:
extract
f
r
o
m is
l
_m
a
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
olaeg
e
isl_
t
ab: kee
p
track of
i
sl_ba
s
ic_ma
p
instead of isl_basic_se
t
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
privatel
y
export isl_bas
i
c_ma
p
_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
e
r
d
oolaege
add is
l
_
basic_
m
ap_add_ineq an
d
isl_ba
s
ic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoola
e
g
e
i
sl_tab_
d
etect_redun
d
ant: r
e
turn
status
in
s
t
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaeg
e
isl_
t
ab:
a
d
d
isl_tab
_
freeze
_
constra
i
nt
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
i
sl_t
a
b
_
a
d
d_ine
q
a
nd
i
sl_tab_m
a
r
k
_empty
:
return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven V
e
rdoolaege
add
mis
s
ing
A
UTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoola
e
ge
isl_basic
_
set_swap_vars: re-gauss resulting
bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Ve
r
doolaege
add isl_basic_
m
ap_first
_
con
s
tr
a
int
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Ver
d
oo
l
aege
e
x
p
o
rt isl_ba
s
ic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
add isl_bas
i
c_set_le
x
max
commit
|
commitdiff
|
tree
2009-11-15
S
v
e
n
V
erdoolaege
isl_map_drop_basic_map: co
n
sistentl
y
keep bas
i
c
map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Ve
r
doolaege
i
sl_tab: row is only (obviousl
y
)
r
edu
n
dan
t
if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ve
r
doolaege
i
sl_basic_map
_
s
impl
i
fy: make sure to rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_b
a
sic_map_partial_lexopt:
u
se con
t
ext
c
onstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
next