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_map_coalesce: handle more cases
2010-02-08
Sven Verdoolaege
isl
_
map_coalesce: handle more c
a
ses
commit
|
commitdiff
|
tree
2010-02-08
S
ven Ve
r
doolaege
privately export isl_se
t
_wrap_
f
acet
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
d
ool
a
ege
isl_con
v
ex_
h
ull
.
c: wrap_f
a
cet: allo
w
unbo
u
n
ded
facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc: improve
decriptio
n
of
is
l
_m
a
p_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_transitive_closure: improv
e
t
e
s
t for exac
t
ness
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
o
o
l
a
e
ge
add a counter example for Theorem
1
o
f the COC
O
A paper
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erd
o
olaege
a
dd isl_map_lower_boun
d
_
s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_m
a
p_power
:
coalesce
d
omain and rang
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaeg
e
i
sl
_
f
l
ow
.
c: add mi
s
si
n
g isl_access
_
info_free
ret
u
rn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
i
sl_coa
l
esce
.
c: fix
t
yp
o
in
commen
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_rea
d
: ac
c
e
pt
l
is
t
s
of
affi
n
e
express
i
ons i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verd
o
ol
a
eg
e
add
isl_mat_from_ro
w
_vec and isl_mat_v
e
c_co
n
cat
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaeg
e
isl_map_read: read extended polylib format
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Ve
r
doolaege
add i
s
l_str
e
am_ne
x
t_toke
n
_on_sa
m
e_li
n
e
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
s
l
_map_read:
m
a
k
e sure polylib constraint coef
f
icients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
r
doolaege
isl_{map,set}_di
m
:
h
a
ndle
N
ULL
input
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoo
l
aege
i
s
l_map_
r
ead: use
m
ore unif
o
r
m
way
o
f rea
d
ing in
polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl
_
transitiv
e
_clos
u
re
.
c:
f
i
x
typo in
c
ommen
t
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
isl_map_trans
i
ti
v
e_closure:
u
se more relaxed exact
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
a
d
d isl_map_power and isl_ma
p
_tra
n
sitive
_
cl
o
sure
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
isl_map_subtr
a
c
t
.
c: make som
e
i
n
t
e
rn
a
l functions st
a
tic
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
rd
o
olaege
add generic isl_map_p
r
oject_ou
t
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolae
g
e
add isl_{map,set}_
a
dd
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
rename
i
sl_{
m
ap,set}
_
a
d
d to is
l
_{map
,
s
et}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdo
o
laege
isl_set_proje
c
t_ou
t
: always update dimensi
o
n, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven
V
erdoolaege
isl_dim_join: don't require
n
ames of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
add is
l
_map_from
_
dom
a
in_a
n
d_r
a
nge
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
is
l
_s
t
r
e
a
m
: treat "-" as operator r
a
ther than as -1
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdo
o
laege
isl_
m
ap_read: accept "stric
t
" ine
q
ualitie
s
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
isl_input
.
c: fix memory
d
eallocation pr
o
b
lem
o
n
m
is
s
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oolaeg
e
add d
e
pen
d
ence analysis
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
a
dd isl_ma
p
_{parti
a
l_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
a
dd private isl_{set,m
a
p
}
_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
e
ge
basi
s
_red
u
cti
o
n
_
templ
.
c: f
i
x typo
in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
e
r
doola
e
ge
isl_tab_pip
.
c: find
_
sol
u
tions: break
when context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
i
s
l_dim_eq
u
a
l: don't requir
e
na
m
es of in
p
ut and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl
_
dim_map: pro
p
erly duplica
t
e
nam
e
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olae
g
e
isl_dim_drop:
p
roperly adjus
t
lengt
h
of
names array
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
doolae
g
e
doc: a bit
m
ore on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoo
l
ae
g
e
doc: describe
input/out
p
u
t
for
m
ats
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
e
rdoolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl
_
c
at test application
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaeg
e
add o
m
e
ga o
u
tput
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
add
i
sl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l_
t
est:
u
se isl_set_read_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
add isl_set_read
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
add isl_m
a
p_read_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_map_
r
ea
d
_from_file:
allow union
s
i
n
isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verd
o
olaege
isl_basic_map_
r
ead:
r
ea
d
d
e
finit
i
ons of exi
s
tential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
priva
t
el
y
export
i
sl_
b
asic_map_a
d
d_div_con
s
traints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_bas
i
c_
m
a
p_read: read
affine cons
t
raint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en V
e
rdo
o
la
e
ge
isl_in
p
ut
.
c: op
t
io
n
ally read
parameters from inpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
tok
e
nizer: a
c
cept "and" ke
y
word
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ex
p
ort isl_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
exp
o
r
t isl_basic_map_read_fr
o
m
_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop redundant input_format argument
from read
i
ng
f
u
n
c
tions
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oo
l
aege
is
l
_
input
.
c
: m
e
rge functions f
o
r reading Po
l
yLi
b
and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
isl_input
_
omeg
a
.
c: accept
PolyLi
b
input
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
doolaege
isl_input_omega
.
c: prepare for read
i
ng
p
a
r
am
e
tric
u
nions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
isl_input_omega
.
c: fi
n
alize and s
i
mplify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoola
e
ge
isl
_
i
nput_om
e
ga
.
c: fix chec
k
f
o
r
memor
y
allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_stream_
n
ext
_
token: skip com
m
en
t
lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
doolaege
isl_tab
_
basic_map_partial_le
x
op
t
: p
r
operly
h
andle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_basic
_
map_
s
et_to_empty: re
m
ov
e
sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolaege
a
dd isl_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
S
v
en Verdool
a
ege
p
r
op
e
rly remove piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
S
ven Verdoolaege
isl_basic_map_
u
pdate_from_tab: re-gauss resulting
bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
rdoo
l
aege
ax_submod
u
le
.
m
4
:
don't let --with-module conf
l
ict
with
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
ven Verdoolaege
isl_basic
_
s
et_compare_at: c
o
m
p
ute
result in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
v
en Ver
d
oo
l
aege
isl_tab_
p
i
p
.
c
:
add cuts for all n
o
n-integer
c
o
or
d
inat
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolae
g
e
isl_ba
s
ic_map_gist
:
don't drop
e
qualities
f
rom context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verd
o
o
lae
g
e
isl_convex_h
u
ll
.
c: init
i
al_facet_constr
a
in
t
:
d
rop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verdool
a
eg
e
is
l
_convex_hull
.
c:
i
s_indepe
n
d
ent_boun
d
: normali
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verd
o
olaege
isl_
c
on
v
ex_hull
.
c:
e
x
tend: check hull
a
rgu
m
ent
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
s
l_mat_right_inverse: be more verbose o
n
e
r
ror co
n
diti
o
n
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verdool
a
ege
isl_co
n
str
a
int_dup: make sure line refers to
equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
Verdoolaege
isl_map_in
t
e
r
s
ect: add spe
c
ial cas
e
for
adding
a
si
n
gle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdool
a
ege
is
l
_map_is_
s
u
bset: b
r
ea
k
off
as soon
as di
f
ference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
co
m
p
ute s
e
t difference using a ba
c
ktrack
i
ng algori
t
hm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoo
l
aege
isl_map_subtract
.
c: extract from isl_
m
ap
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab: keep trac
k
of is
l
_basic_map i
n
s
t
ead of isl_basic_se
t
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
p
r
i
vately e
x
p
ort isl_basic
_
map
_
cont
a
i
n
s
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
e
rdoolaege
add isl_ba
s
ic_map_add_ineq and i
s
l_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolae
g
e
isl
_
tab_d
e
tect_redundant: re
t
urn status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoolaege
isl
_
tab: a
d
d
i
s
l_tab
_
fr
e
eze_con
s
t
r
aint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_tab_add_ineq and isl_
t
ab_mark_empty: return stat
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n
V
erdo
o
laege
a
d
d missing
A
UTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Verdoolaege
i
s
l
_b
a
s
i
c_set_
s
wap_vars: re
-
gauss re
s
u
l
ting b
s
e
t
commit
|
commitdiff
|
tree
2009-11-16
Sven Verd
o
olaege
add isl_basic_
m
a
p_fir
s
t_cons
t
raint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdool
a
ege
export i
s
l_bas
i
c_
m
ap_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
Verdool
a
ege
add isl_basic_s
e
t_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verd
o
ola
e
ge
isl_map_drop_basic_map: con
s
i
ste
n
tly keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ver
d
oolaeg
e
isl_ta
b
: row is only (obviously) redundant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_basic_
m
ap_simplify:
m
ake
sure
to
rerun Gaus
s
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoolae
g
e
isl_tab_basic_ma
p
_partial
_
lexo
p
t: use context
c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Ve
r
d
ool
a
ege
isl_tab_pip
.
c: ignore dead
col
u
mn
s
when checking in
t
egrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
i
s
l_pip: option
a
l
l
y
p
erform s
o
me check
o
n the results
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Verdoolaege
put
o
ptions in a
s
eparate i
s
l_options
s
tructure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
a
dd rudime
n
t
a
ry a
r
gume
n
t p
a
rsing faci
l
it
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab_comput
e
_reduced_ba
s
is
:
h
a
ndle
e
mpty t
a
bles
commit
|
commitdiff
|
tree
next