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_input_omega.c: finalize and simplify resulting basic map
2010-01-24
Sven Verdoolaege
isl_input_omega
.
c
: finalize and
s
implify re
s
ulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en
V
erdoolaege
is
l
_input_o
m
ega
.
c: f
i
x
c
heck fo
r
memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
aege
is
l
_str
e
am_next_token:
skip
c
omment li
n
es
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_tab_basic_
m
ap_partial_l
e
xopt: p
r
operly
h
andle em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_basic_map_set_t
o
_empty:
r
e
m
ove sample (if a
n
y)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
l
aege
add
i
sl_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
p
roperly remo
v
e
piplib
s
ubmodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoolae
g
e
isl_ba
s
i
c_map_update_
f
rom_
t
a
b
:
re-gauss
resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
r
doolaege
ax_s
u
b
m
od
u
le
.
m4: don't
let -
-
with
-
module
c
onflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven
Ver
d
oo
l
aeg
e
add isl_set_fol
l
ows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Ve
r
doo
l
aege
i
s
l
_basic_set_compare_at: c
o
mpute result in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Ver
d
oolaege
isl
_
tab_pip
.
c:
ad
d
cuts
for all non-integer coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
ven Ver
d
oolaege
i
s
l_ba
s
ic
_
ma
p
_g
i
st
:
don't drop equalitie
s
fro
m
context
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
d
o
olaege
isl
_
c
onve
x
_hul
l
.
c: i
n
iti
a
l_facet_c
o
n
s
t
r
a
i
n
t:
d
ro
p
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolaege
is
l
_conve
x
_hull
.
c: is_in
d
ependent_bo
u
nd: normal
i
ze
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoo
l
aege
is
l
_
c
o
n
vex_hull
.
c:
ex
t
end: check h
u
ll argument
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verdoolaege
i
sl
_
mat_right
_
inver
s
e: be more verbose on error conditio
n
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
r
d
oola
e
ge
isl
_
con
s
tra
i
nt_dup: make
sure line refers to equatio
n
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven
V
e
rdoolaege
isl_
m
a
p
_
i
nter
s
e
c
t
: add
s
p
e
cial cas
e
for adding
a sing
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ver
d
oola
e
g
e
co
m
p
ute set difference us
i
ng a
b
acktracking algorit
h
m
commit
|
commitdiff
|
tree
2009-12-07
S
ven Ver
d
oolaeg
e
isl_map_subt
r
act
.
c: e
x
tract from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
olaege
isl_tab: keep t
r
a
ck of
i
sl_basic_map
i
ns
t
ea
d
of isl_bas
i
c_
s
e
t
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
ege
privately export
i
sl_basic_map
_
contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
oolaege
add isl_basic_
m
ap_add_in
e
q a
n
d
isl_basic_map_ad
d
_
eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdoolaege
isl_tab
_
detect_r
e
d
u
ndant: re
t
urn status i
n
s
tead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaeg
e
isl_tab: add isl_tab_f
r
eeze_constra
i
n
t
commit
|
commitdiff
|
tree
2009-11-29
S
v
en V
e
rdoola
e
ge
isl_tab_a
d
d_ineq and isl_ta
b
_m
a
rk
_
empty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Verdoolae
g
e
add missing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolae
g
e
i
s
l
_
b
a
sic_set_
s
wap_vars:
re-gauss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolaege
add isl_basic_ma
p
_first_c
o
nstraint
commit
|
commitdiff
|
tree
2009-11-15
Sven V
e
rdoola
e
ge
export isl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
add isl_basic_set_le
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdoolaege
isl
_
map_drop_basic
_
m
ap: con
s
i
s
tently kee
p
b
a
sic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
rdoolaeg
e
isl_tab: row
i
s o
n
ly (o
b
v
i
ously) redundant
if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
erdoolaege
isl_ba
s
ic_ma
p
_sim
p
lify: mak
e
sur
e
t
o
r
e
run Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoolaege
isl_
t
ab_basic_map
_
pa
r
tial_le
x
opt:
use conte
x
t constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Ve
r
doolaege
i
s
l_tab
_
pip
.
c
:
ignore d
e
a
d
columns
when c
h
e
c
king integr
a
lity
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Ve
r
doolaege
isl_pip:
optional
l
y perform some check
o
n the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
put opti
o
ns in a sepa
r
at
e
isl
_
opti
o
ns structu
r
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
d
d rudiment
a
ry argument p
a
rsin
g
f
acil
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
isl_tab_
c
ompute_re
d
uc
e
d
_
basis: handle emp
t
y tables
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
r
doolae
g
e
isl_b
a
si
c
_
s
e
t_solve_
i
lp: handle o
b
vious
l
y empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdool
a
eg
e
isl_ba
s
ic_set_solve_
i
lp: fix h
a
nd
l
ing of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
add isl_
s
et_remo
v
e
commit
|
commitdiff
|
tree
2009-10-21
S
ven
V
e
rdoolae
g
e
add is
l
_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basic
_
s
e
t_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
extract isl
_
basic_set_scan from
polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
isl_ba
s
ic_map_simplify: avoid
r
e
moval of div d
e
finitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
isl_map
.
c: declare variable at sta
r
t of code block
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
isl_basic
_
set_
p
roject_o
u
t: handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
a
d
d isl_ba
s
i
c
_
set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n V
e
rdoolaege
is
l
_tab_pip: keep c
a
che of parti
a
l solut
i
ons
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdoolaege
isl_t
a
b_pip: don't free isl_sol on error c
o
ndition
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verdoolaege
is
l
_
t
ab:
s
upport generic u
n
do
r
ecords
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdoolae
g
e
a
d
d isl_mat
_
is_equ
a
l
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
is
l
_tab_pip
.
c: r
e
move some cod
e
duplication between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdoolaege
isl_map_is_subset: ad
d
spec
i
al case for singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verd
o
olaege
isl_map_compute
_
divs: sk
i
p comput
a
tion
i
f divs
a
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoolaege
isl
_
map_is_subset: e
x
ploit another eas
y
special
c
a
se
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdool
a
e
g
e
add isl_map_fast
_
i
s
_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaege
m
ar
k
som
e
function
s
as requiring use of re
t
urn value
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoolae
g
e
isl_ta
b
:
i
m
p
r
oved err
o
r handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oolaege
isl_tab_
p
i
p
.
c
: incrementa
l
ly bui
l
d rece
s
sion co
n
e of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
is
l
_tab_pip
.
c: propagate
some equali
t
ies from
gbr con
t
ext
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdo
o
laege
i
s
l_tab_pip
.
c: detect
e
qualities in
gbr cont
e
xt on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add isl_t
a
b
_detec
t
_
e
qualities
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n
Verdool
a
ege
add isl_tab_set_
i
nit
i
al
_
basis_wit
h
_cone
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
V
erdoolaege
i
s
l
_
tab_p
i
p: use ge
n
e
r
aliz
e
d basis reduct
i
o
n
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erd
o
o
l
aege
isl_tab_pi
p
: a
d
d gene
r
alized
b
a
s
is reduct
i
o
n
b
a
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdoolaege
isl_t
a
b
_pip
.
c: e
x
tract out context ha
n
dling
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdo
o
laege
isl_
t
ab_pip
.
c: add_d
i
v: use
m
ore reliable way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoo
l
aege
isl_tab_ba
s
ic_map_parti
a
l_lexop
t
: remove sampl
e
s t
h
at
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n Ve
r
doolaege
i
s
l_tab
.
c: ext
r
act out
s
amples ha
n
dling
f
rom isl_tab_
p
ip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
is
l
_affine_hull
.
c: uset_affine_hull_bounde
d
: use
tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
doolaege
i
sl_bas
i
c_map_detect_equalities: keep track of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_map_d
e
t
ect_equal
i
ties: on
l
y com
p
ut
e
rec
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_sample: handle unbounded
d
irecti
o
n
s
in initi
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoola
e
ge
isl_ta
b
_
c
ompute_reduc
e
d_
b
asis: han
d
l
e
u
n
b
ounde
d
directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
expl
o
it equalities in isl_tab
_
sample
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n V
e
rdoola
e
ge
isl_tab
:
keep (in
)
equ
a
lit
i
es of bset (
i
f any) in
s
ync
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
i
sl_tab_sampl
e
: be m
o
re v
e
rbose about unboun
d
ed
directions
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
sep
a
rate out isl
_
tab_s
a
m
p
le from sa
m
p
l
e
_
bounded
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Ve
r
d
oo
l
aege
sample_boun
d
ed: reim
p
lement to
work directly
on a ta
b
leau
commit
|
commitdiff
|
tree
2009-10-09
S
ven
V
erdoolaege
isl_tab_compute_reduced_basis:
work with affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
g
e
isl_tab_com
p
ute_reduced_bas
i
s
:
allow increm
e
n
tal computation
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
isl_p
o
lytope_scan: use isl_
t
ab_from_b
a
sic_s
e
t
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
separate out isl_t
a
b_red
u
ced_basis fr
o
m isl_basic
_
set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaeg
e
basis_
r
eduction_tab
.
c: use isl_tab_
p
r
o
duct to construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
o
laege
add isl_tab_pro
d
uct
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
V
e
rdoolaeg
e
i
s
l_basic_set_re
d
uced
_
basis: f
i
x value in d
i
r
ection
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
is
l
_basic
_
set_reduced_ba
s
i
s
: fix up documentation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoo
l
aege
b
a
s
i
s
_reduction_tab
.
c: kee
p
track of
con_off
s
et ins
t
ea
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
do
o
l
a
ege
add isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erdoolaeg
e
i
sl_
t
ab_ad
d
_valid_
e
q:
a
dd
s
pec
i
al
t
reatme
n
t for
manifestl
y
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Ve
r
d
oo
l
aege
is
l
_tab_extend_co
n
s:
check t
a
b argument
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdool
a
ege
r
e
name isl
_
ta
b
_detect_equalities to
isl_tab_detect_impl
i
cit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_fr
o
m_
r
ecess
i
on_cone: take ba
s
ic se
t
instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erdool
a
ege
isl_ilp
.
c: s
e
parat
e
out
s
o
lve_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoolaege
isl_samp
l
e
.
c: ba
s
ic_set_sa
m
ple: rem
e
mb
e
r boundedne
s
s
.
.
.
commit
|
commitdiff
|
tree
next