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
S
ve
n
V
e
r
dool
a
ege
isl_map_coales
c
e: ha
n
dle more
c
ases
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdool
a
ege
privately expo
r
t
i
s
l_se
t
_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
S
ve
n
V
erdoolae
g
e
isl_convex_hull
.
c: wrap_facet:
a
l
l
ow unbounded fa
c
ets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olae
g
e
doc: improv
e
decription of isl_map_transitive_clo
s
ure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
isl_map_trans
i
t
ive_closure
:
improve test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add a counte
r
exampl
e
fo
r
Theorem
1 of
th
e
COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
a
dd is
l
_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Ve
r
doolaege
isl_ma
p
_po
w
er: coalesce do
m
ain a
n
d range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_flow
.
c: add missi
n
g isl
_
access_i
n
fo_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdo
o
laege
isl_coa
l
esce
.
c
:
fix
t
ypo in com
m
ent
commit
|
commitdiff
|
tree
2010-02-07
Sv
e
n Ve
r
doolae
g
e
include/
i
sl_i
n
t
.
h: argument o
f
mp_get_memo
r
y_f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoo
l
aege
is
l
_ma
p
_
read: accept l
i
s
t
s
o
f affin
e
expression
s
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add is
l
_mat
_
from_row_v
e
c
and isl_mat_vec_conc
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
i
s
l_map_read: read e
x
ten
d
e
d pol
y
lib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
e
g
e
add i
s
l_st
r
eam_next_token
_
on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
i
s
l_
m
ap_
r
ead: make sure po
l
y
lib constraint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
V
erdoolaege
isl_{map,set}_
d
i
m
:
handl
e
NULL i
n
put
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
isl_map_read: use
m
ore uniform way of reading
in pol
y
l
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_transit
i
ve_clo
s
ure
.
c: fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdo
o
laege
isl
_
map_transitive_closure: use
m
o
re rela
x
ed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
add isl
_
m
ap_power a
n
d isl_map_transit
i
ve_clos
u
re
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdo
o
laege
isl_map_
s
ubtract
.
c: make
s
o
me internal func
t
ions sta
t
ic
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add generic
i
sl_map
_
proj
e
ct_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
do
o
laege
add isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolae
g
e
rename isl_{map,set}_ad
d
to
is
l
_{map,set
}
_ad
d
_basic
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ve
n
V
e
rdoolaege
is
l
_set_project_out: always upd
a
te dimensio
n
, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Ve
r
dool
a
ege
isl
_
dim
_
join: don't require na
m
e
s
of joined var
i
ables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoo
l
aege
add
i
sl_map_fr
o
m
_
d
omain_and_rang
e
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
isl_st
r
eam: treat "-
"
a
s
op
e
ra
t
o
r
r
ather than a
s
-1
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaeg
e
isl_m
a
p_read: acc
e
pt "strict" inequaliti
e
s
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdool
a
e
g
e
isl_i
n
p
ut
.
c: fix memo
r
y dealloca
t
ion
p
r
o
blem on missi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n
Verd
o
olaege
a
d
d dependence
a
n
a
l
ysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
add is
l
_
m
a
p_{
p
artial_,}
l
exo
p
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
ol
a
ege
add
p
rivate isl
_
{set,map}_mak
e
_disjoi
n
t
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdo
o
laege
b
asis
_
reducti
o
n_templ
.
c
: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
er
d
oolaege
isl_t
a
b
_
pi
p
.
c
: find_solutions
:
break
w
hen cont
e
x
t
be
c
o
m
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
g
e
isl_d
i
m_
e
qual: don'
t
r
eq
u
ire names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oolaege
isl_dim_ma
p
:
properly d
u
plic
a
te na
m
e
s
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
isl_
d
im_drop
:
properly adj
u
s
t
l
ength of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdoolaege
doc: a bit more on in
t
egers
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
V
e
rdoolaege
doc: describe
input/output f
o
rmats
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Ver
d
oolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
ad
d
isl_cat test application
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
a
dd omega output
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolae
g
e
a
d
d isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
isl_test: use isl_set_read_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
add isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ve
r
d
oo
l
aege
add isl_map_read_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l
_map
_
read_from_file: allow unions
i
n isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven V
e
rdoolaege
isl_
b
asic_map_re
a
d: read definit
i
on
s
of
e
x
istentia
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
privately e
x
p
ort
isl_
b
asic_map
_
add_div_constr
a
ints
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoola
e
ge
is
l
_
b
as
i
c_
m
ap_re
a
d: r
e
ad affine constraint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
isl_input
.
c: o
p
t
i
o
n
ally
read par
a
meters from input
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoola
e
g
e
tokenizer: accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
export isl_map_read_
f
ro
m
_f
i
l
e
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verd
o
olaege
e
x
port isl_basi
c
_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
drop r
e
dundan
t
input_format argum
e
nt from readi
n
g fun
c
tions
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaeg
e
isl
_
input
.
c: merge fu
n
ction
s
for
r
ea
d
ing
P
o
lyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdo
o
la
e
ge
isl_input_omega
.
c
:
accept Po
l
yLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolaege
i
s
l_input_omega
.
c: prep
a
re for reading parametric unio
n
s
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verd
o
o
l
aege
i
s
l_inpu
t
_omega
.
c: fina
l
ize and
simplify resulti
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
isl_in
p
ut_ome
g
a
.
c
:
f
i
x check for memory al
l
o
c
ation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
isl_stream
_
ne
x
t_token: s
k
ip
c
omment
lin
e
s
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
isl_tab_basic_
m
a
p
_partial_lexop
t
: pr
o
perly handle emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
isl_basic_ma
p
_set_
t
o_empt
y
: re
m
ove
s
ample (if a
n
y)
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n Verdoolaege
add isl_set_fast_is_
e
mpty
commit
|
commitdiff
|
tree
2010-01-13
Sve
n
Verd
o
olaege
properly rem
o
ve pipl
i
b
su
b
mo
d
u
le
commit
|
commitdiff
|
tree
2010-01-08
Sven Ver
d
oo
l
a
eg
e
isl_ba
s
i
c
_m
a
p_update_from_
t
a
b: re-ga
u
ss
r
esulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
Verd
o
o
la
e
ge
ax
_
s
u
b
mod
u
le
.
m4: don't let -
-
with-module con
f
l
ict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven
Verdool
a
e
ge
a
d
d isl_set_f
o
l
l
o
w
s_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoo
l
aege
isl
_
basic_set_comp
a
re_at: compute result in
ter
m
s o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
Verdoolaege
isl_tab_pi
p
.
c: add cuts for all non-integer coordi
n
ate
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
ven Verd
o
olae
g
e
isl_basic_map_gist: don't drop eq
u
ali
t
i
e
s
f
rom context
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdool
a
ege
isl
_
c
onvex_hull
.
c
:
initial_facet_c
o
nstraint:
d
rop
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoola
e
g
e
isl_
c
onv
e
x_h
u
l
l
.
c: is_independent_bound
:
norm
a
lize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdoolaeg
e
isl_convex_hull
.
c:
extend: check hull
argumen
t
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Ver
d
o
o
laege
i
sl_mat_right_inv
e
r
se: be more verbose on error condition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
sl
_
con
s
traint_
d
u
p
: make
s
ure line refers
to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
S
v
en Verd
o
olae
g
e
add co
p
yright sta
t
emen
t
s
commit
|
commitdiff
|
tree
2009-12-16
Sven V
e
rdoolaeg
e
re
m
ove fu
n
ctions for converting
betwee
n
isl
a
n
d
PolyL
i
b
commit
|
commitdiff
|
tree
2009-12-16
Sv
e
n Verdoola
e
g
e
isl_ta
b
_solve_lp: invert op
t
imal
v
alue back whe
n
com
p
uting
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven Ver
d
o
olaeg
e
isl_map_intersect: add speci
a
l c
a
s
e
for adding
a
s
i
n
g
le
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
erdoo
l
aege
isl
_
map_is_subset: bre
a
k o
f
f as soon as differen
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoolaege
c
ompute set difference usi
n
g a backtrackin
g
algori
t
h
m
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoo
l
aege
isl_m
a
p_subtract
.
c
:
extract
f
r
om isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Ver
d
o
o
laege
isl_
t
ab:
k
e
ep track
o
f
isl
_
basic_ma
p
i
n
stead
o
f
i
sl_
b
asic_set
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolae
g
e
pri
v
ately export isl_basic_
m
ap_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
add isl_basic_map_add_ineq
a
nd isl_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
ege
isl_tab_detect_red
u
ndant: return s
t
atus instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
i
sl_tab:
a
dd isl
_
ta
b
_freeze_
c
onst
r
aint
commit
|
commitdiff
|
tree
2009-11-29
S
ven Verdoolaege
isl_
t
ab_add_ineq and isl_tab_mark_empty: return s
t
atus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
erdoolaege
add missing
AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdool
a
ege
isl_basic_set_
s
wap_vars: re-gauss result
i
n
g bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdo
o
laege
add isl_basic_ma
p
_fi
r
st_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdoolaeg
e
e
x
p
o
r
t isl_basic_map_le
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
ad
d
isl_basic_
s
et_l
e
xmax
commit
|
commitdiff
|
tree
2009-11-15
S
ven V
e
rdo
o
laege
isl_
m
a
p_drop_basic_m
a
p: consistentl
y
keep
bas
i
c
map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoolaege
isl_tab:
r
ow is only (obvious
l
y) redunda
n
t if i
t
d
o
es
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n
V
e
rdoolaege
isl_basic_map_simplify:
mak
e
sure to rerun Ga
u
ss w
h
en
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdool
a
ege
isl_t
a
b_b
a
sic_m
a
p_partial_le
x
opt: us
e
co
n
text c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
next