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 support for "big parameters"
2009-08-07
Sve
n
Verdool
a
ege
isl_tab: introdu
c
e
suppor
t
for "big parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
:
allow in
t
r
oduct
i
o
n
o
f extra vari
a
bles
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdool
a
ege
isl_tab
:
i
ntro
d
uce param
e
ter
s
a
n
d divs
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
i
sl_
t
ab
.
h: fix typo in
co
m
ment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
i
sl_
t
ab: allow saving an
d
restoring th
e
comple
t
e basis
commit
|
commitdiff
|
tree
2009-08-07
S
ven
Verdoolaeg
e
is
l
_tab:
p
rivately expo
r
t
s
ome
f
unctionality
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_tab: store undo ar
g
u
m
ent
in a union fo
r
futur
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
add is
l
_basic_set_
s
am
p
l
e_bo
u
nded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
pri
v
ately export isl_basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ver
d
oolaege
isl_map_simplify
.
c: rem
o
ve_
d
ependent_vars: only remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
er
d
o
olaege
isl_basic_map_compute_divs
:
use isl_b
a
sic
_
set_lexmi
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
i
sl_
p
ip_basic_map_c
o
m
pu
t
e_divs: don't turn div
s
into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoola
e
ge
privately export i
s
l_basic
_
m
a
p_swap_
d
iv
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_{set,
m
ap}_add: don't add obviously empty
b
asic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
do
o
l
a
ege
combine isl_pip_basic_map_lex{mi
n
,max} into isl_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
make piplib head
e
rs
pr
i
vate
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_mat: keep tr
a
ck of the act
u
al number of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab_pivot: fix typo that
p
rev
e
nted
normaliza
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
ad
d
isl_basic_se
t
_posit
i
v
e
_
orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
ad
d
isl_basic_set_partial_lex{min
,
max}
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaeg
e
renam
e
isl_basic_m
a
p_lex{mi
n
,ma
x
} to isl_basic_map_parti
a
l_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
a
d
d i
s
l_b
a
sic_se
t
_free
_
div
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoola
e
ge
isl_s
e
t_dim:
support isl_
d
im_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
is
l
_tab: store index of va
r
i
able in
u
ndo r
e
c
ord
i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
oolaege
add
i
sl_{
s
et,map}_g
r
ow
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdo
o
laege
add i
s
l_
m
ap_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_map_get_di
m
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolaege
add isl_ta
b
_
dup
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdo
o
laege
e
x
por
t
isl_ma
t
_d
u
p
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n V
e
rdoolaeg
e
isl_tab
.
c:
mark_r
e
dundant: only mark variable
n
o
nneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
i
s
l_t
a
b
.
c:
t
o_ro
w
: al
l
ow p
i
voting in arbitrary
direction
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolaege
i
sl
_
tab
.
c: simp
l
ify
c
o
d
e
by letting
m
ark_empty ret
u
rn tab
commit
|
commitdiff
|
tree
2009-08-04
S
v
en
Verdoolaege
add isl_seq
_
last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: sim
p
lify ad
d
_
e
q
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Ver
d
oo
l
aege
i
s
l
_tab
.
c: extr
a
c
t alloc
a
te_con
commit
|
commitdiff
|
tree
2009-07-22
S
v
en
V
e
rdoolaeg
e
p
r
ivately export isl_basic_set_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
configure
.
ac
:
explicit
l
y se
t
AC_
C
O
N
FIG_AU
X
_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
convex_h
u
l
l
: coalesce set during f
a
cet computat
i
o
n
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
isl
_
m
a
p_coale
s
c
e
: don
'
t
drop rational f
l
ag from re
s
u
l
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
olaege
isl_tab_
c
one_is_bounded:
sta
r
t over aft
e
r computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaege
isl_bas
i
c_s
e
t_di
m
_residue_c
l
a
ss:
o
n
ly set *
m
odulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven
V
erdo
o
laege
a
dd i
s
l_basic_
s
et_fa
s
t_
d
im_i
s
_fix
e
d
commit
|
commitdiff
|
tree
2009-07-16
Sven
V
erdoolaeg
e
isl_tab: dro
p
i
sl_ctx argument wher
e
n
o
t abso
l
utely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
v
en Verdoolaege
isl_m
a
t:
k
e
ep track o
f
isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdool
a
ege
i
s
l_basic_set_sample: d
o
n't projec
t
out lineality
space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolae
g
e
isl_bas
i
c_map_fix_pos: m
i
cr
o
-op
t
imization
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
Ve
r
doolaege
move isl_basic_s
e
t_skew_t
o
_posit
i
ve_orthant to
i
s
l
_s
a
mple
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
isl_tab
.
c:
fix
typo in
c
om
m
e
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aege
isl_basic
_
s
e
t_sample: break
e
arly if sample fo
u
nd in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
export i
s
l_tab
_
s
a
mple_is_integ
e
r
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoola
e
ge
isl_basi
c
_s
e
t_sample: check sam
p
l
e stor
e
d by isl
_
ba
s
ic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verd
o
olaege
isl_basic_m
a
p_is_empty: remove stale sam
p
l
e
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaeg
e
add isl_polyhedron_s
a
mple applic
a
tion
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n
V
e
rdoo
l
a
e
ge
introduce generalized
b
asis reduction based s
a
mpling
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rd
o
o
l
aege
add i
s
l_seq
_
cdiv_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
i
s
l_sample
.
c: interv
a
l_s
a
mple: dro
p
re
d
und
a
n
t
argume
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
i
s
l_sample
.
c: clean
u
p handling
of l
i
neality
space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c: extrac
t
out
s
a
m
ple_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
i
sl_sample
.
c
:
i
n
te
r
val_sample:
h
a
n
d
le e
q
ualities directly
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
isl_sample
.
c
:
extract out empty_sa
m
ple
commit
|
commitdiff
|
tree
2009-07-13
S
ven
Verdoolae
g
e
isl_samp
l
e
.
c:
g
eneralize point_
s
ample
to zer
o
_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdool
a
ege
isl_tab: don't create new und
o
re
c
ords during rollbac
k
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab_min: use
g
e
n
e
ra
l
rol
l
back mechan
i
sm
commit
|
commitdiff
|
tree
2009-07-13
Sven
Ve
r
doo
l
aege
isl_ta
b
: optionally
s
ave dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl
_
t
ab: a
d
d i
s
l_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
S
ven Ve
r
doola
e
ge
export
i
sl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
ad
d
isl_in
t
_le
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Verdoolaege
priva
t
ely export i
s
l_basic_set_rec
e
ssio
n
_cone
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verd
o
ola
e
ge
isl
_
convex_hull
.
c: add
m
i
s
s
ing
assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaeg
e
private
l
y ex
p
ort isl_basic_set_lineality_
s
p
ace
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
sl_vec: keep
t
rack of is
l
_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Ver
d
oolaege
isl_c
o
ales
c
e
.
c
:
fix ty
p
o
commit
|
commitdiff
|
tree
2009-06-13
Sven Ver
d
oolaege
update piplib for change in configure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
i
s
l_basic_map_
d
rop_r
e
dundant_divs:
c
oalesce div
s
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
is
l
_basi
c
_map_d
r
op_redund
a
nt_divs: set div expr
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
isl
_
b
a
sic_map_drop_redundant_divs:
d
rop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
i
sl_map_com
p
ute_div
s
:
drop obvi
o
usly redundan
t
divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
m
a
p
_
p
iplib
.
c: extremum_
o
n
:
dete
c
t e
q
ua
l
iti
e
s first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pip_basic_map_co
m
pute_divs:
r
emov
e
some equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdool
a
ege
isl_p
i
p_basi
c
_
m
ap_compute_divs: separate out dim
e
n
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolae
g
e
is
l
_
b
asic_set_preimage: handle divs in in
p
ut
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_inpu
t
_om
e
ga
.
c: make variable_{f
r
ee,ne
w
}
stati
c
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
r
doolaege
isl_map
.
c: m
a
ke add_di
v
s s
t
a
tic
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n Verdoo
l
aege
isl_basi
c
_map_simplif
y
: detect div co
n
s
traints
w
h
i
le
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
is
l
_basic_ma
p
_drop: properly ha
n
d
le dime
n
sions
of ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
add
i
sl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolae
g
e
add
isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
e
g
e
add isl_seq
_
fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaeg
e
isl_basic_map_dete
c
t
_
e
qualities: pr
o
perly handle
e
m
p
ty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
isl_b
a
sic
_
map_is_empty: explicitly mark b
a
s
i
c sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Ver
d
oolaege
isl_map
.
c:
o
rder_divs: swap with
c
orrec
t
div
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdo
o
laege
isl_map_coalesc
e
: remove extra divs introduced
by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaeg
e
add
isl_map_c
o
alesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaeg
e
a
d
d isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdo
o
l
a
ege
e
x
port
is
l
_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
laege
i
s
l_map_
c
onvex_hull: handle unbounded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
private
l
y export isl_mat_unimod
u
lar_com
p
l
et
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
ola
e
ge
isl_tab
.
c: a
d
d isl
_
tab_g
e
t_sampl
e
_value
commit
|
commitdiff
|
tree
2009-05-06
S
ven V
e
rdoolaege
i
sl_map
_
c
o
n
vex
_
hu
l
l:
a
voi
d
intro
d
ucing
line
a
lity spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoolae
g
e
add two m
o
re convex
h
ull test cases
commit
|
commitdiff
|
tree
next