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: introduce parameters and divs
2009-08-07
Sve
n
V
e
rdoolaege
isl
_
tab: introduce param
e
ter
s
and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdool
a
ege
isl_ta
b
.
h: fix typ
o
in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aeg
e
isl_tab:
allow sa
v
ing and res
t
o
ri
n
g th
e
complete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_tab: privately expo
r
t some functionality
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_t
a
b:
store undo a
r
gument in a
u
n
i
o
n
for f
u
ture
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
d
d isl_ba
s
ic_set
_
sample_
b
ou
n
d
e
d
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
privately export i
s
l_basi
c
_s
e
t_order_d
i
vs
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verd
o
olae
g
e
isl_map_simpli
f
y
.
c
:
remove_dep
e
ndent_
v
ars: only re
m
ove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_basic_ma
p
_compute_div
s
: use isl_basic_set_
l
exmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_pip_basic_m
a
p_compute_di
v
s: do
n
'
t
t
urn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doo
l
aege
privately e
x
por
t
isl_basi
c
_ma
p
_
swap_di
v
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Ve
r
d
oolaege
isl_{se
t
,map
}
_a
d
d: don't add o
b
viously empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
aege
combine isl_pip_bas
i
c_map
_
lex{min,max}
i
nto isl_
p
ip_basic_
m
a
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
laege
make piplib headers private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_mat: kee
p
tra
c
k of t
h
e a
c
tual number o
f
co
l
umns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_ta
b
_pivo
t
: fix typo that prev
e
n
ted normalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdool
a
ege
add i
s
l_basic_se
t
_positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
l
aege
add isl_basic_s
e
t_par
t
ial_l
e
x
{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoo
l
aege
ren
a
me isl_basic_m
a
p_lex{min
,
max} to is
l
_
bas
i
c_map_
p
artial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
dd i
s
l_basic_set_fr
e
e_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl
_
set_dim: suppor
t
isl_dim_
a
ll
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoo
l
aege
isl_tab: store index of vari
a
ble
in undo
r
ec
o
r
d i
n
ste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
doolaege
add isl_{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
ad
d
isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
ad
d
isl_basic_m
a
p_get_di
m
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoo
l
aege
ad
d
isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaeg
e
ex
p
ort isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_
t
ab
.
c:
m
ark
_
redundant: only mark
v
ariab
l
e
n
onneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl
_
t
ab
.
c: to_row
:
allow pivoting i
n
arbitra
r
y
direc
t
ion
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoo
l
a
e
g
e
isl_tab
.
c: s
i
m
plify co
d
e by letting mark_empty retu
r
n tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl_seq_l
a
s
t
_no
n
_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
rdoolae
g
e
isl_
t
a
b
.
c: simplify
a
d
d
_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
a
ege
isl_tab
.
c: e
x
tract allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
p
r
i
vately exp
o
rt isl
_
basi
c
_
s
e
t
_
set_ra
t
ional
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdool
a
e
ge
configur
e
.
ac: ex
p
l
i
c
i
t
ly set
AC_CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven
Verdoolaege
c
onvex_hull: coalesce
s
et during facet
c
omp
u
t
a
tion
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
isl_map_coalesce: do
n
'
t drop
rational fla
g
from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
ool
a
ege
isl_tab_cone_is_
b
o
unded: start over
a
fter computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaege
isl_basic_s
e
t_dim
_
resi
d
ue_class: only set *m
o
dulo
to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_
t
a
b: drop isl_ctx a
r
g
ument where
n
ot ab
s
olut
e
ly
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n Verdoolaege
isl_mat: keep
track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
S
v
e
n
Verd
o
o
laege
isl_basic_se
t
_samp
l
e: d
o
n
'
t
proje
c
t
out
l
i
n
eality s
p
a
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Ve
r
doola
e
ge
isl_
b
asi
c
_map_fix_pos
:
micro-optimiza
t
ion
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
V
e
rdoolaege
mo
v
e
i
sl
_
b
a
s
ic_s
e
t
_s
k
e
w_t
o
_positi
v
e_ortha
n
t
to isl_sa
m
ple
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
isl_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
Verd
o
olae
g
e
isl_bas
i
c_set_sample:
b
reak early
if samp
l
e found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
expo
r
t isl_tab_sample_is_intege
r
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
isl_basic_set
_
samp
l
e: ch
e
ck
s
ample
s
tored by isl_
b
as
i
c
_map_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
r
doolaege
isl
_
basic
_
map_is_empty: remove
stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
a
d
d isl_polyhedron
_
s
a
mple application
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
introduce generalized
b
asis reducti
o
n ba
s
ed s
a
mpling
commit
|
commitdiff
|
tree
2009-07-15
S
ve
n
V
e
rdool
a
ege
add isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
isl_sample
.
c: interv
a
l
_sampl
e
:
d
ro
p
redundant ar
g
ument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sam
p
le
.
c: clean
up h
a
ndlin
g
o
f lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_samp
l
e
.
c: e
x
trac
t
out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_sample
.
c: interval_sample: handl
e
equali
t
ies
direct
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verdoo
l
aege
isl_s
a
m
p
l
e
.
c: extract o
u
t
e
m
p
ty_samp
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c: generalize poin
t
_
sample to
z
ero_sample
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolae
g
e
isl_tab: don't
c
reate new
u
ndo rec
o
rds during
r
ollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab_min: use ge
n
e
r
al rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl_
t
a
b:
o
p
tion
a
lly s
a
ve dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
isl_tab: add isl_
t
ab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
o
l
a
e
g
e
export i
s
l_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
a
d
d
i
s
l_int_
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
p
rivate
l
y export is
l
_basic_set_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_conve
x
_
h
ull
.
c
: add
m
issi
n
g assignment
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoola
e
ge
private
l
y
e
x
p
ort isl_basic_set_li
n
ea
l
i
t
y_sp
a
ce
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_
v
ec: keep
track of
isl
_
ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_co
a
l
e
sce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Ver
d
oo
l
aege
update piplib f
o
r ch
a
nge in con
f
i
gure arguments
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_basic_map_drop_redundant_divs:
coalesce div
s
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoo
l
aege
isl_basic_map_drop_redund
a
nt_di
v
s:
set div
e
x
press
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
is
l
_
bas
i
c_map
_
drop_redundant_divs: drop more k
i
nds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
i
s
l
_
m
a
p
_
compute_d
i
vs: drop ob
v
iously
re
d
undant
d
ivs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l
_map_piplib
.
c: ext
r
emum_on
:
detect e
q
ualities
first
commit
|
commitdiff
|
tree
2009-06-11
S
v
en V
e
r
d
o
o
la
e
g
e
isl_
p
ip_basic
_
m
a
p_co
m
p
u
t
e_divs: remove
some equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verd
o
ol
a
ege
isl_pip_bas
i
c_map_com
p
ute_d
i
vs: separ
a
te out
dimensio
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n Verdoolaege
isl_ba
s
ic_se
t
_
p
reimage: h
a
ndle di
v
s in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
is
l
_inp
u
t_omega
.
c: make
v
ariab
l
e_
{
free,n
e
w} stati
c
commit
|
commitdiff
|
tree
2009-06-11
Sven
Ver
d
oo
l
a
e
ge
isl_map
.
c: mak
e
add_divs
s
tatic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
basic_map_simplify: detect div
con
s
traints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
isl
_
basic_map_drop: properly handle
d
i
m
e
nsions of t
y
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdool
a
ege
add
i
s
l_int_mul_
u
i
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
g
e
add isl_seq_fdiv
_
q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
a
d
d isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
Verdoola
e
ge
i
s
l
_basic
_
m
a
p
_
detect_eq
u
a
litie
s
:
p
r
o
perl
y
handle
empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoolaege
i
sl
_
basic_map_
i
s_emp
t
y
:
explicitly mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en
V
e
rdoolaege
isl_ma
p
.
c: order_divs: swap with correct d
i
v
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
is
l
_map_coale
s
ce: rem
o
ve extra divs in
t
roduced by
i
sl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdo
o
laege
add isl_map_co
a
lesc
e
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Ve
r
doola
e
ge
add isl
_
set
_
produc
t
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Verdoolaege
expo
r
t is
l
_
m
a
p
_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
laege
is
l
_map_convex_
h
ul
l
: handle unbounded, but
p
ointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaege
pr
i
vately export is
l
_m
a
t_unim
o
dul
a
r_
c
o
mplete
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolaege
isl_ta
b
.
c: add isl
_
tab_get_sample_va
l
ue
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
V
erdo
o
laege
isl_ma
p
_co
n
vex_hull: av
o
i
d intr
o
ducin
g
l
i
neality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
ge
add
t
wo more convex hull test cases
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdo
o
l
ae
g
e
isl_map_convex_hull: re
m
ov
e
lineality space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
laege
add isl_basic_
s
et_is_universe
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolae
g
e
a
d
d isl_set_g
e
t_
d
im
commit
|
commitdiff
|
tree
next