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: only use non-redundant constraints as potential facets
2010-02-15
Sven Verdoolaege
isl_map
_
coalesce: only use non-redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdool
a
eg
e
isl_
m
ap_read: acc
e
pt
c
hains
o
f c
o
mparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
erdoolaege
export isl_ma
p
_a
l
ign_divs
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n
V
erdool
a
ege
i
s
l_map_re
a
d:
forget existent
i
ally
q
u
antified var
i
ab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verd
o
olaege
isl_input
.
c:
re
m
ove needl
e
ss indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: docum
e
n
t h
o
w t
o
i
nspect sets a
n
d relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
e
xport isl_map_co
m
pute_div
s
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
isl
_
c
onstrai
n
t_div: make
su
r
e requested di
v
is
a kn
o
wn div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc:
d
rop documen
t
ation of
_dump fu
n
ctions
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erd
o
olaege
i
sl_
m
ap_print: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oola
e
g
e
add i
s
l_basic_map_fo
r
eac
h
_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolae
g
e
i
s
l_map_co
a
les
c
e: handle more ca
s
es
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoo
l
ae
g
e
privat
e
ly export
i
sl_set
_
wrap_f
a
cet
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdool
a
ege
isl_
c
o
nvex_hull
.
c: wrap_f
a
cet: allow unboun
d
ed facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
doc: improve decription
o
f isl_map_tra
n
s
i
tiv
e
_cl
o
sure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
isl_ma
p
_transitive_closu
r
e:
improve tes
t
f
o
r ex
a
ctn
e
ss
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
a
d
d a coun
t
e
r
example f
o
r Theorem 1 of the C
O
C
O
A
paper
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolae
g
e
add
i
sl_
m
a
p_low
e
r_b
o
und_s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
is
l
_map_p
o
wer:
coales
c
e doma
i
n a
n
d ra
n
ge
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
is
l
_flo
w
.
c: add missing i
s
l_access_in
f
o_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ve
r
dool
a
ege
isl_coalesce
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2010-02-07
Sven
Verdoolaege
inclu
d
e/isl_int
.
h: argument of m
p
_
get_m
e
mory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaeg
e
isl_map_read: acc
e
pt lists of af
f
ine e
x
pressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
e
ge
add
i
s
l_mat_from_
r
ow_vec a
n
d
i
sl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n V
e
r
doo
l
a
e
ge
isl_m
a
p_
r
ead: r
e
ad ex
t
ended
p
o
lylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verd
o
ol
a
ege
add isl_stream_next_tok
e
n
_
on
_
same_l
i
ne
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
is
l
_
map_read: make s
u
re polylib con
s
traint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ve
n
V
erdoolaege
isl_{map,set}_dim: handle
NULL in
p
ut
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
i
s
l
_
map_read: use
m
ore uniform way of reading in p
o
lylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
Verdo
o
laege
i
sl
_
t
r
ansiti
v
e
_clo
s
ure
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolae
g
e
i
s
l
_map_transitive
_
closu
r
e: use
m
o
re relaxed
exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Ve
r
d
oo
l
aege
add
i
sl_map_
p
ower and isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
sl_m
a
p_s
u
btract
.
c: make some internal func
t
ions static
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
a
dd generi
c
isl_
m
ap_pro
j
ect_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_{map,
s
et}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
r
e
name isl_{
m
ap,set}
_
add to
i
sl_{map,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
isl_set_project_out: always update dimens
i
o
n
, eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
is
l
_dim_join: don't req
u
ire names of jo
i
ned v
a
riable
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaeg
e
ad
d
is
l
_
m
ap
_
f
r
om_domain_
a
n
d_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
sl_stream: trea
t
"-" as operator rather than
a
s -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_read: acc
e
p
t "strict" inequaliti
e
s
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
r
doo
l
aege
isl_i
n
put
.
c: fix memory
d
e
alloca
t
ion problem on mi
s
sing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
e
g
e
add dependence a
n
alysis
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolae
g
e
a
d
d
isl_ma
p
_
{
partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
v
en V
e
rdoo
l
aege
a
d
d private isl_{set,map}_make_disjoi
n
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
basi
s
_
red
u
ction_
t
em
p
l
.
c: f
i
x
t
y
p
o in commen
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_tab_pip
.
c
:
f
i
nd_solutions: break w
h
en context b
e
comes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl
_
d
i
m_
e
qual: do
n
't require names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
isl_di
m
_map
:
pr
o
per
l
y du
p
licate
n
am
e
s
commit
|
commitdiff
|
tree
2010-01-31
S
v
en
Ve
r
doolaege
isl_dim_
d
ro
p
:
properly adj
u
st l
e
ngth
of names a
r
ray
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: a bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven V
e
rdoolaege
d
o
c
:
describe input/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdo
o
la
e
ge
doc
:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdoolaege
add isl_cat tes
t
app
l
ication
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoo
l
a
ege
add omega
output
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
er
d
oo
l
a
ege
add isl out
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l_test: use isl_set_read_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdool
a
ege
add isl_set_read
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
add is
l
_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
lae
g
e
is
l
_m
a
p_rea
d
_fr
o
m_file: a
l
low unions i
n
isl forma
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl_basic_ma
p
_rea
d
:
read d
e
fini
t
ions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
privatel
y
export isl_basic_map_add_div_constrai
n
ts
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
i
s
l_basic_map_rea
d
: read affine constra
i
nt as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
isl_i
n
put
.
c: optionally read paramet
e
rs from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
tokenizer: accept "and" keywo
r
d
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
er
d
oolaege
e
x
port isl_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
ola
e
ge
export isl_
b
asic
_
ma
p
_read_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
drop
r
e
dundan
t
input_format argument
f
rom reading f
u
nctions
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
isl_input
.
c: merge functi
o
ns
f
o
r r
e
adin
g
Po
l
y
L
i
b
and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
l
aege
is
l
_
i
np
u
t_omega
.
c: accept PolyLib i
n
put
commit
|
commitdiff
|
tree
2010-01-24
S
ven
Verd
o
olaege
isl_input_omega
.
c
: prep
a
re for reading paramet
r
ic unions
commit
|
commitdiff
|
tree
2010-01-24
S
ven
Verdoolaege
isl_input_
o
m
e
g
a
.
c
: fina
l
ize
and simplify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verd
o
olaege
isl_input_ome
g
a
.
c: fix c
h
eck
f
or
memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ve
n
Verdoolaege
isl_stre
a
m_next_
t
oken: sk
i
p com
m
ent li
n
es
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoolaege
isl_tab_basic_
m
ap_partial
_
l
exopt
:
properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_basic_map_se
t
_to_empty: remove sample (i
f
any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add
i
s
l_set_fas
t
_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven
V
e
r
doolaeg
e
properly remove piplib submodul
e
commit
|
commitdiff
|
tree
2010-01-08
S
v
en Verd
o
olaege
isl_basic_ma
p
_update_from_tab: re-gauss resul
t
ing bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Ve
r
doolaege
ax_subm
o
dule
.
m4
:
don't let --wit
h
-
m
odule
c
onfli
c
t with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdool
a
ege
add isl_set_follows_a
t
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
e
rdo
o
la
e
ge
isl_basic_s
e
t_compare_at: compute resul
t
in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
Verdoo
l
aege
isl_tab_pip
.
c: add c
u
t
s
for all
n
on-i
n
t
e
ger coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
v
en Verdoolaege
isl
_
basic_
m
ap_gist:
d
on'
t
drop equalities fro
m
context
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Verdoolaege
isl_convex_hull
.
c: initial_facet_co
n
straint: dr
o
p
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoolaege
is
l
_convex_hull
.
c
:
is_independent_b
o
u
nd: normali
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_
c
onvex_hull
.
c
:
extend: check hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoo
l
aege
i
s
l_mat_right_inverse: be more verbose on error co
n
dition
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Verdoola
e
g
e
isl_c
o
nstraint_dup: ma
k
e s
u
re lin
e
refers to
e
q
u
a
tion
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
add copyri
g
ht
s
tatements
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdo
o
laege
remove functions fo
r
converting
b
e
t
ween isl an
d
Pol
y
L
ib
commit
|
commitdiff
|
tree
2009-12-16
Sve
n
Verdoolaege
isl_tab_solve_lp: invert optimal value
b
ack when computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
e
rdo
o
laege
i
s
l_m
a
p_int
e
rsect: add special ca
s
e for adding a
s
in
g
le
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoola
e
ge
isl_map_
i
s_
s
ubset: break off
a
s
s
o
on as diff
e
rence
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ver
d
oolaege
compute s
e
t difference using a backtracking algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl
_
map
_
subtrac
t
.
c
:
e
xtract
fr
o
m is
l
_m
a
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab: ke
e
p tr
a
ck of isl_basi
c
_map
ins
t
ead of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdool
a
ege
private
l
y
e
xport
i
s
l
_basic_map_
c
o
n
tains
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdoo
l
aege
add isl_basi
c
_ma
p
_add_ineq and
i
sl_basic_map_ad
d
_eq
commit
|
commitdiff
|
tree
next