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_read: accept chains of comparisons
2010-02-13
Sven Verd
o
olaege
isl
_
map_read: accept
chain
s
of comparisons
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Ve
r
doo
l
aege
e
x
port isl_map_align_
d
i
vs
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Ve
r
doolaege
i
s
l_map_read
:
forget existentially
q
ua
n
tified variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdo
o
laeg
e
isl_input
.
c: remo
v
e needless
i
n
directi
o
n
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
aege
doc: document
how to inspect
se
t
s and
r
elations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export
isl_map_
c
o
mpute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
isl_co
n
stra
i
nt_di
v
: ma
k
e
sure requested
div is a
k
nown div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
d
oc: drop documentation
o
f
_dump
functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map_print: improve out
p
ut
commit
|
commitdiff
|
tree
2010-02-09
S
v
en V
e
rdo
o
laege
add is
l
_basi
c
_map_f
o
reach_con
s
t
r
aint
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
d
oolaege
isl_map_coalesce: handle
more cases
commit
|
commitdiff
|
tree
2010-02-08
S
ven Ver
d
oola
e
ge
pri
v
atel
y
export is
l
_s
e
t
_
w
r
ap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdool
a
ege
is
l
_convex_hull
.
c: wrap_f
a
c
et: allow
u
nbounde
d
fac
e
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
doc: improve d
e
cription of isl_map_tran
s
i
t
iv
e
_closure
commit
|
commitdiff
|
tree
2010-02-08
S
ven Ve
r
doo
l
aege
isl_
m
ap
_
t
ransiti
v
e_c
l
osure: improve test f
o
r
e
x
a
c
t
ness
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
a
dd a counter example
for Theorem 1 of the COCOA
pa
p
er
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
r
d
oo
l
aege
add
i
sl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
r
do
o
laege
isl_map_power: co
a
lesce doma
i
n and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
g
e
isl_flow
.
c: add miss
i
ng is
l
_
a
ccess_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl
_
coa
l
esce
.
c: fix typo
in
comment
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoolaege
inc
l
ude/is
l
_int
.
h
: argument of mp_get_memo
r
y_functi
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Verdoolaege
isl_map_read:
a
ccep
t
l
i
sts
of
a
ff
i
ne expre
s
s
ions
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdo
o
l
a
ege
a
d
d isl_mat_
f
rom_row_vec and isl_mat_vec_
c
o
n
c
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oo
l
aege
isl_m
a
p_read: read
extended po
l
ylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doola
e
ge
a
dd isl_stream_nex
t
_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
i
s
l_map_read: make sure polylib con
s
tra
i
nt coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
isl
_
{map
,
set
}
_dim: handle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
isl_map_re
a
d
:
use more unifor
m
way of reading
i
n
po
l
ylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
i
s
l_trans
i
tive_clo
s
ure
.
c:
fix typo in commen
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
i
s
l_map
_
tran
s
itive_clo
s
ure: use more
r
e
laxed
e
xactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_map_p
o
wer
and i
s
l_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
rdo
o
la
e
ge
isl_map_
s
u
btract
.
c
: make some internal funct
i
ons
s
tatic
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
rdoolaeg
e
add generic isl_map
_
project_out
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoo
l
aege
add isl
_
{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rd
o
olaege
rename isl_{
m
ap,set}_add to isl_{m
a
p,set}_add_basi
c
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n
Verd
o
olaege
isl
_
set_
p
roject_out: alway
s
update
d
imension,
e
ven
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Ve
r
doolaeg
e
isl_
d
im_join: don't require names of joined
variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
add isl_map_
f
rom_domai
n
_
a
nd
_
r
a
nge
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
er
d
oolaege
isl_stream: treat "-" as operat
o
r rathe
r
than as -
1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
isl_ma
p
_re
a
d: accept "strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
isl
_
input
.
c: fix
m
emor
y
deallocation pr
o
blem on
missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
e
r
doolaege
add depende
n
ce analysi
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add isl_map_{part
i
al_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
o
laege
add p
r
ivate isl_{set,map}_make_disjoin
t
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoo
l
aege
basis_reductio
n
_templ
.
c: fix
typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oolaege
isl_tab_
p
i
p
.
c: find
_
solutio
n
s:
brea
k
when contex
t
b
ecom
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
isl_dim_equal: d
o
n'
t
require
n
am
e
s
o
f i
n
p
ut and
outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
i
s
l_dim_map: properly duplicate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
g
e
isl_dim_d
r
op: properly a
d
jus
t
length of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdoolae
g
e
doc: a bi
t
more on
integers
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdoolaege
d
o
c: desc
r
ib
e
input/out
p
ut f
o
rmat
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
d
oc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
add isl_cat test ap
p
lication
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
add ome
g
a
ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoola
e
ge
add
is
l
output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl
_
test
:
use isl_set_
r
ead_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
add isl_set_rea
d
_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdo
o
laege
add isl_map_read_from_
s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdo
o
l
aege
isl_map_read_from_
f
ile
:
allow union
s
in
i
sl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
r
dool
a
ege
i
sl_basic_map_read: rea
d
definitions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
priv
a
tely export isl_b
a
sic_
m
ap_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
is
l
_basi
c
_map_read: read affine
constraint as
t
wo a
f
fin
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
isl
_
in
p
u
t
.
c
: optionally read parameters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
t
o
k
eni
z
er: ac
c
ept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl_ma
p
_read_fr
o
m_file
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoo
l
aege
export isl_basi
c
_map_read_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaeg
e
d
r
op redundant input_format arg
u
ment
f
rom rea
d
ing fun
c
tions
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
i
sl_in
p
ut
.
c: merge funct
i
ons for reading PolyL
i
b
and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input_omeg
a
.
c: accept Pol
y
Li
b
input
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolae
g
e
isl_input_
o
mega
.
c: pr
e
pa
r
e fo
r
read
i
ng p
a
rametr
i
c unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
isl_input_omega
.
c
:
finalize and
simplif
y
resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
sl_input_omega
.
c:
f
ix check f
o
r memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Ve
r
do
o
laege
isl_
s
t
ream_next_token: skip com
m
ent lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
i
s
l
_
t
a
b
_
ba
s
ic_map_par
t
ial_lexo
p
t:
p
r
operly h
a
ndle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
l
aege
is
l
_basi
c
_map_set_to_empty: remo
v
e
sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoola
e
ge
a
d
d isl_se
t
_fast_
i
s_em
p
ty
commit
|
commitdiff
|
tree
2010-01-13
Sven Ve
r
doolae
g
e
p
r
operly re
m
ov
e
pipl
i
b su
b
module
commit
|
commitdiff
|
tree
2010-01-08
S
ven Verdoolaege
isl_basic_map_update_
f
rom_tab: re-gauss
r
esu
l
ting bmap
commit
|
commitdiff
|
tree
2010-01-01
S
ve
n
Verdool
a
ege
ax_submodule
.
m
4
: don't
l
et --with-mod
u
l
e
conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
ven Ver
d
oo
l
a
e
ge
add isl
_
set_follows_
a
t
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_bas
i
c_set_compare_at: compute
result in ter
m
s
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
ven Verdool
a
e
g
e
isl_tab_pi
p
.
c: add cuts f
o
r all non-integer
co
o
rdinate
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolae
g
e
isl_basic
_
ma
p
_gis
t
: do
n
't drop equalitie
s
from context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaeg
e
isl_co
n
ve
x
_hull
.
c
:
initial_facet_constraint: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_hull
.
c: is_indepen
d
ent
_
boun
d
: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
e
n
Verdool
a
ege
isl
_
convex_hull
.
c: ex
t
end: chec
k
h
ull argument
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Ve
r
doolaege
isl_mat_right_inverse: be
m
o
r
e
v
e
r
bo
s
e on
e
rror condition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaeg
e
isl_c
o
n
s
traint_dup: m
a
ke s
u
re
l
ine
r
ef
e
rs to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven V
e
rdo
o
laege
add cop
y
righ
t
statements
commit
|
commitdiff
|
tree
2009-12-16
S
ven Verdoolae
g
e
remov
e
fu
n
c
tion
s
for
converting between i
s
l and PolyL
i
b
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoo
l
aege
isl_ta
b
_sol
v
e_lp: i
n
vert optimal
value back
w
hen compu
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
e
rdoolaege
isl_m
a
p_intersect: a
d
d
s
pecia
l
case fo
r
addi
n
g
a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verd
o
o
l
aege
isl_map_is_subset: br
e
ak off as
soon as diffe
r
ence
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
erdoolae
g
e
compute
s
et difference
u
s
i
ng a backtracking
a
l
g
orithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
olae
g
e
i
sl_map_subtract
.
c
: extra
c
t from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
olaeg
e
isl_tab
:
keep
track
of
isl_ba
s
ic_map instead
of i
s
l_b
a
sic_set
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoolaege
privat
e
ly expo
r
t isl_basic_
m
ap_contains
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoola
e
ge
add isl_basi
c
_map_add_i
n
eq
and isl_basic_
m
ap
_
add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n
V
e
rd
o
ol
a
ege
is
l
_tab_detect_redundant: return s
t
a
tus
i
nste
a
d of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
eg
e
i
sl_tab: add isl_t
a
b
_freeze_constraint
commit
|
commitdiff
|
tree
next