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_from_recession_cone: take basic set instead of basic map as argument
2009-10-08
Sven Verdoolaege
isl_t
a
b_from_
r
ecessio
n
_cone:
t
a
k
e basic se
t
instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_il
p
.
c:
s
eparate out solve_ilp_sear
c
h
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdoo
l
a
ege
isl_sampl
e
.
c: basic_set_s
a
mple: remember boundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdoolaege
add isl_polyhedr
o
n_
d
ete
c
t
_
equa
l
ities tes
t
applica
t
ion
commit
|
commitdiff
|
tree
2009-10-07
S
ven
Verdool
a
e
g
e
a
d
d isl_basic_set_detect_eq
u
al
i
ties
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
is
l
_tab_allocate
_
c
o
n: a
d
d ext
r
a as
s
e
r
t
ion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaeg
e
isl
_
samp
l
e
.
c
: basic_set_reduced: fix t
y
po preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaege
isl_tab_basi
c
_m
a
p_partial
_
lexopt: simpl
i
fy
r
es
u
lt
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
pri
v
ately e
x
p
o
rt isl_basi
c
_set_ad
d
_{in,}
e
q
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoo
l
ae
g
e
privately export isl_basic_set_sam
p
le_with_con
e
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoola
e
ge
add
i
s
l_basic_set_und
e
rl
y
i
n
g_set
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n
Verdool
a
eg
e
isl
_
tab
.
c: cl
o
se_row: p
u
sh undo re
c
ord for setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
S
v
e
n Verdoolaege
add isl_
m
a
t
_vec_inverse_p
r
oduct
commit
|
commitdiff
|
tree
2009-10-07
Sven
Ver
d
oo
l
a
ege
ad
d
isl_mat_
c
oncat
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoolaege
add i
s
l_int_d
i
vexact_ui
commit
|
commitdiff
|
tree
2009-10-05
S
v
en Verd
o
ola
e
ge
add
i
s
l_set_
d
i
m
_resi
d
ue_cla
s
s
commit
|
commitdiff
|
tree
2009-10-03
Sven
V
erdoolaege
fix
lo
n
g
s
tan
d
ing bug in isl_mat_i
n
ve
r
se
_
product
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaeg
e
add isl_basic_map_fo
r
e
a
ch_lexmin
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verdoolaege
add isl_set_project_out
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
V
e
r
doolae
g
e
add isl_set
_
detect_
e
qualities
commit
|
commitdiff
|
tree
2009-10-02
S
ven
Verdoolaege
add isl_set_foreach_basic_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add
isl_set_lifting
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
isl_dim_size: check argument
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rdool
a
ege
export isl_
m
at h
e
ader
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaege
a
d
d isl
_
basic_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Ve
r
doolaege
add isl_map_fore
a
ch_bas
i
c_map
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaege
configure
.
a
c
: fix cut-and-paste er
r
o
r
in original commit
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
add isl_int_get
_
si
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rdoolaege
e
xport isl_set_sample
commit
|
commitdiff
|
tree
2009-10-02
S
v
en
V
erdoola
e
ge
add isl_basic
_
s
e
t
_unive
r
se_like_set
commit
|
commitdiff
|
tree
2009-10-02
S
v
en
Verd
o
o
l
ae
g
e
a
dd isl
_
se
t
_is_st
r
i
c
t_subset
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
add isl_se
t
_uni
v
erse_
l
ike
commit
|
commitdiff
|
tree
2009-09-20
S
ven Verdoolaege
AX_SUBMODULE: set PKG_CONFIG_PATH
commit
|
commitdiff
|
tree
2009-09-20
Sven V
e
r
d
ool
a
ege
c
reate pkg
-
config file
commit
|
commitdiff
|
tree
2009-09-20
Sven Ve
r
d
oolaege
A
X
_SU
B
MOD
U
LE: drop options that are meaningless given
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sv
e
n Ver
d
oolaege
isl_basic_map_
f
rom_constra
i
nt
:
retu
r
n copy
o
f b
m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven V
e
rdoolaege
doc:
fix descri
p
tion of lex
i
cograhpic order relations
commit
|
commitdiff
|
tree
2009-09-16
Sven V
e
rdoolaege
ad
d
isl_ma
p
_
lex_le
a
nd
is
l
_map_lex_ge
commit
|
commitdiff
|
tree
2009-09-14
S
ven
V
erdoolaege
export isl_basic_m
a
p_gi
s
t
commit
|
commitdiff
|
tree
2009-09-14
Sven Ver
d
o
ola
e
ge
add
i
s
l
_bas
i
c_map_sam
p
le an
d
isl_map
_
sample
commit
|
commitdiff
|
tree
2009-09-13
S
ven Verdoolae
g
e
i
s
l_s
a
m
ple
.
c: m
o
ve isl_basic_set_from_vec from isl_affine
_
h
u
l
l
.
c
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoolaege
rename isl_ba
s
i
c_se
t
_sam
p
l
e
to isl_basic_set
_
sample
_
v
ec
commit
|
commitdiff
|
tree
2009-09-13
Sv
e
n
Verdo
o
laege
make so
m
e internal
f
unctions static
commit
|
commitdiff
|
tree
2009-09-13
Sven Ver
d
o
olaege
isl_basic
_
map_add_constraint: hand
l
e constraints obt
a
ine
d
.
.
.
commit
|
commitdiff
|
tree
2009-09-13
S
ve
n
Verdoo
l
aege
a
dd isl_basic_map_fr
o
m_c
o
nstr
a
int
commit
|
commitdiff
|
tree
2009-09-12
Sven Verdoola
e
ge
isl
_
map_simplify
.
c: break if s
e
t tur
n
s o
u
t to be emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-09-12
Sv
e
n V
e
rdoolaege
add isl_basi
c
_map_un
i
verse_like
commit
|
commitdiff
|
tree
2009-09-09
S
v
e
n
Verd
o
olaege
add isl_m
a
p_l
e
x_lt a
n
d isl_map_le
x
_gt
commit
|
commitdiff
|
tree
2009-09-09
Sven Verdoolaege
isl_tab
.
c: cu
t
_to_hy
p
erplane: do not
h
ing if selected
.
.
.
commit
|
commitdiff
|
tree
2009-09-09
Sven Verdoolaeg
e
reverse me
a
nin
g
o
f isl_
b
asic_map_{les
s
,mor
e
}_at
commit
|
commitdiff
|
tree
2009-09-08
Sven Verdoolaege
isl_tab_dup: avoid out-of-bound
s
arr
a
y
access
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoola
e
ge
isl 0
.
0
1
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
add a ru
d
i
m
e
ntary
manual
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
Verdoolae
g
e
add so
m
e
mem
o
ry management
ann
o
ta
t
ions
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
export isl_basic_set_projec
t
_out
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
eg
e
isl_basic_set
_
normalize_constra
i
nts: add missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
is
l
_map_simplify
.
c:
r
e
m
ove unused var
i
ables
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
isl
_
map
.
c
: remove unused variab
l
es
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
i
s
l_b
a
s
ic_set_get_ha
s
h: initiali
z
e hash val
u
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_affine_hull
.
c: re
m
ove unused
variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
i
s
l_hash
.
c: remove unuse
d
vari
a
ble
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
isl_lp
.
c
:
add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolae
g
e
isl_equalit
i
es
.
c: d
r
o
p
redu
n
dant error ha
n
dli
n
g
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
e
g
e
isl_eq
u
al
i
ties
.
c: r
e
m
o
v
e unused vari
a
ble
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_convex_hull
.
c:
r
emove unuse
d
varia
b
les
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaeg
e
isl_c
o
nst
r
aint
.
c: remove u
n
use
d
variables
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verdoolae
g
e
i
sl_tab
.
c: sign_of_mi
n
: on
l
y pivot ba
c
k if we pe
r
formed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoo
l
ae
g
e
i
sl_
t
a
b
.
c: isl_tab_mark_redundant: fi
x
up error re
t
ur
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl
_
tab
.
c: remove unused varia
b
l
es
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
isl_tab_pip
.
c
: remove
u
n
u
sed var
i
ables
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ve
r
doolaege
isl_vec
.
c:
r
emove u
n
used variable
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl_test
.
c: remove unused va
r
iable
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
r
doolaege
isl_as
s
ert
:
validate all
a
r
gume
n
ts and fix up f
a
llout
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
polyhedron_s
a
mp
l
e
.
c: add missing incl
u
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_pip
.
c: c
h
ec
k
r
e
turn
value of fscanf
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
poly
h
edro
n
_
m
inimize
.
c: handle all enumerat
i
on values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
configure
.
a
c: se
t
ma
x
i
m
al optimiz
a
tion compi
l
er f
l
ags
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
isl_set_co
p
y_basic_s
e
t: add missing ret
u
rn
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_set_drop_basic_s
e
t: add
missing r
e
turn
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_set_coales
c
e: add
missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doola
e
ge
isl_coa
l
esce
.
c:
add
mis
s
ing inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
en V
e
r
d
oolaege
isl_
t
est: check s
r
cdir has be
e
n set
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
p
rivately e
x
p
o
r
t isl_t
a
b_ki
l
l
_
c
ol
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olae
g
e
isl_tab
.
c
: fix u
p
to_
c
o
l
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
isl_tab_pip
.
c: add
m
issing
incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolae
g
e
isl_vec
.
c: add missi
n
g
inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdool
a
e
ge
export isl_seq_cmp
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
fix return type
o
f i
s
l
_
cons
t
raint_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
e
x
port is
l
_
token_free and
i
sl_s
t
ream
_
error
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
V
erdoolaege
isl_list
.
c
: add
m
is
s
in
g
in
c
lude
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
isl_div
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl
_
c
o
nstrain
t
.
c
: add missin
g
include
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
er
d
o
o
laege
bas
i
s_reduction_tab
.
c:
add missing include
commit
|
commitdiff
|
tree
2009-09-06
S
ven
V
erdoolaege
i
sl_
m
ap_no_
p
i
plib
.
c: add missi
n
g include
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
a
x_create_st
d
int_h
.
m
4
: protect some limits from
red
e
finiti
o
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
po
l
ytope_scan
.
c:
add
m
is
s
ing inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
fi
x
r
e
t
u
r
n typ
e
of isl_
d
iv_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oo
l
aeg
e
i
s
l_map_simplif
y
.
c: drop return from
v
o
id function
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl
_
map_si
m
plify
.
c
:
add
m
i
ssing in
c
lude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
l
a
ege
isl_c
o
nvex_hull
.
c
: use i
s
l_seq_get_
h
ash i
n
stead of
.
.
.
commit
|
commitdiff
|
tree
next