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-09
Sven Verdoolaege
add
i
sl_basic_map_for
e
ach_constraint
commit
|
commitdiff
|
tree
2010-02-08
S
ven
V
e
rdool
a
e
g
e
i
sl_ma
p
_coalesce:
handle
m
ore case
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
privately e
x
port isl_set_wrap_f
a
cet
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Verdoolaeg
e
is
l
_c
o
nvex_hull
.
c: wrap_facet:
a
llow unbound
e
d facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
doc: i
m
pro
v
e decrip
t
ion of isl_map_transiti
v
e_closure
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
V
erdool
a
e
g
e
isl_map_tran
s
itive_closure: impr
o
ve te
s
t
f
or exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
add a
c
ounter e
x
am
p
le for Theorem 1 of th
e
C
OCOA
p
a
per
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
a
d
d
i
sl_map_lower_boun
d
_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
i
sl_map_power: co
a
lesce
d
omain and ra
n
ge
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
isl_
f
low
.
c: add missing isl_access_info_free ret
u
rn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
ve
n
Verdoolaege
isl_coalesce
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoolaege
in
c
l
u
de
/
isl_int
.
h: argument of mp_get_memory_funct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Ve
r
doolae
g
e
isl_
m
ap_read:
a
ccept
l
ists of affine expres
s
ions i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdo
o
laege
a
dd isl_mat_from_row_
v
ec and isl_mat_
v
ec_c
o
n
c
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
dool
a
ege
isl
_
map_read: read exte
n
ded polyl
i
b form
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoo
l
aege
add isl
_
stream_n
e
xt_token_on_s
a
me_li
n
e
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdool
a
ege
isl_
m
ap_re
a
d: make sure polylib constra
i
nt coeffici
e
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
isl_{map,s
e
t}_dim: ha
n
dle
NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoola
e
ge
isl_
m
ap_
r
ead: use
m
ore unifo
r
m way of reading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en V
e
r
d
oo
l
a
e
ge
i
s
l_transitive_closur
e
.
c: fix
t
y
p
o
in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
sl
_
map_transitive_closure
:
u
s
e
mor
e
relax
e
d e
x
actnes
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_map_powe
r
a
n
d isl_map
_
t
r
ansitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
i
s
l_map_subtract
.
c: m
a
ke s
o
m
e internal f
u
ncti
o
ns
stati
c
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olae
g
e
add gene
r
ic
i
sl_m
a
p_pr
o
j
e
ct
_
out
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
a
d
d isl_{map,se
t
}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
rename isl_{map,
s
et}_add t
o
isl_{map,set}_add_
b
asic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdool
a
ege
i
s
l_set_p
r
oject_out: always update dimension, e
v
en
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven
Verd
o
olaege
isl_dim_join: don'
t
r
e
quire names of jo
i
ned variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Ver
d
oolaege
add isl_
m
ap_from_domain_
a
nd_
r
an
g
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
o
o
l
a
e
ge
i
s
l_stream
:
tre
a
t "-" as operat
o
r
rather
t
ha
n
as -1
commit
|
commitdiff
|
tree
2010-02-03
S
ven V
e
rdoola
e
ge
i
sl_m
a
p_read
:
accept "s
t
ric
t
" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_input
.
c: fix memory deall
o
c
a
tion problem on miss
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add
depend
e
nce analysis
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
V
e
rdo
o
laeg
e
add isl_map_{parti
a
l
_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Ve
r
doolaege
add p
r
iva
t
e isl_{set,map}_m
a
ke_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
dool
a
ege
basi
s
_
r
eduction_templ
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
V
erdoolaege
isl_tab
_
pip
.
c: find_solutions: brea
k
when
con
t
ext
becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
d
o
olae
g
e
isl_dim_eq
u
a
l
:
don't requ
i
re
n
ames of
inpu
t
and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
o
laege
isl_dim_
m
ap: p
r
op
e
rly duplicate nam
e
s
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
isl_dim_drop: properly adjust length of names arra
y
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verdoo
l
aege
doc: a bit more
o
n
i
ntegers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: desc
r
ib
e
input/output form
a
ts
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: fix typ
o
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
add i
s
l_cat test a
p
pl
i
cat
i
on
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdo
o
laeg
e
a
d
d
o
me
g
a o
u
tput
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
a
e
ge
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ver
d
o
o
laege
i
sl_t
e
s
t: use isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoo
l
aege
add isl_set_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add
isl_ma
p
_
r
ead_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l
_
m
a
p
_
r
ea
d
_
f
rom_
f
ile: all
o
w union
s
i
n isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
i
sl
_
b
asic_map_read: read definitions
of
existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
privatel
y
expor
t
is
l
_
basi
c
_
m
ap_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
i
s
l_b
a
sic_
m
ap_read: r
e
ad affine constraint as tw
o
affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
isl
_
input
.
c: optionally read p
a
ram
e
t
e
rs from i
n
put
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
d
oolaege
tokenizer: acc
e
p
t
"and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
export isl_
m
ap_re
a
d
_from_file
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
export isl_basic_map
_
r
e
a
d_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verd
o
ol
a
ege
drop redundan
t
i
nput_format
a
r
gument fro
m
reading
f
un
c
tions
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
i
s
l
_in
p
ut
.
c: merge funct
i
ons fo
r
reading PolyLib
and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl_
i
nput_omeg
a
.
c: accept
Poly
L
ib input
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
e
rdool
a
ege
isl_input_ome
g
a
.
c:
p
repare for
r
e
a
ding parametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
is
l
_
input_omega
.
c: finali
z
e and simplify resul
t
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
isl_
i
nput_omega
.
c
: fix check for memory al
l
o
c
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
aege
isl_stre
a
m_
n
ext_token: skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoola
e
ge
isl_tab_ba
s
ic_ma
p
_
p
artial_lexop
t
: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
isl_basi
c
_map_se
t
_to_empty
:
remove
s
ampl
e
(if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
ola
e
ge
add i
s
l
_s
e
t
_fa
s
t_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
properly remove piplib
submodule
commit
|
commitdiff
|
tree
2010-01-08
Sve
n
Ver
d
oolaege
isl_basic_m
a
p_u
p
d
ate_from_t
a
b: re-ga
u
ss
r
e
sulting bma
p
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoo
l
aege
ax_submodul
e
.
m4: don't l
e
t --
w
ith-m
o
d
u
le
conflict w
i
th
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoolaege
add is
l
_set_fol
l
ows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_basic_set_compare_at: compute res
u
lt in terms
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
v
en Verdoo
l
a
e
g
e
isl_tab_pip
.
c
:
add cuts f
o
r all
n
o
n
-intege
r
c
oordinate
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
ven V
e
r
d
oolaege
isl_
b
asic_map_gist: don't dro
p
equalities from
c
on
t
ex
t
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
V
e
rdoolaege
isl_convex_
h
ull
.
c: i
n
itial
_
f
a
cet_constraint: dro
p
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Verdoolaege
isl_convex_hull
.
c
: is_i
n
d
e
p
e
n
dent_bou
n
d: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verdoolaege
isl_
c
on
v
ex_hull
.
c: extend: c
h
eck hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
oo
l
aege
isl_mat
_
ri
g
h
t
_
inv
e
rse:
be mo
r
e verbose on error con
d
ition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
sl_constrai
n
t
_
dup: make su
r
e lin
e
refers t
o
e
quation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
S
v
en
V
erdoolaege
add copy
r
ight statements
commit
|
commitdiff
|
tree
2009-12-16
Sven
V
e
r
doolaege
remove
f
unction
s
for converting b
e
tween
i
s
l
and
P
olyLib
commit
|
commitdiff
|
tree
2009-12-16
Sv
e
n V
e
rdo
o
laege
isl_
t
ab
_
solve_lp: invert op
t
i
m
al value back when co
m
p
uting
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ver
d
oo
l
aege
isl_ma
p
_in
t
erse
c
t: add
special case fo
r
adding a s
i
ngle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n Ve
r
doolae
g
e
is
l
_map_is_subset: break off as soon as differen
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven
V
e
rdo
o
lae
g
e
com
p
u
t
e set
difference
u
s
i
ng
a
b
a
cktrac
k
ing algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_map_subtr
a
ct
.
c: extr
a
ct
from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaeg
e
is
l
_
t
a
b: keep track of isl_basic
_
m
ap inst
e
ad o
f
isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
V
e
r
d
oolaege
privately export isl
_
b
asic_map_
c
o
ntains
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
oolaege
add
i
sl_
b
asic_map
_
add
_
ineq and isl_ba
s
ic_ma
p
_add_eq
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdo
o
laege
isl_
t
ab
_
detect_
r
edunda
n
t: retu
r
n status
i
n
stead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
isl_tab: add isl_tab_
f
reeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
erdoolaege
isl_tab
_
add_ineq and i
s
l_tab_m
a
rk_emp
t
y
: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
a
dd missing AUTHORS
f
ile
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_basic_set_swa
p
_vars: re-gauss resu
l
ti
n
g bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolaege
a
dd isl_basi
c
_map_first_constr
a
i
nt
commit
|
commitdiff
|
tree
2009-11-15
S
v
e
n
Verd
o
olaege
export isl_b
a
sic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
ven Verdoola
e
ge
a
dd isl_basic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Ve
r
doolae
g
e
isl_map_drop_bas
i
c_map: consi
s
tently keep basic
m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Ver
d
oolaege
isl
_
tab:
row is onl
y
(
obviously) redundan
t
if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdo
o
laege
isl_basic_map_simpl
i
fy: ma
k
e sure
to rerun
G
a
u
s
s when
.
.
.
commit
|
commitdiff
|
tree
next