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
export isl_mat_dup
2009-08-04
Sve
n
Verdo
o
laege
e
x
port isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
is
l
_tab
.
c: mark_
r
ed
u
ndant:
o
n
l
y
mark v
a
riable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n Ve
r
doola
e
g
e
isl_tab
.
c: to_row: all
o
w pivoting in arbi
t
r
a
ry direction
commit
|
commitdiff
|
tree
2009-08-04
S
ven Ve
r
doolaege
isl_tab
.
c:
simpl
i
fy code by lett
i
ng mark_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaeg
e
a
d
d isl_
s
eq_last_non
_
zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
oolaege
i
sl_
t
ab
.
c
: simplify
add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
a
eg
e
isl_tab
.
c:
extract alloca
t
e_
c
on
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolae
g
e
p
ri
v
a
t
ely ex
p
ort isl_basic_set_set_
r
ationa
l
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
configure
.
ac: explicitly s
e
t AC
_
CONFIG_
A
UX
_
DIR
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Verdoola
e
ge
convex_hul
l
: co
a
l
e
s
ce
s
e
t during facet co
m
put
a
tio
n
commit
|
commitdiff
|
tree
2009-07-21
Sven Ver
d
o
o
l
a
ege
isl_
m
ap_coalesc
e
: don't drop rational
f
lag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaege
isl_tab_co
n
e_
i
s_bounded: start over a
f
ter computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
Verdoo
l
aege
isl_tab: drop
isl_ctx
a
r
g
u
m
ent where
n
ot abso
l
utely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n Verdoolaege
isl_mat: keep tra
c
k of i
s
l_c
t
x
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl
_
basic_se
t
_sample: don't project ou
t
li
n
eality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
do
o
laeg
e
isl_
b
a
s
ic_map_fix_pos: m
i
c
r
o
-
o
p
timization
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
move isl
_
b
a
si
c
_set_skew
_
to_pos
i
tive
_
ortha
n
t to isl_sam
p
l
e
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoola
e
ge
isl_ta
b
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n
Verdoolaege
is
l
_basic_set_sample: break
e
arly if
sample
f
oun
d
in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
Verd
o
olaege
export isl_
t
ab_
s
ample_is_int
e
ge
r
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l_basic_set_sample:
c
heck sample
s
tored by is
l
_basic
_
m
ap_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
isl_ba
s
ic_map_is_
e
mpty:
remove stale s
a
mple
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add isl_poly
h
edron_sample applicat
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
introduce gen
e
r
alized basis red
u
c
t
ion base
d
sampling
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
V
erdoolae
g
e
a
dd isl_seq_cdiv_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sample
.
c: interval_sample: drop
redundant
a
rgument
commit
|
commitdiff
|
tree
2009-07-15
S
ven Ve
r
doola
e
ge
isl_sample
.
c: clean up handling of lineal
i
t
y space
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaeg
e
i
s
l_sam
p
le
.
c
:
extract
out
s
ample_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_sample
.
c: interval_sa
m
ple: handle equalit
i
es directly
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
isl_sample
.
c: extract out
e
m
p
t
y_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_sample
.
c: gener
a
l
i
ze point_sample
t
o
zero_sample
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
V
erdoolaege
isl_tab: don
'
t create new undo records
during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
oolaege
isl_tab_min: use general r
o
llback mechan
i
sm
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdo
o
laege
isl_tab: opti
o
nally
s
ave
d
ual
s
olution
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
o
o
laege
is
l
_tab: add is
l
_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
Ver
d
o
o
laege
export isl_tab_
a
lloc
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
rdoolaege
a
dd
is
l
_
int_l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
private
l
y
export isl_b
a
sic_set_recess
i
on_
c
one
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoo
l
ae
g
e
i
sl_co
n
vex_hull
.
c: add m
i
ss
i
ng as
s
i
g
nmen
t
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
priva
t
el
y
export
i
sl_basic_set_line
a
l
i
ty_spac
e
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
isl
_
vec: keep track of i
s
l_c
t
x
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdool
a
ege
isl_co
a
les
c
e
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Ve
r
doolaege
upda
t
e piplib for c
h
ange
in config
u
re
arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_dr
o
p_redundant_
d
i
v
s: coalesce
d
ivs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoo
l
a
ege
i
s
l_ba
s
ic_map_drop_redundant_divs:
s
e
t div expr
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoo
l
aege
is
l
_basic_map_d
r
op_redu
n
dant_divs: dr
o
p
mo
r
e kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
i
s
l
_
ma
p
_compu
t
e
_
di
v
s: dr
o
p obviously red
u
ndant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_piplib
.
c:
ex
t
r
e
mum_on: detect equalitie
s
first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_pip_basi
c
_m
a
p_compu
t
e_divs: remove some
e
qua
l
ities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_pip_basic_ma
p
_
c
ompute_divs: sepa
r
at
e
out dim
e
nsion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ve
n
Verdoolaege
isl_b
a
sic_set_prei
m
a
ge: handle divs in in
p
u
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_input_omega
.
c: ma
k
e vari
a
ble_
{
free,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verd
o
olaege
isl_map
.
c: ma
k
e
a
d
d_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_ba
s
i
c_map_simplify:
d
etect div co
n
strai
n
t
s
w
hile
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
V
e
rdoolaege
isl_basic_
m
ap_drop:
p
roperly handle dim
e
nsions of
t
ype
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoo
l
aege
add isl_int_
m
ul_ui
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoo
l
ae
g
e
ad
d
i
s
l
_seq_fd
i
v_q
commit
|
commitdiff
|
tree
2009-06-07
S
v
en
V
e
rdoolaege
add isl_se
q
_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
sl_basic
_
map_detec
t
_equ
a
li
t
i
es: prope
r
l
y
handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaeg
e
i
sl_ba
s
ic
_
ma
p
_is_e
m
pty: e
x
plicitly ma
r
k basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoola
e
ge
isl_map
.
c: order_divs: swap with co
r
r
ect
div
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolae
g
e
isl_ma
p
_coales
c
e: rem
o
ve extra
d
i
vs i
n
trodu
c
ed by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sve
n
Ver
d
oolaege
a
d
d is
l
_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n Verdoolaege
add isl_set
_
product
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n Verd
o
olaege
export isl_map_d
i
m
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
ege
i
s
l_
m
ap_convex_hul
l
: handle unb
o
u
nde
d
, bu
t
poin
t
ed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
privately expo
r
t isl_
m
at_unimodular_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
isl_
t
ab
.
c: ad
d
isl_tab_
g
e
t
_
sample_v
a
lue
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_m
a
p_convex_hull: av
o
id intro
d
uci
n
g lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n V
e
rdoolaege
add
two more convex hu
l
l test
c
a
s
es
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
ol
a
e
g
e
is
l
_map_con
v
ex_h
u
l
l
: remove lineality s
p
ace
if a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verd
o
olaege
a
dd i
s
l_basic_set_is_
u
niverse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
add isl
_
set_g
e
t
_
dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verd
o
olae
g
e
isl_convex_hull
.
c: update wrap_f
a
ce
t
to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
V
erdool
a
ege
isl_convex_hull
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oolaege
isl
_
coalesce
.
c: fix
t
ypo in
comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
laege
i
s
l_tab
.
c: fix t
y
p
o
in comment
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_
b
asic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oo
l
aege
isl_basic_map_gist: normalize di
v
s (if a
n
y) in context
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_basic_map_si
m
p
l
i
f
y
: remove dupli
c
ate divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en V
e
rdoolaege
add isl
_
basic_set_
d
iv
commit
|
commitdiff
|
tree
2009-03-23
S
ven
Verdoolaege
change calling
c
o
n
vention
of isl_basic_map_di
v
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
isl_map_si
m
plify
.
c: use
t
_gist: brea
k
e
a
r
ly if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
is
l
_map_simplify
.
c:
u
set_gist:
b
r
e
ak early if interse
c
tion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
add isl_ba
s
i
c
_
s
et_fas
t
_
i
s_empty
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n
Verdo
o
laeg
e
update
p
i
p
lib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
isl_tab
.
c: store numbe
r
of eq
u
aliti
e
s
among the constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verd
o
olaege
isl_mat_ex
t
end: properl
y
e
x
tend matrices with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl
_
m
ap_gis
t
: h
a
ndle some special
ca
s
es
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
add isl_map_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
add isl_b
a
sic_map_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_b
a
sic_map_gist: rep
l
ace by
n
ew
v
e
r
sion based o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_map_sim
p
lify
.
c
: com
p
ute_eliminati
o
n_index: do
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add isl_map_impli
c
it
_
equ
a
l
i
t
i
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
add is
l
_
basic_set_fre
e
_equali
t
y
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_ma
p
_
convex_hull:
mark result as n
o
t having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaeg
e
convex_
h
u
l
l
:
coalesc
e
set
first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
a
dd isl_set
_
coalesce
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Ve
r
doolae
g
e
isl
_
input_omega
.
c: basic_map_read: accept "
+
"
in constraints
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaege
a
d
d
i
sl_ba
s
ic_set
_
alloc_div
commit
|
commitdiff
|
tree
next