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-24
Sven Verdoolaege
i
sl_s
t
ream_next
_
token
:
skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven
Ver
d
oolaege
is
l
_tab_basic_
m
ap_par
t
ial_lexopt: p
r
operly handle e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
laeg
e
i
s
l_basic_
m
a
p_
s
et_
t
o_empty:
r
emove sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
l
aege
add isl_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaeg
e
properly remove piplib
s
u
bm
o
d
u
le
commit
|
commitdiff
|
tree
2010-01-08
Sve
n
Ver
d
o
o
laege
i
sl_basic_map_up
d
ate_from_tab: re
-
gauss
resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Ve
r
doola
e
ge
ax_s
u
bm
o
dule
.
m4: don't let --with-module conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Ver
d
oolaege
a
d
d
isl_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Ve
r
doolaege
i
sl_
b
asic_set_compa
r
e
_at: comput
e
result in
terms
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdo
o
laege
is
l
_tab
_
p
ip
.
c: add cuts f
o
r
a
ll no
n
-integer coord
i
nat
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven V
e
rdoolaeg
e
isl_basic_map_g
i
s
t
: do
n
'
t
dr
o
p equali
t
ie
s
from co
n
text
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoolaege
is
l
_convex_hull
.
c
: initial_facet_constraint: dr
o
p all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
o
o
lae
g
e
isl_con
v
ex_hul
l
.
c
:
is_independent
_
boun
d
: normaliz
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
ool
a
e
g
e
isl_con
v
e
x
_
h
ull
.
c: ex
t
end: c
h
eck hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_
m
a
t
_right_inverse: be mo
r
e verbose on e
r
ror condit
i
on
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_constraint_du
p
: make sure line
r
efer
s
to
e
q
u
ation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sv
e
n Verdoolaege
a
d
d
c
o
pyright statements
commit
|
commitdiff
|
tree
2009-12-16
S
v
e
n
V
erdoolaege
re
m
ove f
u
n
ctions for conver
t
in
g
between
i
sl
a
nd PolyLib
commit
|
commitdiff
|
tree
2009-12-16
Sv
e
n V
e
rdoolaege
isl_tab_solve_lp: invert optimal value back when computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ve
r
doolaeg
e
isl_
m
ap_
i
nte
r
sect: add
s
pe
c
ial case
for adding a sing
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
rdoolaege
isl_map_is_sub
s
et
:
b
r
eak off as soon as diff
e
re
n
ce
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n Ver
d
oo
l
aege
compute
set difference u
s
ing a
b
acktracking algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoolaege
isl_
m
ap_
s
u
btract
.
c: extract from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaege
isl_tab: keep tr
a
ck of isl
_
basi
c
_ma
p
i
n
ste
a
d of i
s
l_basic_set
commit
|
commitdiff
|
tree
2009-12-07
S
ven Ver
d
oolaege
pr
i
vately expo
r
t isl_b
a
sic
_
map_conta
i
ns
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
add isl
_
basic_ma
p
_add_ineq and
isl_basic_
m
ap_
a
dd_e
q
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
isl_t
a
b_det
e
ct_redundant: retu
r
n
s
t
a
tu
s
ins
t
ead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
S
ven Ver
d
oolaege
isl_tab: add
isl_tab_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdo
o
laeg
e
isl_
t
ab
_
add_
i
neq
a
nd isl_tab_m
a
rk_empty: return
s
tatus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven
Verdoo
l
aege
add missing
A
UTH
O
RS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_basic_set_s
w
ap_vars: re-gauss resul
t
ing bset
commit
|
commitdiff
|
tree
2009-11-16
Sv
e
n
V
erdoolaege
add isl_
b
asic_map_f
i
rst_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven
Verdoolaege
export is
l
_basic_map
_
lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
add isl_basic_set_
l
ex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdo
o
l
aege
is
l
_map_drop_basic
_
map: co
n
sistently kee
p
ba
s
ic
map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
is
l
_t
a
b:
row i
s
o
n
l
y (obviously)
r
edundant if it
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ve
r
dool
a
eg
e
is
l
_
b
as
i
c_map_si
m
pli
f
y:
ma
k
e sure
to rerun Gau
s
s w
h
en
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
erdoolaege
isl_tab_basic_map_partia
l
_lexopt: use contex
t
c
onstr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdoolaeg
e
isl_ta
b
_pip
.
c
: ignore dea
d
colum
n
s when checki
n
g integrality
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
is
l
_p
i
p: optionally per
f
orm
s
ome check on the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
put options in a
s
e
parate is
l
_options
structure
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
erdoolaege
add rudimentary
a
rgument par
s
ing facil
i
ty
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoola
e
ge
isl_tab
_
compute_reduced_
b
asis: hand
l
e empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Ve
r
doolaege
isl_basic_set_solve_ilp: ha
n
dle obvi
o
usly empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
isl_basic
_
s
e
t
_solve_il
p
:
f
ix handling of se
t
s with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
add isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add
i
s
l
_
set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
add isl_basic_s
e
t_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
extrac
t
isl
_
b
a
sic_set_sca
n
from polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
isl_basi
c
_map_sim
p
lify:
a
vo
i
d removal of
div defi
n
itions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
is
l
_map
.
c: declare variable a
t
s
tart
o
f code bl
o
ck
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verd
o
olaeg
e
isl_basic_set_proje
c
t_out: handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
dd isl
_
bas
i
c_set_
r
em
o
ve
commit
|
commitdiff
|
tree
2009-10-21
Sven
Ve
r
doolaege
is
l
_tab_pip: keep cache of part
i
al solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Ve
r
doo
l
aege
i
s
l_tab_pip
:
don't free isl_sol on error condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab:
support generic u
n
do records
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdool
a
eg
e
a
dd i
s
l
_
mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
S
v
en
V
e
r
doolaeg
e
isl_
t
ab_pip
.
c: re
m
ove som
e
cod
e
d
u
plication
b
etween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Ve
r
doolaege
i
sl_map_is_subse
t
: add special
c
a
s
e for singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoola
e
ge
isl_m
a
p_
c
ompute_divs: skip comput
a
tion if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
olaeg
e
isl_map_is_subset:
exploit a
n
other
e
as
y
special
cas
e
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolaege
add isl_map_fa
s
t_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add isl_s
e
t_siz
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
mark some func
t
ions as r
e
q
u
iring use of retu
r
n
value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
isl_ta
b
: improv
e
d err
o
r
handling
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Ve
r
doolaege
i
sl_tab_pip
.
c:
incrementally build recession cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erd
o
olaege
isl_tab_pip
.
c: propagate some equalitie
s
from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoolaege
isl_tab
_
pip
.
c:
d
e
t
ect equalities in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdool
a
e
g
e
add
i
sl_tab_de
t
ect_equali
t
ies
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add i
s
l_tab_set_initial_basis_with_cone
commit
|
commitdiff
|
tree
2009-10-10
S
ven Verdoolaege
is
l
_tab_
p
ip: use gene
r
alized basis reduct
i
o
n base
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolae
g
e
i
s
l_ta
b
_p
i
p: add
gener
a
l
ized
b
a
si
s
reducti
o
n based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_tab_pip
.
c
:
extract o
u
t
context
h
and
l
ing
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
isl_tab_pip
.
c: add_div: use more reliable wa
y
to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdoolae
g
e
isl_t
a
b_basic_m
a
p_partia
l
_le
x
op
t
: rem
o
ve samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab
.
c:
extract out sample
s
handling f
r
om
isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoola
e
ge
isl
_
af
f
ine_hu
l
l
.
c: uset_affine_hu
l
l_boun
d
ed: use tab
l
eaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdool
a
ege
isl_ba
s
ic_map_de
t
e
ct_equa
l
ities
:
k
eep track of sample
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolae
g
e
isl_basic_map_detect_eq
u
alities: only co
m
pute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_tab_sample:
h
and
l
e unbounded di
r
e
c
tio
n
s
i
n ini
t
ial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
do
o
laege
isl_
t
ab_compute_reduced_basis: hand
l
e
unbounded direct
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
exploit equalities in
isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
r
d
oolaege
isl
_
tab: kee
p
(in)equalities
of bset (i
f
any) in s
y
nc
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_s
a
mple: be
more ver
b
o
s
e
about
u
nbounded directions
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdool
a
ege
separa
t
e ou
t
isl_tab_sample fr
o
m sam
p
le_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
s
a
mple_
b
ounded:
reimple
m
ent
to work direc
t
l
y
on a tableau
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
V
erdoolaeg
e
isl_t
a
b_co
m
pu
t
e_reduced_basis: w
o
rk with affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdo
o
laege
isl_tab
_
compute_
r
e
d
u
c
ed_basis: allow incremen
t
al computation
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
isl_polyto
p
e_sc
a
n: use is
l
_
t
ab_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verd
o
olaege
separate
out isl_t
a
b_reduced_basis from isl_basi
c
_set_r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
ba
s
is_red
u
ction_tab
.
c:
u
se isl_t
a
b_product t
o
co
n
struct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oola
e
g
e
ad
d
isl_t
a
b_product
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
Verdoolae
g
e
isl_basic_set_reduced_basis: fix valu
e
in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoo
l
aeg
e
i
s
l_basic
_
set_
r
edu
c
ed_basis: fix up docume
n
tation
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n V
e
rdoolaege
bas
i
s_re
d
uction_tab
.
c
: k
e
ep track of
con_o
f
f
s
et instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
e
n
V
e
r
doolaege
add isl_tab_
a
dd_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdo
o
laege
isl_tab_add_val
i
d_
e
q: add special treatm
e
nt for manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doola
e
ge
isl_tab_extend_cons: ch
e
ck
t
a
b argument
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n
V
erd
o
olaege
renam
e
isl_
t
ab_detect_equalities t
o
i
sl_tab_det
e
ct
_
implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
o
ola
e
g
e
is
l
_ta
b
_from_re
c
ession_con
e
:
t
a
ke basic set instead
.
.
.
commit
|
commitdiff
|
tree
next