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_read: accept affine combinations of earlier variables in variable tuples
2010-01-01
Sve
n
Ver
d
oolae
g
e
a
x_submodule
.
m
4
:
d
on't
l
et
-
-wit
h
-modu
l
e conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoolaege
add
isl_s
e
t_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaeg
e
isl_basic_set_compare_at: com
p
ut
e
result in te
r
m
s of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
erdoolaeg
e
i
sl_tab_
p
ip
.
c
: add cuts for all n
o
n-integ
e
r coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
v
en Ver
d
oolaege
isl_basic_ma
p
_gist: don't dr
o
p
equalities from conte
x
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdool
a
ege
isl_convex
_
h
u
ll
.
c: initia
l
_facet_constraint: drop
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
e
rdoola
e
ge
is
l
_c
o
nve
x
_
h
u
ll
.
c: is_independ
e
nt_bound: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
oolaege
isl
_
convex_hu
l
l
.
c: extend: check
h
ull a
r
gument
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoola
e
ge
is
l
_m
a
t_right_inv
e
rs
e
:
be more verbose on
er
r
or co
n
dition
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolaege
isl_co
n
s
traint_dup: make
s
ure line refers to
equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
Verdoolaege
i
s
l
_map_intersect: add specia
l
case for
adding a si
n
gle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven Verdo
o
l
a
ege
compu
t
e
set diff
e
rence using
a
backtracking algo
r
it
h
m
commit
|
commitdiff
|
tree
2009-12-07
S
ven
V
erdo
o
laege
isl_map_subtr
a
c
t
.
c: extract from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verd
o
o
laege
isl_tab: ke
e
p
track
of isl_basi
c
_
map instead of i
s
l_basi
c
_se
t
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaeg
e
privately export isl_bas
i
c_map_
c
ontains
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verd
o
olaege
a
d
d isl_bas
i
c_map_ad
d
_ineq
a
nd i
s
l_basic_map_ad
d
_e
q
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoolaege
i
sl_tab_
d
etect_
r
edundant: return status
i
ns
t
ead o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab: add i
s
l_tab_freeze_c
o
n
s
tra
i
nt
commit
|
commitdiff
|
tree
2009-11-29
S
v
e
n
V
erdoo
l
aege
isl_tab_ad
d
_ineq and
isl_tab_mark_empty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdo
o
l
a
ege
add
m
issing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl
_
basic
_
set_swap_var
s
:
r
e-gauss resulting
bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verd
o
olaege
a
dd
i
sl_ba
s
ic_map_first_const
r
aint
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Ve
r
doolaege
exp
o
r
t
isl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
ven
V
erdoolaege
add
i
sl
_
ba
s
ic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoola
e
ge
isl_m
a
p_drop_basi
c
_
map: consistently kee
p
basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoo
l
aeg
e
isl_t
a
b: row is only (obvious
l
y
) redun
d
a
n
t if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoola
e
ge
isl_basic_map_
s
im
p
l
i
fy
:
m
ake su
r
e to
rerun
Gaus
s
whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Ver
d
o
olae
g
e
is
l
_
t
ab_ba
s
ic_m
a
p_
p
artia
l
_lexopt: use contex
t
constra
i
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_pi
p
.
c
:
i
gnore
d
e
a
d columns when checking
i
nt
e
grality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
isl_
p
ip: optionally per
f
o
r
m
som
e
c
heck
o
n the
res
u
lts
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
e
r
doolaege
put option
s
in a
s
eparate is
l
_options stru
c
ture
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdool
a
ege
add ru
d
imentary argument pa
r
s
i
ng facility
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
V
erdo
o
laege
isl_tab_compute_reduced_basis:
h
andle empty tab
l
es
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdo
o
laege
isl_b
a
sic_set_solve_
i
l
p: handle obviously empty sets
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoola
e
g
e
isl_
b
asic_set_
s
o
lve
_
il
p
:
f
ix han
d
ling of sets wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
add
i
s
l_s
e
t_re
m
ove
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verd
o
o
l
aeg
e
add isl_s
e
t_fix
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
a
d
d
isl_
b
a
sic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
e
g
e
e
xtract
isl_basic_set
_
scan from polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
r
d
oolaege
isl_basic_map_simplify: avoid removal of di
v
definition
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
isl_map
.
c: decla
r
e
variab
l
e
a
t
sta
r
t of code block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
is
l
_basic_set_p
r
o
ject_out: handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basic_se
t
_remove
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verd
o
olaege
isl_ta
b
_pip: keep cache of
p
artial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
oolaege
isl_ta
b
_pip: don't fr
e
e isl_sol
on error condition
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rdool
a
ege
isl_tab: support generic undo record
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add isl_m
a
t_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
is
l
_tab_pip
.
c: re
m
ove some code du
p
lication
b
et
w
een
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Ve
r
doolaege
isl_
m
ap_is_subs
e
t: add speci
a
l case f
o
r singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdo
o
laege
isl_map_
c
ompute_div
s
: skip c
o
mput
a
tion if divs
are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
e
r
doola
e
g
e
isl_map_is_subset: expl
o
it another easy special case
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoolaege
add isl_map_fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
lae
g
e
a
dd isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erd
o
o
laege
m
a
rk
some f
u
nctions as
requir
i
ng use of return
v
alue
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab: imp
r
ove
d
erro
r
handling
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaege
isl
_
t
ab_pip
.
c: incremen
t
a
lly b
u
ild rece
s
sio
n
cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoolaege
i
sl_ta
b
_pip
.
c: propagate
som
e
e
q
ual
i
ti
e
s from gbr
context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
is
l
_t
a
b_pip
.
c: de
t
ect equ
a
l
i
ties in gbr
c
ontext on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Ve
r
d
o
olaege
add is
l
_tab_detect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolae
g
e
add isl
_
tab_set_
i
nitial_basis_
w
it
h
_cone
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdoo
l
aege
i
s
l_
t
ab_pip: use generalized
b
asis reduction ba
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Verdoo
l
aege
is
l
_
t
a
b_pi
p
: add generalized bas
i
s r
e
duction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
t
ab_pip
.
c: e
x
tract
o
ut co
n
text han
d
li
n
g
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
i
s
l_tab_pip
.
c
: add_div: u
s
e
more reli
a
b
le
way to te
s
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl_ta
b
_basic_map
_
par
t
ial_lexopt: remove sample
s
th
a
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
g
e
is
l
_tab
.
c:
e
xtract out s
a
mples handli
n
g from isl
_
tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
erdoolaege
isl_affi
n
e_hull
.
c
: uset_affine_hull
_
b
ounde
d
: u
s
e tablea
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl_basic_m
a
p
_detect_equa
l
ities:
k
eep track of
s
ample
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ver
d
oolaege
isl_basic_map_dete
c
t_equalit
i
e
s: only compu
t
e
r
ecession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
ool
a
ege
isl_tab_sam
p
l
e
: handle un
b
ounded direct
i
o
ns
in ini
t
ial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Ve
r
doolaege
isl_tab_compute_red
u
ced_ba
s
is
:
handle
u
nbou
n
d
ed directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
Verdoolaege
e
xpl
o
it e
q
u
alities in isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab: ke
e
p (in)equalities of bset (if any) in sy
n
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
s
l_tab_sam
p
le: be more verbose
a
bout unbou
n
ded
d
irecti
o
n
s
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
doolaege
separate o
u
t is
l
_tab_sample from
s
ample_bounded
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ve
r
doolae
g
e
s
am
p
le_bounded:
reimplement to wo
r
k directly
o
n a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_comp
u
t
e
_r
e
duced_basis: work wit
h
affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verd
o
olaege
isl_tab_compute_red
u
c
e
d_bas
i
s: allow in
c
remental computation
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoo
l
ae
g
e
i
s
l_polytope_scan: use
isl_tab_from_
b
asi
c
_
s
et
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separ
a
te out isl_tab
_
reduced_basis from isl_basic_set_reduc
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
Verdoolaege
basis_reduction_tab
.
c:
u
se
i
s
l_tab
_
product t
o
construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoola
e
ge
add is
l
_
tab_p
r
oduct
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
is
l
_basic_set_reduced_
b
asis
:
fix va
l
u
e in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
o
l
a
eg
e
i
s
l_
b
asi
c
_se
t
_reduced_basis: fix up doc
u
mentation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
ba
s
is
_
reduct
i
on_t
a
b
.
c: keep
track of con_o
f
fset inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
add isl_tab_ad
d
_eq
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoolaege
isl_tab_add_
v
alid_eq: add spec
i
al treatm
e
n
t
f
or manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Ver
d
oolaege
isl_tab_extend_cons:
check tab argume
n
t
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n
V
e
r
doolaeg
e
rename i
s
l_tab_detect_equalities to isl_tab_detect_
i
mpl
i
c
i
t_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_
f
ro
m
_
rec
e
s
s
ion_cone:
t
ake basic set in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdool
a
ege
isl
_
ilp
.
c: sep
a
ra
t
e out solve_ilp_s
e
a
rch
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
la
e
ge
isl_sample
.
c
:
basic_set_sample: remember
b
o
u
ndedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolaege
add isl_polyhedron_detect_equalit
i
e
s
test application
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add is
l
_ba
s
ic_set_det
e
c
t_equ
a
lit
i
e
s
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_allocate_co
n
:
add extra asserti
o
n
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verd
o
olae
g
e
i
s
l
_sample
.
c: basic_set_reduced: fix typo
p
r
ev
e
nt
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
ola
e
ge
isl_tab_basic_map_partial_lexopt: simplify resu
l
t
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
privately export isl_basic_set_a
d
d_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
privatel
y
export isl
_
basic_s
e
t_samp
l
e_w
i
th_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
ad
d
isl_basic_set_underlying_set
commit
|
commitdiff
|
tree
next