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
add isl_set_fix_si
2010-02-13
Sven Verdoola
e
ge
add isl_se
t
_f
i
x_
s
i
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
i
sl_ma
p
_
r
e
ad: a
c
cept chains o
f
compa
r
isons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verd
o
ol
a
e
g
e
export isl_map
_
a
l
ign_
d
iv
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_map_r
e
ad: forget existentially
quantified
variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Ver
d
oolaege
isl_inpu
t
.
c: remove
needl
e
s
s
indirection
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdo
o
laege
doc: document how to inspect sets a
n
d
r
e
l
ation
s
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
export isl
_
m
a
p_compute_d
i
vs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
i
s
l
_
constraint_div: mak
e
sure
r
equested div is
a kn
o
w
n
div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
d
o
c: dro
p
docu
m
e
n
t
a
tion of _dump func
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
g
e
isl_map_prin
t
: im
p
r
o
ve ou
t
put
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
add isl_basic_map_foreach_co
n
straint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_coalesce: ha
n
d
l
e more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
p
rivately export isl_
s
et
_
wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l
_conv
e
x_hull
.
c: wrap_facet:
a
llow unbou
n
ded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc: improve decription of i
s
l
_
ma
p
_transitive
_
closure
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaeg
e
isl_map_
t
r
a
nsitive
_
clo
s
ure: improve test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Ver
d
o
olaege
add a counter
e
xa
m
ple f
o
r The
o
re
m
1 of the COCOA
p
aper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add
isl_ma
p
_lowe
r
_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
r
d
o
olaege
i
sl_
m
ap_power: co
a
lesce domain and r
a
ng
e
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
r
doolaege
isl_flo
w
.
c: add mi
s
sing
isl_access_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verd
o
olae
g
e
isl_c
o
alesce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
S
ven V
e
rdoolaege
isl_map
_
read: acce
p
t lists of affine
e
xp
r
e
ssions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
a
d
d
i
sl_mat_f
r
om_row_vec and isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Ver
d
oolaege
isl
_
m
ap_read:
r
ead
e
xtend
e
d
polyli
b
fo
r
mat
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
add isl_stream_next_toke
n
_on_same_l
i
ne
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_
m
ap_read: mak
e
sure p
o
lylib
constraint coeff
i
cie
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
V
erdo
o
laege
isl_{m
a
p,set}_di
m
: h
a
ndle NULL in
p
ut
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read
:
use
mo
r
e
u
nif
o
rm way of reading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
isl_tr
a
nsitiv
e
_closure
.
c: f
i
x typo in com
m
e
n
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map
_
tra
n
si
t
ive_
c
losure: use more r
e
l
a
xe
d
exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven
V
erdoolaege
add isl_map
_
power and is
l
_map_transiti
v
e_
c
losure
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_
m
ap_su
b
tract
.
c: make some inter
n
a
l
functions static
commit
|
commitdiff
|
tree
2010-02-03
S
ven Ve
r
dool
a
ege
add ge
n
eric
i
sl_map_proje
c
t
_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
o
olaege
add i
s
l_{map,
s
et}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
re
n
ame isl_{map,set}_ad
d
to
i
sl_{map
,
set}_a
d
d_b
a
sic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
isl_set_
p
roject_
o
u
t:
always
u
pdate
d
i
m
ension
,
even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
isl_di
m
_join
:
d
o
n
't require n
a
m
e
s of j
o
ined v
a
riables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
a
dd
is
l
_
m
a
p
_from_do
m
ain_a
n
d_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
d
oolaege
isl_stream: treat "-
"
as operator
rat
h
er
t
han as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
d
o
o
laege
isl_
m
ap_read:
accept
"
strict" ine
q
u
a
lities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_inpu
t
.
c: fix memory deallocat
i
on problem on mis
s
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolae
g
e
a
d
d
depende
n
c
e
a
nalysi
s
commit
|
commitdiff
|
tree
2010-01-31
S
v
en V
e
rdoo
l
aege
add
i
sl_
m
ap_
{
pa
r
t
ial_,}l
e
xopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
o
o
laege
add privat
e
isl
_
{se
t
,map}_make
_
disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
ba
s
i
s
_red
u
c
tion_
t
empl
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
is
l
_tab_pi
p
.
c: find_sol
u
tions:
b
re
a
k wh
e
n con
t
e
x
t becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
isl_di
m
_equal: don't re
q
uire
n
am
e
s of inp
u
t and
o
utput
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_map: properly d
u
pl
i
cate
n
a
mes
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
isl_dim_drop: p
r
operly adjust
l
ength
o
f
n
a
m
e
s array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolae
g
e
doc:
a
b
it mor
e
on i
n
tegers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: describe input/outp
u
t formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
d
oc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
add i
s
l_c
a
t
t
est applica
t
ion
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
add omega
o
utput
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Ver
d
oolaege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_test: use isl_set_read_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Verdoolaege
add isl_s
e
t_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoo
l
aege
add isl_map
_
r
ead_from_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoola
e
ge
isl_m
a
p
_
r
e
a
d_f
r
om_file: allow union
s
i
n isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l_basic_map_r
e
ad: r
e
ad def
i
nitions
of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
priva
t
ely export is
l
_basic_map_add
_
div_constrai
n
ts
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
erdoolaege
isl_
b
asic_map_rea
d
: read aff
i
ne constraint as tw
o
a
f
fin
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input
.
c: optiona
l
ly
read parameters from input
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
toke
n
izer: accept "a
n
d" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolae
g
e
export
i
sl_map_read_from
_
file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export
isl_b
a
sic_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoo
l
ae
g
e
d
r
op
r
edundant i
n
put_format
a
rgument from reading functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
d
oola
e
ge
isl
_
input
.
c: m
e
rge functio
n
s for r
e
ading Po
l
yLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
la
e
ge
i
s
l
_input_omega
.
c:
a
c
c
e
p
t Poly
L
i
b i
n
put
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_in
p
ut_omega
.
c: prep
a
r
e
for reading
p
arametri
c
unions
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoo
l
a
e
ge
isl_i
n
put_ome
g
a
.
c
:
finaliz
e
and simpli
f
y resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oo
l
aege
isl
_
input_omega
.
c: fix check for memory al
l
ocat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaeg
e
isl_
s
trea
m
_next
_
token: ski
p
c
o
m
ment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_tab_basic_
m
a
p
_partia
l
_lexopt: pr
o
perly
h
andle empt
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_basi
c
_
m
ap_set_to
_
e
m
p
ty: re
m
ove
sample (if any
)
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolaege
add isl_set_
f
ast_is_emp
t
y
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
proper
l
y
r
emove piplib s
u
bmodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoolaege
isl_basic_m
a
p_upda
t
e_f
r
om_tab:
re-gauss resulting
b
map
commit
|
commitdiff
|
tree
2010-01-01
S
ven
Verdoolaege
ax_s
u
bmodule
.
m4: don
'
t let --with-
m
odule
conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
v
e
n Verdoolaege
add isl_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
e
r
dool
a
ege
isl_
b
asi
c
_s
e
t_
c
ompare
_
at: compu
t
e result in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven V
e
rdoolaege
isl_tab_
p
ip
.
c: add
c
ut
s
f
o
r all non-integ
e
r
coor
d
inates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
isl
_
basic
_
ma
p
_gist: don't drop equalitie
s
f
rom cont
e
xt
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoolaege
i
sl
_
convex_hull
.
c: initial_face
t
_
c
onst
r
aint:
d
rop
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
is
l
_conv
e
x_
h
ull
.
c: is_in
d
ependent_b
o
und: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_hull
.
c
:
e
x
t
end: ch
e
ck hu
l
l
a
rgumen
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
s
l_mat_right_inverse: be more ver
b
ose
on error
c
on
d
ition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl
_
c
o
nstr
a
int_dup: make sure l
i
ne refer
s
to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
e
n
Verdoolaege
i
s
l
_map_inte
r
sect: add spec
i
al cas
e
for adding a
single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ve
n
Verdoolaege
comput
e
s
et d
i
ffere
n
ce using a back
t
r
acking algori
t
hm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_map_subtract
.
c: extract f
r
o
m
isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
o
l
aege
i
s
l
_
t
ab: ke
e
p t
r
ack of isl_basic_map instead of isl_ba
s
ic_s
e
t
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoolaege
p
rivately export isl_basic_
m
ap_cont
a
ins
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdool
a
ege
add isl_basic_map_add_ineq and isl_
b
asic
_
ma
p
_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n
Verdoola
e
ge
isl_tab_detect_redundant: re
t
urn status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
e
rdoolaege
i
sl_tab: add
is
l
_tab_
f
reeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaeg
e
i
sl_tab_add
_
ineq
and is
l
_tab_mark_em
p
ty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven V
e
rdoolaege
add
missing AUTHO
R
S file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_basic_set_swap_v
a
rs: re-
g
a
uss resulting b
s
e
t
commit
|
commitdiff
|
tree
2009-11-16
Sven Ver
d
oolaege
a
d
d is
l
_basic_map_first_
c
ons
t
rain
t
commit
|
commitdiff
|
tree
next