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
V
erdoolaege
privately ex
p
ort isl_basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoolaege
add isl_
b
asic_map
_
add_ine
q
and isl_basic
_
map_a
d
d_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaeg
e
isl_t
a
b_de
t
ect_red
u
ndant:
return
s
tatus
instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
i
sl_tab: add i
s
l
_ta
b
_free
z
e_constrain
t
commit
|
commitdiff
|
tree
2009-11-29
Sven
Verdoolae
g
e
isl_tab_a
d
d_ineq
a
nd isl_tab_mark_empty: ret
u
rn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verdool
a
e
g
e
add missi
n
g AUTHO
R
S
f
ile
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_basic_
s
e
t_
s
w
a
p_va
r
s
:
r
e-gauss
r
esulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolaege
add isl
_
basic_map_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Ver
d
o
olaege
export isl_basic_ma
p
_
lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verdool
a
ege
a
d
d isl_basic_s
e
t_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verd
o
o
laege
i
sl_ma
p
_drop_
b
asic_map: consistently k
e
ep bas
i
c ma
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven V
e
r
doola
e
g
e
isl_tab: row is o
n
ly (obviously) redund
a
nt if it d
o
es
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
is
l
_b
a
s
i
c_ma
p
_
simpli
f
y
: mak
e
s
ure to rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoolaege
isl_
t
ab
_
basic_map_p
a
r
t
ial
_
lexopt:
u
se cont
e
x
t
co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ve
r
doolaege
i
sl_ta
b
_pip
.
c: i
g
n
o
re dead c
o
l
umns when ch
e
ck
i
ng integ
r
alit
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
isl_pip
:
opt
i
o
nally
p
er
f
orm some
ch
e
ck o
n
the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
g
e
p
u
t options in
a
separate i
s
l
_options structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
ola
e
ge
add r
u
dime
n
t
ary
a
rgume
n
t parsing
facili
t
y
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdo
o
laege
isl_tab_compute_red
u
ced_basis: handle empty
tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
i
sl_
b
a
s
ic_set_so
l
ve_i
l
p: han
d
l
e o
b
viously empt
y
sets
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaeg
e
isl_basic_
s
et_solve_ilp:
f
ix handling o
f
sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
add
i
sl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdool
a
ege
add
is
l
_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
ad
d
isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
ex
t
ract
isl_basic_set_scan from
p
o
lytope_s
c
an
.
c
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
isl_
b
asic_map_s
i
mplify: av
o
id re
m
oval of div definition
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
i
sl_map
.
c
: de
c
lare variable at start of c
o
de block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_set
_
project_out: handle
r
ation
a
l
s
ets
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
add isl_basic_set_
r
emove
commit
|
commitdiff
|
tree
2009-10-21
Sven
Ver
d
oolaege
isl_ta
b
_pip: keep cache
o
f partial
s
olutions
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rdool
a
ege
isl
_
tab_pi
p
: don't free isl_sol on error condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab: support generic undo rec
o
rd
s
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdoolaege
a
d
d isl_mat_
i
s_eq
u
al
commit
|
commitdiff
|
tree
2009-10-16
S
v
en
Verdoolaege
i
s
l_tab_pip
.
c
:
remove
s
om
e
code dup
l
ica
t
io
n
betwe
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_map_is_s
u
bset
:
add
s
pec
i
al
case for singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoolaege
isl_map_com
p
u
t
e_div
s
: skip computat
i
on if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n
V
e
rdoolaege
isl_map_
i
s_
s
ubset
:
e
xploit a
n
other
easy spec
i
al case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add isl_map_fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven
Ve
r
doolaege
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdoolaege
mark
some f
u
nctions
a
s requir
i
ng
u
s
e
of return val
u
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_
t
ab:
i
mpro
v
ed error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
e
g
e
isl_tab
_
p
i
p
.
c: incrementally
b
uild rece
s
sion con
e
of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
olaege
isl_t
a
b_pip
.
c: propagate some equa
l
ities from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
o
o
l
aeg
e
isl_tab_
p
ip
.
c
:
det
e
ct equalities
in gbr cont
e
xt on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdo
o
laege
add isl_t
a
b
_de
t
ect_equali
t
ies
commit
|
commitdiff
|
tree
2009-10-10
Sven Verd
o
o
lae
g
e
add isl_tab_set_initi
a
l
_
b
asis_with_con
e
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoolae
g
e
isl_tab_pip: use
g
enera
l
ize
d
basis reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoolaege
isl_
t
ab_pip: add generalized basis reduct
i
o
n
ba
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl_
t
ab_pip
.
c: extract ou
t
context ha
n
dli
n
g
commit
|
commitdiff
|
tree
2009-10-09
S
v
en V
e
r
do
o
laege
i
sl_tab_pi
p
.
c:
add_di
v
: use mo
r
e reliable
way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Ver
d
oolaege
isl_tab_basi
c
_map_partial_lex
o
pt:
r
emov
e
sam
p
les that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verd
o
olaege
isl_tab
.
c
: extr
a
ct out samples hand
l
ing from isl_
t
ab_p
i
p
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
a
f
fine_hull
.
c: uset
_
af
f
ine_hull
_
bounded: us
e
tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n Verd
o
olae
g
e
isl_
b
asic_m
a
p_detect_equ
a
lities: keep track of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
i
sl_basic_map_dete
c
t
_equalit
i
es: only com
p
ute
r
e
cession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
doolaege
is
l
_tab_sample
:
handle unbounded d
i
r
ec
t
ions
in init
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_tab
_
comp
u
te_
r
educed_basis: h
a
ndle
u
nbounded dire
c
t
i
on
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olae
g
e
exploit eq
u
alities
i
n is
l
_tab_s
a
mple
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_tab: ke
e
p (in)equaliti
e
s of b
s
et (if any) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl_tab_sample: be more ve
r
b
o
se about
unbo
u
n
d
e
d dir
e
ctions
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
eg
e
separate
o
ut isl_tab_sam
p
le from sample_bound
e
d
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
sample_bounded: reimplement to work direc
t
ly on a
table
a
u
commit
|
commitdiff
|
tree
2009-10-09
Sven
Ve
r
do
o
laege
isl_t
a
b_compute_
r
educed_ba
s
is: wo
r
k wit
h
affine
b
asis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
s
l_t
a
b_compute_reduc
e
d
_
basis
:
allow i
n
cremental comp
u
tation
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
i
sl_polytope_scan: use isl_tab_from_
b
asi
c
_
s
e
t
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separa
t
e out
isl_
t
ab_reduc
e
d_basis fr
o
m isl_basic_set
_
reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
b
asis_re
d
uction_tab
.
c: use isl_t
a
b_product to cons
t
ruc
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
erdoo
l
aege
add isl_t
a
b_pr
o
duct
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_b
a
sic_set_reduc
e
d
_
bas
i
s: f
i
x value
i
n
dir
e
c
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
a
e
ge
isl_basic_set_
r
educed_basis
:
f
i
x up
documen
t
ation
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdo
o
laege
ba
s
i
s
_r
e
duction_
t
ab
.
c: k
e
ep t
r
ack of
c
on_
o
ffset in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
e
r
d
o
o
laege
add isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdoolae
g
e
i
sl_tab_add_v
a
l
i
d_eq: add spe
c
ial treatment for mani
f
estly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
e
n
Verdoolaege
isl_ta
b
_
e
xten
d
_co
n
s:
check
t
ab
a
rgument
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolae
g
e
rena
m
e isl_tab_detect_equaliti
e
s to isl_tab_de
t
ect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olae
g
e
isl_tab_from_r
e
cession_cone: take bas
i
c set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
is
l
_
i
lp
.
c: s
e
parate out solve_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
is
l
_sample
.
c
:
basic_set_sample:
remembe
r
boundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
dool
a
ege
add isl_pol
y
h
edro
n
_d
e
tect_equalit
i
es test
a
pplica
t
io
n
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
d
o
olaege
add isl_basic_set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_a
l
locate_
c
on
:
add extra
a
ssertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoola
e
ge
isl_sam
p
l
e
.
c
:
basic_set_reduced: fi
x
t
ypo p
r
eventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
lae
g
e
isl_tab_basic_map_partial_le
x
op
t
: simplif
y
resu
l
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoo
l
aege
pri
v
at
e
l
y
export isl_basic_set_add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Ve
r
do
o
laege
pr
i
vate
l
y export isl_basic_set
_
sample_with_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
dool
a
ege
ad
d
isl_ba
s
ic_set_u
n
derlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoolaege
isl_t
a
b
.
c
:
clo
s
e_row: pus
h
u
ndo
record for
s
ettin
g
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
ad
d
isl_mat_vec_
i
nverse_produ
c
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_mat_concat
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdoolaege
ad
d
isl
_
i
n
t_divexact_ui
commit
|
commitdiff
|
tree
2009-10-05
S
v
e
n
Ve
r
doolaege
add isl_set_dim_residue_
c
las
s
commit
|
commitdiff
|
tree
2009-10-03
Sven Verd
o
olae
g
e
fix long
s
t
a
nding bug in
isl
_
m
a
t_inver
s
e_p
r
odu
c
t
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoola
e
ge
add isl_basic_map_foreach_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
Verdoolae
g
e
add isl_se
t
_project_
o
ut
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
a
dd isl_se
t
_det
e
ct
_
e
quali
t
ie
s
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
Verdoolaege
add isl_set_foreach_basi
c
_
set
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaege
ad
d
isl_set_lifting
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaeg
e
i
s
l_di
m
_size: check argument
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolaeg
e
expor
t
isl_ma
t
header
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoolaege
add
i
sl_basic_map_lex
m
in
commit
|
commitdiff
|
tree
next