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 0.02
2010-02-09
Sven Verdo
o
laege
add isl_b
a
si
c
_map
_
f
o
reach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoola
e
g
e
isl_map_c
o
al
e
sce:
h
and
l
e more cases
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
privatel
y
export
isl_s
e
t
_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
isl_conve
x
_
h
ull
.
c:
wra
p
_face
t
:
allow
u
nb
o
unded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaeg
e
doc
:
improve decrip
t
ion of
i
sl_
m
ap_tran
s
iti
v
e_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
l
aege
isl_
m
ap
_
t
ra
n
si
t
ive_closure: improve test fo
r
ex
a
ctness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
add
a
co
u
nter examp
l
e for T
h
eorem 1
o
f the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
add isl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
d
o
o
l
aege
isl_map
_
power: coa
l
e
s
ce doma
i
n and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl
_
flow
.
c:
add
missi
n
g isl_a
c
c
e
s
s
_in
f
o_fr
e
e retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
V
e
r
doolaege
isl_co
a
lesce
.
c
:
f
ix typo in comment
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoolaege
includ
e
/isl_int
.
h: argument of mp_get_
m
em
o
ry_fun
c
tions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Ve
r
doolaege
isl_map_read: accept lists o
f
af
f
ine exp
r
essi
o
ns in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
a
d
d isl_mat_from_row_
v
ec an
d
isl_mat_vec_co
n
cat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
isl_map_read: read ex
t
ende
d
p
olylib f
o
rmat
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
d
o
o
l
aege
add is
l
_stream_next_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
isl_map_read:
make sure polylib constraint coeffi
c
i
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
V
er
d
oo
l
aege
isl_{map,set}_dim: handle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
isl_map_read: use
more uniform wa
y
o
f reading in polyli
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
isl
_
t
r
ansitive_closure
.
c: fix typo
i
n commen
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
isl_map_transiti
v
e_closure: use more
r
elax
e
d
e
xactn
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n
Verdoolaege
add is
l
_map_p
o
we
r
and isl_map_tran
s
itive_closur
e
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verd
o
olaege
isl_map_su
b
t
ract
.
c: ma
k
e some internal fun
c
tions static
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
V
e
rdoolaege
a
d
d generic i
s
l_
m
ap_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
a
dd i
s
l_
{
map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
r
ename isl_{
m
ap,set}_
a
d
d to i
s
l_{map,set}_
a
dd
_
basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
er
d
oolae
g
e
isl_set_projec
t
_
o
ut: alway
s
update d
i
me
n
sio
n
, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
isl_dim
_
join: don't require names of joined
varia
b
les
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ve
n
Verd
o
o
l
aege
add isl
_
map_from_domain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
isl_stream: t
r
eat "-" as ope
r
a
t
or rather
than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
ool
a
ege
isl_
m
ap_read:
a
ccept "strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaeg
e
is
l
_input
.
c: fix memory deal
l
ocat
i
on proble
m
on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add depend
e
nce ana
l
ysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
d
oola
e
ge
add isl_map_{partial_,}lex
o
pt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
add pri
v
at
e
i
s
l
_
{
s
et,map}_make_
d
isjoi
n
t
commit
|
commitdiff
|
tree
2010-01-31
Sven
Ve
r
dool
a
e
ge
b
asis_reduction_templ
.
c
:
fix t
y
po in comment
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
isl_tab_
p
ip
.
c: fin
d
_solutions:
b
reak when c
o
ntext
bec
o
mes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
isl_dim_equ
a
l: don'
t
r
eq
u
ir
e
name
s
of
i
nput and ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
V
erdoolaege
isl_dim_map: p
r
op
e
rly duplicate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
is
l
_dim_dro
p
: prop
e
rly adju
s
t
length of names
a
rray
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: a bit more on
integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
oolae
g
e
doc: describe input
/
outpu
t
f
o
r
mats
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoolaege
doc: fix
typo
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
er
d
oolaege
a
dd
i
sl_cat test
application
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
add
omega out
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ver
d
oo
l
aege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_te
s
t: u
s
e isl_set_rea
d
_from_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
add
isl_se
t
_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
a
dd
i
sl_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
sl_map_re
a
d_from_fil
e
: allow unions in is
l
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_ba
s
ic_map_read: rea
d
definiti
o
ns of exis
t
ential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
private
l
y
export
isl
_
basic_map_add_div_co
n
strai
n
ts
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
do
o
laege
i
sl_ba
s
ic_map
_
read: read affine constraint as
t
wo affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
is
l
_input
.
c: optionally read parameters f
r
om inp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
tokenizer: a
c
cept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
export isl_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
e
g
e
export isl_basic_map_r
e
a
d
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop redundant input
_
form
a
t argument from reading functions
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erd
o
olaege
i
s
l_in
p
ut
.
c: merg
e
functio
n
s fo
r
reading Pol
y
Lib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
isl_i
n
put_omega
.
c: acce
p
t
PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
s
l_input_omega
.
c: p
r
epare for reading
paramet
r
ic unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
a
ege
isl
_
input_omega
.
c:
f
inalize and simplify resulti
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ve
n
Verdoolaege
isl_in
p
ut_om
e
g
a
.
c: fix c
h
ec
k
for memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoolaeg
e
isl_stream_nex
t
_token:
s
k
i
p comm
e
n
t
lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
s
l_t
a
b_basi
c
_map_p
a
rtial
_
le
x
opt: properly
handl
e
e
m
p
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
er
d
oolaege
isl_basic_map
_
set_to_empty: remove sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
o
l
aege
add isl_
s
e
t
_fast_
i
s
_empty
commit
|
commitdiff
|
tree
2010-01-13
Sve
n
Verdoola
e
ge
prope
r
ly remo
v
e piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoo
l
aege
isl
_
basic_
m
a
p
_
u
pdate_from_tab: re-gauss resultin
g
bmap
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Verdo
o
lae
g
e
ax_subm
o
dule
.
m4: d
o
n't le
t
--with-module c
o
nflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoolaege
add isl
_
set_f
o
l
lows_a
t
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_basic_set_compare_at: co
m
pute result i
n
terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
v
en Ver
d
oolaege
isl_tab
_
p
ip
.
c: ad
d
cu
t
s for all non-integer co
o
rdinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdo
o
laege
isl_basi
c
_map
_
gist: don't
drop equalities from cont
e
x
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Verd
o
ol
a
ege
is
l
_convex_h
u
ll
.
c: initial_f
a
c
e
t_constr
a
int: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoolaege
is
l
_
c
onvex_h
u
ll
.
c: is_independent_bou
n
d: norm
a
l
i
ze
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl
_
convex_hull
.
c: extend: check hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
d
oola
e
ge
isl_mat_right_i
n
verse: be more verb
o
se
o
n error
c
ondition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verd
o
o
laege
isl_co
n
straint_
d
up:
make sure line re
f
e
rs to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verd
o
olaege
add copyri
g
ht sta
t
ements
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdo
o
laege
remove functions for converting b
e
tween isl and PolyLib
commit
|
commitdiff
|
tree
2009-12-16
Sven V
e
rdoo
l
aege
i
s
l_tab_solve_lp: in
v
ert
optima
l
v
alue back
w
hen
com
p
ut
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_map_intersect: add
s
pecial case for add
i
ng a si
n
gle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
en Verd
o
olaege
isl_map_is_subse
t
: b
r
eak off a
s
s
oon as diff
e
rence
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ve
r
do
o
laege
c
omput
e
set diffe
r
ence
u
sing a b
a
ck
t
racking algor
i
thm
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdo
o
laege
isl_
m
ap_
s
ubtract
.
c: extract fro
m
isl_m
a
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Ve
r
dool
a
ege
isl_tab: keep
t
rack of
isl_basic_map instead of
i
s
l
_basic_se
t
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoo
l
ae
g
e
privately export isl_ba
s
ic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolaege
add
i
sl
_
basic_map
_
ad
d
_
i
neq an
d
is
l
_ba
s
ic_map_
a
dd
_
eq
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n
V
erdoo
l
aege
isl_tab_
d
e
tect_redundant:
r
e
t
u
r
n status
i
nstead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoolaege
isl_ta
b
: add isl_t
a
b_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verdoolaeg
e
isl_t
a
b_add_i
n
eq and isl_tab_m
a
rk_em
p
ty: retu
r
n status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven
Verdoolaege
add
m
issing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Ver
d
oo
l
aeg
e
isl_basic_set
_
s
wap_vars: re-gauss resulting bse
t
commit
|
commitdiff
|
tree
2009-11-16
S
ven Verdoo
l
aege
add isl_bas
i
c_map_first_constr
a
int
commit
|
commitdiff
|
tree
2009-11-15
Sven Ver
d
o
o
l
aege
expo
r
t is
l
_basic_m
a
p_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdoo
l
a
ege
add isl_bas
i
c_set_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdoolaeg
e
isl_ma
p
_d
r
op_basic_map: consistently k
e
ep
b
a
s
i
c
m
ap
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab: row is only (obviously) redundan
t
if it
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdool
a
ege
isl_bas
i
c_map_simplify:
m
ake su
r
e to rerun
G
auss when
.
.
.
commit
|
commitdiff
|
tree
next