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_dim_join: don't require names of joined variables to match
2010-02-03
Sven
V
erdoolaeg
e
isl
_
d
i
m_join
:
don't require
n
ames of j
o
ined varia
b
les
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
add isl
_
map_
f
ro
m
_domain_
a
nd_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
o
ol
a
eg
e
is
l
_stream:
t
reat
"
-"
as operato
r
r
a
ther than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
a
ege
i
sl_map_read: accept "strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doola
e
ge
isl_input
.
c: fix memory
deall
o
cation p
r
o
b
l
em
o
n
missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add dep
e
n
dence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
a
d
d isl_map_{parti
a
l_,}lex
o
pt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add private isl_{set,ma
p
}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
basis_
r
educt
i
on_t
e
mpl
.
c
: fix typo in
comment
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
isl_tab_pip
.
c: find_so
l
ution
s
: break when conte
x
t become
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
o
o
lae
g
e
isl_dim_equal: don't
r
equire na
m
es of
i
nput an
d
outpu
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Ve
r
doolaege
isl_dim_map: proper
l
y
duplicate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
ol
a
ege
isl_dim_drop: p
r
operly adjust len
g
th of n
a
mes a
r
r
ay
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
V
e
rdoo
l
aege
doc: a bi
t
more
on inte
g
er
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolae
g
e
doc: descri
b
e input/o
u
tput forma
t
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolae
g
e
doc: f
i
x
typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
a
dd isl_cat
t
est a
p
pl
i
catio
n
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega
o
utput
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdoolaege
a
d
d isl
o
utput
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_test: use isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_
s
e
t_read_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
add is
l
_
map_r
e
ad_f
r
om_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
is
l
_m
a
p_r
e
ad_
f
rom_file: allow u
n
ions in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l_basic_map_read
:
read d
e
fini
t
ions of exis
t
e
n
tial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
ool
a
ege
privately
expo
r
t
i
s
l_basic_map_add_di
v
_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
isl_basic_map_re
a
d: read affin
e
constr
a
int as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdool
a
ege
i
sl_input
.
c: opti
o
nally read paramet
e
r
s from inpu
t
commit
|
commitdiff
|
tree
2010-01-25
S
ven V
e
rdoolaege
t
oke
n
izer: accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
er
d
o
o
laege
export isl_map_r
e
ad_from_f
i
le
commit
|
commitdiff
|
tree
2010-01-25
S
ve
n
Verdoolaeg
e
export isl_basic_m
a
p
_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
drop red
u
nd
a
nt input_format argument from
r
ea
d
ing
f
unct
i
o
ns
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
r
d
oolaeg
e
i
sl_i
n
p
u
t
.
c
: me
r
ge fu
n
ctions for reading PolyLib an
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven V
e
rdoolaeg
e
isl
_
input_o
m
ega
.
c
: acc
e
pt PolyLib inpu
t
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoolae
g
e
isl_inp
u
t_omega
.
c: prepare for
re
a
ding param
e
tric uni
o
ns
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
s
l_i
n
put_om
e
ga
.
c: final
i
ze
and simplify res
u
lting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoo
l
aege
isl_
i
nput_om
e
ga
.
c
:
fix check fo
r
m
e
mor
y
allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
isl
_
st
r
e
a
m_next_toke
n
:
skip
c
o
mme
n
t lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
s
l_tab_basic_m
a
p
_
partial_l
e
xop
t
:
proper
l
y handle e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oola
e
g
e
isl_b
a
s
i
c_map_set_to_empty
:
re
m
ove
s
ample (i
f
any
)
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
add isl
_
s
e
t_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaeg
e
prope
r
ly remo
v
e pipli
b
submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Ver
d
oolaege
isl_basic_m
a
p_update_from_ta
b
: re
-
ga
u
ss resulting bm
a
p
commit
|
commitdiff
|
tree
2010-01-01
Sven Verd
o
olaege
ax_submo
d
ule
.
m4: don't
l
et --with-module con
f
l
i
c
t
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoolaege
add isl_
s
et_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n Verdoolae
g
e
isl_b
a
s
i
c_set_compare_at: compute re
s
ult in t
e
rm
s
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n Verd
o
o
laege
isl_tab
_
pip
.
c
:
add
cu
t
s
fo
r
all non-integer coordin
a
tes
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
ven
V
e
r
doolaege
i
sl_basic_ma
p
_g
i
st:
don't drop
eq
u
a
l
ities from context
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoolaege
i
sl_convex_hull
.
c: ini
t
ial_face
t
_c
o
ns
t
raint: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
oola
e
ge
isl_convex_hull
.
c: is_inde
p
endent_b
o
u
n
d
: normali
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verdoolaege
isl_conv
e
x_hull
.
c:
e
x
tend: check hull ar
g
umen
t
commit
|
commitdiff
|
tree
2009-12-18
Sven
Ve
r
do
o
laege
isl_mat_right_
i
nverse:
b
e more verbose o
n
error
condition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verd
o
ola
e
ge
isl_co
n
straint_
d
up: make sure line r
e
fer
s
to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_map_intersect: add
specia
l
case for adding a
si
n
gle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
en Verdoola
e
ge
com
p
ute set differenc
e
using a backtracking algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
l
a
e
g
e
is
l
_map_subtract
.
c:
e
xtract fro
m
is
l
_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolae
g
e
isl_tab:
keep t
r
ack of
i
sl_basic_map
i
nstead of isl_
b
asic_set
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoolaege
privately e
x
port isl_basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
laege
add is
l
_
b
a
sic_m
a
p
_add_ineq and isl_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoo
l
a
e
ge
isl_ta
b
_detec
t
_redund
a
nt: r
e
turn status ins
t
ea
d
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdoolaege
isl_tab: add is
l
_tab_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Ver
d
o
o
l
a
ege
i
s
l
_
ta
b
_add_ineq
a
nd isl_tab_mark_empty:
r
eturn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
a
d
d
missin
g
AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
doolae
g
e
i
sl_basic_
s
et_swap_vars
:
re-gauss resultin
g
bset
commit
|
commitdiff
|
tree
2009-11-16
Sven V
e
rdoolaege
add isl_basic_m
a
p_first_co
n
straint
commit
|
commitdiff
|
tree
2009-11-15
S
ve
n
Ve
r
doolaege
export isl_ba
s
ic_ma
p
_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
a
d
d
isl_basic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verd
o
olaege
isl_map_
d
rop_
b
asic_map: con
s
istently keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
erdoolaege
isl_tab:
r
o
w
is only (obviously)
r
edundant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdoolaege
isl_basic_map_
s
implify: ma
k
e sure to re
r
u
n
Gauss
w
hen
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdool
a
eg
e
isl_tab_basic_ma
p
_p
a
r
tial_lexo
p
t
: u
s
e co
n
text
constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verd
o
olae
g
e
isl_tab_pip
.
c
:
ignore
d
ead colu
m
ns when chec
k
ing integrali
t
y
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdo
o
lae
g
e
is
l
_
p
ip: opt
i
onal
l
y
p
e
r
f
orm som
e
c
h
eck
o
n t
h
e re
s
ul
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
d
oolaege
p
ut o
p
tion
s
in a separate isl_optio
n
s structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
dd rudim
e
ntar
y
argu
m
ent parsing facil
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoola
e
ge
is
l
_t
a
b
_
c
ompute_r
e
d
u
ce
d
_basis: han
d
le empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_
b
a
sic_set_solve_ilp: handle ob
v
i
o
usly empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verd
o
ol
a
ege
isl_basic_set_solve_ilp
:
fi
x
handling o
f
sets w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
add isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
d
d isl
_
set_
f
ix
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdool
a
ege
add isl_basic
_
set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
ext
r
act isl
_
basic_se
t
_scan from po
l
ytope_sc
a
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoo
l
ae
g
e
isl_basic_map_simplify: avoid removal of div
d
efin
i
tions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ver
d
oolaeg
e
isl_map
.
c: declare variable
a
t
s
ta
r
t
o
f code blo
c
k
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
erdo
o
laege
isl_ba
s
ic_set_project_out: handl
e
ra
t
ional sets
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdool
a
ege
add isl_basic_set_remo
v
e
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
e
rdo
o
laege
isl_t
a
b_p
i
p: keep cache of partial
so
l
ution
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaeg
e
isl_
t
ab_pip: d
o
n't free isl
_
sol
on er
r
or co
n
dition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
i
sl_t
a
b: supp
o
rt
g
e
neric u
n
d
o records
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdoo
l
aeg
e
add isl_m
a
t
_
i
s
_
e
qual
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verdoolaege
isl_tab_pip
.
c:
remove some code d
u
pli
c
a
t
ion
b
e
tween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
o
olaege
isl_map_is_s
u
bset
:
add specia
l
case for si
n
gleto
n
m
a
ps
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdo
o
laege
isl_m
a
p_comput
e
_divs: skip computat
i
o
n if
d
i
vs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n Verdoolaege
isl_map_is_subs
e
t: exploit
another easy special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
l
aege
add isl_map_fast_is_u
n
iverse
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdool
a
ege
add is
l
_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
ge
m
ark s
o
me
f
u
n
ctions as req
u
iring use of
r
eturn value
commit
|
commitdiff
|
tree
2009-10-12
Sven
Ver
d
oolaege
isl
_
ta
b
: imp
r
oved e
r
ro
r
handl
i
ng
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
ege
isl_tab_
p
ip
.
c: incrementally build recession cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdo
o
laege
is
l
_t
a
b_pip
.
c: propagate some equalities from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoo
l
aege
i
s
l
_
t
a
b
_pip
.
c: detect
equalities in gbr context
o
n
.
.
.
commit
|
commitdiff
|
tree
next