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
add isl_basic_set_partial_lex{min,max}
2009-08-07
Sven Ve
r
doolaege
ad
d
i
s
l_basic_set_pa
r
tial_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
r
ename isl_basic_map_lex{min,max} to
isl_ba
s
ic_map_
p
a
rt
i
al_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
dd isl_basic_set_fre
e
_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
s
et_dim:
support is
l
_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoola
e
ge
isl_tab: store i
n
dex of vari
a
ble in undo record in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
rd
o
olaeg
e
add
isl_{set,m
a
p}_gr
o
w
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
d
d isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
add isl_basic_m
a
p_get_
d
i
m
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaege
add
is
l
_
tab_dup
commit
|
commitdiff
|
tree
2009-08-04
S
ven Ver
d
o
o
laege
export isl_mat_
d
up
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
r
d
oolaege
isl_ta
b
.
c: mark_redunda
n
t: only mark variab
l
e nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
a
e
ge
isl_tab
.
c: to_row: all
o
w
p
ivoting in arbitrary direction
commit
|
commitdiff
|
tree
2009-08-04
Sven
Ver
d
o
o
la
e
ge
isl_tab
.
c: simplify
code by l
e
t
t
i
n
g
ma
r
k_e
m
pty
r
e
t
urn tab
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verd
o
o
l
aege
a
dd
isl_
s
eq
_
l
a
st_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
lae
g
e
isl_
t
ab
.
c: s
i
mplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_
t
ab
.
c: extra
c
t al
l
ocate_
c
on
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
p
rivately ex
p
ort isl_basic_set_se
t
_ra
t
iona
l
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
configure
.
ac: expli
c
itly
set AC
_
C
ON
F
I
G
_
AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdo
o
laege
co
n
vex_hull: co
a
l
esce set during
facet c
o
mputation
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
erdoolaege
i
sl_map_coalesce: d
o
n'
t
drop rational flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
d
o
o
laege
isl_tab_co
n
e_is_bound
e
d: start
over after co
m
pu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Ver
d
oolaege
isl_basic_set_dim_residue_class: on
l
y set *modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolae
g
e
isl_tab: dro
p
isl_ctx argum
e
nt where no
t
ab
s
olutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaeg
e
isl_mat: keep trac
k
of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_
b
asic_set_sample:
d
on't pr
o
ject out
l
ineality s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
d
oo
l
aege
is
l
_basic_map_fix_pos: micro-opti
m
izati
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
m
ove isl_basic_
s
et_skew_t
o
_positive_or
t
h
an
t
to is
l
_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
d
o
o
l
a
e
ge
isl_tab
.
c: fix typo
in
c
omment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
o
laege
i
sl_
b
asic_s
e
t_sample: break early if
s
ample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
exp
o
r
t
isl_t
a
b_sa
m
ple_is_integer
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoo
l
aege
isl_basic_set_
s
a
m
ple: chec
k
sample stored by isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdool
a
ege
isl_basic_map_is_emp
t
y
:
r
e
m
ov
e
stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
add isl_p
o
lyhedron_
s
ample
a
pplication
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
in
t
roduce gen
e
r
a
li
z
ed basis r
e
d
u
ct
i
on based s
a
mpling
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdool
a
ege
add isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdool
a
e
ge
isl_sa
m
ple
.
c: inte
r
val_s
a
mple: dr
o
p redundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_s
a
mple
.
c
:
clean
u
p hand
l
in
g
of lineal
i
ty space
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
is
l
_sample
.
c
: extract ou
t
sample
_
eq
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaeg
e
is
l
_
s
ample
.
c
:
interv
a
l_
s
ampl
e
: han
d
le eq
u
a
l
ities direct
l
y
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ve
r
doolae
g
e
i
s
l_sample
.
c: extract out em
p
ty_sa
m
ple
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
V
e
r
doola
e
ge
is
l
_sample
.
c: gene
r
alize poin
t
_sample
t
o zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
i
s
l_tab:
don't cre
a
te new undo r
e
co
r
ds dur
i
ng rollback
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
V
erdoolae
g
e
isl
_
tab_min: us
e
g
e
neral rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verd
o
olaege
isl_tab: option
a
lly s
a
ve
d
ual solutio
n
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ver
d
o
o
laege
isl_tab:
a
dd isl
_
tab_add_
v
alid
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
o
laege
expo
r
t isl_
t
a
b
_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
add
isl_int_l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
o
laege
private
l
y export isl_basi
c
_set_re
c
e
s
s
i
on_cone
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
i
s
l_
c
o
nvex_hull
.
c:
a
d
d missing as
s
ig
n
m
ent
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
privately
e
xport
i
sl_basic_set_lineality_s
p
ace
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
eg
e
i
sl_vec: ke
e
p track
o
f isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdo
o
laege
isl_co
a
lesce
.
c:
fix
t
y
p
o
commit
|
commitdiff
|
tree
2009-06-13
S
ven Verdoolae
g
e
update pipli
b
for chang
e
in configure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Ver
d
oo
l
ae
g
e
i
s
l
_basic_map_drop_redundan
t
_
d
i
vs: coalesce div
s
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
is
l
_basic_map_drop_r
e
dundant_divs: s
e
t
d
iv
e
xpression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_basic
_
map_drop_redu
n
dant_divs: drop mo
r
e kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n Ver
d
oolaeg
e
i
s
l_map_compute_divs
:
d
r
op obviously redun
d
a
n
t divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
is
l
_m
a
p_piplib
.
c:
extre
m
um_
o
n: detect equalitie
s
first
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
ool
a
ege
i
sl_pip_bas
i
c_map_com
p
ute_divs: remove some equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
ge
i
s
l
_p
i
p_b
a
sic_map_c
o
mpute_divs:
s
eparate out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoola
e
ge
isl_basic_se
t
_preimage:
hand
l
e
divs in inp
u
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
i
sl_input
_
omega
.
c
:
m
a
k
e
v
a
riable_{free,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Ver
d
oolaege
is
l
_map
.
c
:
make add_divs s
t
atic
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdool
a
ege
isl_b
a
sic
_
map_s
i
mplify: detect d
i
v constraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Ve
r
doolaege
isl_ba
s
ic_map
_
drop: p
r
operly ha
n
dl
e
di
m
ens
i
ons of ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add
isl_int_mu
l
_
ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add
i
s
l_s
e
q_f
d
iv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdoolaege
add isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
isl_basic_map_detect_equalities: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_bas
i
c
_
map_
i
s_em
p
ty: expl
i
c
i
tly mark bas
i
c
s
ets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Verdoolaege
i
s
l_map
.
c: order_divs: swap with c
o
r
rect div
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
isl
_
map_
c
oalesce: remove extra divs
i
ntr
o
duced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
add isl_
m
a
p_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n Verdoolaege
add isl
_
set_pro
d
uct
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Verd
o
o
laege
export isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_convex_hul
l
: h
a
n
d
l
e u
n
bounded, b
u
t pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n
Verdoolaege
privately e
x
port
isl_ma
t
_unimodular_com
p
lete
commit
|
commitdiff
|
tree
2009-05-06
S
v
en
V
e
rdoolaeg
e
isl_tab
.
c:
add isl_tab_ge
t
_sam
p
l
e
_
value
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
isl_ma
p
_convex
_
h
u
ll: avoid in
t
r
o
ducing lineality
s
paces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoola
e
ge
add tw
o
mor
e
convex h
u
l
l test
c
ases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_m
a
p_convex_
h
ull: remove lineality s
p
ace if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
a
dd isl_bas
i
c
_
set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
a
dd isl
_
s
et_ge
t
_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oolaege
isl_convex_hull
.
c: update wrap_fa
c
e
t
to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdoolaege
isl_convex_hull
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erd
o
olaege
i
s
l
_coalesce
.
c
: fix
t
y
p
o
in
c
o
mment
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verd
o
ol
a
ege
isl
_
t
a
b
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
con
f
igure
.
in: set AC_C
O
NFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
o
o
la
e
ge
a
dd i
s
l_basi
c
_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
isl_basic_map_gist:
n
or
m
alize divs
(
if
a
ny) in conte
x
t
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
isl_b
a
si
c
_map_simplify: r
e
move duplicate div
s
b
efor
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Ver
d
oolaege
add isl_basic_set_div
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
change
calling convent
i
on of isl_basic
_
map_div
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n
V
erdoolaege
isl_map
_
simplif
y
.
c
:
u
s
et_gist: br
e
ak e
a
rly if the
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_
s
implify
.
c:
uset_
g
is
t
:
brea
k
early i
f
intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ve
n
Verdoo
l
aege
add isl_
b
a
si
c
_se
t
_fast_is_e
m
p
t
y
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
o
olaege
update pipli
b
to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
isl_tab
.
c
: store number of
e
qualities a
m
ong t
h
e co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolae
g
e
isl_mat_exten
d
: prope
r
ly extend
matrice
s
w
ith
reorde
r
ed
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_map_gist: handle
som
e
speci
a
l
ca
s
es
commit
|
commitdiff
|
tree
next