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 Verdoolaege
i
s
l_
d
im_join: d
o
n't require n
a
m
es of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
ad
d
isl_map_from_domain_
a
nd_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
i
sl_stream: treat "-" as operator r
a
ther
t
han as -1
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ver
d
oolaege
isl_map_read: accept "strict" inequalit
i
e
s
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_input
.
c: fix mem
o
ry deallocation prob
l
e
m on
m
i
ssing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
add dependence analysi
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
ool
a
eg
e
a
dd isl_map
_
{parti
a
l_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
ad
d
private isl_{s
e
t
,map}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
basis_reduction
_
tem
p
l
.
c: fix typ
o
in comm
e
nt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_ta
b
_pip
.
c: find
_
solu
t
ion
s
: bre
a
k when
context
b
ecomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoo
l
aege
isl_dim_equal: don't require names of
input and
o
utput
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
l
a
e
ge
isl_dim_
m
a
p: properly d
u
plicate nam
e
s
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
isl_dim
_
d
r
op:
pro
p
erly ad
j
u
st le
n
gth of na
m
es arr
a
y
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: a b
i
t more
o
n integ
e
rs
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n
Verdo
o
laege
doc: descri
b
e inpu
t
/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verd
o
olaege
doc: fix
typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
ae
g
e
add
i
sl_cat test application
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Ver
d
oolaege
add omega ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Ve
r
doo
l
aege
add i
s
l
output
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
isl_test: us
e
isl_se
t
_read_from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
a
dd isl_
s
et_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
add isl_map_re
a
d_fr
o
m
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
isl_map_read_
f
rom_
f
ile: allow unions
in
i
sl
f
o
r
mat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
r
d
ool
a
ege
isl_
b
asic_
m
ap
_
rea
d
: read de
f
initi
o
ns
of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaeg
e
privately export isl_basic_map_add_
d
iv_constra
i
n
t
s
commit
|
commitdiff
|
tree
2010-01-25
S
v
en V
e
rdoolaege
isl_basic_
m
ap
_
read: read affine constrain
t
as t
w
o
af
f
ine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdool
a
ege
isl_i
n
put
.
c
:
optionally read parameters
from input
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdo
o
l
aeg
e
tokeniz
e
r: accept "and" keywor
d
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
e
x
port isl_map_read_from_fi
l
e
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
export isl_
b
asic
_
m
a
p
_
read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Ver
d
oolaege
drop redunda
n
t input_format ar
g
ume
n
t from reading
functions
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
i
sl_input
.
c: m
e
r
g
e functions
f
o
r reading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl_input_ome
g
a
.
c:
accept PolyLib i
n
put
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl
_
input_omega
.
c: prepa
r
e
fo
r
reading pa
r
ametr
i
c unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oo
l
aege
isl_
i
nput_omega
.
c
:
finalize and s
i
mplify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
sl_input_omega
.
c: fix check
for memory allocati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdo
o
la
e
ge
isl_stream
_
ne
x
t_tok
e
n: skip comment lin
e
s
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
laege
i
s
l_tab_b
a
s
ic_map_
p
artial_lexo
p
t: prop
e
r
ly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
Verdoolaege
isl_basic_map_
s
e
t_to_empty: remove sam
p
le (if an
y
)
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n Verdoola
e
ge
add is
l
_set
_
fast_
i
s_empty
commit
|
commitdiff
|
tree
2010-01-13
S
v
e
n Verdoolaege
proper
l
y remove p
i
plib
s
ubmo
d
ule
commit
|
commitdiff
|
tree
2010-01-08
S
ven Verdoolae
g
e
isl
_
basic_map_update_fr
o
m_tab: re-ga
u
s
s
resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Ve
r
d
o
o
laege
ax_
s
u
b
module
.
m
4
: don't let --with
-
m
o
dul
e
conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
v
en Verdoolaege
add isl_set_foll
o
w
s
_
a
t
commit
|
commitdiff
|
tree
2009-12-24
Sven
Verdo
o
laeg
e
isl
_
basi
c
_set_co
m
pare_a
t
: compute result
in te
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
erdoolaege
is
l
_tab_pip
.
c:
add
cuts for all non-
i
nteger coor
d
inates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sv
e
n Verdoola
e
ge
is
l
_
b
asic_ma
p
_gist: don'
t
drop equal
i
ties f
r
o
m context
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verd
o
o
laege
isl_
c
onve
x
_h
u
ll
.
c
: ini
t
ial_facet_co
n
strain
t
: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoolaeg
e
is
l
_
convex_
h
u
l
l
.
c:
i
s_
i
ndep
e
nd
e
nt_bound: normaliz
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en
V
e
rdoo
l
aege
is
l
_conv
e
x_hu
l
l
.
c: extend: check hu
l
l argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_m
a
t_right_inverse
:
be mo
r
e verbose
o
n error cond
i
tion
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoolaege
isl_constraint_
d
u
p:
make sure line re
f
er
s
to
equat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sv
e
n Verdoola
e
ge
add copyri
g
ht statements
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoola
e
ge
remove
f
unctions for converting be
t
we
e
n isl and PolyLib
commit
|
commitdiff
|
tree
2009-12-16
Sven
Verdoolaege
i
s
l
_tab_solve_lp: invert o
p
timal value back w
h
en computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoolaege
isl_
m
a
p_inters
e
ct: add s
p
ecia
l
case for
a
dding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
rdoolae
g
e
isl_map_is_sub
s
et: b
r
eak off as
s
o
o
n
as d
i
fference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n
V
erdoolaege
compute set differe
n
ce usi
n
g a backtr
a
cking al
g
orith
m
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdo
o
l
aege
isl_map_subt
r
act
.
c: extrac
t
f
r
om
i
sl_m
a
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoo
l
aege
isl_tab
:
keep tr
a
c
k
of i
s
l_
b
a
sic_m
a
p
ins
t
ead of
isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Ve
r
doolaege
pr
i
vately expor
t
isl
_
b
a
sic_
m
ap_contains
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n Ver
d
o
o
laege
add isl_b
a
sic_m
a
p_add
_
ineq a
n
d
i
sl_basic_map_add_e
q
commit
|
commitdiff
|
tree
2009-12-07
S
ven Ver
d
o
o
laege
i
s
l_tab_detect_redundant: return status
i
n
stead
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolae
g
e
isl_
t
a
b
: add is
l
_tab_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verdoolaege
isl_tab_add_ine
q
an
d
is
l
_tab_m
a
rk_empty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Verdool
a
ege
a
d
d missing
A
UTHORS
file
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
erdoolaege
i
s
l_basic_set_swap_va
r
s: re-gauss
r
esulting bset
commit
|
commitdiff
|
tree
2009-11-16
S
ve
n
Verd
o
ola
e
ge
add isl_basic_map_fi
r
st_
c
onstra
i
nt
commit
|
commitdiff
|
tree
2009-11-15
S
v
e
n Ver
d
o
olaege
expo
r
t is
l
_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verdoolaege
add
i
s
l_
b
asic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdoolaege
isl_map_d
r
op_basic_m
a
p
:
c
on
s
istent
l
y
k
eep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
erdoolaege
isl_tab: row is only (obviously)
r
edu
n
dant i
f
it do
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdoolaege
isl_basic_map_simp
l
ify
:
m
a
ke
s
ure to rer
u
n Gauss wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdool
a
ege
isl_ta
b
_basic_map_partial_l
e
xopt: use context constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab
_
pip
.
c:
ignore d
e
ad colum
n
s when checking integrality
commit
|
commitdiff
|
tree
2009-10-21
S
ven Ve
r
doolaege
isl_
p
ip:
o
ptionally perform some check on
the results
commit
|
commitdiff
|
tree
2009-10-21
S
ven
V
er
d
ool
a
ege
p
u
t
options in a se
p
arate
i
sl_options
s
truct
u
re
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
ad
d
rudimentary argument pa
r
sing facility
commit
|
commitdiff
|
tree
2009-10-21
S
v
en V
e
rd
o
olaege
isl_tab_compute_reduce
d
_b
a
sis:
handle empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoola
e
g
e
isl_basic_set_solve_ilp
:
handle
obviou
s
ly empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
isl_basic_se
t
_solve_
i
lp: fix
handlin
g
of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
e
rdoolaege
add isl
_
set_re
m
ove
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoo
l
a
e
ge
add isl_
s
et_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoola
e
ge
add isl_basic_set
_
fix
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdo
o
laege
extract i
s
l_b
a
sic_set_scan from polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n
Ve
r
d
oolaege
isl_basic_map_simplify
:
avoid removal of div
defi
n
itions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdool
a
ege
isl
_
map
.
c:
d
ecl
a
re variable a
t
s
tart of code block
commit
|
commitdiff
|
tree
2009-10-21
S
ven V
e
rdool
a
ege
isl_
b
asic_s
e
t
_
projec
t
_out
:
h
a
n
dle
r
a
tional sets
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n V
e
r
doola
e
ge
add
i
sl_b
a
sic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
S
ven Ve
r
dool
a
ege
isl_ta
b
_
pip: ke
e
p
cache of pa
r
tial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoola
e
ge
isl_tab_pip:
d
on't free isl_sol on
e
r
ror condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
o
l
a
e
ge
isl_
t
ab
:
suppor
t
g
eneric undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add
isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verdoolaege
isl_tab_pip
.
c: re
m
ove some
c
ode duplication
b
etwe
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl
_
map_is_subset: add special case for sin
g
leton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdoolaege
isl_map_
c
omp
u
t
e_di
v
s: skip computat
i
on if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
ven V
e
rdoolaege
isl_
m
ap
_
is_su
b
set:
e
xploi
t
another e
a
sy special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add isl_ma
p
_
fast
_
is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
a
d
d isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Ve
r
doolaege
m
a
rk some functio
n
s a
s
requ
i
r
i
ng
use of
r
eturn
value
commit
|
commitdiff
|
tree
next