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
doc: drop documentation of _dump functions
2010-02-09
S
v
en Verdool
a
ege
doc: drop
d
ocumentation of _d
u
mp fun
c
ti
o
ns
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n
Ver
d
o
olaege
i
s
l_map_print: i
m
p
rove out
p
ut
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
add isl_basi
c
_
m
ap_fore
a
ch_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoo
l
aege
isl_map_
c
oales
c
e: handle more
c
ases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
p
r
ivately e
x
p
o
r
t isl_set_wrap
_
facet
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
i
s
l_convex_hu
l
l
.
c: wrap_facet: allow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
ven
V
erdoolaege
doc: improve dec
r
ip
t
ion of i
s
l_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n V
e
rdoolaege
isl
_
map_transi
t
ive_closure: improve test for exactness
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdool
a
e
ge
add a counter exa
m
pl
e
f
o
r Theorem 1
o
f th
e
COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
ad
d
i
sl_m
a
p_lower_
b
ound_si
commit
|
commitdiff
|
tree
2010-02-08
S
ven
V
erdo
o
laege
is
l
_
map_power: coalesc
e
domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_flow
.
c: add
missing isl_acc
e
ss_i
n
fo_free
retur
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
isl_coalesce
.
c: fix typo i
n
comment
commit
|
commitdiff
|
tree
2010-02-07
S
v
e
n Ver
d
oolaege
i
n
c
l
ude/is
l
_in
t
.
h
: ar
g
ument of
m
p_ge
t
_m
e
mory_f
u
n
ct
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
isl_map_read
:
a
c
c
e
pt l
i
st
s
o
f
a
f
fine e
x
pression
s
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl
_
mat_from_row_v
e
c and isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven
Ver
d
oolaege
isl_map_
r
e
ad: r
e
ad e
x
t
e
nded
p
o
l
ylib
form
a
t
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Ver
d
oo
l
a
ege
add isl
_
stream_next
_
token_on_sam
e
_line
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
rdo
o
la
e
ge
isl_ma
p
_rea
d
: make sur
e
polylib constraint coeffic
i
ents
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
i
s
l
_
{map,set}_dim: handle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
is
l
_map_rea
d
: us
e
m
ore
u
niform way
o
f readi
n
g in
p
o
lylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
isl_transitive_closu
r
e
.
c: f
i
x ty
p
o in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
isl_m
a
p
_
transitive_clos
u
re
:
use more relaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oo
l
aege
a
dd isl_map_power and isl
_
map_transiti
v
e
_c
l
osur
e
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdool
a
ege
isl_map_s
u
btract
.
c: ma
k
e some
int
e
r
n
al
f
unction
s
static
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaeg
e
add generic isl_map_pr
o
je
c
t_o
u
t
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
add isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
rename isl_{map,set}
_
add to
isl
_
{map,s
e
t}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoo
l
aege
isl_se
t
_projec
t
_out: al
w
ays update
dimension,
even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verd
o
o
laege
isl_dim_join: do
n
't requi
r
e names
of joine
d
variable
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
add isl_map_
f
rom_domain_
a
nd_r
a
nge
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
Verdoolaege
isl_stream: treat "-
"
as operator rather than
a
s -
1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
isl
_
m
a
p_read: accept "strict
"
ine
q
ual
i
ties
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
i
s
l_input
.
c: fix me
m
ory deall
o
ca
t
i
o
n
p
r
oblem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
add dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaeg
e
add isl_map
_
{partial_,}lexo
p
t
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
add
private isl_{set,ma
p
}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
b
a
si
s
_reductio
n
_templ
.
c: fi
x
t
ypo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
i
sl_tab_pip
.
c: fi
n
d_solution
s
:
b
reak when
c
ontext beco
m
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
i
sl_di
m
_equal:
d
on't
r
equ
i
re name
s
of input and
outpu
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
isl_
d
i
m_map: proper
l
y duplicat
e
n
am
e
s
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdo
o
l
a
e
g
e
is
l
_
dim
_
drop: properly adjust le
n
gth of
names array
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
do
o
laege
do
c
:
a
bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdoolaege
doc: descri
b
e input/outp
u
t formats
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
e
rdoolae
g
e
doc: fix
typo
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
add isl_cat test appl
i
cation
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega ou
t
p
u
t
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Verdoolaeg
e
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ve
r
doolaege
is
l
_test: use isl_set_read_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ad
d
isl_set_
r
ead_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
add
isl_map_read_
f
rom
_
s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolae
g
e
isl_map_read_from_fil
e
: a
l
low
u
nio
n
s in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_basic_map_read:
read def
i
nitions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolae
g
e
p
r
ivate
l
y ex
p
ort isl_basic_m
a
p_ad
d
_d
i
v
_constr
a
int
s
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
isl_ba
s
ic_map_r
e
ad:
r
ead affine constraint as two
a
ffine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
r
doola
e
g
e
i
s
l_input
.
c: optional
l
y r
e
ad
p
arameters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
toke
n
i
zer: accept "and"
k
eywor
d
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
ex
p
ort
i
sl_
m
ap_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
export isl_basic
_
map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop redund
a
nt input_format arg
u
m
e
nt from
r
e
ading fu
n
ctions
commit
|
commitdiff
|
tree
2010-01-25
S
v
en V
e
rdoolaege
i
sl_i
n
put
.
c:
me
r
ge fun
c
tions for
readi
n
g PolyLib
and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl_input_omega
.
c
: accept PolyLib
in
p
ut
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
V
e
rdoola
e
ge
isl_
i
nput_
o
mega
.
c:
p
repare
for reading par
a
met
r
ic
u
nions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
s
l_inpu
t
_omeg
a
.
c: finalize and simpl
i
fy re
s
ulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdo
o
la
e
ge
is
l
_inpu
t
_omega
.
c:
f
ix
check f
o
r
m
em
o
ry alloca
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
doolaege
isl_s
t
ream_next_
t
oke
n
:
ski
p
comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
o
o
laege
isl_tab_b
a
sic_map_
p
arti
a
l_lexop
t
: proper
l
y handle e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
a
e
ge
is
l
_basi
c
_map_set
_
to_empty: r
e
move sample
(
if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
doolaege
a
d
d isl
_
se
t
_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
prope
r
ly remove
piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven
V
e
r
dool
a
ege
isl_basic_m
a
p_
u
pda
t
e_from_tab: re-g
a
uss
r
e
s
ultin
g
bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven
V
erdool
a
ege
ax_submodule
.
m4: don't
l
et --wit
h
-
mo
d
ule co
n
flict wit
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoolaeg
e
add isl_set_follows_
a
t
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoo
l
aege
isl
_
b
asic
_
set_compare_
a
t:
c
omp
u
te resul
t
in
terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
v
e
n
V
erdool
a
e
g
e
isl_tab_pi
p
.
c
: add cu
t
s for all non-integer
c
oordin
a
tes
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
v
en
Verdoolaege
i
sl_basic_map_gist: don't drop equal
i
ties from
c
ontext
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_conv
e
x_hull
.
c: initi
a
l
_
f
acet_
c
onstraint: drop al
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_hull
.
c:
i
s
_independent_b
o
und: normaliz
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdo
o
laege
isl_convex_hull
.
c: extend: check
h
ull arg
u
ment
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolae
g
e
isl
_
m
at_right_inverse: be more verbo
s
e on error condition
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoolaege
isl_cons
t
raint_dup: make
sure l
i
ne
refers to
e
quat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoola
e
ge
add co
p
yright statements
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdo
o
laege
remove functi
o
ns for converting be
t
w
een is
l
a
nd PolyLib
commit
|
commitdiff
|
tree
2009-12-16
Sven V
e
rdoolae
g
e
is
l
_tab_so
l
ve_lp:
invert optimal value back when computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n Ver
d
oolaege
is
l
_map_intersect
:
add s
p
e
c
i
al
c
ase for addi
n
g a
single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdool
a
ege
isl_map_is
_
subset: break of
f
as soon
as difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
compute set difference
u
sing a backtra
c
king al
g
orithm
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n
V
erdoolaege
isl_map_
s
ub
t
rac
t
.
c: extr
a
ct fr
o
m isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
ege
isl_tab: keep track of isl_
b
a
s
ic_m
a
p instead o
f
i
s
l
_
b
asi
c
_se
t
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoolaege
privately ex
p
ort isl_basic_map
_
c
o
ntain
s
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoo
l
aeg
e
add isl_basic_map_a
d
d_ineq
a
nd i
s
l_basic_map_add_e
q
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdoolaege
isl
_
tab_detect_redun
d
ant: retur
n
s
t
atu
s
instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaege
isl_
t
ab: add isl_tab_
f
r
e
ez
e
_
constraint
commit
|
commitdiff
|
tree
2009-11-29
S
ven Verd
o
olaege
i
s
l_t
a
b
_a
d
d_ine
q
and isl_tab_mark_empty:
r
eturn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verdoolaege
add missing
A
U
THOR
S
file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdool
a
ege
isl_basic_set_swap_vars: re
-
gauss
r
e
sulting bset
commit
|
commitdiff
|
tree
2009-11-16
S
ven
V
erdo
o
la
e
ge
add isl_basic_map
_
first_
c
onstraint
commit
|
commitdiff
|
tree
2009-11-15
S
v
e
n
Verdoolaege
ex
p
ort
isl_basic_map_l
e
xmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verd
o
olaege
add is
l
_basi
c
_
s
e
t_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdo
o
la
e
ge
i
sl_map_drop_bas
i
c_map: consistent
l
y
k
e
ep basic m
a
p
.
.
.
commit
|
commitdiff
|
tree
next