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 0.02
2010-02-08
S
v
en
V
erdo
o
laeg
e
add a
c
ounter
e
xample for The
o
rem
1
of the CO
C
O
A
paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
a
d
d is
l
_map
_
lower_
b
ound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
isl_map_power: coal
e
sce dom
a
in and r
a
n
g
e
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Verdoola
e
ge
isl_flow
.
c: add missing
i
sl_access_info_free
r
etu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoola
e
g
e
i
s
l_co
a
lesc
e
.
c: f
i
x
typo in comment
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
V
erdo
o
laege
isl_map_read
:
accept l
i
sts of
a
f
fine
expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
d
oolaeg
e
add isl_m
a
t_fro
m
_ro
w
_vec an
d
isl_mat
_
vec_concat
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n Verdoolaege
isl_map
_
read: read extended polylib forma
t
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verd
o
o
laege
add isl_strea
m
_next_token_
o
n_
s
ame_line
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erd
o
olaeg
e
isl_
m
ap
_
re
a
d: m
a
ke sure polylib c
o
ns
t
rain
t
coefficien
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
o
o
l
aege
isl_{map,set}_dim: handle NUL
L
inp
u
t
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaeg
e
i
s
l_map_read: use more uniform
way o
f
reading
in poly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
o
laege
isl_transitive_closur
e
.
c: fix typo i
n
comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
isl_map_tran
s
iti
v
e_closur
e
:
u
se
m
ore relax
e
d exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven V
e
rdoolaege
add isl_map_power and isl_m
a
p_transitive_closur
e
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolae
g
e
isl_
m
ap_s
u
btract
.
c: make s
o
me internal fun
c
tions s
t
atic
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add gener
i
c isl_map_pro
j
ect_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
l
a
ege
add isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdo
o
laege
rena
m
e
isl_{map,set}_add to
i
sl
_
{m
a
p,set
}
_add_basi
c
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Ver
d
oolaege
i
sl_se
t
_project_out: always
u
pdate dimen
s
ion, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_dim_j
o
in: don't require names of joined varia
b
les
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
add
isl_map_from_domain_
a
nd_
r
ang
e
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoo
l
aege
is
l
_str
e
am: t
r
ea
t
"-" as
o
p
erator rather th
a
n as -
1
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n
Verd
o
olaege
isl_map_re
a
d: accept
"
stric
t
"
i
nequal
i
ties
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l_input
.
c:
f
ix memory deallocati
o
n
p
ro
b
lem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add de
p
endence analysis
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n
V
er
d
ool
a
ege
add isl_map_{partial_,
}
lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olae
g
e
add private i
s
l_{s
e
t,map}_make_
d
isjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
a
ege
b
a
sis_reduction_te
m
pl
.
c: fix typo i
n
comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
e
g
e
isl
_
tab_pip
.
c
:
f
i
nd_solutions: break wh
e
n cont
e
xt beco
m
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oo
l
aege
isl_dim_equal: don't
r
e
quire nam
e
s
of input and out
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_map: properly duplicate name
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim
_
drop
:
properly a
d
just
l
ength of names arra
y
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verd
o
olaege
doc: a bit
more on intege
r
s
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoolaege
doc
:
describ
e
inp
u
t/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdool
a
ege
a
dd isl_cat test application
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
e
rdoolaege
add omega
out
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
add i
s
l output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
i
sl_test: use
i
sl_set_read_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ve
r
doolaege
add isl_
s
et_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
V
e
r
doola
e
ge
ad
d
isl_map_read_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
r
doolaege
i
s
l_map_read_f
r
om_file:
a
llow unions in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
o
l
aege
isl_basic
_
map_read: read defin
i
tions
of e
x
istential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
privately
e
xport isl_basic
_
map_add_di
v
_constr
a
ints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
o
laege
i
s
l_basic_map_read: read affine cons
t
rai
n
t as two
affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input
.
c: o
p
t
i
o
nally read parame
t
ers from input
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
to
k
eni
z
er: accept "and"
keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oo
l
aege
exp
o
rt
i
sl_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
export is
l
_basic_map_re
a
d_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
d
rop redund
a
nt input_forma
t
argument from rea
d
i
ng
f
unction
s
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l_input
.
c: merge functi
o
ns for reading
Pol
y
Lib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl_in
p
ut_omega
.
c: accep
t
PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdool
a
ege
isl_input_omega
.
c: prepa
r
e for reading parametric un
i
ons
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verd
o
olaege
isl_i
n
put_o
m
ega
.
c: final
i
ze and si
m
plify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
isl_input_omega
.
c: fix
c
heck f
o
r
memory alloc
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ven Ve
r
doola
e
ge
isl_strea
m
_n
e
xt_token: skip comm
e
nt line
s
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoolaege
i
sl_tab_b
a
sic_map_p
a
rtial_lexo
p
t: pr
o
perly handle
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdoolaege
isl_basi
c
_map_set_to_empty: remo
v
e s
a
mple
(
if any)
commit
|
commitdiff
|
tree
2010-01-24
S
v
en
V
er
d
o
ola
e
ge
add isl
_
set_fast_i
s
_empty
commit
|
commitdiff
|
tree
2010-01-13
S
ven
Verdoolaege
prope
r
ly
r
em
o
ve pip
l
ib subm
o
du
l
e
commit
|
commitdiff
|
tree
2010-01-08
S
v
en
V
erdoolaeg
e
isl_b
a
sic_map_update_
f
ro
m
_tab
:
re-ga
u
ss res
u
ltin
g
bmap
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
Ver
d
oo
l
aege
ax_submodule
.
m4:
don't let --with-mo
d
ul
e
confl
i
ct with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoolaeg
e
a
d
d
i
sl_s
e
t
_follows_a
t
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
i
sl_b
a
sic_set_comp
a
re_
a
t:
c
ompute resu
l
t
in
terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
er
d
oolaeg
e
isl_tab_pip
.
c: add cuts for all
n
on-integ
e
r co
o
rdinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
i
s
l_basi
c
_map
_
gist: don
'
t
drop eq
u
a
l
i
t
ies from
contex
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_conv
e
x
_hull
.
c: in
i
tial_facet
_
constrai
n
t: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
sl_convex_hul
l
.
c: is
_
independ
e
nt_b
o
und: nor
m
alize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
e
r
doola
e
ge
isl_
c
o
nvex_hull
.
c: extend: check hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n
V
e
r
d
oo
l
aege
isl_mat_ri
g
ht_i
n
v
e
rse: be
more ve
r
bose on err
o
r condition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaeg
e
isl_con
s
traint_dup: make sur
e
line refers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
e
n Verdoolaege
isl_
m
ap_intersect: add spec
i
al case
f
or adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
compute set di
f
f
ere
n
ce us
i
ng a backtracking algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_ma
p
_subtract
.
c: ext
r
act
f
r
om isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verd
o
olaege
isl_tab: keep trac
k
of isl_basic_map
instead
o
f
isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
priv
a
tely
export is
l
_basic_
m
ap_con
t
ains
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
add is
l
_basic_map_add_ineq and isl_ba
s
ic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl
_
tab_detect_redun
d
a
n
t: return sta
t
u
s inst
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
i
s
l_tab: add isl_tab_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
S
v
e
n Verdool
a
eg
e
is
l
_tab_add_ineq and is
l
_
t
ab_
m
ark_
e
mpty
:
return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven
Verdoola
e
g
e
add missi
n
g AUTHORS
file
commit
|
commitdiff
|
tree
2009-11-29
Sven Ver
d
oolaege
is
l
_basic_set_swap_
v
a
r
s: re-ga
u
s
s resulting
b
set
commit
|
commitdiff
|
tree
2009-11-16
Sv
e
n Verdoo
l
aege
add isl_ba
s
i
c
_m
a
p_
f
i
r
s
t
_
constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
er
d
oolaege
export isl_basic_map_lex
m
a
x
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdoolaege
a
dd
is
l
_basic_
s
et
_
l
exmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdo
o
laege
isl_m
a
p_drop_basic_
m
ap: consistently k
e
ep basi
c
ma
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdool
a
e
ge
i
sl_tab:
r
ow is only (
o
bvious
l
y
)
redundant if it
d
oes
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
i
s
l_bas
i
c_map_simplif
y
: m
a
ke sure to rerun Gau
s
s
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
rdool
a
eg
e
isl_tab_bas
i
c_map_
p
artial_le
x
o
p
t: use conte
x
t
constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Ve
r
dool
a
ege
i
s
l_tab_pip
.
c: ignore dead columns when checking in
t
egra
l
ity
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
i
s
l_pip: optio
n
ally perform
some check on the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
put
options in a
s
epara
t
e isl_optio
n
s struct
u
re
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
r
d
ool
a
ege
add rudiment
a
ry
a
r
g
ument parsing fa
c
ility
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erd
o
o
l
aege
isl_tab_compute_r
e
d
u
ced_basis: handle empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
i
s
l
_
basic_
s
et_sol
v
e_ilp:
h
andle obviously empt
y
s
ets
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verd
o
o
l
a
e
ge
is
l
_basi
c
_
set_solve_ilp: fix handling
of sets wit
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
ven Ve
r
doolaege
add isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
ool
a
e
g
e
add isl
_
set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n V
e
r
doola
e
ge
add
isl_b
a
s
i
c
_
s
et_fix
commit
|
commitdiff
|
tree
next