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_basic_map_is_empty: remove stale sample
2009-07-15
Sven Verdoolaege
is
l
_basic_m
a
p_is_
e
m
pty
:
remo
v
e stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
Verdoolaeg
e
a
dd
isl_po
l
yhedron_sa
m
ple application
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdool
a
ege
introduce gene
r
alized basis
redu
c
tion based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolae
g
e
add
i
sl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdool
a
ege
isl_sample
.
c
:
int
e
rval_samp
l
e: d
r
op redu
n
d
ant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
i
sl_sample
.
c:
clean up handlin
g
of li
n
ealit
y
spa
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
V
erdool
a
e
ge
isl_sample
.
c: e
x
tra
c
t out
sample_eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Verdool
a
ege
isl_sample
.
c
: in
t
e
rv
a
l
_sample: handle equalit
i
es
d
irectl
y
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verd
o
olaege
isl_sample
.
c:
extra
c
t out empty_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolae
g
e
isl_samp
l
e
.
c: generalize po
i
nt_sample to zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
sl
_
tab:
d
on't creat
e
new un
d
o
recor
d
s during rollback
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoo
l
a
eg
e
isl_ta
b
_min: use
g
eneral
r
o
l
l
back mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
i
s
l_tab: opt
i
on
a
lly save dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: add i
s
l_tab_
a
d
d_valid_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
export is
l
_
tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verd
o
olae
g
e
add isl_i
n
t_le
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ver
d
oo
l
aege
privatel
y
export isl_basic_set_
r
e
c
es
s
ion_co
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_
c
onvex_hull
.
c:
a
dd missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verd
o
ol
a
e
ge
priv
a
tely expor
t
i
s
l
_
bas
i
c_set_l
i
neali
t
y_space
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdo
o
laege
isl_vec: keep tra
c
k
o
f isl_
c
t
x
commit
|
commitdiff
|
tree
2009-07-12
Sv
e
n V
e
rdoolaege
isl
_
coalesce
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verd
o
ola
e
g
e
up
d
ate p
i
p
lib for change in conf
i
gure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
i
sl_basic_map_dr
o
p_redundant_d
i
vs: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl_basic_map_drop_redundant_di
v
s
: set di
v
expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdo
o
laege
isl_bas
i
c_ma
p
_d
r
o
p_re
d
undant_divs: drop
m
ore kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_map_comp
u
t
e
_
d
ivs:
d
ro
p
o
b
viously redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
rd
o
ola
e
ge
isl_map_piplib
.
c: extremu
m
_on: detect
e
qu
a
lities fir
s
t
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdo
o
laege
isl
_
p
i
p
_basic_map
_
compute_
d
ivs: remove so
m
e equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
i
s
l
_p
i
p_
b
as
i
c_map_compute_divs: sep
a
r
a
t
e
out dimensi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n Verdoolaeg
e
isl_ba
s
i
c
_set_preimage: ha
n
dle divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_inp
u
t_omega
.
c: make
v
ari
a
ble_{free,new} s
t
a
t
ic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map
.
c: make add_div
s
static
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoo
l
ae
g
e
isl_basic_ma
p
_simp
l
ify
:
detect div con
s
tra
i
n
t
s while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
isl_
b
as
i
c_map_drop: properly handle
d
i
mensions of
t
ype
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erd
o
o
laege
add i
s
l_
i
nt_m
u
l_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_seq_fdiv
_
q
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
d
oo
l
aege
a
d
d isl_seq_fd
i
v
_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
la
e
g
e
isl_basic_ma
p
_detect_equal
i
t
ies: properly handle em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
isl_basic_map_is_empty: expli
c
itly mark basic
s
ets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
isl_map
.
c: order_div
s
:
swap
w
ith correct d
i
v
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoola
e
ge
is
l
_
map_coa
l
esce: r
e
m
ove e
x
tra
d
i
vs
i
ntroduce
d
b
y
is
l
_
m
ap_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolae
g
e
add isl_map_coalesc
e
commit
|
commitdiff
|
tree
2009-05-19
S
v
en Verdoolaege
add isl_set_produc
t
commit
|
commitdiff
|
tree
2009-05-19
Sven Ver
d
oolaeg
e
export isl
_
map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olae
g
e
isl_map_convex_hull: han
d
le u
n
bounded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
privately exp
o
rt isl_m
a
t_unimodular_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
r
d
o
olae
g
e
isl
_
tab
.
c: add
i
sl_tab_get_
s
ample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_convex_
h
ull: avoid intr
o
d
ucing line
a
lity spac
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add two more convex hull test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
i
sl_map_convex_hull:
r
emove lineality space if
any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
add isl_basic_set_i
s
_universe
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdo
o
laege
add isl_s
e
t_g
e
t_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex
_
hull
.
c: upda
t
e wrap_facet to
t
he fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
i
s
l_co
n
v
e
x_h
u
ll
.
c: fix ty
p
o in comment
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolaege
isl_coalesc
e
.
c: fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdoo
l
aege
isl_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
c
o
nfigure
.
i
n
: set A
C
_CONFIG_MACRO_
D
I
R
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdo
o
laege
add isl_b
a
sic_se
t
_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
isl_basic_m
a
p_gist: normalize di
v
s (i
f
any) in context
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Ve
r
doolaege
isl_bas
i
c
_
map_si
m
pli
f
y:
remove duplic
a
t
e d
i
vs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Ve
r
d
oolaege
a
dd isl_basic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
change
c
alling convention of isl_basic_ma
p
_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
isl_
m
ap
_
simplify
.
c
: uset_gist: break earl
y
if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
isl_map_simplify
.
c: uset_g
i
st: break early if inter
s
e
ction
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoola
e
ge
a
dd isl_basic_se
t
_fast_is_em
p
ty
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
update
piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
v
en V
e
rdoolaege
isl_tab
.
c:
s
t
o
re nu
m
b
er
o
f equalitie
s
among t
h
e constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
i
s
l_mat_ext
e
nd:
pro
p
erly ext
e
nd
m
atrices w
i
t
h reord
e
red
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdoolaege
i
sl_ma
p
_gist: handl
e
s
o
me special cas
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
add
i
sl_map
_
un
i
vers
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
add is
l
_basic_map_fast_is
_
empty
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolaege
isl_
b
asic_map_gis
t
:
replace by
n
e
w version base
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_
s
implify
.
c: comp
u
te_elim
i
nation
_
ind
e
x: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add i
s
l_m
a
p_implicit_
e
qualit
i
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
add isl_
b
a
s
ic_set_free_eq
u
a
lity
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdool
a
e
ge
isl_m
a
p_
c
on
v
e
x
_h
u
ll: mark res
u
lt as not h
a
vi
n
g any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolae
g
e
convex_hull: coa
l
esce
s
et
fir
s
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
add is
l
_set_
c
oalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_
i
n
put_om
e
ga
.
c: basic_map_
r
ead:
a
ccept "+"
in con
s
traints
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
add isl
_
basic_set_
a
lloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolae
g
e
add isl_set_align_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ol
a
ege
uset
_
affin
e
_
hu
l
l: igno
r
e
direct
i
ons
i
n a
f
f
i
ne hul
l
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_m
a
p_implicit_equalities:
perf
o
rm Ga
u
ssian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
ege
isl_affine_h
u
ll
.
c:
outside_point: c
h
eck for obv
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoola
e
ge
privately expor
t
i
sl_ba
s
ic
_
s
et_contains
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoo
l
aege
isl
_
c
t
x: add neg
o
ne
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_vec_dump: handle N
U
LL
v
ec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_affi
n
e_hull
.
c: extract uset_a
f
fine_hull
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
V
e
r
d
o
o
laege
i
sl_mat_tran
s
pose: handle non-
r
ec
t
angular
matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_ma
p
_simple_hull: co
m
p
u
te
a
ffine hull before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_map_simple_hull:
m
ark r
e
sult as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoo
l
a
e
ge
add
i
sl
_
set
_
bounded_simple_hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verd
o
olaege
isl_map_affin
e
_hull: detect equal
i
ties
o
f
intege
r
affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verd
o
ol
a
eg
e
isl_bas
i
c_map_dup: copy flags of original to dup
l
i
c
ate
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_basic_map
_
exte
n
d_d
i
m: move responsibility of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_
b
asic_map_extend_dim: only
extend
constr
a
int
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_solve_lp: use tableaus i
n
st
e
ad of calling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
is
l
_
s
olv
e
_lp: accept affine object funct
i
on instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_map_
s
imple_hull: use hash t
a
bles and tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_convex_hu
l
l
.
c: extract out uset_si
m
p
l
e_
h
u
ll
commit
|
commitdiff
|
tree
next