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: fix some regressions introduced by recent extensions
2010-02-17
Sven
V
erdoo
l
aege
is
l
_ma
p
_
c
oalesce: f
i
x
some regressions introduce
d
b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
Verdo
o
laege
add isl_c
l
o
sure test applicatio
n
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
er
d
o
o
laege
a
dd transitive closure example
f
r
o
m Kell
y
's
1
996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
e
r
do
o
laege
isl_m
a
p_tr
a
nsitive_c
l
osure: co
n
struct genera
l
pat
h
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
do
o
la
e
ge
isl_map_transitive_closure: pr
e
p
a
r
e for the construc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
isl_map_transit
i
ve_clo
s
ure: construct paths that
can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_transitive
_
closure:
extrac
t
out c
o
n
structio
n
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_ma
p
_tran
s
itive
_
closure: use more gene
r
i
c
acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
V
erdoolaege
isl_map_print: add parent
h
eses around dis
j
uncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash
_
table: use s
i
ze that
c
orr
e
sponds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
i
s
l_hash_table: g
r
ow table
when we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_map_coa
l
esce: only u
s
e
non-redundant co
n
s
traint
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaeg
e
add isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
isl_ma
p
_read: accept
c
hains of c
o
mparis
o
n
s
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n Verdoolaeg
e
expo
r
t
i
sl_
m
a
p
_al
i
gn_
d
i
vs
commit
|
commitdiff
|
tree
2010-02-10
Sven
Verdoolaege
isl_map_read
:
forget
existenti
a
lly qu
a
ntifie
d
va
r
iab
l
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
ven Ver
d
oolaege
isl_input
.
c: r
e
move needle
s
s in
d
irec
t
io
n
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rd
o
olaege
doc: docum
e
nt how to inspect sets an
d
relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export i
s
l_m
a
p_compute
_
divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_
c
onstr
a
i
nt_div: mak
e
sure r
e
quested div is
a
known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
do
c
: drop documenta
t
ion of _dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map_pr
i
nt: i
m
prov
e
output
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoola
e
ge
add
isl_basic_m
a
p
_
foreach_constra
i
n
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
isl_ma
p
_coalesce: handl
e
more ca
s
es
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdool
a
ege
priva
t
ely
e
xport
i
sl_set_
w
rap_face
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl
_
co
n
vex_hull
.
c: wrap_face
t
:
allow u
n
bounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
g
e
doc: improv
e
decrip
t
ion
of
isl_map_transitive
_
closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_t
r
ansitiv
e
_closure: i
m
prove
te
s
t fo
r
exactn
e
ss
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
Verdo
o
l
aege
a
d
d a counter example for Theorem
1
o
f
the COCO
A
paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add is
l
_map_
l
ower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolae
g
e
isl
_
ma
p
_
p
o
w
er: coalesc
e
domain and ra
n
g
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_flow
.
c:
add m
i
ssing
i
sl_access_info_fr
e
e
r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl
_
coalesce
.
c: fix t
y
po in co
m
me
n
t
commit
|
commitdiff
|
tree
2010-02-07
S
v
en Verdoolaege
include/is
l
_int
.
h: argume
n
t of m
p
_get_memory_fu
n
ctions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdool
a
ege
isl_map_read: accept lists of affine expressi
o
ns
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdo
o
laege
ad
d
isl_mat_from_
r
o
w_vec an
d
i
sl_m
a
t_vec_
c
onc
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
isl_ma
p
_re
a
d: rea
d
extended polyl
i
b
fo
r
mat
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoola
e
g
e
add isl_stream_nex
t
_t
o
ken_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
ola
e
g
e
i
s
l_map_re
a
d: make su
r
e polylib
constraint
c
o
ef
f
icie
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoola
e
g
e
i
s
l_{map,
s
e
t}_di
m
: h
a
nd
l
e NU
L
L input
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
Verdoolaege
i
s
l_map_rea
d
:
use m
o
r
e
uni
f
orm way of reading in poly
l
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
o
laege
isl_tra
n
siti
v
e_clos
u
re
.
c
:
fix
t
ypo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_transitive_clo
s
ure:
use m
o
re relaxed exact
n
es
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
rdoo
l
aege
add isl_map_power and isl_map_transitive_cl
o
sure
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
isl_map_su
b
tract
.
c: m
a
ke some internal functions
s
tati
c
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
add ge
n
eric isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
dd is
l
_
{
m
ap,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verd
o
olaege
rename isl_{map,set}_add to isl_{map,
s
et}_add_
b
asic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdo
o
laege
i
s
l_set_project_out: always update d
i
mension,
even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
rdoolaege
isl_di
m
_jo
i
n:
do
n
't require name
s
of joined variable
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Ve
r
doolae
g
e
ad
d
isl_map_from_do
m
ain
_
and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
sl
_
stream: treat "-" as operato
r
rather t
h
a
n
as -1
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
isl_ma
p
_read: accept "strict" inequal
i
ties
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaeg
e
is
l
_input
.
c: fix memory dea
l
location problem
on m
i
ss
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add
isl_map
_
{partia
l
_,
}
lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaeg
e
add private isl_{set
,
map}_mak
e
_di
s
j
oint
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
ba
s
is_reduction_tem
p
l
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
e
r
doolaege
isl_tab_pip
.
c: find
_
s
olutio
n
s: b
r
eak when
c
ontext
be
c
omes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaeg
e
isl_dim_
e
qual: don't req
u
ire name
s
o
f in
p
u
t and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
isl_dim
_
map: prop
e
rl
y
dup
l
icate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
i
s
l_dim_
d
rop:
p
roperly adjust len
g
th of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoolaege
d
oc: a bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoolaege
doc: describe
input/output for
m
ats
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoolaeg
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
a
e
ge
add
i
sl_cat
t
est
applica
t
ion
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
a
d
d omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_te
s
t: use isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
a
dd
i
sl_set_read_
f
rom_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
o
l
a
ege
add isl_map_read_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
S
ve
n
Ve
r
doolaege
isl_map_read
_
f
rom_f
i
le: a
l
low
u
n
ions
in isl fo
r
m
at
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verd
o
olaege
isl_basic_
m
ap_re
a
d: read de
f
initi
o
n
s of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
p
rivately ex
p
o
rt is
l
_basic_map_a
d
d_div_
c
onst
r
aints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
is
l
_basi
c
_map_read: read affine c
o
nst
r
aint
a
s
t
wo
affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
V
e
rdoolaege
isl_
i
npu
t
.
c: optionally read paramet
e
rs from in
p
ut
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaeg
e
tokenizer: accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdo
o
laege
export i
s
l_
m
a
p
_r
e
ad
_
from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export is
l
_basic_map_read_from_st
r
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
dr
o
p
r
edundant
i
npu
t
_format
ar
g
ument from
r
e
a
d
i
ng fu
n
c
ti
o
ns
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_in
p
ut
.
c: me
r
ge functions for readi
n
g P
o
lyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_in
p
ut_omega
.
c
:
a
ccept PolyLib i
n
p
u
t
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Ve
r
doolaege
is
l
_
i
n
pu
t
_ome
g
a
.
c: prep
a
re
f
or
r
ead
i
n
g
param
e
tric un
i
ons
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
laege
isl_input
_
omega
.
c: finaliz
e
and simplify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en
Verdoolaege
isl_in
p
ut_omega
.
c: fix ch
e
ck
f
or memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolaege
is
l
_stream
_
next_toke
n
: skip
com
m
ent lin
e
s
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
er
d
oo
l
aege
is
l
_tab_bas
i
c_map_parti
a
l_lexopt: properly handle
e
m
p
ty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_basic_map_set_to_empty: rem
o
ve sample (i
f
any)
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
add
i
sl_s
e
t_f
a
st_is_e
m
pty
commit
|
commitdiff
|
tree
2010-01-13
Sve
n
V
e
rdoolaege
proper
l
y
r
emo
v
e piplib su
b
module
commit
|
commitdiff
|
tree
2010-01-08
S
v
e
n Verdool
a
ege
i
s
l_basic_map
_
update_from_tab: re-gauss resulting
bm
a
p
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
a
x
_
s
u
bmodule
.
m
4:
don
'
t let --with-module conflict
with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoolaege
add i
s
l_s
e
t_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Ver
d
ool
a
e
g
e
i
s
l_basic_set_compare_at: compute
r
esult
i
n
terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Ve
r
doola
e
g
e
isl
_
tab_
p
ip
.
c: add cuts for all
n
on-in
t
eger coord
i
nates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven
V
erdoolaege
i
sl_basi
c
_map_gist: don't drop
e
qualities from context
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoolaege
isl_
c
on
v
ex_hul
l
.
c: init
i
al_facet_constrai
n
t: dr
o
p all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
s
l_convex_hull
.
c: is_ind
e
p
endent_
b
ound: no
r
malize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
s
l_convex_hull
.
c
: extend: check hull arg
u
ment
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_mat_rig
h
t
_
inv
e
rse: b
e
m
o
re v
e
rbose on error c
o
ndition
commit
|
commitdiff
|
tree
next