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_set_fast_is_empty
2009-10-07
S
v
e
n V
e
rdoolaege
p
rivately
export isl_basic
_
set_add_{in
,
}eq
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoo
l
aege
priva
t
ely export isl_
b
asic_s
e
t
_sample_with_cone
commit
|
commitdiff
|
tree
2009-10-07
S
v
e
n
Verdoolaege
add isl_basi
c
_set_un
d
erlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
o
olaege
isl_
t
ab
.
c: close_row: push un
d
o record for setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add is
l
_
ma
t
_vec_i
n
verse_product
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
olaege
add
isl_
m
a
t
_concat
commit
|
commitdiff
|
tree
2009-10-07
S
ven
Ver
d
oo
l
ae
g
e
add isl_i
n
t_div
e
xact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven
V
erdool
a
ege
a
d
d isl_set_dim_residue_class
commit
|
commitdiff
|
tree
2009-10-03
Sv
e
n
V
e
r
doolaege
fix
l
ong standi
n
g
bug in is
l
_mat_inverse_product
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoolaege
add isl_basic_map
_
foreach_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set
_
project_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
olaege
add isl_
s
et_detect_equaliti
e
s
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
Verdoolaege
a
d
d
isl_set
_
foreach_basic_
s
et
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoolaege
a
dd isl_set_
l
i
f
t
i
ng
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erdoolaege
isl_dim_size: check
a
rgument
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoola
e
ge
export isl_mat header
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
e
rdoolaege
add
i
sl_basic_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoo
l
aege
add isl_map
_
foreach_b
a
sic_map
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaege
c
onfigu
r
e
.
ac: fix cut-and
-
paste er
r
or in
original
c
ommit
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erdoolaege
add
i
s
l_int_get_si
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdool
a
ege
export isl_set_sample
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
V
erdoolaege
add isl
_
b
asi
c
_set_uni
v
er
s
e_like_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_is
_
strict_subs
e
t
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
add isl_set
_
universe_like
commit
|
commitdiff
|
tree
2009-09-20
Sven Ver
d
oo
l
aege
AX_
S
UBMO
D
U
L
E: set PKG_
C
ONFIG_P
A
TH
commit
|
commitdiff
|
tree
2009-09-20
Sven V
e
rdoolaege
creat
e
pkg-co
n
fig file
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
AX_SUBMODULE: drop
options that are meaningle
s
s
given
.
.
.
commit
|
commitdiff
|
tree
2009-08-30
Sven
V
e
r
doolaeg
e
add isl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl_map_f
l
oordiv
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
V
e
rdoolaege
add isl_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl_map
_
i
s
_strict
_
su
b
set
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verd
o
olaege
add isl_map_fa
s
t_is_fixed
commit
|
commitdiff
|
tree
2009-08-30
Sven
V
e
rdoolaeg
e
ad
d
isl_
m
ap_identi
t
y_like
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Verdool
a
ege
rename isl_m
a
p_ide
n
t
ity_li
k
e
to isl_map_identity_like_basic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_seq_normalize: us
e
pre-allo
c
ated temporary vari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
laege
add isl_v
e
c_
n
ormalize
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaege
isl_
s
eq_normalize: no ne
e
d to scale down by one
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolaege
add isl_polyhedron
_
m
inimize application
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add generalized ba
s
i
s
r
e
d
u
c
t
ion
based I
L
P solver
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Ver
d
oolaeg
e
a
dd isl_
v
e
c
_mat_product
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaege
export isl_ve
c
_
c
eil
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rd
o
olaege
i
s
l_basic_set_sample: o
n
l
y
p
e
rform basis reducti
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
ven
Ver
d
oolaege
rename isl_solve_lp to isl_basic_{map,set}_solve_l
p
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
is
l
_
solv
e
_
lp: optio
n
ally r
e
turn solution point
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaeg
e
export isl_vec header
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdo
o
laege
ad
d
isl_int_
f
div_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
add is
l
_v
e
c_read_from
_
file
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
o
l
aege
isl_b
a
sic_map
_
dr
o
p_redundant_divs: also investigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
l
a
e
g
e
is
l
_
b
as
i
c
_map_ap
p
ly_{domain,range}: drop redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
sl_map_simplify
.
c: fix t
y
po in comment
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdo
o
laege
isl_ba
s
ic
_
se
t
_project_ou
t
: drop redund
a
n
t d
i
v
s
in result
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_basic_map_remove: only d
r
op d
i
vs if bas
i
c map did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
v
e
n Verdo
o
l
a
ege
isl_bas
i
c_ma
p
_
de
t
ec
t
_equalities: expli
c
itly ke
e
p track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sve
n
Verdoolaege
i
s
l_basic_map_exten
d
_di
m
:
keep hold of sample if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sv
e
n Verdoolaege
isl_tab_min: read of
f
all
information fro
m
tab
l
eau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven V
e
rdoolae
g
e
isl_tab_add_valid_eq: ke
e
p track of whethe
r
equ
a
lity
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verd
o
o
l
ae
g
e
c
o
nfigu
r
e
.
a
c
: no longer
u
s
e
piplib by default
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add
a
n interna
l
pa
r
ametric integer lin
e
ar progra
m
solver
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaeg
e
i
sl_mat_extend: make sure t
h
e
numb
e
r of rows
n
eve
r
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
r
doolaege
isl_af
f
ine_hull
.
c
: only constru
c
t affine hull in boun
d
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
is
l
_tab
:
add supp
o
rt
f
or ke
e
p
ing
t
rack of samples
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_tab: optionally k
e
e
p
track of row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_tab:
a
dd isl_basi
c
_set
f
iel
d
for op
t
ionally kee
p
ing
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl
_
t
ab: introduce
s
up
p
ort for
"big
par
a
meters"
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
i
s
l_tab: all
o
w int
r
o
duction of extra variables
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verd
o
olaege
isl_tab: in
t
roduce par
a
m
eters and di
v
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_
t
ab
.
h: fix
t
ypo in
comment
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
r
d
oolaeg
e
isl_tab: allow
s
a
v
ing and r
e
s
t
oring the complete basis
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaeg
e
i
s
l_ta
b
:
p
r
ivat
e
ly e
x
port some func
t
ionality
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
o
olaege
i
s
l_tab: st
o
re undo argume
n
t in a
u
n
ion for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
add
i
sl_basic_set_sampl
e
_bounded
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Verdoolaege
p
riv
a
te
l
y
exp
o
r
t
is
l
_ba
s
ic_set_order_
d
ivs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl
_
map_s
i
m
p
lify
.
c: re
m
ove_d
e
pendent_v
a
r
s
:
o
nly
r
e
m
o
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl
_
basic_map_comput
e
_divs: use
isl_b
a
sic_set_lexm
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdoolaeg
e
isl_pip
_
b
a
sic_map_compute_divs: don'
t
turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
privat
e
ly export i
s
l
_
basic_map_s
w
ap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_{se
t
,map}_add: don't add obviously e
m
pty b
a
sic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
combine is
l
_pip_basic_map
_
lex{min,max}
into
i
sl_p
i
p
_
basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoo
l
aege
mak
e
piplib he
a
d
e
r
s private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
m
at
:
ke
e
p tra
c
k of t
h
e ac
t
ua
l
number
of colu
m
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab_p
i
vot:
fix typo that prevented normalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set_positive_
o
rthant
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
doola
e
ge
add
i
sl_bas
i
c_se
t
_partial_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
rename isl_basic_map_lex{min,max}
t
o
isl_basic_map_
p
artial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
add isl_basic_set_f
r
ee_div
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Ver
d
oolaege
isl_s
e
t_dim: support isl_d
i
m_a
l
l
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verd
o
ola
e
ge
isl_tab: store index
o
f variable in undo r
e
cord instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add i
s
l_{s
e
t,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ve
r
doolaeg
e
add isl
_
map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
a
d
d isl_basic_m
a
p
_
get_
d
im
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
a
dd
i
sl_tab_d
u
p
commit
|
commitdiff
|
tree
2009-08-04
S
ven V
e
rdoolaege
expo
r
t
isl_mat_d
u
p
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoolaege
is
l
_
t
a
b
.
c: mark_redundant: on
l
y ma
r
k v
a
riable nonn
e
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
is
l
_
t
a
b
.
c:
t
o_row: allow pivoting in arbit
r
ary direction
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Ver
d
oolaege
isl_tab
.
c:
simp
l
ify code by letting
m
ark_e
m
pty r
e
tu
r
n tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
add isl_s
e
q_last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoolae
g
e
is
l
_
tab
.
c: simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
doo
l
aeg
e
isl_tab
.
c
:
extract allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
privatel
y
ex
p
ort isl_basic_set_set_ratio
n
al
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n Verdoolaeg
e
configure
.
ac: explicitly
s
et AC_CONFIG_AUX
_
D
I
R
commit
|
commitdiff
|
tree
next