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_stream_read_obj: add support for reading piecewise quasipolynomials
2010-02-03
Sven Verdool
a
e
g
e
r
ename
isl
_
{
m
ap,set}_add to isl_{map,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n Verdoolaege
i
s
l
_
set_project_out: always upd
a
te
d
imensio
n
, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaeg
e
isl_d
i
m
_join: don'
t
require nam
e
s
of jo
i
ned vari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add
i
sl_map_from_d
o
main_and_ra
n
ge
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaeg
e
is
l
_stream: treat
"-" as operator rathe
r
t
han as -
1
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
i
s
l_map_read: accept
"
stri
c
t
"
inequalit
i
e
s
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l_input
.
c:
f
ix memory d
e
allocation problem on miss
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n V
e
rd
o
olaege
add depe
n
dence anal
y
sis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add isl_
m
ap_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
add private isl_{set,ma
p
}_make_disjoi
n
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
a
e
g
e
basis_
r
ed
u
ction_temp
l
.
c: fix t
y
p
o
in comment
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
V
e
r
doolaege
isl_tab_
p
ip
.
c: f
i
nd_
s
olutions: break when c
o
ntex
t
becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oolae
g
e
isl_dim_e
q
ual
:
don
'
t require names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_map: prop
e
rly
duplicate
names
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n Verdool
a
e
g
e
i
sl_dim_drop: proper
l
y
a
djust length of nam
e
s a
r
ray
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc:
a
bit more
o
n integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdool
a
ege
doc: d
e
scribe
input/output
fo
r
mats
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdoolaege
doc: fix
typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_cat test ap
p
lication
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
add
o
m
ega o
u
tput
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdool
a
ege
add isl
o
utput
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n V
e
rdoolaege
isl_test
:
use isl_set_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verd
o
o
l
aege
a
d
d isl_set_r
e
a
d
_
f
r
o
m
_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
S
ven V
e
rd
o
olaege
add isl_map_re
a
d_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
i
s
l
_
ma
p
_read_from_file: allow unions
i
n isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
erdoolaege
isl_basic_map_read:
read def
i
nitions of ex
i
ste
n
t
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
pr
i
vately export isl
_
b
a
sic
_
map_add_div_co
n
s
traints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
i
s
l_basi
c
_map_r
e
ad: re
a
d affine constraint
a
s tw
o
affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdool
a
ege
isl_
i
nput
.
c: optionally r
e
ad par
a
meters from input
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
tokenizer: ac
c
e
pt "a
n
d
" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verd
o
ola
e
ge
export isl_map_read_f
r
om_file
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
erdoolaege
ex
p
ort i
s
l
_basic_ma
p
_r
e
ad_
f
rom_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
dr
o
p
r
ed
u
ndant inpu
t
_format argument from rea
d
ing f
u
nctions
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdool
a
eg
e
isl_input
.
c:
merge functions for reading PolyLib a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdo
o
laeg
e
isl_input_omega
.
c: accept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
isl_i
n
p
ut_omega
.
c: prepar
e
for reading
parametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input_omega
.
c: finalize and
simp
l
ify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input_omega
.
c: fi
x
check
f
or
memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoo
l
aege
isl_stream_n
e
xt_
t
oken:
skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolaeg
e
isl_tab_basi
c
_map_partial_lexopt: properl
y
hand
l
e empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
o
o
l
aege
is
l
_basic_map_
s
et_to
_
e
m
p
ty: remove samp
l
e
(
if any
)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add isl_set_f
a
st_is_emp
t
y
commit
|
commitdiff
|
tree
2010-01-13
Sven Ver
d
oolae
g
e
properly r
e
move pipl
i
b
submodu
l
e
commit
|
commitdiff
|
tree
2010-01-08
S
ven Verdoolaege
isl_
b
as
i
c
_
ma
p
_updat
e
_
from_tab: re-gauss resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
ax_submodule
.
m4: don'
t
let --with-module con
f
lict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
v
en Verdoolaege
add i
s
l_se
t
_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n V
e
rdoolaege
isl_basi
c
_set_
c
ompare_at: comput
e
r
esult in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven V
e
rdoolae
g
e
isl_ta
b
_pi
p
.
c: add
cut
s
fo
r
all non-integ
e
r coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoo
l
aege
i
s
l_basic_map_gist: don'
t
drop equalities fro
m
context
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rd
o
olaege
isl_convex
_
hull
.
c: initi
a
l_facet_constraint: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_co
n
vex_hull
.
c: is_in
d
e
p
endent_bound: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_co
n
vex_hull
.
c
: ext
e
n
d:
c
heck h
u
ll argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdool
a
e
g
e
isl_mat_right_inverse: be more v
e
rb
o
se
o
n error cond
i
tion
commit
|
commitdiff
|
tree
2009-12-18
S
ven V
e
rdool
a
e
g
e
isl_const
r
ain
t
_
d
up: make
s
ure li
n
e refers to
equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven
Ve
r
doola
e
ge
a
d
d copyrigh
t
sta
t
ements
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
remov
e
f
u
nctions for
converting betwee
n
isl
a
nd PolyLib
commit
|
commitdiff
|
tree
2009-12-16
S
v
e
n
V
e
rd
o
olaege
is
l
_
tab_solv
e
_lp: i
n
vert optimal value back
w
hen computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n
Verdoolaege
isl_map_interse
c
t: add special case
f
or adding a s
i
ngle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
rdo
o
laege
isl_m
a
p_is_s
u
bset: break off
as s
o
on as di
f
f
e
r
e
nce
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
compute s
e
t di
f
ference usi
n
g a b
a
cktrackin
g
algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_map
_
subtract
.
c: ext
r
act from isl_
m
ap
.
c
commit
|
commitdiff
|
tree
2009-12-07
S
ven V
e
r
d
oolaege
i
s
l_
t
ab: keep trac
k
of isl_
b
asic_map ins
t
ead
o
f
isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
priv
a
t
e
l
y expo
r
t isl_basic_map
_
c
o
ntains
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
r
dool
a
ege
a
d
d
i
sl_basic_ma
p
_a
d
d_ineq a
n
d isl_basic
_
map_add_
e
q
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
l
a
ege
isl
_
tab
_
detect_red
u
ndant: return status inst
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n Verdoolaege
isl_tab:
a
dd
isl_tab_
f
reeze_const
r
a
int
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n
V
e
rdoolaege
isl_tab_add_ineq and isl_
t
a
b
_m
a
rk_
e
mpty: retu
r
n status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaeg
e
a
dd mi
s
s
i
n
g AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdool
a
ege
i
sl_basic_set_swap_vars: re-gauss resulting
bs
e
t
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolaege
ad
d
isl_bas
i
c
_
map_
f
irst_const
r
aint
commit
|
commitdiff
|
tree
2009-11-15
S
v
e
n
Verdoolaege
export
i
sl_basic_m
a
p_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdool
a
ege
add isl_basic_set
_
lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdoo
l
aege
i
s
l_map_drop_basi
c
_ma
p
: co
n
sistently ke
e
p basic
map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n
Verdoolaege
isl_tab: r
o
w is only
(
o
bviousl
y
)
redund
a
n
t
if
i
t doe
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Ver
d
oolaeg
e
i
s
l_ba
s
ic_map_simpli
f
y: m
a
ke sure t
o
rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ver
d
o
olaege
i
s
l_tab_ba
s
ic
_
map_partial_lexopt: use context constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
i
sl_tab
_
p
i
p
.
c
: i
g
nore dead
c
ol
u
mns when c
h
ecking
integrality
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdo
o
la
e
ge
isl_pip: optionally perform
som
e
c
hec
k
o
n
t
h
e results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
put
option
s
in a separate isl_option
s
s
tr
u
cture
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
add rudimentary argume
n
t parsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
isl_
t
a
b
_
compute_r
e
duced_basis: handle em
p
ty tables
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaeg
e
isl_basic_set_solve_ilp
:
han
d
l
e
obv
i
ously empty sets
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verd
o
ol
a
ege
isl_basic_set_solve_ilp: fix
h
a
n
dli
n
g
of
set
s
with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
er
d
oolae
g
e
ad
d
i
s
l_s
e
t_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdool
a
ege
add
i
sl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
ad
d
isl_basic_set_fi
x
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
extract isl_
b
asic_set_scan from polyto
p
e_sca
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoo
l
aeg
e
isl_bas
i
c_map_simp
l
ify: avo
i
d removal of div definitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
isl_map
.
c: declare variabl
e
at start of code block
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ve
r
doolaege
isl_ba
s
ic_set_project_out
:
handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolae
g
e
add isl_bas
i
c_set
_
remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
i
s
l_tab_pip:
keep c
a
che of partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoo
l
a
e
ge
is
l
_tab_p
i
p: don't fr
e
e
isl_sol on
er
r
o
r condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Ve
r
do
o
laeg
e
isl_tab: sup
p
o
r
t gene
r
ic und
o
rec
o
rds
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n
Verdoolaege
add isl_mat_
i
s_equ
a
l
commit
|
commitdiff
|
tree
2009-10-16
S
v
en
V
erdoolaege
isl_tab_pip
.
c:
r
em
o
v
e s
o
m
e code duplicatio
n
betwee
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
S
ven
V
erdoo
l
aege
isl_map_is_s
u
bset: add
s
p
ecial case f
o
r single
t
o
n
m
aps
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
isl_map_compute_divs:
s
kip comp
u
tation i
f
divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
ge
i
s
l_
m
ap_is_s
u
bset: exploit
a
nother easy special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add is
l
_map_fas
t
_is_universe
commit
|
commitdiff
|
tree
next