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_constraint_div: make sure requested div is a known div
2010-02-09
Sven Verdoolaege
isl
_
constr
a
int_div: ma
k
e
sure re
q
uested div is a known di
v
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laeg
e
doc: drop
documentation
o
f _dump fu
n
ctions
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
do
o
l
a
e
g
e
is
l
_map_
p
rint:
improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
add isl_basic_
m
a
p
_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
isl_
m
ap_c
o
alesce: handle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
ola
e
g
e
privately e
x
port isl_s
e
t_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
isl_convex
_
hull
.
c
: wrap_facet: allow
u
nboun
d
e
d
fa
c
ets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
doc:
impr
o
v
e
d
ecription of isl_map
_
transitiv
e
_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
isl_map_transitive_
c
losure: impro
v
e
t
e
s
t for exactness
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
add a c
o
unter example for Theore
m
1
of the COC
O
A pape
r
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaeg
e
add isl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
ol
a
ege
isl_map_power
:
coalesce do
m
ain and
r
ang
e
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolae
g
e
isl_flow
.
c
:
add
m
i
ssing
is
l
_
access_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verd
o
ol
a
ege
isl_co
a
lesce
.
c: fix t
y
po in commen
t
commit
|
commitdiff
|
tree
2010-02-07
S
ven Ver
d
oolaege
include/isl
_
int
.
h
: argument of mp_get_
m
emory_fun
c
tions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_r
e
ad: ac
c
ept lists
o
f
affin
e
expressi
o
ns in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdool
a
ege
add isl_mat_
f
rom_row_vec and isl_mat_vec_co
n
cat
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
r
do
o
laege
isl_m
a
p_read: read ext
e
nded polylib form
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add is
l
_s
t
ream_next_
t
ok
e
n_on_sam
e
_
li
n
e
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
V
erd
o
olaege
isl_map_read
:
make sure
p
olylib constraint
c
oeff
i
cients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaeg
e
isl_{map,set}_dim: handle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
isl_map_read: use mor
e
uniform way of
r
ea
d
ing
i
n pol
y
lib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
V
erdo
o
la
e
ge
isl
_
tra
n
sitive_closure
.
c: fix
t
y
p
o in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl_m
a
p_transitiv
e
_clo
s
ure: use
m
ore relaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
add isl_ma
p
_power and isl_map_
t
ran
s
itive_closu
r
e
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoola
e
ge
isl
_
map_subtract
.
c
: make some internal functions
s
tat
i
c
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n Verdo
o
laege
add generic isl
_
map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
a
d
d isl_{
m
ap,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
renam
e
isl_
{
map,set}_add to isl_{ma
p
,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolae
g
e
is
l
_set_
p
rojec
t
_out: always update dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
i
sl_dim_jo
i
n: don't
r
equi
r
e nam
e
s of j
o
i
n
ed variab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
add isl_map_from_domain_an
d
_
r
ange
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_
s
tream: tr
e
at "-" as operator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
isl_map
_
read: accept "str
i
ct"
i
nequaliti
e
s
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
isl_input
.
c
:
f
ix memory dealloca
t
ion problem on
m
is
s
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
Verd
o
ol
a
ege
ad
d
de
p
endence an
a
lysis
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
add
isl_map_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdool
a
ege
a
dd pr
i
vate isl
_
{set,map}
_
make_disj
o
int
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaeg
e
basis_red
u
ction_templ
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
isl_ta
b
_pip
.
c: find
_
solutions: b
r
eak
when con
t
ext
b
ecomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
V
e
r
d
oolaege
isl_dim
_
equal: don
'
t require
n
a
m
es
of
input and outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim
_
m
ap:
p
roperl
y
duplicate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
isl_dim_drop: proper
l
y
adjust length of n
a
mes ar
r
ay
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
d
o
c: a bit more o
n
i
n
teg
e
rs
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verd
o
olaege
doc: descri
b
e inp
u
t/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
do
c
: fix t
y
po
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaeg
e
a
dd isl_ca
t
test appl
i
ca
t
ion
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
do
o
laege
add omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
a
d
d isl
o
u
tp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ve
r
doolaege
isl_test: use isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_se
t
_read_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add
isl_map_read_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
erdoolaeg
e
is
l
_map_read_from_file: a
l
low
unio
n
s in is
l
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdo
o
laege
isl_basic_
m
a
p_read: read
d
e
finitions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
privat
e
ly
expo
r
t
isl_basic
_
m
a
p_a
d
d_
d
iv_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
isl_ba
s
ic_map_read: read affine constrain
t
as t
w
o
aff
i
ne
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_i
n
put
.
c:
optionally read
p
arameters f
r
om input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
to
k
en
i
z
e
r: accept "
a
nd" ke
y
wor
d
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl_map_read_from_f
i
le
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
ex
p
ort isl_
b
asic_map_re
a
d_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en V
e
rd
o
olaege
drop red
u
n
d
ant input_format
argument from reading functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input
.
c: merge fun
c
tions for reading Poly
L
ib an
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
isl_input_omega
.
c: accept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
laege
isl_input_omega
.
c:
p
r
epare f
o
r
readi
n
g par
a
metric un
i
ons
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
s
l_in
p
ut_omega
.
c: finalize and simplify
res
u
ltin
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_i
n
put_omega
.
c
:
f
ix check fo
r
m
emory allocat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ven
Verdoolaege
isl_s
t
ream_next
_
toke
n
: skip comment
l
ines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
isl_
t
ab_basic_ma
p
_
part
i
al_l
e
xopt: properly handle e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_basic_
m
ap_set_t
o
_emp
t
y: remove sample (i
f
any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add isl_set_fast_is_emp
t
y
commit
|
commitdiff
|
tree
2010-01-13
S
v
en Verdoolaege
properly
r
e
m
o
ve piplib
s
u
bm
o
dule
commit
|
commitdiff
|
tree
2010-01-08
Sven
V
erdoolaege
isl_basic_map_
u
p
date
_
f
r
o
m
_tab: re-gauss result
i
n
g
bmap
commit
|
commitdiff
|
tree
2010-01-01
S
ven Verdoola
e
ge
ax_submodule
.
m4: don't let --with-
m
odule c
o
nflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
v
en Verdo
o
l
aege
add isl_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaeg
e
is
l
_basic_set
_
compare_a
t
: com
p
ute result in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoo
l
aege
isl_ta
b
_
p
ip
.
c:
a
dd
c
u
t
s for all non-integer
c
oordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven
V
erdoo
l
a
e
ge
isl_ba
s
ic_map_gi
s
t:
d
on't drop equalitie
s
from co
n
text
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
oolaege
isl_convex_hul
l
.
c: initial_facet_constraint: d
r
o
p
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
ool
a
eg
e
isl_convex_h
u
ll
.
c:
is_independ
e
nt_
b
ound: no
r
malize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoola
e
ge
isl_convex_hull
.
c: extend: check hull
a
rgument
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verdoolaege
is
l
_mat_righ
t
_inverse: be mor
e
ve
r
b
ose on error condition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_constraint_dup
:
make sure l
i
ne refers to e
q
uat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoola
e
ge
add copyright s
t
a
tements
commit
|
commitdiff
|
tree
2009-12-16
Sven
V
e
r
doolaege
remove
functions
for convertin
g
between isl an
d
PolyLib
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
isl_tab_solve
_
lp: invert
o
ptimal value back when computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ver
d
o
o
laeg
e
i
s
l_map_inters
e
c
t: ad
d
special case f
o
r
adding a si
n
gle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdool
a
ege
is
l
_
map_is_subs
e
t:
b
rea
k
o
f
f
as soo
n
a
s
differ
e
nce
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
co
m
pute set d
i
f
f
e
r
ence using a back
t
rack
i
ng algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
i
sl_map_subtract
.
c: extract from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdool
a
ege
isl_tab: ke
e
p track of isl
_
basic_map
instead of is
l
_ba
s
ic_set
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Ve
r
doolaege
p
rivately e
x
p
o
rt isl_b
a
sic_m
a
p_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
add isl_basic_map_add
_
ineq
and isl
_
basi
c
_map_add_e
q
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab
_
detect_redunda
n
t:
r
eturn status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
S
ven V
e
rdoolaege
i
s
l_tab: a
d
d i
s
l_ta
b
_freeze_con
s
tra
i
nt
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
erdoolaege
isl
_
tab
_
add
_
ineq
a
n
d isl_tab_mark_empty:
ret
u
rn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven V
e
r
d
oolaege
a
d
d missin
g
AUTHOR
S
fil
e
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
is
l
_b
a
s
ic_se
t
_swap_v
a
rs: re-gauss
r
esult
i
ng b
s
et
commit
|
commitdiff
|
tree
2009-11-16
Sve
n
Verdoo
l
aege
add i
s
l
_
bas
i
c_
m
ap_
f
i
r
s
t_co
n
straint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoola
e
g
e
e
x
port isl_bas
i
c_ma
p
_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoola
e
ge
add is
l
_
basic_set_le
x
max
commit
|
commitdiff
|
tree
next