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_transitive_closure: use more generic acyclicity test
2009-12-07
Sven Ver
d
oolaege
isl_map_sub
t
ra
c
t
.
c:
extrac
t
from isl
_
map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab: keep track of isl_basic_m
a
p inste
a
d
of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
r
d
oola
e
ge
privately expor
t
isl_basic_m
a
p_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoola
e
ge
add
isl_
b
a
s
ic_map_add_ineq an
d
isl_basic_
m
a
p
_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl
_
tab_d
e
tect_re
d
und
a
nt: return status in
s
tead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolaeg
e
i
sl_tab: add
i
sl_tab_fre
e
ze
_
constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verd
o
olae
g
e
i
s
l_tab_ad
d
_ineq and is
l
_tab_mark
_
emp
t
y: r
e
t
ur
n
status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
v
en V
e
rdoola
e
g
e
add miss
i
ng AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoola
e
ge
i
s
l
_
basic_set_swap_va
r
s:
re-gauss resultin
g
b
set
commit
|
commitdiff
|
tree
2009-11-16
Sven V
e
r
d
oolaege
add isl_basic_map
_
first_cons
t
ra
i
nt
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
export isl_basic_m
a
p
_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
add isl_basi
c
_set
_
lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verd
o
olaege
isl
_
map_drop_basi
c
_map: consisten
t
ly
k
eep basic
map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Ve
r
doolaeg
e
isl_tab: row is
o
n
ly (obvious
l
y) redundant
i
f it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_basic_map_simplify:
make sure to rerun Gaus
s
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_basic_map_part
i
al_lexopt: use
c
o
n
text
c
ons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
i
s
l_tab_pip
.
c: ignore dead columns when chec
k
ing
i
n
t
egrality
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaeg
e
isl_pip: opt
i
onally perform
s
ome check on the
results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aeg
e
put options
i
n a sep
a
rate isl_opti
o
ns structure
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
add rud
i
mentary argumen
t
pars
i
ng facil
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoo
l
aege
isl_
t
ab
_
c
o
m
pute_
r
educed_basis: handle empty
t
ables
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
r
d
oolaege
isl_basic_set_solve
_
ilp: handle obviou
s
ly empty sets
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
i
s
l_basic_set_solve_ilp: fix h
a
nd
l
ing of
s
ets w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdool
a
ege
a
d
d
isl_set_
r
e
move
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
add isl_set
_
fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
add isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
e
x
tract isl_basic_
s
et_scan f
r
om
polytope
_
scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
i
s
l_ba
s
ic_map
_
simplif
y
: av
o
id rem
o
val of div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Ver
d
o
ol
a
ege
isl_map
.
c: declare
v
ariable at start of code block
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
d
o
olaege
isl_basic_set_project_out: handle
rational sets
commit
|
commitdiff
|
tree
2009-10-21
S
ven V
e
rdoolaege
a
dd is
l
_basi
c
_set_r
e
move
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
i
s
l_tab_pip: keep
c
ache
of parti
a
l solutions
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
Verdoolaege
isl_ta
b
_p
i
p:
d
on't
f
ree isl
_
s
o
l
o
n err
o
r cond
i
tio
n
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
i
sl
_
tab: s
u
pp
o
rt ge
n
e
r
ic u
n
do records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add isl_
m
at_is_e
q
ual
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
olaege
isl_tab_pip
.
c: remo
v
e
s
ome
c
ode duplicati
o
n bet
w
een
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n V
e
r
d
oola
e
ge
i
sl
_
m
ap_is_su
b
s
e
t: add s
p
ec
i
al case for singleto
n
map
s
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
isl
_
map_
c
omp
u
te_divs: skip com
p
u
t
ation
i
f di
v
s ar
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_map_is_subset: e
x
ploit
a
n
othe
r
ea
s
y special cas
e
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Ve
r
doola
e
ge
add i
s
l_map_fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdoo
l
aege
add isl_set_
s
ize
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Ve
r
d
o
o
laege
m
a
r
k
som
e
fu
n
c
tion
s
as requiring u
s
e of r
e
tu
r
n value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
i
sl
_
tab: i
m
pro
v
ed error handling
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoo
l
a
ege
isl
_
tab_pip
.
c: incrementally build reces
s
ion
c
one of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
isl_t
a
b_pip
.
c: propagate s
o
me equalities from gbr cont
e
xt
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Verdoolaege
isl_tab_pip
.
c
: detect eq
u
alities in gbr con
t
ext on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oo
l
aeg
e
add
i
sl_ta
b
_de
t
ec
t
_e
q
u
a
litie
s
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oo
l
aege
ad
d
i
s
l_
t
ab_set
_
init
i
al_b
a
sis_wi
t
h_con
e
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Ver
d
oola
e
ge
isl_tab_pip:
use gene
r
alized basis reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl
_
t
a
b_pip:
add
g
eneralized bas
i
s
reduct
i
o
n
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
isl
_
tab_pip
.
c
:
e
x
tra
c
t out context handlin
g
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
s
l_tab_pip
.
c: add_div: use
m
o
re rel
i
a
bl
e
way to
test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven
V
erdoola
e
ge
isl_t
a
b_basic_
m
ap
_
partial_lexopt: remove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab
.
c:
ext
r
a
c
t
ou
t
s
amples
h
andli
n
g
f
rom
isl_
t
a
b
_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aeg
e
isl_affine_hull
.
c: uset_affine_hull_bounded: use tablea
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
l
aege
isl_b
a
s
ic_m
a
p_de
t
ect_e
q
ual
i
ties:
k
eep tr
a
ck of sa
m
ple
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
isl_basic_map_detect_eq
u
alitie
s
:
o
n
l
y compute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdool
a
ege
isl_tab_s
a
mp
l
e:
h
andle unbounded direc
t
ion
s
in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl_
t
ab_co
m
pute_reduced_basis: han
d
le un
b
ounded
d
irections
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
exploit
e
q
u
a
l
ities in isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdoolaege
isl_tab: keep
(
in)equalities of bset (
i
f any
)
in
sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
i
sl_ta
b
_sa
m
ple: be more
v
erbose
a
b
o
ut unbounded d
i
recti
o
ns
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verd
o
olaege
separate out
isl_t
a
b_sample from
s
amp
l
e_bou
n
ded
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
sampl
e
_bounded:
rei
m
p
lement
to work d
i
r
e
c
tly on a t
a
bleau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_compute_
r
educed
_
ba
s
is: work
wit
h
affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolae
g
e
isl_tab_compu
t
e_r
e
duced_basis: allo
w
incremental c
o
mputatio
n
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaeg
e
i
s
l_polyt
o
pe_sc
a
n: u
s
e is
l
_tab_
f
rom_b
a
sic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
sepa
r
a
te out isl_t
a
b_red
u
ced_bas
i
s from isl_
b
asic_set_reduc
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
basis_red
u
c
t
ion_
t
ab
.
c: use is
l
_t
a
b_product to cons
t
ruc
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
add isl_tab_
p
r
o
duct
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
isl
_
basic_
s
e
t
_
r
educed_basis: fix value in di
r
ections
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_set
_
reduc
e
d_basis: fix
u
p
d
ocumentation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdool
a
ege
basis_r
e
duction_tab
.
c: keep track of con_o
f
fset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
a
dd
i
sl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolae
g
e
isl_ta
b
_ad
d
_valid_eq: add special treatment for
m
ani
f
estly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verd
o
olaege
i
s
l_tab_e
x
tend_
c
ons: check tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
re
n
am
e
isl_ta
b
_detect_equ
a
liti
e
s to isl_t
a
b_
d
ete
c
t_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verd
o
o
l
a
ege
isl_tab_f
r
om_recession_cone: take basic set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdool
a
e
g
e
isl_ilp
.
c: separate out sol
v
e_ilp_sea
r
ch
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verd
o
olaege
isl_
s
ample
.
c: basic_
s
et_
s
ample:
r
emember
b
oundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Ver
d
oolaege
add isl_
p
ol
y
hed
r
on_detect_
e
qualities test ap
p
licat
i
o
n
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oolaege
add
i
s
l_b
a
sic_set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_allocat
e
_con:
add extra assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oolaege
isl_sa
m
p
le
.
c
:
basic_se
t
_r
e
duce
d
:
fix typo preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laege
i
sl_tab_basic_map_partial_lexo
p
t: simp
l
ify result
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoola
e
ge
p
rivately export isl_basic
_
set_add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
p
riva
t
ely export
i
sl
_
basic_set_sample
_
w
ith_con
e
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaeg
e
add
isl_basic_set_underlyi
n
g_set
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoola
e
g
e
i
sl
_
tab
.
c:
close_row: pus
h
undo record
f
or setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl
_
mat_vec_inverse
_
pro
d
uct
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n
Verdoolae
g
e
add
i
sl_mat_concat
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
a
dd isl_int_divexact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoola
e
ge
add isl_se
t
_dim_resi
d
ue_clas
s
commit
|
commitdiff
|
tree
2009-10-03
Sven Ver
d
o
o
laege
fix
long standing
b
u
g in isl
_
mat_inverse_prod
u
c
t
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoolaeg
e
add isl_basi
c
_
map_fore
a
ch_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
l
a
e
ge
a
d
d isl_set_project_out
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
V
erdoolaege
add is
l
_set
_
detect_
e
qualities
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
V
e
rdoolaege
a
d
d isl
_
set_
f
oreach_basi
c
_s
e
t
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verd
o
ola
e
ge
add isl_set
_
l
ifting
commit
|
commitdiff
|
tree
2009-10-02
S
ven V
e
rd
o
olaege
isl_dim_size:
c
heck argu
m
ent
commit
|
commitdiff
|
tree
next