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
privately export isl_basic_set_order_divs
2009-08-07
Sv
e
n
V
erdoolaege
privat
e
ly expo
r
t i
s
l_b
a
sic_s
e
t_order
_
divs
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_map_simplify
.
c: r
e
move_dependent_
v
ars: o
n
ly
remov
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_
b
as
i
c_m
a
p
_compute
_
d
i
vs
:
us
e
is
l
_bas
i
c
_
set
_
lex
m
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n V
e
rdoolaege
isl_pip_basic_map
_
compute_divs: don't
t
ur
n
d
i
vs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verd
o
olaege
priva
t
el
y
export isl_
b
as
i
c_
m
ap_swap_di
v
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_{set,map}
_
add:
do
n
't add obv
i
ously
e
mpty b
a
s
i
c
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
combine isl_pip_basic_map_lex{min,m
a
x} into isl
_
pip_ba
s
ic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
make piplib headers
p
rivat
e
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
erdoo
l
aege
isl_mat: keep t
r
ac
k
of the actual num
b
er
o
f columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdo
o
laege
isl_
t
ab
_
pivot:
fix typo that
p
r
e
ve
n
ted normali
z
ation
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
a
dd is
l
_basic_set_
p
ositiv
e
_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
add is
l
_b
a
s
ic_set_partial_l
e
x{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
renam
e
i
s
l
_ba
s
ic_map_
l
ex{min,max} to isl_ba
s
ic_map_partial
_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolae
g
e
add isl_basic
_
set_f
r
e
e_d
i
v
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_set_d
i
m: support
i
sl_dim_
a
ll
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
e
rdoolaege
isl_tab: sto
r
e
ind
e
x of
v
ari
a
ble in undo reco
r
d ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdoolaege
add isl_{set,map
}
_grow
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verd
o
olaeg
e
add
i
sl_map
_
get_
d
im
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ve
r
doolae
g
e
add
isl_basic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdool
a
e
ge
add i
s
l_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
e
x
port isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolae
g
e
isl_tab
.
c
:
mark_redundan
t
: on
l
y mark v
a
riable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoo
l
aege
isl_tab
.
c
:
to_r
o
w: a
l
low p
i
voting in arbitra
r
y dir
e
ction
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdo
o
l
aege
isl
_
t
a
b
.
c
: simpli
f
y
c
o
de
b
y
letting mark_emp
t
y return ta
b
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
doolaege
a
dd isl_seq_last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n
Verdoolaeg
e
isl_tab
.
c: sim
p
lify
a
dd_eq
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoo
l
ae
g
e
i
s
l_tab
.
c: extract a
l
locate_co
n
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
privately
export
i
sl_b
a
sic_set_set_r
a
t
io
n
al
commit
|
commitdiff
|
tree
2009-07-22
S
ven
V
e
rdoolaege
configure
.
ac: expli
c
itl
y
set AC_
C
ONFIG_
A
U
X_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
ol
a
ege
c
onvex
_
hull: c
o
alesc
e
set during
f
acet c
o
mputati
o
n
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
V
erdoolaeg
e
isl_
m
ap_coalesce: don't drop
r
ational flag
f
rom r
e
s
u
lt
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdo
o
laege
isl_t
a
b_cone_is_bounded
:
s
t
art over after computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaege
isl_basic_s
e
t_dim_residu
e
_class
:
o
nly set *modulo
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdoolaege
add is
l
_basic_set_fast_dim
_
is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Ver
d
o
olaege
i
s
l_ta
b
: drop isl_ctx argum
e
nt where not absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
ven Verdoolaege
isl_m
a
t:
keep track of i
s
l_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolae
g
e
i
s
l_basic_set_
s
ample:
d
o
n
't pr
o
ject out lineal
i
ty space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
isl_basic_map_fix_p
o
s: micro-optimiza
t
ion
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
m
ove isl_
b
a
s
ic_set_skew_to_positi
v
e_orthant to
i
s
l
_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
lae
g
e
i
s
l
_
tab
.
c
: fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
isl_
b
asic_s
e
t
_sample: break ear
l
y if sample foun
d
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
g
e
exp
o
rt i
s
l_tab
_
sample_is_inte
g
e
r
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
isl_bas
i
c_s
e
t
_
sample:
c
h
eck sample st
o
red by is
l
_
ba
s
ic_map_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
e
g
e
isl_basic_map_i
s
_
e
m
pty
:
remove
s
tale
s
ample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add isl_
p
olyhedron_s
a
mple ap
p
licati
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdool
a
ege
introdu
c
e gen
e
ralized basis red
u
ct
i
on based sam
p
ling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
add is
l
_seq_cd
i
v_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
sl
_
sample
.
c: interval_sampl
e
: dro
p
r
e
dun
d
ant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l_sa
m
ple
.
c: clea
n
u
p
h
andling
o
f lin
e
ality space
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
do
o
laege
isl_sample
.
c
: extract o
u
t sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
is
l
_sample
.
c: interval_sample: handle equalities
dir
e
ctly
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
is
l
_sa
m
ple
.
c: ex
t
r
a
ct ou
t
empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
o
laege
i
s
l_
s
ample
.
c:
g
eneraliz
e
p
oint_s
a
mple to
z
ero_sampl
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: don't c
r
eate new undo reco
r
d
s
d
uring rol
l
back
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolae
g
e
isl_
t
ab
_
min
:
us
e
g
e
nera
l
r
o
ll
b
ack
m
echa
n
ism
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ver
d
oolaege
is
l
_
t
a
b: optionally sa
v
e du
a
l
sol
u
tion
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
isl_tab: add isl_t
a
b_ad
d
_valid
_
e
q
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
export isl_tab_
a
lloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
e
g
e
ad
d
isl_i
n
t_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
p
rivately exp
o
r
t
isl_basi
c
_set_r
e
cession
_
co
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
isl_c
o
n
vex_h
u
ll
.
c: add missing ass
i
gn
m
ent
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately export is
l
_basic_set_lineality_spac
e
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolae
g
e
is
l
_
v
ec: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Ver
d
oola
e
ge
isl_coal
e
sce
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoola
e
g
e
update pip
l
i
b for
c
han
g
e in configure arguments
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verd
o
olaege
isl
_
b
a
sic_map_drop_redundant_div
s
: co
a
lesce divs
i
f
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_basic_
m
ap_drop_redundant
_
di
v
s: set div
express
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
basic_map_drop
_
re
d
undant_divs: dro
p
more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
rdoola
e
ge
isl_map_comp
u
te
_
d
i
vs
:
drop obvious
l
y redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_m
a
p_piplib
.
c: extremum_on: detect equali
t
ies
fir
s
t
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
i
s
l
_pi
p
_
b
a
s
ic_
m
a
p
_compute_d
i
vs: remov
e
some equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
o
o
laege
isl_pip_
b
asic_map_compute
_
divs: separa
t
e
ou
t
dimen
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
isl_
b
asic_set_preimage:
handle divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_input_omega
.
c: make
v
a
riable_{free,ne
w
}
stat
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
i
sl_map
.
c
:
make
a
dd_divs
s
tatic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_simpl
i
f
y
:
detect
div constrai
n
ts while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en V
e
rdoo
l
ae
g
e
isl_basic_map_drop
:
prop
e
rly h
a
ndle
d
imen
s
ions
o
f
type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doolaege
add isl_int_mu
l
_u
i
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
olae
g
e
add
i
s
l
_seq
_
fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erd
o
olaege
add isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoolaege
isl_
b
asi
c
_map_
d
etect_equalities: p
r
operly
h
andle emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoo
l
aege
isl_basic_map
_
i
s
_em
p
ty: ex
p
lic
i
tly mark basi
c
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_map
.
c: order_divs:
s
wa
p
with cor
r
ect div
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Ver
d
ool
a
e
g
e
isl_map_co
a
l
esce: remove extr
a
divs intr
o
duce
d
b
y is
l
_map
_
al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
add
i
s
l
_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
add i
s
l_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n Verd
o
o
laege
e
x
port isl_
m
ap
_
dim
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
is
l
_map_convex_hul
l
:
h
andle unbounde
d
,
b
ut po
i
nted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaege
p
rivately export isl_mat
_
unimodu
l
ar_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaeg
e
isl
_
t
ab
.
c
:
a
dd
i
sl_t
a
b
_
get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
is
l
_
m
ap_convex_hull: avoi
d
introducing lineality spa
c
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoo
l
aege
a
dd two more
c
onvex hull tes
t
cases
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoolaege
isl_
m
ap_convex_hull
:
remove line
a
lity
space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add isl
_
basi
c
_set_is_unive
r
se
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aege
add isl_
s
et_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
e
r
doo
l
aege
isl_convex
_
hull
.
c
:
update wrap_facet t
o
the fact
we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoo
l
aege
isl_convex_hull
.
c: fix typo in commen
t
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oolaege
isl_coal
e
sce
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
S
ven V
e
r
d
oolaege
is
l
_
tab
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoo
l
a
e
g
e
configure
.
in:
s
e
t
A
C_
C
ONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
next