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_transitive_closure.c: more anonymize input map during incremental computation
2011-01-21
Sven
V
e
rdoolaege
isl
_
tr
a
nsit
i
ve_closure
.
c: mor
e
a
n
onymize input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n Verdoolaege
isl_basic_set_factorizer: make
sure group informa
t
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
isl_basic_m
a
p
_
from_con
s
tra
i
nt_matrices: clear newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdoolaeg
e
isl
_
input
.
c: read_f
a
ctor: drop unexpected
identi
f
ier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoolaege
isl_i
n
p
u
t
.
c:
a
ccept_affine_facto
r
: avoid
doub
l
e free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
S
ven
Verd
o
o
laege
isl
_
union_map_coalesce and i
s
l_union_map_com
p
ute_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sve
n
V
e
rdoo
l
a
e
g
e
isl_basi
c
_map_sol
v
e_l
p
: use denominator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verd
o
olaege
i
sl
0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
ven Verdoolae
g
e
isl_tab_basic_map_partia
l
_le
x
opt: fix
up s
y
mmetry det
e
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdool
a
ege
isl_basic_m
a
p_uni
v
e
rse: finalize resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n Verdoolaeg
e
isl_se
q
.
h: allow inclu
s
ion from C++
commit
|
commitdiff
|
tree
2010-12-27
Sve
n
V
e
rdoola
e
ge
make i
s
l/
p
oint
.
h s
e
lf-co
n
t
a
ined
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
S
ven
V
erdoolaege
isl 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoo
l
aege
isl_printer_prin
t
_basic_map:
plug memory leak
on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdo
o
la
e
g
e
isl_dim_set_
n
ame: p
l
ug
memory leak when overwrit
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verd
o
olae
g
e
isl_tab_basic_map_partial_lexopt: detect and exploit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Ve
r
doolaege
isl_tab_pip
.
c: fix typos in
c
o
m
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl
_
pi
p
: l
i
mit the tota
l
number of parameter values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolae
g
e
ad
d
isl_
b
asic_se
t
_count_upto
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven
Verdoolaege
isl_scan
.
c: fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-17
T
o
bias Grosser
Do not hash
t
he
m
emory address of an
isl_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdo
o
l
aege
isl_flow
.
c
:
fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
isl_union_
m
ap_compute_flow: explo
i
t fixed dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
S
v
e
n
Verdoolaege
isl_union_map_compute_flow:
avoid depe
n
d
e
nce on pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven V
e
rd
o
ol
a
eg
e
dataflow
a
n
alysis: allow absence
of
"
t
extua
l
" order
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sve
n
V
erdoolaege
add isl
_
map_get_
h
a
sh
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdool
a
ege
basic_map_re
a
d_polylib
:
ad
d
more sanity ch
e
cks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
Sv
e
n Ve
r
doola
e
ge
isl_p
i
p:
preserve nam
e
s of
parameters in inp
u
t cont
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
S
ven Verdoolaege
isl_tab_basic_map_par
t
ial_lexopt:
a
v
o
id memo
r
y leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-11
Sv
e
n Verdoola
e
ge
isl_pw_qpolynomial_fold_bound: avoid access to
f
reed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven V
e
rdo
o
laege
isl
_
basic_s
e
t_
l
ift
:
pro
p
erly upd
a
te
t
h
e
n
umbe
r
o
f extra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sv
e
n Verd
o
olaege
d
oc: emphasize
the nee
d
for isl_in
t
_
g
et_gmp and isl_int_set_gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verd
o
ola
e
ge
i
sl_qpolynomi
a
l
_div: further normalize divs
b
y red
u
cing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
S
ven Verdoolaege
isl_str
e
am_rea
d
_pw
_
qpolyn
o
m
i
a
l: a
c
cep
t
p
o
wers
o
n compoun
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Ve
r
doolaege
add isl_
q
polynomi
a
l_pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoo
l
aeg
e
i
s
l_qpolynomial: properly merge ident
i
cal
n
ested div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sve
n
Verdoolaeg
e
add isl_m
a
t_col_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
S
ven Verdoolaege
a
v
oid using isl_ba
s
ic_se
t
and isl_bas
i
c_
m
ap
i
nternals
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Ver
d
oo
l
a
e
ge
hide isl_map internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sv
e
n Verdool
a
ege
hide isl_s
e
t
i
nternals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven
V
erdoolaege
hide isl_ba
s
i
c
_
map intern
a
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
S
v
e
n
Verdoolaege
hide isl_basic_
s
et internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-27
Sven Verdoolaege
add isl_basic_s
e
t_{i
n
,}equalities_matri
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdo
o
laege
isl
_
arg_parse: support
f
o
ote
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sve
n
Verdoolaege
isl_arg_par
s
e: avoid dupl
i
cate newline in
h
elp o
u
t
pu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n Verdoolaeg
e
isl_arg_
p
arse: support gr
o
up
i
ng
of options within the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven V
e
rdoo
l
aege
isl_arg
_
p
arse: s
u
pport int options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
S
v
e
n Verdoolaege
isl_arg
_
parse: suppo
r
t ISL_AR
G
_
HIDDEN flag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven V
e
rd
o
olae
g
e
isl_arg_parse
:
support
ISL_ARG_BOOL_ARG
flag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: support I
S
L_ARG_SI
N
GLE_DASH f
l
ag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: suppo
r
t
aliases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdool
a
ege
isl_arg_p
a
rs
e
: alway
s
p
rint help option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven
V
erdoolaege
i
s
l_arg_parse
:
sup
p
ort phantom boole
a
n opt
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n
Verdoolaege
isl_ar
g
_parse:
free str
i
ng arg
u
ments before overwriting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoola
e
ge
isl_ar
g
_pa
r
se: a
l
low op
t
ions
a
f
te
r
arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n V
e
rdool
a
ege
isl_arg_pa
r
se: only
p
rin
t
--version o
p
t
i
o
n
once
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven
Verdoolaege
isl_a
r
g_parse: print
string opt
i
on def
a
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-24
Sven Verdoolaege
isl_arg_parse: deli
m
it s
t
ring o
p
tion ar
g
u
me
n
t by an
g
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-24
Sve
n
Verdoolaege
isl_arg_p
a
r
s
e:
a
llow
options
w
ithout l
o
n
g
name
commit
|
commitdiff
|
tree
2010-11-24
S
v
en
Ver
d
oola
e
ge
isl_ve
c
_read_polylib: use i
s
l
_
stream
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoolaege
Rename headers from isl_header
.
h to
i
sl/h
e
ader
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-18
Sven Ver
d
oolaege
isl_ta
b
_basi
c
_map_partial_lexopt: fix memory leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaege
a
dd isl_union_set_is
_
eq
u
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
S
v
e
n Verdoolaege
add
isl_
u
nion_
m
ap_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven
V
erdoolaege
isl_ta
b
_basic
_
map_
p
arti
a
l_lexopt:
a
dd
a
ll equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoola
e
ge
isl_pip
:
a
v
o
id empty domain
during
v
erification
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdo
o
laege
add isl_basic
_
set_bo
x
_from_points
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-15
S
ven
V
erdoolaege
isl_basic_map_elimi
n
ate_vars:
d
on
'
t
d
e
tect
d
i
v
s while
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-14
S
ven Ver
d
oolaege
isl
_
dim
.
c: set_nam
e
:
o
nly p
r
int single error message
.
.
.
commit
|
commitdiff
|
tree
2010-11-14
Sven Verdoolae
g
e
i
sl_pw_qpolynomial_fold_bound: fi
x
handling or zer
o
.
.
.
commit
|
commitdiff
|
tree
2010-11-14
Sve
n
Verdoolaege
isl_pri
n
ter
_
print_pw_qpolynom
i
a
l{,_fol
d
}: a
l
w
ays print
.
.
.
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n V
e
r
d
o
o
laege
isl
_
q
polynomial_bound_on_domai
n
_bernste
i
n:
option
a
lly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en
Verdoolaege
i
sl_optio
n
s
_
pars
e
:
print default on boolean op
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
r
d
oolaeg
e
isl_
o
ptions_parse: accept
prefix before
or after "no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
add isl_cell_foreach_s
i
mplex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
ola
e
ge
isl_b
a
sic_set_compute_vert
i
ces
:
sto
r
e input
basic set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_vertices
_
foreach_
c
ell: store individual ver
t
e
x
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n
Ve
r
doolaege
ad
d
i
sl_union_pw_qpolyno
m
ial_to_polynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolae
g
e
doc: update isl_pw_qpolyno
m
ial_g
i
s
t
desc
r
iption
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoolaege
a
d
d isl
_
set_foreach_o
r
thant
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
isl_r
a
n
ge
.
c: privately export isl_
q
p
ol
y
nomial_
t
erms_
o
f_sign
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aeg
e
isl_range
.
c: collect_fixed_si
g
n_ter
m
s: d
r
op dead cod
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_set_spli
t
_dims: extract
out h
a
lf-space crea
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoo
l
a
e
ge
i
s
l_printer_print_pw_qpolynomial_fol
d
: use consistent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaeg
e
isl
_
dim_t
o
tal: handl
e
N
U
LL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
add isl_vec_clr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
S
v
en Verdoolaeg
e
is
l
_qpolynomial
_
div_pow: normali
z
e
gi
v
en div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
Sven Verd
o
olaege
isl
_
bound: a
c
cept folds as input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
S
v
e
n
V
erdoolaege
isl_boun
d
: u
s
e isl_pw_qpol
y
no
m
ial_folds i
n
t
e
rnal
l
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
Sven Verd
o
olaege
e
x
por
t
isl_pw_qpolynomial_fold_fix_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Ve
r
d
o
o
laege
ad
d
isl_union_set_pol
y
hedral_hul
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-05
Sven Verdoolaeg
e
i
s
l_p
w
_qpolynomial_gist:
a
l
so tr
y
to
eliminat
e
i
n
teger
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-05
Sven V
e
rdoola
e
ge
hide some functions that were exposed by mistake
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolaege
is
l
_
q
p
o
lyno
m
ial_sub
s
t
i
tute_
e
qualities:
e
liminat
e
integer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolaege
isl_stream_read_pw_qpoly
n
omia
l
:
r
ead ne
s
t
e
d
divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolaege
isl_qpo
l
yn
o
mial_d
i
v_pow: all
o
w neste
d
d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
S
v
en Verdoola
e
ge
i
s
l_printer
_
print_qpolynomial: properly
print
n
est
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolaege
isl_qpolyn
o
mial_substitute_equ
a
lities: i
g
nore constant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdool
a
eg
e
i
sl_qpoly
n
om
i
al_
s
ubst
i
t
ute_equa
l
itie
s
: don't use equaliti
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sv
e
n
V
e
rdoolaege
is
l
_basic_map_underl
y
i
ng_
s
et:
r
emove
a
ny s
t
ructure
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next