Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 208095 Details for
Bug 245806
[science overlay] sci-mathematics/frama-c
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
[patch]
sci-mathematics/frama-c/files/frama-c-20090901-varinfo_export.patch
frama-c-20090901-varinfo_export.patch (text/plain), 672 bytes, created by
Jonathan-Christofer Demay
on 2009-10-23 23:29:12 UTC
(
hide
)
Description:
sci-mathematics/frama-c/files/frama-c-20090901-varinfo_export.patch
Filename:
MIME Type:
Creator:
Jonathan-Christofer Demay
Created:
2009-10-23 23:29:12 UTC
Size:
672 bytes
patch
obsolete
>diff -Naur frama-c-Beryllium-20090601-beta1-orig/src/ai/base.mli frama-c-Beryllium-20090601-beta1-ptch/src/ai/base.mli >--- frama-c-Beryllium-20090601-beta1-orig/src/ai/base.mli 2009-05-05 14:29:35.000000000 +0000 >+++ frama-c-Beryllium-20090601-beta1-ptch/src/ai/base.mli 2009-07-12 17:09:54.000000000 +0000 >@@ -61,6 +61,7 @@ > val is_block_local: t -> Cil_types.block -> bool > val is_hidden_variable : t -> bool > val validity_from_type : Cil_types.varinfo -> validity >+val get_varinfo : t -> Cil_types.varinfo > val create_varinfo : Cil_types.varinfo -> t > val create_logic : Cil_types.varinfo -> validity -> t > val create_initialized : Cil_types.varinfo -> validity -> t
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Diff
View Attachment As Raw
Actions:
View
|
Diff
Attachments on
bug 245806
:
170895
|
171559
|
175610
|
175611
|
175613
|
180844
|
180847
|
180989
|
182431
|
185866
|
208093
| 208095 |
208096
|
208097
|
208105