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_flow.c: add missing isl_access_info_free return type
2010-02-08
Sven Verdoolaege
i
s
l_flow
.
c
: add missing isl_a
c
cess_
i
nf
o
_free re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
ve
n
Verd
o
olaeg
e
isl_coalesce
.
c: f
i
x
ty
p
o in comment
commit
|
commitdiff
|
tree
2010-02-07
Sven
Verdo
o
laeg
e
inc
l
ude/i
s
l_int
.
h: argument of
m
p_get_memor
y
_functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
isl_map_read: accept
lists of
aff
i
ne expr
e
ssions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
d
oolaege
ad
d
isl_mat_from_row_vec and isl_mat_vec_con
c
at
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_
r
ead:
read exten
d
ed po
l
ylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
add
i
sl_stream_nex
t
_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
i
sl_map_read: make sur
e
po
l
ylib
c
onstr
a
in
t
coeff
i
cients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
sl
_
{map,set}_dim: han
d
le NULL
input
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
V
e
rdoolaege
isl_map_read: use more uniform way of r
e
adin
g
in poly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n Ve
r
doolaege
isl_t
r
a
n
s
itiv
e
_closure
.
c: fix
typo
i
n
c
omm
e
nt
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
isl_ma
p
_t
r
a
nsitive_cl
o
sure: us
e
more relaxed exa
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven
V
erdoolaege
ad
d
isl
_
map
_
powe
r
and
i
sl_map_transitive_
c
los
u
r
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
isl_map_subtract
.
c
:
make so
m
e i
n
ternal fun
c
tions sta
t
i
c
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add generic isl_m
a
p_project_out
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n Verdoolaege
a
d
d isl_{map,se
t
}_a
d
d
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
re
n
ame isl_{map,set
}
_ad
d
to isl_{map,set
}
_
a
dd_
b
asic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdool
a
eg
e
isl_s
e
t_project_out: always upd
a
t
e
di
m
e
nsion, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdo
o
la
e
ge
isl_dim_join: d
o
n't req
u
ire names of j
o
ined
v
ariables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoola
e
g
e
add isl_map_from_domain_and
_
range
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
e
rdoolaege
isl
_
stream:
treat "-" as operator rather
t
han as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
e
g
e
isl_map_read:
a
ccept "strict
"
inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoola
e
ge
isl_input
.
c: fix memory
deallocat
i
on pro
b
le
m
on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
add
dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoo
l
aeg
e
add isl_m
a
p_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
g
e
add private isl_{set,map}_m
a
ke_disj
o
in
t
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaeg
e
b
a
s
is_red
u
ct
i
on_t
e
mpl
.
c
: fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
ool
a
ege
isl_tab_pip
.
c
:
f
ind_solution
s
: break when context beco
m
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
isl_
d
im_
e
qu
a
l: don't
r
e
q
u
ire names of input an
d
out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
is
l
_
dim_map: properly d
u
pl
i
cate nam
e
s
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoola
e
ge
isl_di
m
_drop: properly adjust length of n
a
m
es
a
rray
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verd
o
olaege
doc:
a
bit
m
ore on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: descri
b
e input/
o
utput fo
r
mats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
do
c
:
f
ix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_
c
at test appli
c
a
tion
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
add omega outpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add
i
sl
o
u
t
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
is
l
_
test: use
i
sl
_
s
e
t
_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Ver
d
oola
e
ge
add isl_set_read
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
a
dd isl_
m
ap_r
e
ad_f
r
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdool
a
ege
isl_
m
ap_re
a
d_
f
rom_file: allow unions in isl form
a
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoola
e
ge
isl_basic_map_r
e
ad: read definition
s
of
existen
t
ia
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
pri
v
ately ex
p
ort isl
_
basic_map_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_bas
i
c_map_r
e
ad
:
r
e
ad affi
n
e con
s
tra
i
nt as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaeg
e
is
l
_
i
n
p
ut
.
c
: optionally read param
e
ters
from i
n
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
t
oke
n
iz
e
r: a
c
c
e
p
t
"
a
nd" ke
y
word
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
expor
t
isl_map_r
e
ad_
f
rom_
f
i
l
e
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export
i
s
l
_basic_map_
r
e
a
d
_
from_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
dool
a
e
g
e
drop re
d
undant input_format argument from reading function
s
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl
_
input
.
c
: merg
e
functions for reading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
isl_input_omega
.
c
:
accept PolyLib inpu
t
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoolaege
i
s
l
_in
p
ut_omega
.
c: p
r
epare for reading parametri
c
union
s
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
doolaege
isl_input_omega
.
c: finalize
and simplify result
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
isl_inp
u
t_omega
.
c: f
i
x check for
memory a
l
lo
c
ati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_stream_n
e
xt_toke
n
:
skip commen
t
lines
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdo
o
laege
isl_tab_basic_map_partial_lexopt: pro
p
e
rly hand
l
e empt
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
laege
is
l
_basi
c
_map_set_to
_
em
p
t
y: remove sa
m
ple (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add i
s
l_set_fa
s
t_is_em
p
ty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdo
o
la
e
g
e
properly
remov
e
piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sve
n
V
e
r
do
o
lae
g
e
isl_basic_map_updat
e
_f
r
om_tab: r
e
-gauss resulting
b
m
ap
commit
|
commitdiff
|
tree
2010-01-01
S
v
e
n Verdoolaege
ax_subm
o
dul
e
.
m4
:
don't let -
-
with-module confli
c
t
w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Ver
d
oolaege
a
dd isl_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n
Ve
r
d
o
ola
e
g
e
isl_basic_set_compare_at
:
compute resu
l
t in te
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
v
en Verdoolaege
is
l
_tab_pip
.
c: a
d
d cuts for all n
o
n-
i
n
t
eger coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven V
e
rdoolaege
isl_ba
s
ic_map_gist: do
n
't drop equalities from c
o
ntext
commit
|
commitdiff
|
tree
2009-12-18
Sven Verd
o
olaege
isl_convex
_
hull
.
c: initial_facet_cons
t
raint:
d
r
o
p a
l
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoola
e
g
e
isl_con
v
ex_hull
.
c: is_independent_
b
oun
d
:
norma
l
i
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_
c
onv
e
x_hu
l
l
.
c: exte
n
d: check hull argument
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoolaege
isl
_
m
a
t_r
i
ght_in
v
er
s
e: be more
verbos
e
o
n
error co
n
dit
i
o
n
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n
V
erdo
o
laege
isl_c
o
nstraint_dup: ma
k
e
s
ure line refers to
equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
S
v
e
n
V
erdoolaege
a
d
d copyr
i
ght stateme
n
ts
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoo
l
aeg
e
remove functions for converting betwe
e
n isl and Poly
L
ib
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
isl_tab_solve_lp: invert optimal valu
e
b
ack w
h
en
c
omputing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoo
l
aege
i
s
l_
m
a
p
_
inte
r
sect: a
d
d
special case for ad
d
ing
a
si
n
g
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
en
V
e
r
doolaege
isl_map_is_subse
t
: break off as
s
oon as difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
erdoo
l
aege
compu
t
e set differ
e
nce us
i
ng
a
bac
k
track
i
ng algor
i
thm
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdoolae
g
e
i
sl_map_subtr
a
ct
.
c:
extract f
r
om
isl
_
map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
laege
isl_tab:
k
e
ep track o
f
isl_basic_ma
p
inst
e
a
d
of isl_ba
s
ic_set
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoo
l
a
ege
privately
export isl
_
basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
S
ven V
e
rd
o
olaege
add
isl_basic_map_
a
dd
_
in
e
q
and isl_basic_map_add
_
eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolae
g
e
isl_tab_de
t
ect_redundant
:
return s
t
atus inste
a
d of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_ta
b
:
a
dd isl_tab_freeze_c
o
n
straint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
i
sl_tab_add_ineq and isl_tab_mark_empty:
r
eturn s
t
atus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
v
en Verdoola
e
g
e
add missing
AUTHORS fi
l
e
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_basic_set
_
swap_var
s
:
r
e-gauss result
i
ng
bs
e
t
commit
|
commitdiff
|
tree
2009-11-16
Sven V
e
r
doolaege
add
i
sl_basic_m
a
p_first_c
o
nstraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
exp
o
rt isl
_
basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Ver
d
oolaege
add isl_basic_se
t
_lexm
a
x
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdoolaeg
e
is
l
_map_dr
o
p_ba
s
ic_
m
ap: con
s
i
stently keep b
a
sic m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
rdool
a
eg
e
isl_tab: row is
o
nly (obviously) redundant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n V
e
r
doolaege
isl_
b
asic_map_simplif
y
: ma
k
e
sure to rerun Ga
u
ss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_basic
_
map_part
i
al_
l
exopt: use context co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
i
sl
_
tab
_
pip
.
c
: ignore dead co
l
umns w
h
en checking in
t
egrality
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
i
s
l_pip:
opti
o
nally perform so
m
e ch
e
c
k
on
t
he results
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
p
u
t options in a sep
a
r
ate isl_options struc
t
u
re
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
add rudimentary argument parsing
f
acil
i
ty
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
isl_t
a
b_c
o
mpute_
r
educ
e
d_basis: ha
n
dle empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_se
t
_so
l
ve_ilp
:
h
a
ndle
o
bvio
u
sly
em
p
ty sets
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Verdoolaege
isl_basic_
s
et
_
solv
e
_ilp
:
fix handlin
g
o
f
sets
with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
erdoolaege
a
d
d
isl_set
_
remo
v
e
commit
|
commitdiff
|
tree
next