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: don't create new undo records during rollback
2009-07-13
Sve
n
Ve
r
doolaege
isl_tab: don't crea
t
e n
e
w undo records during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
isl
_
tab_min: use genera
l
rollback m
e
chanism
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoo
l
aege
i
sl_tab: optionally save
d
ual solution
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doola
e
ge
isl_tab: add
i
sl_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
o
l
aege
ex
p
ort is
l
_
t
ab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
add
isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n V
e
r
dool
a
ege
privately export
i
sl
_
basic_set_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
V
e
rdoolaege
isl_c
o
nvex_
h
ull
.
c
: add missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolae
g
e
p
rivately e
x
por
t
i
s
l_ba
s
ic_set_line
a
lity_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_vec
:
keep track
o
f isl_
c
t
x
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_
c
oalesce
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven
V
erdoolaege
update pip
l
ib
f
or
c
hange
in confi
g
ure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
isl
_
basic_map
_
drop_red
u
n
d
ant_divs:
co
a
l
esce div
s
i
f
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Ver
d
oolaege
isl_
b
asic_map_
d
rop_r
e
dundant_d
i
v
s: set div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
isl_basic_map_drop
_
r
e
d
undant_d
i
vs: drop
more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdool
a
ege
isl_map_c
o
mpute_divs: drop ob
v
i
o
usly redun
d
ant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ver
d
oo
l
aege
i
sl_map_piplib
.
c:
e
xtremum_on: detect equalities fi
r
st
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdo
o
laege
i
s
l_pip_
b
asic_
m
ap_
c
o
mpu
t
e
_
divs: remove some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
isl_pip_basic_map_co
m
pute_divs: separate out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoola
e
ge
isl_basic_set_preimage:
h
andle
divs
i
n input
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdo
o
l
a
ege
isl_input_o
m
ega
.
c:
make variable_{free,ne
w
}
static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl
_
m
a
p
.
c:
m
a
ke
a
d
d_
d
ivs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_ba
s
ic_m
a
p_simplify:
detect div co
n
strai
n
ts while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
laege
isl_
b
asic_map_drop: p
r
operly handle dimensio
n
s of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add i
s
l_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaege
add is
l
_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
la
e
ge
add isl_seq_fdiv
_
r
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verd
o
o
laege
isl_basic_map_detect_
e
qualities: p
r
operly han
d
le e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Ver
d
oolae
g
e
is
l
_
b
asic_m
a
p
_
i
s_
e
m
p
ty:
explicitly m
a
rk basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
isl_map
.
c: o
r
der_di
v
s: swap with correct
div
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdoolaege
isl_ma
p
_coal
e
sc
e
: r
e
mo
v
e e
x
t
r
a d
i
vs i
n
trodu
c
ed by is
l
_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoola
e
ge
add
i
sl_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Verdoolaege
a
dd isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
ex
p
ort isl_
m
ap_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_ma
p
_conve
x
_
hull: handle unbounded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
privately e
x
po
r
t isl_m
a
t_unimodular_compl
e
te
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_
t
ab
.
c: a
d
d
i
s
l_
t
a
b
_ge
t
_sa
m
pl
e
_va
l
ue
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
is
l
_map_conve
x
_
h
ul
l
: avoid i
n
troducing line
a
lit
y
spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add two mo
r
e convex hull test cases
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Ve
r
doolaege
i
s
l_ma
p
_convex
_
hull:
r
e
m
ove linea
l
ity spa
c
e if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add is
l
_
ba
s
ic_set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add i
s
l_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erd
o
olaege
isl_conve
x
_h
u
ll
.
c
:
upda
t
e wrap_fac
e
t to t
h
e fa
c
t we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
er
d
oolaege
isl_co
n
vex_h
u
ll
.
c: fix typo i
n
com
m
ent
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verd
o
olaege
i
s
l_coa
l
e
sce
.
c
:
fix typo in co
m
m
e
n
t
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolaege
is
l
_tab
.
c
:
fix typo in co
m
m
e
nt
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verd
o
olaege
c
onfi
g
ure
.
i
n
: set AC_CO
N
FIG_MA
C
RO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
add isl_basic_set_ge
t
_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oolaege
i
s
l_basic_map_gist:
n
ormali
z
e d
i
vs (if any) in con
t
ext
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_basic_
m
a
p
_simplify
:
remove duplicate
d
iv
s
bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoola
e
ge
add
isl_basic_
s
et_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
change cal
l
i
n
g
c
o
n
v
enti
o
n
of
i
sl_basic_ma
p
_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoo
l
aege
i
sl_map
_
s
implif
y
.
c: u
s
e
t_gist: break early if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
isl_map_simplify
.
c: uset_gist: br
e
a
k ear
l
y
i
f inte
r
sect
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
a
d
d isl_basic
_
set_fast_is_empt
y
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
update piplib t
o
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verd
o
ol
a
ege
isl_t
a
b
.
c: store number
o
f equali
t
ies among the c
o
n
strai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
isl_m
a
t_extend: pro
p
erly exte
n
d matri
c
es wi
t
h reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
m
ap_gist: h
a
ndle some
s
peci
a
l cas
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d isl_map_unive
r
se
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_basic_map_fast_is
_
empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basi
c
_map_gi
s
t: replace
by new versio
n
based
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
oolaege
isl_map_simplify
.
c
: compute_
e
liminati
o
n_index:
don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
add isl_m
a
p
_i
m
pl
i
cit_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
dd
isl_basic_set_free_eq
u
al
i
ty
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdo
o
laege
isl_map
_
c
on
v
ex_hul
l
: mark result
a
s not
h
a
v
ing
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
convex_hull: coalesce
set first
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
a
dd isl_
s
e
t
_coale
s
ce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_input_omega
.
c: bas
i
c_map_read:
a
ccept "+
"
i
n
constraints
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
add i
s
l_basic_se
t
_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
add isl_set
_
a
l
ign
_
di
v
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolae
g
e
uset_affi
n
e_hu
l
l: i
g
nore
d
i
r
ections
i
n
affin
e
hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_basic_map_i
m
plic
i
t_equa
l
ities: perfor
m
Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
ge
isl_affi
n
e_h
u
ll
.
c: outside_po
i
nt: check for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Ver
d
oolaege
privately export isl_b
a
sic_set
_
contains
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdo
o
laege
isl_ctx: add neg
o
ne
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rd
o
olaege
i
sl_vec
_
dump:
h
a
ndle
NUL
L
vec
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
do
o
laege
isl_affine_hul
l
.
c: extract uset_affine_
h
ull
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verd
o
ol
a
ege
isl_ma
t
_transp
o
se: handle n
o
n
-r
e
c
t
angular
m
a
t
r
i
c
es
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
doolaege
isl_map_
s
impl
e
_hull: c
o
mpute affine hul
l
before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
i
s
l_map_si
m
ple_hull: mark result as not having
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
a
d
d isl_set_boun
d
e
d
_
s
imp
l
e
_
hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_map_affine_hul
l
:
det
e
ct equ
a
l
i
ties
of i
n
t
eger affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
doolaege
isl_ba
s
ic_map_
d
up: copy flags of
o
rig
i
nal
t
o dupl
i
cate
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_bas
i
c
_
map_extend_dim: move responsib
i
lity of co
w
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdool
a
eg
e
i
s
l_basic_map_extend_d
i
m: only extend
c
o
n
stra
i
nt
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoola
e
ge
isl_solve_lp: use tableaus
instead o
f
c
al
l
i
ng piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_solve_
l
p
:
ac
c
ept
a
f
fin
e
object function
in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_simple_hull: u
s
e hash tables and t
a
b
leaus
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_convex_hull
.
c: extract out uset_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
i
s
l_con
v
ex_hull
.
c: extend: avo
i
d
wrapp
i
ng aro
u
nd a
l
r
eady
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
oolaege
is
l
_
c
onvex_hull
.
c: in
t
roduce proto
_
hull
bas
e
d on
o
b
v
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_convex_hull
.
c: move initial hull construction
into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ver
d
oolaege
i
sl_convex_hull
.
c: move computation o
f
bo
u
nd
s
into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_convex_hull
:
check fo
r
boundedness usin
g
rece
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_basic_
m
ap_
c
onvex_hull: use
t
abl
e
a
u
to detect r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_
a
ffine_
h
ul
l
.
c: use tableau to
d
et
e
c
t im
p
licit e
q
ualities
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoola
e
ge
i
s
l_tab
.
c
:
do
n
't detect equalities while setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolae
g
e
ad
d
internal representa
t
ion
o
f LP
tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d isl_mat_extend
commit
|
commitdiff
|
tree
next