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
privately export isl_basic_map_contains
2009-12-07
Sven Verd
o
olaege
pr
i
vately export isl
_
ba
s
i
c
_map_c
o
ntai
n
s
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
ege
add is
l
_basic_map_add_ineq
and isl_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erd
o
olae
g
e
isl
_
tab_d
e
t
ect_redundant: return status instea
d
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab: a
d
d
isl
_
tab_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl
_
tab_ad
d
_ineq and isl_tab_mark_empty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verd
o
o
l
aege
a
dd missing AUTHORS
file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdool
a
eg
e
is
l
_basic_
s
e
t
_swap_v
a
rs: re-gauss resu
l
ting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoola
e
ge
add isl_ba
s
ic
_
map_
f
irst_constr
a
int
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdo
o
laege
export isl_basic_map_
l
e
xm
a
x
commit
|
commitdiff
|
tree
2009-11-15
Sven V
e
rdoolaege
add
i
sl_basic_se
t
_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verdoolaege
isl_m
a
p_drop_basic
_
map: consiste
n
tly ke
e
p basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ver
d
oolaege
isl
_
ta
b
:
ro
w
is onl
y
(o
b
viously) redunda
n
t if i
t
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_basic_map_si
m
p
l
if
y
:
m
ake
s
ur
e
to rerun
Gaus
s
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdo
o
laege
isl_tab_ba
s
ic_map_partial
_
lexopt: use
c
ontext
constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ver
d
oolaege
isl
_
t
ab_pi
p
.
c: ignore dead
column
s
when checkin
g
int
e
grali
t
y
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolae
g
e
is
l
_pip
:
o
ptionally
perf
o
rm some check on the
r
esults
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
p
ut optio
n
s in a separate isl_opt
i
o
n
s
s
t
ruc
t
ure
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoo
l
aeg
e
add rudime
n
ta
r
y argument pars
i
ng facility
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
isl
_
ta
b
_compu
t
e_reduced_ba
s
is:
h
a
n
d
l
e empty
table
s
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verd
o
olaege
is
l
_basic_set_solve_
i
lp: handle
obviously
e
mpty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
g
e
isl_basic_se
t
_solve
_
ilp:
f
ix handl
i
n
g
of
s
e
ts with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
a
d
d
isl_
s
et_f
i
x
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolae
g
e
add isl_basic_set
_
fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
ola
e
ge
extra
c
t isl_
b
asic_set_scan from pol
y
to
p
e_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
Verdoolaege
isl_basic_ma
p
_simplif
y
: avoi
d
removal
of div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
isl_map
.
c:
d
eclare va
r
iabl
e
at
start
o
f code
b
lock
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdo
o
laege
isl_basi
c
_set_pr
o
j
e
ct
_
o
u
t: handle r
a
tional sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
add isl_basic_set_r
e
move
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
isl_tab_pip:
k
eep
c
ache of partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rd
o
olaege
is
l
_tab_pip:
d
on't free isl_sol on
e
rror condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl
_
tab
:
su
p
p
o
rt generic u
n
d
o records
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erd
o
olaege
add isl
_
mat_is_
e
q
ua
l
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolae
g
e
isl_
t
ab_
p
ip
.
c: remove so
m
e
c
od
e
duplication betwe
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoo
l
a
e
g
e
is
l
_
m
ap_
i
s_
s
ubset: a
d
d
spe
c
ial
case
f
o
r singleto
n
maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
i
s
l_map_com
p
ute_divs: skip com
p
utation if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaege
i
s
l_map_is_subs
e
t: exploit an
o
ther eas
y
special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
a
d
d
isl_
m
a
p_
f
a
s
t_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add i
s
l_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
lae
g
e
mark som
e
funct
i
on
s
a
s
requiring use of return value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
o
laege
i
s
l_tab: improved
error handlin
g
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoolae
g
e
isl_
t
ab_
p
ip
.
c: increme
n
tally bu
i
l
d recessi
o
n cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n
V
erdo
o
laege
isl_ta
b
_pip
.
c
: propa
g
ate
some
equalities from g
b
r conte
x
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoola
e
ge
isl_t
a
b_
p
ip
.
c: detec
t
equa
l
ities in
g
br c
o
ntext on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
ad
d
isl_tab_detect_e
q
ualitie
s
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdo
o
lae
g
e
add
i
sl_tab_set_initial_bas
i
s_with_c
o
ne
commit
|
commitdiff
|
tree
2009-10-10
S
ve
n
Verdoolaege
isl_tab_
p
ip: use g
e
neralized b
a
s
i
s reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ve
r
doolaege
isl_tab_pip: add generalized basis
reduction b
a
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl_ta
b
_pip
.
c
:
extract
out cont
e
xt h
a
ndl
i
ng
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ver
d
oolaege
i
sl_tab_p
i
p
.
c:
a
dd_
d
iv: use more reliable way to te
s
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
i
s
l_tab_basic_
m
a
p_pa
r
ti
a
l_lexopt: remove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolae
g
e
isl_tab
.
c:
e
xtract out samples handling fro
m
isl_tab_pi
p
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
isl_affine_hull
.
c: us
e
t_affine
_
hull_bounded
:
use tabl
e
aus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
a
eg
e
i
s
l_b
a
sic_map_detect
_
equalities: keep track of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_basic_map_detect_equalities: o
n
l
y
com
p
u
t
e recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_tab_sample: handle un
b
ounded directions in ini
t
i
al
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Ve
r
doola
e
ge
i
sl_t
a
b_compute
_
reduced_basis: handle
u
nbounded direction
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdo
o
laeg
e
expl
o
i
t equa
l
it
i
es in isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Ver
d
oolaege
isl
_
tab: keep (in)equ
a
li
t
i
e
s
of bset (if any) in sync
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_tab_sample: be
more
verbose abou
t
unbound
e
d
direction
s
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
separ
a
te out isl_tab_s
a
mp
l
e from sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
sample_bound
e
d
:
reimplement
to w
o
rk directly on a
tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
i
s
l_tab_comp
u
t
e
_reduced
_
basis
:
work
w
ith affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
r
d
oolaege
is
l
_t
a
b_com
p
ute_
r
educed_basis: allow in
c
rementa
l
computa
t
ion
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl
_
polytope_scan:
use
i
sl_tab
_
f
rom_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
se
p
arate
o
u
t
isl_tab_reduced_b
a
sis from i
s
l_basic_set_red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
basi
s
_
reduction_tab
.
c
:
use
i
sl_tab_p
r
o
d
u
ct to cons
t
ru
c
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
add isl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaeg
e
is
l
_basic_se
t
_
r
educed_ba
s
i
s: fix val
u
e
i
n directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_basic_set_red
u
c
ed_b
a
si
s
:
fix
up do
c
umen
t
ation
commit
|
commitdiff
|
tree
2009-10-08
S
v
e
n Verdoo
l
a
eg
e
basis_redu
c
tion_tab
.
c
:
keep track of con_offse
t
instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
laege
add isl_tab_
a
dd_eq
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n V
e
rdool
a
ege
isl_
t
a
b
_add_valid_eq
:
add s
p
e
cial
t
reatmen
t
for manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
o
lae
g
e
isl_tab_exten
d
_
cons
:
check
t
ab argument
commit
|
commitdiff
|
tree
2009-10-08
S
v
e
n
Verd
o
ol
a
ege
r
e
name i
s
l_tab_detect_equalities to is
l
_tab_detect
_
imp
l
ic
i
t_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoolaege
isl_tab_from_rec
e
ssion_cone: take basic set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
V
erdoolaege
isl_i
l
p
.
c: separate out
solve_ilp_se
a
rch
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdoola
e
ge
isl_s
a
mpl
e
.
c:
b
a
sic_set_sample: r
e
m
ember boundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add i
s
l_polyhedron_detect_equalities t
e
s
t
a
ppl
i
cation
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdoolaege
a
d
d isl_basic_set_dete
c
t_equaliti
e
s
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_allocate_con: a
d
d extra assertion
commit
|
commitdiff
|
tree
2009-10-07
S
ven
V
erdoolae
g
e
isl_s
a
mpl
e
.
c
:
basic_set_re
d
uced: f
i
x typo p
r
eve
n
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
olae
g
e
isl_tab_basic_ma
p
_partial_lexopt: simplif
y
resu
l
t
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdo
o
la
e
ge
privately export isl_
b
asi
c
_set_add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdoolae
g
e
p
r
i
v
ately ex
p
or
t
isl_b
a
sic_set_sample_with
_
cone
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_
b
asic_set_un
d
erlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
i
sl_
t
ab
.
c: close_row: push
u
n
d
o
record for setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Ve
r
doolaege
add isl_mat
_
vec
_
inverse_product
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Ve
r
d
oolaege
add is
l
_
m
at
_
concat
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoolaege
a
d
d isl_i
n
t_divexact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoola
e
ge
ad
d
isl_set
_
dim_re
s
idue_clas
s
commit
|
commitdiff
|
tree
2009-10-03
Sven Ve
r
doolaeg
e
fix long
stan
d
ing
b
ug in i
s
l
_
mat
_
inver
s
e_pr
o
d
u
ct
commit
|
commitdiff
|
tree
2009-10-02
S
ven Ve
r
doolaege
add
i
sl_basic_map_foreach_lexmin
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoolaege
add
i
sl_set_pr
o
ject_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add
i
sl_set_detect_equa
l
iti
e
s
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
V
erdoolaeg
e
add isl_set_fore
a
ch_basic_set
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Ver
d
oolaege
a
d
d is
l
_set_lifti
n
g
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
er
d
oolaege
isl_
d
im_size
:
check
a
rgumen
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
export
isl_mat h
e
a
d
er
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Verdo
o
laege
add isl_basic_
m
ap_lexmin
commit
|
commitdiff
|
tree
next