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: store undo argument in a union for future extensions
2009-08-07
S
ven Ver
d
oolaege
isl_tab
:
store undo argument in
a union
f
or fut
u
re
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oo
l
aeg
e
add isl_basic_set_sampl
e
_bo
u
nded
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoola
e
g
e
privat
e
ly expo
r
t isl_basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolae
g
e
i
sl
_
map_simplify
.
c: remove_dependent_vars: only
r
emove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_basic_map_c
o
mpute_divs: use isl_basic_set_le
x
min
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaeg
e
isl_
p
ip_basic
_
ma
p
_c
o
m
p
u
te_div
s
: don't turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
erd
o
olaege
p
rivately export isl_basi
c
_
map_swa
p
_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
i
sl_
{
set,map}_add: don't add obviously
e
mpty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Ver
d
oolaege
combine isl_pip
_
basic_map
_
lex{min,max} i
n
to
i
s
l_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdo
o
laege
make
p
i
plib h
e
aders private
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verdo
o
laege
isl_mat: keep track of the actual numb
e
r of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ve
r
doolaege
isl_t
a
b_p
i
vot: fi
x
typo th
a
t pr
e
vented no
r
m
alization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set_positive_ortha
n
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set_partial_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
S
ven
Verdoolaege
rename
isl_basic_map_lex{min,ma
x
}
to isl_ba
s
i
c
_
m
ap_partia
l
_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
do
o
laege
add isl_basic_set_
f
r
ee
_
div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
a
ege
isl_set_
d
im: support is
l
_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
ae
g
e
i
sl_tab: store index of var
i
abl
e
in undo recor
d
instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add
i
s
l
_
{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n V
e
rdool
a
ege
add
isl_basic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
V
e
rdoolaege
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolae
g
e
e
x
port isl_mat
_
dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
i
sl_
t
ab
.
c: mark_redun
d
ant
:
onl
y
mark variable no
n
neg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoola
e
ge
isl_tab
.
c: to_
r
ow: allow pi
v
oting in
arbitrary direc
t
ion
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n Verdool
a
ege
i
s
l
_tab
.
c: sim
p
lif
y
code by let
t
ing mark_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
ad
d
isl_seq_last_non_
z
ero
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verd
o
olaege
i
s
l_t
a
b
.
c: simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
i
sl_tab
.
c
:
extract allocate_c
o
n
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Ver
d
oolaege
privately export isl
_
b
asic_set_
s
et_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aeg
e
configu
r
e
.
ac: e
x
pl
i
citly set A
C
_CONFIG_AUX_
D
IR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
co
n
vex_h
u
ll
:
coalesce set during face
t
com
p
u
t
a
tion
commit
|
commitdiff
|
tree
2009-07-21
Sven
Verdoolaege
i
sl_ma
p
_coalesce:
don't drop rational flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
S
ven
V
e
rdoolaege
isl_tab_cone_is_boun
d
ed: start
o
ver
a
fte
r
computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
Verd
o
olaege
isl_tab: drop isl
_
ctx argument where not a
b
solutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
v
en Ver
d
oolaege
i
s
l_ma
t
: kee
p
track of isl_ct
x
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n
Verdo
o
lae
g
e
isl_bas
i
c
_
s
et_
s
ample:
don't projec
t
o
ut linealit
y
s
pa
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
isl_basic_map_
f
i
x_pos: mic
r
o-o
p
timizati
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
mo
v
e
is
l
_basi
c
_set_sk
e
w_to
_
posi
t
ive_ortha
n
t to isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
ven Ve
r
doolaege
isl_tab
.
c
: fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoo
l
aege
isl_basic_set_sample
:
break early if sam
p
l
e
found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdo
o
l
aege
export isl_tab_
s
ample_is_
i
n
teger
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Ve
r
doo
l
aeg
e
isl_ba
s
ic_s
e
t_sample:
c
heck sample sto
r
ed
b
y
is
l
_basi
c
_
m
a
p_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
is
l
_
b
a
sic_map_i
s
_empty: remo
v
e stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
add isl_polyhedr
o
n_sam
p
le applica
t
ion
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
introduce g
e
neralized bas
i
s r
e
duction
bas
e
d
sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
add isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
isl_sample
.
c: inter
v
a
l
_s
a
mple: drop redunda
n
t argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sample
.
c
:
c
lean
u
p handling of line
a
lity space
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdo
o
l
aege
isl_sam
p
l
e
.
c: extract out sa
m
ple_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_
s
ample
.
c:
i
nte
r
val_sample:
han
d
le eq
u
alit
i
es dir
e
ctly
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
olae
g
e
isl
_
s
ample
.
c: ext
r
a
c
t
ou
t
em
p
ty_sample
commit
|
commitdiff
|
tree
2009-07-13
S
v
en V
e
rdoolaege
isl_s
a
mp
l
e
.
c
:
generali
z
e
point_sampl
e
to
z
ero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ve
r
doolaege
isl_
t
ab:
don't create new
u
ndo records during rollba
c
k
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
erdoolaege
i
sl
_
t
ab_min:
u
se general
r
ollback mechan
i
sm
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
isl_tab:
o
p
tionally save dual
s
olutio
n
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
ola
e
ge
isl_tab
:
add isl_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
export isl_t
a
b_al
l
oc
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
a
dd
isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Verd
o
o
laege
pri
v
ately export isl_bas
i
c_set_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
isl_
c
onvex_hu
l
l
.
c
:
add
m
issing as
s
ignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
o
olaege
privately export isl_basic
_
set_l
i
neality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
isl_vec: keep tr
a
ck of isl_c
t
x
commit
|
commitdiff
|
tree
2009-07-12
Sve
n
Verdoola
e
g
e
isl_coalesce
.
c
:
f
i
x ty
p
o
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdo
o
la
e
ge
update piplib for change in config
u
re arguments
commit
|
commitdiff
|
tree
2009-06-11
S
v
en
V
erdoo
l
a
e
ge
i
sl_basic_map_d
r
op_redun
d
ant
_
divs: coal
e
sce div
s
i
f
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oo
l
aege
is
l
_
b
asic_map
_
drop_re
d
u
ndant_divs: set
div expr
e
ssi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_basic_map_drop_redundant_di
v
s:
d
rop more
k
inds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_co
m
p
u
te_
d
ivs: drop obvio
u
s
ly redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Ver
d
o
o
laege
isl_map_pipli
b
.
c: extr
e
mum_on:
d
etect
e
qualities first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
p
i
p
_basic_map_c
o
mpute_divs: remove
some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
ola
e
ge
isl_
p
ip_basic
_
m
a
p_com
p
ute_di
v
s: sep
a
rat
e
out dimensi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
er
d
oolae
g
e
i
sl
_
basic_set_preimage: handle divs in i
n
put
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_input_
o
mega
.
c: make
v
a
r
iable_{free,n
e
w} static
commit
|
commitdiff
|
tree
2009-06-11
S
ve
n
Verdoo
l
aege
i
s
l
_
m
a
p
.
c: mak
e
a
d
d_divs
s
tatic
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdool
a
ege
i
sl_basic
_
map_
s
implify: detect di
v
constrain
t
s while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_m
a
p_drop: properly
h
and
l
e di
m
ens
i
on
s
of typ
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
laege
add isl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoolaege
a
d
d isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
e
r
doolaege
add isl_s
e
q
_fdi
v
_r
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
i
s
l
_basic_map_
d
et
e
ct_
e
qua
l
ities
:
pr
o
perl
y
handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
olaege
isl_basic_
m
ap_is_empty: explicitly mar
k
basi
c
s
et
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
e
r
d
oolaege
i
sl
_
m
a
p
.
c:
o
r
der_divs: s
w
ap with correct d
i
v
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdo
o
laege
isl_map_coalesce: remove e
x
tra d
i
vs intr
o
d
uced by isl_m
a
p_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
ven Verdoolaege
add isl_ma
p
_coales
c
e
commit
|
commitdiff
|
tree
2009-05-19
Sven
Verdoolaege
add isl_s
e
t
_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
e
x
port isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaeg
e
isl_ma
p
_conve
x
_h
u
ll:
handle unbo
u
nded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
p
r
ivatel
y
export isl_
m
at_unimodular_
c
o
m
p
l
ete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaege
isl_tab
.
c: add is
l
_tab_get_sample_valu
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map
_
conv
e
x_hull:
a
void int
r
od
u
cing
l
ineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
d
o
o
laege
add tw
o
mor
e
c
o
nvex hull te
s
t cases
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolaege
isl_map_convex_h
u
ll
:
remove li
n
eality space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
ad
d
is
l
_basic_se
t
_is_uni
v
erse
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaege
add isl_set_get_d
i
m
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoolae
g
e
isl_convex_hu
l
l
.
c:
upd
a
te wrap_fa
c
et to the fa
c
t
we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verdo
o
laege
i
s
l_convex_hull
.
c
:
fix typo in commen
t
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_coa
l
esce
.
c: fix
t
ypo in commen
t
commit
|
commitdiff
|
tree
2009-05-05
S
v
e
n
Verd
o
olaege
isl_tab
.
c
:
fix
typo in
c
o
mment
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
ege
add isl
_
basic_s
e
t_get_dim
commit
|
commitdiff
|
tree
next