Newer
Older
<head>
<script type="text/javascript">
var url = 'https://api.stackexchange.com/2.2/questions?order=desc&sort=activity&site=stackoverflow&tagged=frama-c&filter=withbody';
var getJSON = function(url, callback) {
var xhr = new XMLHttpRequest();
xhr.open('GET', url, true);
xhr.responseType = 'json';
xhr.onload = function() {
var status = xhr.status;
if (status === 200) {
callback(null, xhr.response);
} else {
callback(status, xhr.response);
}
};
xhr.send();
};
window.onload = getJSON(url,
function(err, data) {
if (err !== null) {
alert('Something went wrong: ' + err);
} else {
alert(data['items'][0]['tags'].join(", "));
}
});
</script>
</head>
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
{% include headers.html header=3 %}
<div id="container" class="mainContainer">
<div class="pageContact pages">
<div class="bgTextbig">
Contact
</div>
<h1 class="pageTitle">Contact Us</h1>
<div class="contact-form"></div>
<form action="" method="post" id="contact_form" data-parsley-validate="" name="contact_form">
<span class="formALert alertError apply_error-common" style="display:none;"></span> <span class="formALert alertSuccess"
id="apply_success_msg" style="display:none;"></span>
<div class="leftBlock">
<div class="inputWrap">
<div class="textError"></div><input type="text" name="name" placeholder="Name" class="textbox" data-parsley-required=
"" data-parsley-pattern="^[a-zA-Z_ ]+$" data-parsley-errors-container=".textError">
</div>
<div class="inputWrap">
<div class="emailError"></div><input type="email" name="email" placeholder="Email" class="textbox"
data-parsley-required="" data-parsley-errors-container=".emailError">
</div>
<div class="choose">
<div class="radioError"></div><span>You are:</span>
<p><input id="radio1" name="you_are" type="radio" value="An Academic" data-parsley-required=""
data-parsley-errors-container=".radioError"> <label for="radio1">An Academic</label></p>
<p><input id="radio2" name="you_are" type="radio" value="An Industrial" data-parsley-required=""
data-parsley-errors-container=".radioError"> <label for="radio2">An industrial</label></p>
<p><input id="radio3" name="you_are" type="radio" value="An Applicant" data-parsley-required=""
data-parsley-errors-container=".radioError"> <label for="radio3">An Applicant</label></p>
</div>
</div>
<div class="messageWrap">
<span>Type your message</span>
<textarea id="contact_textarea" name="message" placeholder="Your message" data-parsley-required=""
data-parsley-errors-container=".textareaError" maxlength="220">
</textarea>
<div class="textareaError"></div>
<div class="submitWrap">
<button id="cf_submit"><i class="icon-btn-submit"></i></button>
</div><i id="textarea_count" class="characterLimit"></i>
</div>
</form>
<div class="locate">
<figure style=
"background:url(https://framac.s3.amazonaws.com/production/uploads/2017/07/PrtScr-capture_2686.jpg) no-repeat center bottom; background-size: cover;">
</figure>
<div class="acf-map" id="googleMap">
<div class="marker" data-lat="48.712144" data-lng="2.194427000000019">
<p class="address">8 Avenue de la Vauve, 91120 Palaiseau, France</p>
</div>
</div>
</div>
<div class="contactInfo">
<h4>Please Contact</h4>
<p>If you think Frama-C could be part of any kind of scientific collaboration, including research projects, internships,
PhDs, post-doctoral positions and dissemination activities,</p>
<p><a href="mailto:florent.kirchnera@cea.fr">Florent.Kirchnera@cea.fr</a><small>|</small><a href=
"mailto:loic.corrensona@cea.fr">Loic.Corrensona@cea.fr</a></p>
</div>
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
<div class="usefulLinks" id="side-content">
<h3 class="subTitle">Community</h3>
<div id="sidebar-content">
<ul class="side-feed">
<li class="icon_1">
<a href="https://bts.frama-c.com/my_view_page.php" target="_blank">
<div class="slideCaption">
Bug Tracker
</div>
<div class="description">
The official Frama-C bug tracking system (BTS).
</div></a>
</li>
<li class="icon_2">
<a href="https://stackoverflow.com/tags/frama-c/" target="_blank">
<div class="slideCaption">
Stack Overflow
</div>
<div class="description">
The Frama-C community uses Stack Overflow for general-purpose questions.
</div></a>
</li>
<li class="icon_3">
<a href="https://lists.gforge.inria.fr/pipermail/frama-c-discuss/" target="_blank">
<div class="slideCaption">
Frama-C-discuss
</div>
<div class="description">
The official Frama-C mailing list (announcements and general questions).
</div></a>
</li>
<li class="icon_4">
<a href="https://github.com/frama-c" target="_blank">
<div class="slideCaption">
Frama-C on Github
</div>
<div class="description">
Frama-C snapshots and related code bases (Qed, open source case studies...).
</div></a>
</li>
<li class="icon_5">
<a href="https://github.com/acsl-language" target="_blank">
<div class="slideCaption">
ACSL on Github
</div>
<div class="description">
Official Github repositories for the ANSI/ISO C Specification Language (ACSL).
</div></a>
</li>
<li class="icon_6">
<div class="slideCaption">
Careers
</div>
<div class="description">
Reference site about Lorem Ipsum, giving information on its origins, as well as a random Lipsum generator.
</div></a>
</li>
</ul>
</div>
</div>
</div>
{% include footer.html %}
<div class="clear"></div>