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_tab: add isl_tab_freeze_constraint
2009-12-07
Sven Verd
o
o
l
aege
isl_tab: add
isl_tab_fr
e
eze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_
t
ab_add_ineq
and isl_tab_mark_
e
mpty: re
t
ur
n
s
t
a
tus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
v
en Ver
d
oolaege
a
d
d mis
s
ing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
doolaege
isl_
b
asic
_
set_s
w
ap_
v
a
r
s: re-gauss resulting b
s
e
t
commit
|
commitdiff
|
tree
2009-11-16
Sven Ver
d
oolaege
add isl_b
a
sic
_
map_first_cons
t
rain
t
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolae
g
e
export is
l
_
basic_map_l
e
xmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
e
n Verdoo
l
aege
add isl_
b
asic_set_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sven
Verdoolaeg
e
isl_map_
d
rop_
b
asic_map: con
s
is
t
ently ke
e
p basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
is
l
_tab
:
row is only
(
obviously) red
u
nd
a
n
t
i
f it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdoolaeg
e
i
s
l_basic_map_simplify
:
make sure to r
e
run G
a
uss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdool
a
ege
isl_t
a
b_bas
i
c_map_partial_
l
exop
t
:
use context con
s
tra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ve
n
V
erdoolaege
isl_ta
b
_pip
.
c:
ig
n
o
re dead c
o
lumns
w
hen checking inte
g
rality
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
i
s
l_pip: optionally
p
erfor
m
s
o
me chec
k
o
n
the results
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Verd
o
olaeg
e
p
u
t options in a sepa
r
ate isl_options structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
add rudim
e
ntary argument par
s
ing fac
i
lity
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
i
sl_t
a
b_co
m
pute_reduce
d
_bas
i
s: handle emp
t
y t
a
bles
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic
_
set_solve_ilp: h
a
n
dle o
b
viou
s
ly empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
is
l
_basic_set
_
solve_il
p
: fix
hand
l
ing of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
V
erdoola
e
ge
add isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Verdoolaege
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
ol
a
ege
add isl
_
ba
s
ic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoola
e
ge
e
xt
r
act isl_basic
_
set_sca
n
from polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
i
sl_basic_map_simplif
y
:
avoid removal
o
f
div defini
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_map
.
c: dec
l
are
variab
l
e at start of
c
ode block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
isl_basic_set_project
_
out: ha
n
d
le ration
a
l
sets
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
erdoolae
g
e
add
i
sl_
b
as
i
c_set_remove
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
i
sl_tab
_
pip: keep
cache o
f
p
artial
solutio
n
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_
t
ab_pip: don't fr
e
e isl_sol on
e
rror condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdo
o
laege
isl_ta
b
: sup
p
ort generic undo
records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoo
l
aege
add i
s
l
_
mat_i
s
_
e
qua
l
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdool
a
ege
isl_tab_pi
p
.
c: remove some code duplica
t
ion bet
w
een
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoo
l
aege
isl_m
a
p_is_subse
t
: add special
ca
s
e for s
i
ngleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
e
rdo
o
l
a
e
g
e
isl
_
map_com
p
ut
e
_divs: skip computation if
divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_ma
p
_i
s
_su
b
set
:
e
x
ploit an
o
ther ea
s
y speci
a
l case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laege
add i
s
l_m
a
p
_fast_is
_
un
i
verse
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laege
add
i
s
l_
s
et_s
i
ze
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
ge
mark some func
t
ions as
requiring use of r
e
turn value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_t
a
b: improved erro
r
han
d
ling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
i
s
l_
t
ab_pip
.
c:
i
ncrementally buil
d
recession con
e
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl
_
tab_pip
.
c: propa
g
ate
s
o
me equ
a
li
t
ies from
g
br
context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoolaege
isl_t
a
b_pip
.
c: detect
equalities in
g
b
r context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oolaege
a
d
d isl_tab_d
e
tect_eq
u
a
l
itie
s
commit
|
commitdiff
|
tree
2009-10-10
Sven Ve
r
doolaege
add isl_tab_set_init
i
al
_
basis_wit
h
_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoo
l
ae
g
e
isl_tab_pip: u
s
e
general
i
zed basis
reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdool
a
e
ge
isl_tab_
p
ip
:
ad
d
gen
e
r
a
lized basis reduction base
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaeg
e
isl_tab_pip
.
c
: extract o
u
t context
handling
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rd
o
ola
e
ge
isl_tab
_
pip
.
c:
add_div:
us
e
more r
e
lia
b
le way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Ver
d
oo
l
aege
isl_tab_basi
c
_map_partial_le
x
opt
:
rem
o
v
e
samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
isl_tab
.
c: extract
o
u
t
s
a
mples han
d
ling f
r
o
m isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
isl_affine_hull
.
c: uset_affine_hull
_
b
oun
d
e
d
:
use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_map_detect_eq
u
a
lities: keep
trac
k
o
f
sample
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaeg
e
isl_
b
asic_map_detect_equalities: only
c
ompute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
isl_
t
a
b_sample
:
h
andle unbounded direct
i
ons i
n
in
i
tia
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
r
doolaege
i
s
l_tab_compute_reduced_basis: handle unboun
d
ed directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
expl
o
it equali
t
ies i
n
isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaeg
e
isl_tab:
k
e
ep (
i
n)equa
l
itie
s
o
f
b
set (i
f
any) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_sa
m
ple: b
e
more verbose about unbounded directio
n
s
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
separate
out isl
_
t
a
b_sample f
r
om sample_b
o
unded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
samp
l
e_bounded:
re
i
mplement to work dire
c
tly on a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
isl_
t
ab
_
compute_reduced_basis: w
o
rk w
i
th affine basi
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl_tab_compute_reduced_basis
:
allow
i
ncremental computation
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_polytop
e
_scan:
u
se isl_tab_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
sep
a
rate out is
l
_tab_
r
edu
c
ed_basis
f
rom isl_basi
c
_s
e
t_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
basis_reduction_tab
.
c: use isl
_
tab_product to construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
ad
d
isl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
rdo
o
l
a
ege
isl_basic_set_r
e
duced_basis: fix value
in d
i
re
c
tio
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
b
asi
c
_s
e
t_reduced_basis: fix
up documentation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaeg
e
basis_reduction
_
tab
.
c: k
e
ep tra
c
k of con_offset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoo
l
aege
add
i
sl_tab
_
add_eq
commit
|
commitdiff
|
tree
2009-10-08
S
v
en V
e
rdoola
e
g
e
i
s
l_tab_add_vali
d
_eq: ad
d
special treatment
for ma
n
ifest
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoola
e
ge
isl_tab_
e
x
t
end_cons: check t
a
b argum
e
nt
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erdoola
e
ge
rename
isl_
t
a
b_detect_equalities to isl_ta
b
_d
e
tect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_from_
r
eces
s
i
on
_
cone: take basic set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdool
a
ege
isl_ilp
.
c: separ
a
t
e out
s
olve_ilp_searc
h
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Ver
d
oolaege
isl_sample
.
c: basic_set_sample: remem
b
er bound
e
dn
e
ss
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdool
a
ege
add isl_polyhe
d
ron_detect_e
q
ua
l
ities test application
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdoolaege
a
d
d isl_ba
s
ic_set_detect_equal
i
ties
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoo
l
aege
isl_t
a
b
_
a
l
locate_con
:
ad
d
extra ass
e
rt
i
on
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
olaege
isl_sa
m
ple
.
c:
b
asic_
s
et_reduced: fix ty
p
o pr
e
v
enting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oo
l
aeg
e
isl_tab
_
basic_ma
p
_par
t
ial_lexopt: sim
p
lify result
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
o
olaege
privately export isl_basic_set_add
_
{
i
n
,}e
q
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verd
o
olaege
priv
a
te
l
y export
isl_b
a
s
ic_set_sample_wit
h
_cone
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verd
o
olaege
add isl_ba
s
ic
_
set_underlying_
s
et
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl
_
tab
.
c
:
close_
r
ow: push undo record for
set
t
in
g
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
do
o
l
a
e
g
e
add isl_
m
at_vec_
i
n
v
er
s
e
_pro
d
u
c
t
commit
|
commitdiff
|
tree
2009-10-07
S
ven
V
e
rdoolaege
add
isl_mat_concat
commit
|
commitdiff
|
tree
2009-10-07
S
ven
V
erdoolaege
add isl_int_
d
ivexact_
u
i
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolaeg
e
a
d
d
i
s
l_set_dim_re
s
idue_class
commit
|
commitdiff
|
tree
2009-10-03
Sven
Verdoolaege
f
ix long standing b
u
g in isl_mat_inverse_pr
o
duct
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoola
e
ge
add is
l
_basic_map_
f
oreach_l
e
x
min
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaeg
e
add isl_set_project_o
u
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
a
dd
i
sl_set_detect_equalit
i
es
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
ola
e
ge
add isl_set_fo
r
eac
h
_ba
s
i
c
_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
a
dd isl_set_lifting
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdool
a
eg
e
isl
_
dim
_
s
ize: check argum
e
nt
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
r
dool
a
e
g
e
export i
s
l_mat heade
r
commit
|
commitdiff
|
tree
2009-10-02
Sven Ve
r
doolaege
a
dd
isl_basic_map_l
e
xmin
commit
|
commitdiff
|
tree
2009-10-02
S
ven Ver
d
oolaeg
e
add isl_map_foreach_basic_map
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Verdoolaege
configure
.
ac: f
i
x
cut-and-past
e
error in o
r
iginal com
m
it
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_int_get_si
commit
|
commitdiff
|
tree
next