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
Verdo
o
laege
isl_tab: add isl_tab_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Ver
d
oolaege
isl_tab_ad
d
_ine
q
and isl_tab_mark_e
m
pty: return sta
t
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Verdool
a
e
ge
add
m
i
ssing
AUTHORS f
i
le
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
is
l
_basic_se
t
_swap_vars: re-gau
s
s resulting
b
set
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoo
l
aege
add
isl_ba
s
ic_map_fir
s
t_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdoo
l
aege
export isl_basic_map_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verdoo
l
a
ege
add isl_basic_set_
l
exmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
isl_m
a
p_drop_bas
i
c_m
a
p: consist
e
ntly keep ba
s
ic m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
i
s
l
_
t
a
b: row
i
s only (obviousl
y
) re
d
und
a
nt if it
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
e
n Verdoolaege
i
sl_basic_map_simplify:
m
ake sure to rerun
Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoo
l
a
e
ge
isl_tab_basic_map_partial_lexopt: use
conte
x
t c
o
nstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoolaege
isl_tab_
p
i
p
.
c: ignor
e
dead col
u
mns when checki
n
g int
e
gra
l
it
y
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
r
doolaege
isl_pip: opti
o
nal
l
y perform some check on the resul
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaeg
e
put options
in a separate isl_options st
r
ucture
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Ve
r
d
o
olaege
add ru
d
imentary argument
p
arsing fa
c
i
l
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoo
l
aege
isl_ta
b
_c
o
mp
u
te_reduce
d
_ba
s
is
:
handle
e
mpty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
isl_basic_set_solve_i
l
p:
han
d
le obviously
e
m
p
t
y sets
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolae
g
e
isl
_
basic_set_solve
_
ilp: fix h
a
n
d
ling of sets w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
add isl_
s
e
t
_remove
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoo
l
aege
add is
l
_set_f
i
x
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
er
d
oolaege
add isl
_
basic_
s
et_f
i
x
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
extract isl_ba
s
ic_set_scan
from poly
t
ope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
is
l
_basi
c
_
map_simplify: avoid removal of d
i
v
d
e
f
i
niti
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
erdoolaege
i
sl_map
.
c: declare vari
a
ble at start of
co
d
e block
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoo
l
aege
isl_basi
c
_s
e
t_project_out: han
d
le rat
i
o
n
a
l sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add
isl_basic_s
e
t_remov
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl_tab_pi
p
:
k
e
ep
c
ache
of
partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoola
e
ge
i
s
l_tab_pip
:
don't free i
s
l_sol o
n
error conditi
o
n
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
r
d
oolaege
isl_
t
ab: support generic undo record
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdo
o
laeg
e
add isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
is
l
_tab_pip
.
c
:
r
e
m
ove so
m
e
c
o
de duplication between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
i
s
l
_
map_
i
s
_
subset: a
d
d special case for singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_map_compute_div
s
: s
k
ip compu
t
a
t
ion if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
dool
a
eg
e
isl_map_is
_
s
ubset: exploi
t
another
e
asy specia
l
case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add is
l
_map_
f
ast_is_
u
niverse
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
mark some functions as requiring use of
r
et
u
rn value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab: improved err
o
r
handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoo
l
aeg
e
isl_tab_pip
.
c
:
increm
e
ntally build r
e
ces
s
ion cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
olaege
isl_tab_pip
.
c: propa
g
ate some equalities from gbr cont
e
xt
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolae
g
e
isl_
t
a
b
_p
i
p
.
c: dete
c
t
e
qualit
i
es in g
b
r context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdo
o
laege
add
isl_tab_detect_equa
l
ities
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdoolaeg
e
add isl_ta
b
_set_initial_basis_
w
ith_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
i
sl_tab_
p
ip:
u
s
e
gener
a
lized basis redu
c
t
ion base
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdool
a
eg
e
isl_tab_p
i
p: ad
d
generalized
b
as
i
s r
e
duction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
d
o
o
l
aege
isl_ta
b
_pip
.
c: extract ou
t
context
h
a
ndlin
g
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_pi
p
.
c:
a
dd_d
i
v: use more reliable w
a
y
to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
isl_tab_basic_map_partial_lexo
p
t: remove samples tha
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdool
a
ege
isl_
t
ab
.
c: extract out samples
h
andlin
g
fr
o
m isl_tab
_
pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdo
o
laege
is
l
_
a
ffine_hul
l
.
c: uset_
a
f
fine_hull_bounded: use
t
a
b
l
e
aus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl_basi
c
_map_detec
t
_equ
a
liti
e
s
: keep
track of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_map_det
e
c
t
_equa
l
it
i
es: only
c
om
p
ute recessio
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
ol
a
ege
isl_tab_sample: handle un
b
o
unded directions
i
n init
i
al
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
isl_ta
b
_compute_
r
educed_basis
:
handle u
n
b
o
unded directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
exploit equalit
i
es in isl_tab
_
sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab: keep (in)equalities of bse
t
(if
a
n
y
) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
is
l
_
t
ab_sampl
e
: b
e
more verbos
e
about unbou
n
d
ed dir
e
ct
i
ons
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolae
g
e
separate out isl_tab_sample from sampl
e
_
b
ounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
sample_
b
ou
n
de
d
: reimplement
to work directly on a tab
l
eau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
la
e
ge
isl_tab_comput
e
_redu
c
ed_b
a
sis: work wit
h
affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
isl_tab_co
m
pute_red
u
ced_basis: all
o
w inc
r
e
ment
a
l c
o
mp
u
t
a
tion
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Ve
r
doolae
g
e
isl
_
polytope_s
c
an: use isl_tab_from_basic
_
set
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rd
o
o
l
aege
s
e
p
arate o
u
t
i
s
l_tab_reduced_basis fr
o
m
isl_basic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
b
asis_red
u
ction_tab
.
c
:
use isl
_
tab_product to construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rd
o
olae
g
e
add isl_tab
_
product
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_s
e
t_
r
educe
d
_ba
s
is: fix value in direc
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_basic_set_reduced_basis: fix up docum
e
ntation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
basis_reduct
i
on_tab
.
c: keep t
r
ack of
con_offs
e
t instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
oolae
g
e
add
isl_tab_add_
e
q
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolaeg
e
isl_t
a
b_a
d
d_val
i
d_eq:
a
dd special
t
reatment for
m
a
nifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Ve
r
dool
a
ege
isl_tab_extend_cons: ch
e
ck tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoola
e
ge
rename i
s
l_tab_dete
c
t_equ
a
lities to isl_tab_detect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
oolae
g
e
isl_tab
_
from_recession_cone: take basi
c
se
t
instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoo
l
ae
g
e
isl_ilp
.
c: separate out solve_ilp
_
searc
h
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdoolaege
isl
_
sampl
e
.
c: basic_set_sample:
remember
b
oundedne
s
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl_polyhedron_det
e
c
t
_
e
qu
a
litie
s
test appl
i
ca
t
i
on
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_
b
asic_set_detect_
e
q
u
a
lit
i
e
s
commit
|
commitdiff
|
tree
2009-10-07
S
v
e
n
Verdoo
l
aege
i
sl_t
a
b_allocate_
c
on:
add extra assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_s
a
mple
.
c: basic_set
_
reduc
e
d: fix
t
y
p
o
preventi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoola
e
ge
isl_
t
a
b
_basic_map_part
i
al_lexopt:
simplify result
commit
|
commitdiff
|
tree
2009-10-07
S
ven Ve
r
doolaege
p
rivate
l
y export
isl_b
a
sic_set_add_{i
n
,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaeg
e
priva
t
ely e
x
p
ort isl_
b
a
sic_set_sample_
w
ith_c
o
ne
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolae
g
e
add isl_basic_set_underlying_s
e
t
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erd
o
olaege
is
l
_t
a
b
.
c: close
_
row: push und
o
record
for
s
e
t
t
ing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaeg
e
add isl_mat_vec
_
i
nv
e
rse
_
p
r
o
duct
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdo
o
laege
add isl_mat_concat
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
d
oola
e
ge
add isl
_
i
n
t_divex
a
ct_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdool
a
eg
e
add isl
_
set_dim_resi
d
ue
_
class
commit
|
commitdiff
|
tree
2009-10-03
Sven Verd
o
olaege
fix
long standing bug in
isl
_
mat_
i
nverse_product
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolaege
add isl_basic_
m
ap_foreac
h
_le
x
min
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoo
l
aege
add isl_set_proj
e
c
t
_out
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
Verdoolaege
add
isl
_
s
e
t_
d
e
t
ect_equalities
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Verdoola
e
ge
a
dd
i
sl_set
_
foreach_basic_se
t
commit
|
commitdiff
|
tree
2009-10-02
S
v
e
n
Verdoolaege
add
i
sl_set_
l
ifting
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
isl
_
dim_size:
c
heck argument
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
a
ege
export isl_mat header
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verdoolaege
add isl_
b
asic_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
e
rdoolaege
add isl_ma
p
_for
e
ach
_
bas
i
c
_
map
commit
|
commitdiff
|
tree
2009-10-02
S
ven
Verdoolaege
configure
.
ac:
f
i
x
cut-and
-
p
aste error in original com
m
it
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoola
e
ge
add
i
sl_
i
nt_get_si
commit
|
commitdiff
|
tree
next