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
doc: improve decription of isl_map_transitive_closure
2010-02-08
Sven Verdoolaege
d
oc:
i
mp
r
ove decriptio
n
o
f
i
s
l_map_transitive_closur
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl
_
map_trans
i
tive
_
clo
s
ure: improve
t
est for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
add a counter examp
l
e for The
o
rem 1 of the COCOA p
a
per
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ve
r
doolaege
add isl_map_l
o
wer_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
V
erd
o
olaege
i
s
l_ma
p
_power: coale
s
ce d
o
m
a
in and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_flow
.
c: add mi
s
sing isl_access
_
info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
Verdo
o
laege
isl_coalesce
.
c: fix typo in c
o
m
ment
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaeg
e
isl_map_
r
ead:
accept lis
t
s
of affi
n
e expressions
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
a
dd
i
sl_mat_from_row_vec
a
nd i
s
l_mat_vec_c
o
nca
t
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
V
e
rdoolaege
isl_
m
ap_read: read extended polyli
b
format
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
V
e
rdoolaeg
e
add
i
s
l_stream_next_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Ver
d
o
o
laege
isl_
m
ap_read: make sure polylib
c
onstraint c
o
e
ffic
i
ents
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdo
o
laege
isl
_
{map,set}_
d
im:
h
andle NULL inpu
t
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoola
e
ge
isl_map_read: use more
uniform way of r
e
ading in p
o
ly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl
_
transi
t
iv
e
_clos
u
re
.
c:
f
ix typo
in comment
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoola
e
ge
isl_
m
ap_tran
s
itive_closu
r
e:
use more relaxed exactnes
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
a
dd isl_m
a
p_power and isl_ma
p
_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l
_
map_subtra
c
t
.
c:
m
a
ke som
e
i
n
ternal fun
c
t
ion
s
stati
c
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdool
a
ege
a
dd generic isl_map_proj
e
ct_
o
ut
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
dd is
l
_{map,set}_a
d
d
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdo
o
la
e
g
e
rena
m
e
isl_{map,set
}
_ad
d
to
isl_{map,set}_add_b
a
sic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verd
o
olae
g
e
isl_se
t
_p
r
oject_out:
alwa
y
s
update dim
e
n
s
io
n
,
e
ven
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
isl_
d
i
m_join:
d
on't require names of join
e
d varia
b
les
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
er
d
oolaege
ad
d
isl
_
m
ap_from_do
m
ain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
isl_stream
:
treat
"
-" as oper
a
tor rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
isl_map_r
e
ad: accept "st
r
i
c
t" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_input
.
c:
f
i
x
m
emory deallocation p
r
ob
l
em
o
n miss
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
add
d
e
p
e
ndence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add
i
s
l_ma
p
_{p
a
rt
i
al_,}
l
exopt
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoola
e
ge
a
dd priva
t
e isl_{set,map}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
basis_reduction_templ
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
isl_
t
ab
_
pip
.
c:
find_soluti
o
ns: break when
con
t
e
xt becom
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
isl_dim_equal: don't require name
s
of input an
d
outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_ma
p
: prope
r
ly dup
l
icat
e
names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_
d
rop: properly adjust
l
e
n
gth
o
f names array
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoola
e
ge
d
oc:
a b
i
t mo
r
e on
integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verd
o
o
lae
g
e
doc: de
s
cr
i
be input/output
f
o
rmats
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdo
o
laege
doc:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_cat test application
commit
|
commitdiff
|
tree
2010-01-25
S
ve
n
Ve
r
dool
a
ege
add omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add
isl outpu
t
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Verdoolaeg
e
isl_tes
t
: use i
s
l_
s
et
_
r
e
ad_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
add is
l
_set_r
e
ad_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolae
g
e
add is
l
_map_
r
ea
d
_
f
rom
_
st
r
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdo
o
laege
isl_
m
ap_read_from_file: allow uni
o
ns i
n
isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l_basi
c
_map_read: read
d
e
f
i
nitions of exis
t
ential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
private
l
y export isl_b
a
s
ic
_
map
_
add_div_c
o
nstr
a
ints
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
erdoolaege
isl_
b
a
s
ic
_
map_read:
r
ead affi
n
e constraint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
a
ege
i
sl_i
n
p
ut
.
c: o
p
tionally read paramete
r
s from inp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
tok
e
ni
z
er:
a
c
cept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
er
d
oo
l
aege
e
x
port isl
_
m
ap_
r
ead_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl_b
a
sic_m
a
p_read_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
ol
a
ege
drop re
d
undant i
n
put_format a
r
g
u
m
e
n
t
from read
i
ng
f
unctions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl_
i
npu
t
.
c
: merge functions for reading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
i
sl_
i
nput_omega
.
c:
a
cce
p
t PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
S
ven V
e
rdoolaege
isl_input_
o
m
ega
.
c: p
r
epare
f
or reading pa
r
ametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
a
e
ge
i
sl_input_
o
me
g
a
.
c
: finalize and
simplify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
V
erdoolaege
isl_in
p
ut_omega
.
c: fix che
c
k
f
or memory a
l
location
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_stream_next
_
t
o
ken: skip co
m
ment
l
ines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
o
l
aege
isl_tab_basic_map_partial_lexopt: pr
o
perly
h
an
d
le em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
Verdoolaege
isl_basic_m
a
p_set_to_empty: remove sample
(if a
n
y)
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaeg
e
ad
d
isl_se
t
_fast_is_em
p
ty
commit
|
commitdiff
|
tree
2010-01-13
Sven V
e
rdoolaege
properly remove pi
p
lib s
u
bmodu
l
e
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoo
l
a
e
ge
isl_
b
asic_map_update_from_tab: re-gauss re
s
u
l
ting
b
map
commit
|
commitdiff
|
tree
2010-01-01
Sven Ver
d
oola
e
ge
ax
_
s
u
b
m
od
u
l
e
.
m
4
: d
o
n't let
--w
i
th-module conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven V
e
rdoolaege
add isl_set_foll
o
ws_at
commit
|
commitdiff
|
tree
2009-12-24
Sven V
e
rd
o
o
la
e
g
e
isl_bas
i
c_set_compare_at: compute result in terms
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoo
l
aege
i
s
l_tab_pip
.
c:
a
dd cu
t
s
for all non-integer coor
d
inates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Ve
r
doolaege
is
l
_basic_map_gist: don't drop
e
qual
i
ties fr
o
m context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_con
v
ex_hu
l
l
.
c: initi
a
l_fa
c
et_c
o
nstraint: drop
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
ven
V
e
r
dool
a
ege
isl_convex_hul
l
.
c: is_in
d
ependent_bou
n
d: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rd
o
ol
a
ege
isl_convex_hul
l
.
c: extend: chec
k
hu
l
l
argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoo
l
aege
isl_mat_rig
h
t_inv
e
rse: be more verbose on
e
rror condi
t
ion
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_constraint_du
p
: make sure line refers to e
q
uatio
n
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_m
a
p_
i
ntersect:
a
dd speci
a
l case
f
or adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ver
d
ool
a
ege
co
m
pute
s
e
t difference using a backtracking algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
isl_map_subtract
.
c
: extract
f
rom
i
sl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n Verdoo
l
aege
is
l
_tab
:
k
e
ep t
r
ack of isl_bas
i
c_map
i
n
s
tead o
f
i
sl_ba
s
ic
_
set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
priva
t
ely export isl_basic_map_contain
s
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
laege
a
d
d isl_basic
_
map_add
_
ineq a
n
d isl
_
ba
s
i
c_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoolaege
is
l
_tab_detect_re
d
undant: re
t
urn
status instead o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verd
o
ola
e
ge
isl_ta
b
:
add isl_tab_freeze_constr
a
int
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoola
e
g
e
isl_t
a
b_add_ineq and is
l
_tab_mark_empty:
return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
dool
a
e
g
e
add
m
issing
A
UTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_basic_set_swap_v
a
rs:
re-gauss resulting
bset
commit
|
commitdiff
|
tree
2009-11-16
Sven V
e
r
doo
l
aeg
e
a
dd isl_basic_m
a
p_first_constra
i
nt
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdool
a
e
g
e
export isl
_
basic_map_lexm
a
x
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolae
g
e
add isl_
b
asic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdo
o
l
aege
i
s
l_map_drop_
b
asic_map:
c
on
s
istently
keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdool
a
ege
i
s
l_
t
ab: row i
s
only
(
o
bviousl
y
)
re
d
u
n
dant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoolaege
isl_basic_map_
s
imp
l
ify: make sur
e
to rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl
_
t
a
b_basic_m
a
p
_partial_lexopt: us
e
context constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
e
rdoola
e
ge
isl_
t
ab_pi
p
.
c
:
i
gnore
d
ead
c
o
l
u
mns when
c
h
e
cking integrality
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
i
s
l_pip: optio
n
ally pe
r
form so
m
e che
c
k on
t
h
e
r
esults
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doo
l
aege
put options in a separate isl_options s
t
ruc
t
u
re
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
a
dd rudimentary
argument parsing faci
l
ity
commit
|
commitdiff
|
tree
2009-10-21
S
ven
Ve
r
dool
a
ege
i
sl_
t
ab_compute_reduce
d
_
b
a
sis: handle empt
y
t
a
bles
commit
|
commitdiff
|
tree
2009-10-21
S
ven Ve
r
doolaege
isl_basi
c
_
set_solve_
i
lp: h
a
n
d
l
e
obv
i
ousl
y
e
mpty sets
commit
|
commitdiff
|
tree
2009-10-21
S
v
en V
e
rdoolaege
isl_basic_s
e
t_so
l
ve_ilp: fix hand
l
ing of
s
ets
w
ith
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add
isl_set_remove
commit
|
commitdiff
|
tree
next