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
e
rdoolae
g
e
isl_map_coales
c
e: handle m
o
re ca
s
es
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
privately expor
t
isl_se
t
_wrap_fa
c
et
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_con
v
ex
_
hull
.
c: wr
a
p_f
a
cet
:
all
o
w unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
ve
n
Verdoolaege
doc: im
p
rove decriptio
n
of isl_map_
t
ra
n
sitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olae
g
e
isl_map_transitive
_
closure: improve te
s
t for exac
t
nes
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add
a counter example for
T
h
e
orem
1
of the COCOA p
a
per
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
add isl_map_lo
w
er_bound_s
i
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
i
s
l_
m
ap_pow
e
r: coalesce doma
i
n and rang
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl
_
flow
.
c:
a
dd
missing
i
sl_
a
ccess_inf
o
_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoola
e
ge
isl_coalesce
.
c: fix typo i
n
comment
commit
|
commitdiff
|
tree
2010-02-04
Sven
Ve
r
d
o
olaege
isl_map
_
read: accept lists of affin
e
expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laeg
e
add isl_mat_
f
ro
m
_row_vec and isl_ma
t
_ve
c
_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdo
o
laeg
e
isl_map_read: rea
d
ex
t
end
e
d polylib
f
or
m
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
l
aege
add
isl_stream_nex
t
_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
is
l
_
map_read: make sure polylib constrai
n
t
coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_{map,set}_d
i
m
: handle NULL inpu
t
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
Verdoolaege
isl_map_read: use more uniform way of reading
i
n
p
o
lylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Ver
d
oolaege
i
s
l_transitive_closure
.
c: fix typo in co
m
m
ent
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n Verdoola
e
ge
isl_map_trans
i
tive_
c
los
u
re: use more relaxed exa
c
t
ness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaeg
e
add isl_map_power and
isl_ma
p
_transitive_clo
s
ure
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
is
l
_ma
p
_su
b
tract
.
c:
m
ake some internal functions
static
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n Verdoolaeg
e
add gener
i
c
i
s
l_map_proj
e
ct_o
u
t
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
er
d
oolaege
add
isl_{
m
ap,s
e
t}_add
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
r
ename i
s
l_{map,s
e
t}_add to isl_{map,set}_add_ba
s
ic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_set_
p
roje
c
t_out: a
l
ways up
d
ate dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
isl
_
dim
_
join: don't
r
e
q
uire n
a
mes of joined
var
i
a
bles
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoo
l
aege
add isl_map_from_d
o
main_and_
r
ange
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n
Ve
r
d
oo
l
aege
isl
_
stream: tr
e
at "-
"
as oper
a
tor rather than a
s
-1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
a
e
ge
i
sl
_
map
_
re
a
d:
a
c
c
ept
"st
r
i
c
t" inequali
t
ies
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
is
l
_input
.
c: fix memory deallocation problem on mi
s
sing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven
V
erdoolaege
a
dd dep
e
ndence
a
n
al
y
sis
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Ve
r
doolaeg
e
add isl_map_{parti
a
l_,
}
l
exopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laeg
e
add private isl
_
{set,map}_m
a
ke_disj
o
int
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
b
asis_reduction_temp
l
.
c
:
f
ix typo
in
co
m
ment
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n Verdoolaeg
e
isl_t
a
b_pip
.
c: fi
n
d_solutions:
break when con
t
ext beco
m
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven V
e
rdoolaege
isl_dim_eq
u
al:
do
n
't
requi
r
e
names
o
f
i
n
put and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
ge
isl_dim
_
map:
p
r
ope
r
ly du
p
licate
name
s
commit
|
commitdiff
|
tree
2010-01-31
S
ven
V
e
rdo
o
laege
i
s
l_dim
_
drop: properl
y
adju
s
t length of n
a
mes arra
y
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
dool
a
ege
doc:
a bi
t
more
o
n
integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdool
a
e
ge
do
c
:
describe input/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rd
o
olaege
a
d
d isl_cat test
a
p
plicati
o
n
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
add omega ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaeg
e
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
isl_test: use isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoo
l
a
ege
a
dd i
s
l_set_read
_
from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoo
l
a
e
ge
add isl_map_re
a
d_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
ol
a
ege
isl_map_read_from_file
:
allow unions in isl
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Verdoola
e
g
e
isl_basic_map_read
:
read def
i
nition
s
of exi
s
tential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdo
o
laege
priva
t
e
ly
e
xport isl_basic_
m
ap_add
_
div_constraint
s
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
ool
a
ege
isl_basic_map_read:
read affine constrai
n
t
a
s two affin
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoo
l
aege
isl
_
input
.
c: optionally r
e
ad par
a
meters
from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
tokenizer:
a
c
c
ept "an
d
" keyw
o
rd
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolae
g
e
export is
l
_map_read_f
r
om_file
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
r
do
o
la
e
ge
export isl_basic_ma
p
_read_from_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
d
rop re
d
undant inp
u
t_format arg
u
ment from read
i
ng functions
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
isl_input
.
c: m
e
rg
e
fu
n
c
t
ions for r
e
ading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
a
e
g
e
i
s
l_i
n
put_omega
.
c
: a
c
c
e
pt PolyLib in
p
u
t
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolaege
isl_inp
u
t_omega
.
c
:
prepare for reading parametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
Verdoo
l
aege
isl_input_omega
.
c: fi
n
aliz
e
and s
i
mpl
i
fy resu
l
ting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
isl_
i
npu
t
_ome
g
a
.
c: fix
check for memory a
l
location
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoola
e
g
e
is
l
_stream_next_toke
n
: skip comm
e
nt
lines
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Ve
r
doo
l
aege
isl_tab
_
b
asic_map_partial_
l
exopt: proper
l
y
handle
empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl
_
basic_map
_
s
et
_
to_empty: remov
e
sample (if
any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
add
isl_set_fa
s
t
_
i
s_empt
y
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
pr
o
p
e
rly rem
o
ve p
i
plib submo
d
ule
commit
|
commitdiff
|
tree
2010-01-08
Sve
n
Verdoo
l
aege
isl_basic_map_update_f
r
o
m_ta
b
:
re
-
gauss
result
i
ng
bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verd
o
olaege
ax
_
submodule
.
m4:
don't let --with
-
modul
e
conflict w
i
th
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
V
erdoolaege
isl_ba
s
ic_set_compare_
a
t: compute result in t
e
rms
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
ven Ve
r
dool
a
ege
isl_tab_pip
.
c: add cuts
f
or
a
ll
n
on-
i
nteger c
o
ordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven V
e
rdoo
l
aege
i
sl_basic_map_gist:
d
on't drop equalities fr
o
m co
n
text
commit
|
commitdiff
|
tree
2009-12-18
S
ve
n
Verdoolaege
isl_convex_
h
ull
.
c: initi
a
l_facet
_
c
o
nstrain
t
: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoolaege
isl_c
o
nvex_hull
.
c: is_independent
_
b
o
un
d
: n
o
rmalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
do
o
l
a
e
ge
i
sl
_
convex_hull
.
c: ex
t
end
:
ch
e
ck hull
a
rgume
n
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoo
l
aege
isl_mat_r
i
ght_i
n
verse: b
e
more
verbose o
n
erro
r
co
n
dition
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoolaege
i
s
l_constraint_du
p
: make
s
ure
l
ine refers
t
o
e
qua
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoolae
g
e
isl_map_int
e
rsect: add special case
for adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoolaege
isl_map
_
is
_
subset:
break
of
f
as soon as difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven Verdoolaeg
e
c
o
mpute set
differe
n
ce
u
sing a ba
c
kt
r
acking
a
lgori
t
hm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_map_s
u
btract
.
c: extr
a
ct from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
is
l
_ta
b
: keep trac
k
of isl_basic_map in
s
tead of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
p
r
ivately exp
o
rt
i
sl_basic_m
a
p
_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoo
l
a
ege
add isl_basic_map_add_ineq an
d
isl_basic_map_a
d
d_e
q
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
oolaege
isl
_
tab_detect_redundan
t
: ret
u
rn
s
tatus inst
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
i
sl_tab:
add isl_tab_
f
r
eeze_constr
a
int
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoo
l
aege
isl_ta
b
_add
_
i
n
eq and isl
_
tab_ma
r
k
_empty: r
e
turn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
doolaege
add
m
issing AUTHO
R
S fi
l
e
commit
|
commitdiff
|
tree
2009-11-29
Sven V
e
r
d
oolaege
i
s
l
_basic_s
e
t_swap_vars: re-gauss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolaege
add i
s
l_b
a
s
i
c
_
map_first_co
n
strain
t
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdoolaege
expo
r
t isl_basic_m
a
p_l
e
xmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
add isl_basic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n
V
erdoolaege
isl_map_
d
rop_basic_map: consistently
keep ba
s
ic ma
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoolaege
isl_
t
ab: r
o
w
i
s only (obviously) redundant if
it
d
oes
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ver
d
o
o
laeg
e
isl_basic_
m
ap_
s
i
m
pl
i
f
y:
m
ake sur
e
t
o
r
eru
n
G
auss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoolaege
isl
_
tab_basic_map_partial_lexopt: us
e
context c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven
V
erdoola
e
ge
isl_tab_pip
.
c: ignore dead co
l
umns wh
e
n checking integrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
isl_pip:
optionally perform s
o
me
c
heck on th
e
re
s
ults
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
put options in
a
separate isl_options
structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add rudim
e
n
t
a
ry a
r
gum
e
nt parsing
facil
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdo
o
laege
i
sl_tab_compute_reduce
d
_basis: hand
l
e
empty tables
commit
|
commitdiff
|
tree
next