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_coalesce.c: fix typo in comment
2010-02-08
Sven Ver
d
oolaege
isl_coales
c
e
.
c: fix typo in c
o
mment
commit
|
commitdiff
|
tree
2010-02-07
S
v
en Verdo
o
laege
include/isl_int
.
h: ar
g
ument o
f
mp_get_memory_fun
c
tions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
isl_map_read: accept list
s
of affine expressions
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
ad
d
isl_mat_fro
m
_row_vec
an
d
isl_mat_v
e
c
_
concat
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
isl_map_rea
d
: read extended polyl
i
b
f
or
m
at
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
add isl_stream_next_token_o
n
_
s
a
me
_
li
n
e
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
isl_map_rea
d
:
m
ake sure polylib constraint coef
f
icients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolae
g
e
isl_{map,set
}
_dim: handle NULL inpu
t
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdo
o
l
aege
isl_map_
r
ead: use more uniform
w
a
y
o
f r
e
a
ding in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven
Ve
r
d
o
ola
e
g
e
isl_transitive_clo
s
ure
.
c
: fix typo in co
m
m
e
nt
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_transitive_clo
s
ure: us
e
m
o
re
r
el
a
xe
d
exac
t
ness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
add isl_map_powe
r
and is
l
_map
_
transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
i
sl_map_subtra
c
t
.
c
: make some
i
nternal
function
s
s
t
atic
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoo
l
aeg
e
add
generic isl_
m
ap_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoola
e
ge
a
d
d
i
sl_{map,set}
_
add
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
Verdoolaege
rename isl_{map,set}_add to isl_{map,set
}
_add_ba
s
i
c_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
isl_set_proj
e
ct_out:
always
update dim
e
nsion, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
erdoolaeg
e
isl_d
i
m_joi
n
: d
o
n'
t
require names of
j
o
ined va
r
iables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
V
erdo
o
laege
add isl_map
_
from
_
domain_
a
nd_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l
_s
t
ream:
trea
t
"
-" as operator
r
a
t
h
e
r than
a
s -1
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoo
l
aeg
e
i
s
l_
m
ap_read: acce
p
t "
s
tr
i
ct" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoo
l
aege
is
l
_i
n
put
.
c:
fix memory deal
l
ocation proble
m
on
missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
a
dd depend
e
nce an
a
lysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
add isl
_
ma
p
_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
add pri
v
ate isl_
{
set,map
}
_make_disj
o
int
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
b
a
sis
_
r
e
duction_t
e
mpl
.
c:
f
i
x typo in c
o
mme
n
t
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
isl_tab_pip
.
c
: find_solutions: break when context
b
ecom
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verd
o
olaege
isl_dim_eq
u
a
l: don't require names of i
n
put and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdo
o
l
aege
isl_dim_ma
p
:
p
ro
p
erly duplicate na
m
es
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
is
l
_dim_drop: properl
y
adjust len
g
t
h of name
s
array
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verdoolaege
d
oc: a
bit more
o
n integers
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoolaege
doc:
d
escrib
e
input/output formats
commit
|
commitdiff
|
tree
2010-01-26
S
ven V
e
rdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaeg
e
add isl_ca
t
te
s
t
applicati
o
n
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
add omega out
p
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
r
d
oolaege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
isl_test: use isl_set
_
read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
add isl
_
se
t
_read_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
e
rdoolae
g
e
add isl_map
_
read_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
isl
_
map_read_from_fi
l
e: allo
w
unions
i
n
i
sl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
isl_basic_map_read: read definit
i
o
n
s
of exi
s
tential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
private
l
y e
x
port
isl_basic_map
_
add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaeg
e
isl_basic_map_rea
d
: read affine c
o
n
s
t
r
a
int as
t
wo affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verd
o
o
laeg
e
isl_
i
nput
.
c: optionally rea
d
p
arameters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
o
ola
e
ge
tokeniz
e
r: acc
e
pt "and" k
e
ywo
r
d
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
export isl_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ex
p
ort isl_bas
i
c_map
_
r
ead_f
r
om_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
ol
a
e
ge
drop re
d
unda
n
t inpu
t
_fo
r
m
a
t argument from reading functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_i
n
put
.
c: merg
e
functions for re
a
d
i
ng Pol
y
L
i
b and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoola
e
g
e
isl_in
p
ut_omega
.
c: accept Pol
y
L
ib input
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoolaege
isl
_
inp
u
t_omega
.
c: prepar
e
f
o
r
read
i
ng pa
r
a
m
etric un
i
o
ns
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
Verdoolaege
i
s
l_in
p
ut
_
omega
.
c
:
f
in
a
li
z
e and
s
implify res
u
lting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Ve
r
d
oolaege
isl
_
input
_
omeg
a
.
c
:
fix
c
heck fo
r
memory all
o
cati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
isl_
s
tr
e
am_next_token: skip comment
l
ines
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdo
o
l
a
ege
i
sl_t
a
b_basic
_
ma
p
_partial_lexopt: properly
handle em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdool
a
e
g
e
i
s
l_b
a
sic_map
_
set_to_empty: r
e
m
o
ve sam
p
le (if an
y
)
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
doola
e
ge
a
dd isl_set_fast_is_
e
mpty
commit
|
commitdiff
|
tree
2010-01-13
Sven Ver
d
oolae
g
e
properly remove piplib sub
m
o
dule
commit
|
commitdiff
|
tree
2010-01-08
S
v
en Verd
o
olaeg
e
isl_basic_ma
p
_update_from_ta
b
: re-gauss resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
a
x
_submodule
.
m4: don
'
t let --with-mo
d
ule confl
i
ct
with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven
V
erdoolaege
a
d
d
is
l
_set_f
o
llows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
i
s
l_basic_set_co
m
pare_at: compute
result in te
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_tab_pi
p
.
c: a
d
d
c
uts
f
o
r all non-integer coordina
t
es
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven
V
erd
o
olaege
i
sl_basic_map
_
gist: do
n
't drop equalities from context
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n
V
e
rdoolaege
isl_convex_hul
l
.
c: initial_
f
acet_constrai
n
t: d
r
op all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en
V
erdo
o
laege
i
sl_
c
onvex_hul
l
.
c
:
i
s
_indepe
n
dent_b
o
und: n
o
rmalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_hull
.
c: extend: check hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdool
a
ege
i
s
l_m
a
t_r
i
ght_in
v
erse: be
more verbo
s
e on er
r
o
r
c
ondition
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verd
o
olaege
isl_constra
i
nt_dup: m
a
ke sure l
i
ne refe
r
s to
equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoo
l
aege
add copy
r
ight statements
commit
|
commitdiff
|
tree
2009-12-16
Sv
e
n Verdoolaege
re
m
ove
f
unction
s
for
converting between i
s
l and P
o
lyLib
commit
|
commitdiff
|
tree
2009-12-16
Sven
Verdoola
e
g
e
isl_t
a
b_
s
olve_lp:
i
nvert
o
ptim
a
l valu
e
back w
h
en
c
ompu
t
in
g
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ve
r
d
o
o
laege
isl
_
map_in
t
ersect: add sp
e
cial case for a
d
d
i
ng
a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ver
d
ool
a
ege
i
sl_m
a
p_is
_
subset: b
r
eak
o
ff as soon a
s
diffe
r
ence
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
c
o
m
p
ute set difference
u
si
n
g a back
t
racking algori
t
h
m
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoo
l
aege
isl_
m
ap_subtract
.
c
: extract from
isl_
m
ap
.
c
commit
|
commitdiff
|
tree
2009-12-07
S
ven
Verdoolaeg
e
isl_tab:
ke
e
p
track of isl_basic_
m
ap
i
n
s
tea
d
of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erd
o
o
laege
p
riv
a
tel
y
export isl_ba
s
ic_m
a
p_contains
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdo
o
l
aege
add i
s
l_basic_map_add_ineq a
n
d isl_basic_map_ad
d
_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaege
isl_tab_de
t
ect_redundant: return status
i
nstead o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdo
o
laege
isl_tab: add isl_tab_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_tab
_
add_in
e
q and i
s
l_tab_m
a
rk_empty: re
t
urn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
ven
Verdoolaege
add missing
A
UTHORS
f
i
le
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaeg
e
i
s
l_basic_
s
et_swap_vars
:
re-gauss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdool
a
ege
add is
l
_ba
s
ic
_
map
_
f
i
rst_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Ve
r
doo
l
aege
export isl
_
basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verd
o
olaege
add isl_bas
i
c_set
_
l
e
xmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdoola
e
ge
i
s
l_map
_
dro
p
_
b
as
i
c_map: consi
s
tently keep basic ma
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n
V
e
rdo
o
laege
i
sl_ta
b
: row
is onl
y
(obviously) redundan
t
if
i
t does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_b
a
s
ic_map_simplify: make sure to rerun Ga
u
ss wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verd
o
olae
g
e
isl_ta
b
_basic_map_partial_l
e
xopt: use context
con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdool
a
ege
i
sl
_
ta
b
_p
i
p
.
c: ignore
d
ead columns
when checking inte
g
ra
l
it
y
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
isl_pip:
o
ptionally pe
r
form some check on the re
s
ults
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
put
options in
a
separa
t
e i
s
l
_op
t
ion
s
structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add rud
i
menta
r
y argum
e
nt
parsing
facili
t
y
commit
|
commitdiff
|
tree
2009-10-21
S
ven
V
erdool
a
ege
isl_tab_com
p
ute_redu
c
ed_ba
s
is: ha
n
dle empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoo
l
aege
isl
_
basic_set_solve_ilp: handle ob
v
iously empty
sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oola
e
ge
isl_basic
_
set_solve_ilp: fix handling
o
f s
e
ts with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doo
l
aege
add is
l
_
s
et
_
r
e
move
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n V
e
rdoola
e
ge
a
dd isl_se
t
_
f
ix
commit
|
commitdiff
|
tree
next