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_map_read
:
accept chains
o
f com
p
arisons
commit
|
commitdiff
|
tree
2010-02-10
S
v
e
n
Verdoolaege
export isl
_
map_a
l
i
g
n_di
v
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdool
a
ege
isl_map_r
e
ad: forget existen
t
i
a
ll
y
quantifie
d
variab
l
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdo
o
laege
isl
_
inpu
t
.
c: rem
o
ve nee
d
l
e
ss ind
i
re
c
tion
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
doc: document how to inspect sets and
r
e
l
ations
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Ve
r
doolaege
export isl_map_co
m
pute
_
divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_constrain
t
_
di
v
: mak
e
sure re
q
uested div
i
s
a
known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc:
d
rop
doc
u
mentat
i
on of _dump f
u
nct
i
ons
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
isl_map
_
print: improve out
p
ut
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verd
o
o
l
aege
a
dd i
s
l
_
b
asi
c
_map_f
o
reach_c
o
n
straint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl
_
map_coal
e
sce: ha
n
d
le more cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
pr
i
vately exp
o
rt isl_set
_
wrap_f
a
cet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_convex_hu
l
l
.
c: wrap_face
t
: allow unbounded
f
a
c
ets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
d
o
c
: i
m
prov
e
decription of isl_map_t
r
a
n
sitive_closur
e
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdo
o
laege
isl_ma
p
_transitive_closure
:
improve
t
e
s
t for
exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoo
l
aege
add a counter example for
Theorem 1 of
t
he COCOA p
a
per
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
add isl_map_lower_b
o
u
n
d
_
s
i
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoola
e
ge
isl_map_power: coale
s
ce
d
omain
and range
commit
|
commitdiff
|
tree
2010-02-08
S
ven
V
erdoolaege
isl_f
l
ow
.
c: add mis
s
ing isl_access_info_free
r
e
tur
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_c
o
ale
s
ce
.
c:
f
ix typo i
n
comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
i
s
l
_
m
ap_read: accept l
i
sts of affin
e
e
x
pressions i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
o
l
aege
a
d
d
is
l
_mat_from_ro
w
_vec and isl_mat_vec_
c
oncat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
s
l_ma
p
_
read: read extended
p
o
l
yl
i
b for
m
at
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
ad
d
isl_stream
_
n
e
x
t
_token_
o
n
_
same_lin
e
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoola
e
g
e
isl_
m
ap_
r
ead:
m
ake su
r
e
polylib constraint co
e
ff
i
cient
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoo
l
a
e
ge
isl_{map,set}_di
m
: hand
l
e NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
er
d
oolaege
isl_map_re
a
d: use more uniform way of
rea
d
ing in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoola
e
ge
isl_tr
a
n
s
itive_closure
.
c:
f
i
x
typo i
n
comment
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
i
s
l_map_trans
i
ti
v
e
_closure:
use more relaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
V
erdoolaege
add isl_map_
p
o
w
er and is
l
_map_trans
i
tive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolae
g
e
isl_map_
s
ubtra
c
t
.
c: make so
m
e internal functions stati
c
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
add generic isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
dd isl_{map,
s
e
t
}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
rename isl_{map,s
e
t}_a
d
d to
i
sl_{map,
s
et}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_set_proj
e
c
t
_out: always update di
m
ension, ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
e
g
e
isl
_
d
i
m
_join: don't r
e
q
u
ire names of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
add isl_map_from_domai
n
_and_rang
e
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
isl_stre
a
m: t
r
eat "-" as operator rat
h
er
than as -
1
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdo
o
laege
i
s
l_map_rea
d
: accept "strict
"
inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl
_
in
p
u
t
.
c:
fix me
m
ory
de
a
ll
o
cation probl
e
m
on m
i
ssing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
a
dd
dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
add
i
s
l
_map_
{
p
a
rtial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdo
o
laege
add
p
riva
t
e isl_{set,map}_make_disjoin
t
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Ver
d
oo
l
ae
g
e
basis_re
d
uct
i
o
n_tem
p
l
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
isl_
t
ab_pip
.
c: find
_
soluti
o
ns: br
e
a
k
w
hen con
t
ext
b
ecomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
ge
isl_dim_equal: do
n
'
t
r
equire
names of inp
u
t and out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
isl_dim_
m
a
p
:
properly duplicate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_drop: proper
l
y
a
dju
s
t length of n
a
me
s
array
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
doo
l
aeg
e
doc:
a bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdool
a
ege
doc: describ
e
input/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
o
olaege
doc:
fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
ad
d
isl_c
a
t test application
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
add
ome
g
a output
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolae
g
e
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ve
r
d
o
olaege
isl_test: use isl_set_
r
ea
d
_from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ve
r
doola
e
g
e
a
d
d
isl_set_re
a
d_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
e
g
e
add
i
s
l_map_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
isl_map_read_fro
m
_file: allow
u
nions in is
l
form
a
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
isl_basic_map_read
:
read d
e
f
i
n
itions
of
e
x
i
s
t
ent
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
privately e
x
por
t
i
sl_basic_ma
p
_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolae
g
e
i
sl_b
a
s
ic_map_read: rea
d
aff
i
ne constraint as two
affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
d
ool
a
ege
isl_input
.
c: optionally
r
ead para
m
eters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
tokeni
z
er: accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
e
ge
export isl_map_read_fr
o
m_file
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
export isl_b
a
s
ic_map_r
e
ad_fr
o
m_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolae
g
e
drop
r
edundan
t
input_
f
ormat ar
g
ume
n
t
from reading functions
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
V
erdoolaeg
e
isl_inp
u
t
.
c: m
e
rge functions for
readi
n
g PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
isl_i
n
put
_
omega
.
c: acce
p
t Po
l
yLib input
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdo
o
l
a
e
ge
isl_input_omega
.
c: prepare for
reading parame
t
ric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
o
o
l
aege
i
s
l_i
n
pu
t
_omega
.
c
: final
i
ze and simplify
resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
laege
i
sl_input_omega
.
c:
f
ix check
f
or memory all
o
cati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
s
l_stream_n
e
xt_tok
e
n: skip
comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdool
a
e
g
e
isl_tab_bas
i
c_m
a
p_part
i
al_le
x
opt: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoo
l
a
ege
isl
_
basic
_
m
a
p_se
t
_to_empty: r
e
move sample (if any
)
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoola
e
ge
add isl_set_fast_is_e
m
p
ty
commit
|
commitdiff
|
tree
2010-01-13
S
ven Verdoolaege
properly remove piplib
subm
o
dule
commit
|
commitdiff
|
tree
2010-01-08
Sve
n
Ve
r
doolaege
isl_basic_map_
u
pdate_from_tab: r
e
-gauss result
i
ng bmap
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Verdo
o
l
aege
ax_s
u
bmodule
.
m4: d
o
n't let --with-module conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
ven Verdool
a
e
g
e
i
s
l
_ba
s
ic_set_c
o
mpare_at: comput
e
res
u
lt
i
n
terms
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
Verdoolaege
i
sl_t
a
b_pip
.
c: add cuts f
o
r all non
-
integer c
o
ordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven V
e
rdool
a
ege
i
s
l_basic_m
a
p_
g
ist: don't
dr
o
p equa
l
ities from
c
ont
e
xt
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
oolaege
isl_convex_hull
.
c:
i
nitial_face
t
_con
s
traint: drop
a
ll
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
Ver
d
oolaege
i
s
l_c
o
nvex_hull
.
c: is_inde
p
endent_
b
ound: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en
V
e
rdool
a
ege
i
s
l_convex_hull
.
c
:
extend: check
h
ull
argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_ma
t
_
r
ight_in
v
erse:
be m
o
re verbose on er
r
or condi
t
i
o
n
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Verdool
a
ege
is
l
_constrain
t
_dup: mak
e
s
ure line refers to
equat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_map_
i
ntersect: add special cas
e
for adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verd
o
olaege
isl_map_is_subs
e
t: break off as soo
n
as difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
en Verdoolaeg
e
c
o
m
p
ute s
e
t di
f
fe
r
enc
e
using a backtrac
k
ing
algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_map_sub
t
ract
.
c:
e
xtract
f
rom isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaege
isl_tab: keep track of
isl_basic_map inst
e
ad of isl_basic
_
s
e
t
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
o
l
aege
p
r
i
vately export isl
_
bas
i
c_map_co
n
tains
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoo
l
a
e
ge
add isl_bas
i
c_map_ad
d
_ineq
and isl_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaeg
e
isl_tab_detect_re
d
u
n
dant: return status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n
Verdo
o
laege
isl_t
a
b: ad
d
is
l
_tab_fre
e
ze_constra
i
nt
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n
Verdoolaege
i
sl_ta
b
_ad
d
_ineq and isl_tab_mark_empt
y
: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaeg
e
add missing AU
T
HORS fil
e
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
doola
e
ge
is
l
_basic_set_swap_
v
a
rs:
r
e-
g
a
u
s
s
r
esulting bse
t
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoo
l
aege
a
dd isl_bas
i
c_map
_
fir
s
t
_
constraint
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verd
o
olaege
e
xport i
s
l_basi
c
_map_lexmax
commit
|
commitdiff
|
tree
next