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_subtract.c: extract from isl_map.c
2009-12-07
Sven Ver
d
o
o
laege
isl_map_subtract
.
c: extract from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab: kee
p
track of
i
s
l_
b
asic_ma
p
instead of isl_basi
c
_set
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdool
a
ege
priva
t
el
y
export isl_ba
s
ic
_
map_cont
a
ins
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolae
g
e
a
dd
i
sl_basic
_
m
a
p_add_ineq and isl_bas
i
c_map_ad
d
_eq
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoolaege
i
sl_tab_dete
c
t
_
r
edundant:
r
e
t
ur
n
stat
u
s instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolae
g
e
i
s
l_t
a
b:
a
d
d isl_tab_freeze
_
constrain
t
commit
|
commitdiff
|
tree
2009-11-29
Sven V
e
rdo
o
laege
isl_
t
ab_add_ineq and isl_tab_mark_empty: return stat
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verd
o
olaege
add m
i
ssing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoola
e
g
e
isl_basic_set_swap_v
a
rs: re-gaus
s
resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven
Verdoolaege
add isl_basic_map_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolae
g
e
export isl_basic_m
a
p
_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdo
o
laege
add isl_basic_se
t
_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Ve
r
doo
l
aege
isl_map_drop_basic_map: consistently keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdool
a
ege
isl_tab: row is only (obv
i
ously) redundan
t
if it
d
oes
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_ba
s
ic_m
a
p_si
m
plify: make sure to re
r
un Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n
V
erdoolaege
isl_tab
_
basic
_
map_partial_lexopt: use context con
s
traint
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdoolaege
isl_tab_pip
.
c: ignore dea
d
c
o
lumns
w
hen checking integrali
t
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
isl_pip: optiona
l
ly perform some ch
e
c
k on the result
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
put o
p
ti
o
n
s
in a
separate
isl_options structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
add ru
d
imentary
a
rg
u
m
ent parsing f
a
cility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aeg
e
isl_tab_compute_re
d
uced_b
a
sis: handle
empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl_b
a
si
c
_set_solve_ilp: handle o
b
viously
e
mpty s
e
t
s
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Ver
d
oolae
g
e
isl_basi
c
_set_solve_il
p
: fix
h
andling o
f
sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ver
d
oolaege
add isl_set_rem
o
ve
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
o
olaeg
e
add
isl_s
e
t_fix
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ve
r
doolaege
add
isl
_
basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
S
ven
V
e
rdool
a
ege
ext
r
act isl_b
a
si
c
_set_scan from poly
t
ope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_map_simpli
f
y:
a
void remo
v
al of
d
i
v
definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoola
e
g
e
i
sl_map
.
c
: declare variable at s
t
art
o
f
co
d
e block
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
r
d
o
o
laege
isl_basic_set_proj
e
ct_out: handl
e
ra
t
ional sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
isl_
t
ab_pip: keep cache of par
t
ial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
Verdoolae
g
e
isl_tab_pip: don't free isl_sol on err
o
r co
n
dition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
i
s
l_ta
b
: support
g
e
neric undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolae
g
e
a
d
d i
s
l_mat_is_equa
l
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
i
sl_tab_pip
.
c: remove some code
d
uplication
b
etween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_map_
i
s_
s
ubset: add sp
e
cial
c
ase for s
i
ngleton m
a
ps
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoolaege
isl_m
a
p_c
o
mpute_divs:
skip
c
o
m
pu
t
a
tion i
f
d
ivs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
is
l
_map_is_subset: ex
p
loit ano
t
her easy special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
a
dd isl_map_fast_is_uni
v
erse
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Ve
r
doolaege
add is
l
_set_s
i
ze
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoolaeg
e
ma
r
k some
f
u
nct
i
ons as requir
i
ng use
of return
v
alue
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_t
a
b:
i
mprov
e
d e
r
ror handling
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n
Verdool
a
ege
isl_tab_p
i
p
.
c: in
c
re
m
entall
y
build recess
i
o
n cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdool
a
e
ge
is
l
_tab_pip
.
c
:
propagate some e
q
ualit
i
es from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoolaege
isl_
t
a
b_pip
.
c: det
e
ct equali
t
ie
s
in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add isl_
t
ab_detect_equalities
commit
|
commitdiff
|
tree
2009-10-10
S
ve
n
Verdoola
e
ge
add isl_tab_set_initial_basis_with_co
n
e
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Ve
r
do
o
l
aege
isl_tab_pip: us
e
g
ene
r
alize
d
basis red
u
ctio
n
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oolaege
isl_tab
_
pip: add genera
l
ized bas
i
s reductio
n
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
sl_tab_pip
.
c: e
x
t
ract
o
ut cont
e
xt handli
n
g
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
is
l
_tab_
p
ip
.
c
:
add_d
i
v: use more reliable way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_ta
b
_basic_map_partial_lexopt: re
m
ove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
i
s
l_tab
.
c: extract out samples handling from isl_tab_pi
p
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
is
l
_affine_hull
.
c: u
s
et_aff
i
ne_hull_
b
ounded:
u
se tablea
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
Verd
o
olaege
isl_bas
i
c_map_detect_equalities: ke
e
p
t
r
ack of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verd
o
olaege
isl_basic_ma
p
_detect
_
e
q
u
alities: on
l
y
compute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
t
ab_s
a
mple: han
d
le u
n
bounded
d
i
r
e
ctions in
i
nitial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaeg
e
isl_ta
b
_
compute_
r
educed_
b
asis
:
handle unbounded direction
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Ve
r
doolaege
ex
p
l
o
it
e
q
u
a
l
ities in
isl_tab_
s
ample
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolae
g
e
isl
_
t
a
b: keep (in)equalit
i
es
of bset (if any) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl_tab_s
a
mple: be more verbo
s
e about u
n
bounded
directions
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oo
l
aege
sepa
r
ate out isl_tab_s
a
mp
l
e from sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
V
erdo
o
laege
sample_bo
u
nded: reimplement to w
o
rk dire
c
tly on
a
tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
is
l
_
tab_c
o
mpu
t
e_reduc
e
d_
b
a
s
is: w
o
rk with a
f
f
ine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
isl_t
a
b
_
compute
_
reduc
e
d_basis:
allow incremental
c
omputation
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doo
l
aege
isl_po
l
ytope_sc
a
n: use is
l
_tab_fr
o
m_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
o
laege
s
e
parate
o
ut isl
_
tab_redu
c
ed_
b
asis from isl_ba
s
ic_s
e
t_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdo
o
laege
b
a
s
i
s_
r
educt
i
on_tab
.
c: u
s
e
isl_tab_product to c
o
nstru
c
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoo
l
a
e
ge
add i
s
l_tab_product
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoo
l
ae
g
e
isl_ba
s
ic_set_reduced_basis: fi
x
valu
e
in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolae
g
e
i
s
l
_basic_set_reduced_
b
asis: fi
x
up docum
e
ntation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoo
l
aege
ba
s
is
_
reduc
t
ion_tab
.
c: keep t
r
ack of con_o
f
fset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verd
o
olaege
add isl_tab_add_
e
q
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_
a
dd_valid_eq: add spe
c
ial treatment
for manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoo
l
aege
isl_tab_extend_
c
ons: check ta
b
ar
g
ument
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoo
l
aege
rename isl_tab_de
t
e
ct_equalitie
s
t
o
isl_t
a
b_detect_imp
l
ici
t
_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Ve
r
doolaege
isl_tab_f
r
o
m
_rec
e
ssion_cone: tak
e
b
asic
s
et
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdoola
e
ge
isl_ilp
.
c: sepa
r
ate
out solve_ilp_sea
r
ch
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
oolaege
isl_s
a
mple
.
c: basic_set_sample: remember bounded
n
ess
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolae
g
e
add isl
_
polyhedro
n
_
d
etect_equalit
i
es tes
t
application
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
doolaege
a
d
d isl_b
a
sic_s
e
t_d
e
tect_equali
t
ies
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_t
a
b_allocat
e
_con: add extra assertion
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdoolaeg
e
isl
_
sampl
e
.
c: basic
_
set_re
d
uced: fi
x
t
y
po preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
S
v
en
Verdoolaege
i
s
l
_tab_basi
c
_map
_
p
artia
l
_
l
exop
t
: simplify result
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
privately e
x
p
o
r
t
i
s
l_basic_set
_
a
dd_{i
n
,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
pr
i
vately expo
r
t isl_basic_set_
s
a
m
ple_
w
ith_c
o
ne
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdoolaege
add isl_b
a
sic_set_underlying_s
e
t
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoolaege
isl_tab
.
c: c
l
ose_row: push
u
ndo record for setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
add isl_mat_vec_inver
s
e_produc
t
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n
Verdo
o
lae
g
e
add
isl
_
mat_co
n
cat
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
a
d
d isl_int_divexac
t
_u
i
commit
|
commitdiff
|
tree
2009-10-05
S
v
en
V
e
rdoolaege
add isl_set_dim_r
e
sidue_cla
s
s
commit
|
commitdiff
|
tree
2009-10-03
Sven Ve
r
doolaege
fix
l
ong standin
g
b
u
g in isl_mat_inverse_product
commit
|
commitdiff
|
tree
2009-10-02
S
v
e
n Verdool
a
ege
add i
s
l_basi
c
_
m
ap_forea
c
h_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rdoo
l
ae
g
e
add isl_set_pro
j
ect_out
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdool
a
ege
add isl_
s
et_de
t
ect_equalities
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
er
d
oola
e
ge
add isl_se
t
_
fo
r
each_basic_
s
et
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolae
g
e
add isl_se
t
_lifti
n
g
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
isl_d
i
m_s
i
ze: c
h
eck a
r
g
ument
commit
|
commitdiff
|
tree
next