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: improve output
2010-02-09
Sven
V
e
rdoolaege
isl_map_print: improve ou
t
put
commit
|
commitdiff
|
tree
2010-02-09
S
v
en
V
e
r
doola
e
ge
add isl_
b
asi
c
_map_forea
c
h_constra
i
nt
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
isl_map_coales
c
e: handle
more
ca
s
es
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
privately export is
l
_set_wrap_f
a
cet
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
r
dool
a
ege
isl_convex
_
hull
.
c: wra
p
_facet:
a
llow unbounded fa
c
ets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdo
o
laege
doc:
i
mpro
v
e
decription of
i
sl_map
_
transit
i
ve_clos
u
r
e
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
isl_map_tr
a
nsit
i
ve_closure:
imp
r
ove te
s
t
for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add a
counter
e
xample for Th
e
o
r
em
1
of the COCOA
pape
r
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
add is
l
_map_lower_bound_
s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
do
o
laege
isl_map
_
power: coal
e
sc
e
domain and
r
ange
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdo
o
laeg
e
isl
_
flow
.
c:
add missing isl_access_info_fr
e
e retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_c
o
alesce
.
c: fix t
y
po in
comment
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoolaege
include/isl_in
t
.
h: arg
u
ment of
m
p
_
g
e
t_mem
o
ry_fu
n
c
ti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl_
m
ap_read: a
c
c
ep
t
lists
o
f af
f
ine e
x
pressions i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en V
e
rdoolaege
add isl_mat_from
_
row_v
e
c and isl_ma
t
_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
isl_map_
r
ead: rea
d
extended
p
olylib forma
t
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdo
o
la
e
ge
a
d
d isl_stream_next_tok
e
n_on
_
same_line
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
Verdoolaege
isl_map_read: make sure polylib constra
i
nt coeffic
i
ents
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolae
g
e
isl
_
{
map,set}_dim: handle NULL in
p
ut
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
is
l
_map_re
a
d
:
use more uni
f
orm way of reading i
n
polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
isl_
t
ransitive_clo
s
ure
.
c:
f
ix t
y
po in
comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
isl_map_
t
ra
n
s
i
tive_closure: us
e
m
o
r
e rela
x
e
d exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_ma
p
_power a
n
d isl_map_tra
n
sitive_closur
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doo
l
aege
isl_map_subtr
a
ct
.
c: m
a
ke s
o
m
e
internal
f
unction
s
s
t
ati
c
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
d
d gen
e
ric isl_map_pro
j
ect
_
out
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
add isl_{map,se
t
}
_
add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
rename
i
sl_{m
a
p,
s
et}_
a
dd to isl
_
{
map,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_set_pro
j
e
ct_out
:
alw
a
ys u
p
date d
i
mension, eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
isl_dim_join: don't re
q
uire names
o
f joined
variabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_
m
ap_from
_
d
omain_and
_
range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
isl_stream: t
r
eat "
-
" as
o
perator rather th
a
n as -1
commit
|
commitdiff
|
tree
2010-02-03
S
ven
Ve
r
doolaeg
e
isl_map_r
e
ad:
a
ccept
"strict" inequali
t
ies
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
i
sl_input
.
c:
fix memory
d
eall
o
cation
p
roblem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
a
dd
d
ependenc
e
analysi
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
do
o
laege
a
d
d isl_map_{par
t
ial_,}lex
o
pt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
ad
d
privat
e
isl_{set
,
m
a
p}_make
_
disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdo
o
laege
b
asis_reducti
o
n
_
t
empl
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
d
o
olaege
isl_tab_pip
.
c: fi
n
d_solut
i
ons:
b
reak
when context
becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
isl_dim_equal: don't requ
i
re names
o
f
i
nput a
n
d output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
ae
g
e
isl
_
dim_map:
prop
e
rly duplicate nam
e
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
do
o
laege
isl_dim_drop: pr
o
perly adjust length
of
names ar
r
ay
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: a bi
t
m
ore
o
n
integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc:
describe input/o
u
tpu
t
form
a
ts
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolae
g
e
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add i
s
l_cat
test a
p
pl
i
cation
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
l
a
ege
add omega outpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdoolaege
add is
l
output
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
isl_t
e
st
:
use isl_set_r
e
a
d
_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
add isl
_
set_re
a
d_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Verdoolae
g
e
add isl_map_read_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
isl_
m
a
p
_re
a
d_from_file: allow
u
n
i
ons in
isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaeg
e
i
s
l_bas
i
c_
m
ap_
r
ead: r
e
ad de
f
i
nitions of exist
e
ntia
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Ve
r
dool
a
ege
pr
i
vately export is
l
_basic_map_add_div_c
o
nstraints
commit
|
commitdiff
|
tree
2010-01-25
S
ve
n
Verdoolaege
isl_basic_map_read: read
affine constraint as tw
o
a
f
f
ine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
i
s
l_input
.
c: optionally read pa
r
ameters from input
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ve
r
doolaeg
e
toke
n
izer: accept
"an
d
" keywor
d
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoo
l
aege
e
xport
i
s
l
_map
_
read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
expo
r
t i
s
l
_
b
asic_map_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop re
d
u
n
dant input_format argument
from read
i
n
g
functio
n
s
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erd
o
o
laege
isl_inpu
t
.
c: merge
functions fo
r
read
i
ng PolyLib
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verd
o
olaege
isl_input_omega
.
c: accept Poly
L
ib i
n
p
u
t
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_i
n
p
ut_omega
.
c: prepare for
r
eading parametric
u
nions
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoolae
g
e
isl_in
p
ut_
o
me
g
a
.
c: finali
z
e and simplify res
u
lt
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
isl_input_omega
.
c: fix check
for memor
y
allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoola
e
ge
isl_stream
_
next_token
:
skip com
m
en
t
lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_tab_basic_map_partia
l
_lex
o
pt
:
properly h
a
n
dle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
ae
g
e
is
l
_basic_map_set_
t
o_empty:
r
e
m
ove sa
m
ple
(
if an
y
)
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verd
o
olaege
add
isl_set_f
a
st_is
_
empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaeg
e
proper
l
y remove pipl
i
b
s
ubmodule
commit
|
commitdiff
|
tree
2010-01-08
Sven
Ver
d
oolaege
isl_basic_ma
p
_update_fro
m
_
t
a
b: re-gauss
r
e
sul
t
ing
bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven
V
e
r
d
oolaege
ax_submodule
.
m4: don't let
--with-module confli
c
t with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoolaege
a
dd isl_set_follow
s
_at
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n Verdoolaege
isl_basic_se
t
_compare
_
a
t: compute re
s
ult in te
r
m
s
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
v
e
n Verdoolaeg
e
isl_tab_pip
.
c:
a
d
d
cut
s
f
or
all non-in
t
eger coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven
V
er
d
oola
e
ge
isl
_
basic_map_
g
ist: don't drop
e
qualities fro
m
con
t
ext
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdo
o
laege
isl_co
n
vex_hull
.
c
: ini
t
ial_facet_co
n
st
r
aint: dr
o
p all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verdoolaege
isl_conv
e
x_
h
ull
.
c: is_indepe
n
dent_bound: norm
a
lize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
s
l
_convex_hull
.
c
: e
x
tend:
check hull
a
rgument
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoolaege
isl_mat_right_inv
e
rse: be
more verbose on
error cond
i
t
ion
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_constraint_d
u
p:
mak
e
su
r
e
line r
e
f
ers t
o
equ
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
S
v
en
Verdool
a
ege
add copyright statements
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoo
l
aege
remove functions for
conve
r
ting between i
s
l an
d
PolyL
i
b
commit
|
commitdiff
|
tree
2009-12-16
S
ven Verdool
a
eg
e
isl_
t
a
b_solv
e
_lp: i
n
v
e
rt optimal val
u
e
back whe
n
computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_map_inters
e
ct: ad
d
spe
c
ial case f
o
r adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_m
a
p_is_su
b
set: break off as
soon as diffe
r
e
n
ce
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven Verdoolaege
compute
s
e
t differenc
e
using a backt
r
acking alg
o
rithm
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoolaege
isl_map_subt
r
act
.
c:
e
xtract from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolae
g
e
isl_tab: k
e
ep
t
rack of isl
_
basic_map instead of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
S
v
en V
e
rdoolaeg
e
privatel
y
e
x
port isl_bas
i
c_m
a
p_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaeg
e
add i
s
l_basic_map_add_ineq and
isl_basic_map
_
add_eq
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdool
a
ege
isl
_
tab
_
detect_red
u
nd
a
nt: return status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoolaege
i
s
l_tab: add
i
sl
_
ta
b
_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
is
l
_tab
_
add_ineq and isl_t
a
b
_mar
k
_emp
t
y: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Verdoolaege
ad
d
missing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven V
e
rdoolaege
isl_basic_set_swap
_
v
a
rs: re-ga
u
ss resu
l
t
i
n
g bse
t
commit
|
commitdiff
|
tree
2009-11-16
Sven Ver
d
o
olaege
add isl_
b
as
i
c_ma
p
_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verd
o
olaege
export isl_bas
i
c_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven V
e
r
doolaege
add
i
sl_basic_set_le
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdo
o
l
a
ege
isl
_
ma
p
_
d
rop_b
a
s
i
c_ma
p
: co
n
sistently keep basic
m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
erdoolaege
isl_
t
ab: row is only (
o
bviously
)
redundan
t
if it does
.
.
.
commit
|
commitdiff
|
tree
next