Newer
Older
<link rel="stylesheet" href="https://unpkg.com/leaflet@1.5.1/dist/leaflet.css"
integrity="sha512-xwE/Az9zrjBIphAcBb3F6JVqxf46+CDLwfLMHloNu6KEQCAWi6HcDUbeOfBIptF7tcCzusKFjFw2yuvEpDL9wQ=="
crossorigin=""/>
<script src="https://unpkg.com/leaflet@1.5.1/dist/leaflet.js"
integrity="sha512-GffPMF3RvMeYyc1LWMHtK8EbPv0iNZ8/oTtHPx9/cc2ILxQ+u905qIwdpULaqDkyBKgOaB57QTMg7ztg8Jm2Og=="
crossorigin=""></script>
var url = 'https://api.stackexchange.com/2.2/questions?order=desc&sort=activity&site=stackoverflow&tagged=frama-c&filter=withbody&key=nQzVjuCq0ZwXFrvkmRKTag((';
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();
};
var loadMap = function() {
var map = L.map('mapid', {closePopupOnClick:false}).setView([48.7130, 2.1944], 16);
L.tileLayer('https://{s}.tile.openstreetmap.org/{z}/{x}/{y}.png', {
attribution: '© <a href="https://www.openstreetmap.org/copyright">OpenStreetMap</a> contributors'
}).addTo(map);
L.marker([48.7125, 2.1945]).addTo(map)
.bindPopup('<b>CEA LIST, Centre Nano-INNOV</b><br>2 Boulevard Thomas Gobert<br>91120 Palaiseau, France',
{closeButton:false})
.openPopup();
};
window.onload = function () {
getJSON(url,
function(err, data) {
if (err !== null) {
alert('Something went wrong: ' + err);
} else {
posts = data['items'];
html = "";
for (let i = 0; i < 5; i++){
post = posts[i];
tags = "";
for (let tag = 0; tag < post['tags'].length; tag++){
tags += "<label class=\"tag\"><a href=\"https://stackoverflow.com/questions/tagged/" + post['tags'][tag] + "\" target=\"_blank\">" + post['tags'][tag] + "</a></label>";
}
html += "<li><a class=\"qus\" href=\"" + post['link'] + "\" target=\"_blank\">" + post['title'] + "</a> <span class=\"ans\">" + post['body'].replace(/<[^>]*>?/gm, '').substring(0, 320) +"...<p class=\"tags\">"+ tags +"</p><aside>" + "<span class=\"vote-count\">" + post['score'] + "<br>Score</span> <span class=\"answer-count\">" + post['answer_count'] + "<br>Answer</span> <span class=\"views-count\">" + post['view_count'] + "<br>Views</span></label></aside></li>";
}
document.getElementById("postsStack").innerHTML = html;
<body class="page-template page-template-page-contact page-template-page-contact-php page page-id-18 nonTouch">
{% 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>
<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.kirchner@cea.fr">florent.kirchner(at)cea.fr</a><small>|</small><a href=
"mailto:loic.correnson@cea.fr">loic.correnson(at)cea.fr</a></p>
<div class="usefulLinks" id="side-content">
<h3 class="subTitle">Community</h3>
<div id="sidebar-content">
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
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
<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">
<a href="/html/careers.html" target="_blank">
<div class="slideCaption">
Careers
</div>
<div class="description">
Career options at Frama-C.
</div>
</a>
</li>
</ul>
<div class="stackPost" id="stackpots">
<h3 class="subTitle">Newest Frama-C Questions & Answers on Stack Overflow</h3>
<ul id="postsStack">
<h1 style="clear: both;">Find us</h1>
<div class="locate">
<figure style=
"background:url(/assets/img/nano_innov.jpg) no-repeat center bottom; background-size: cover;">
</figure>
<div id="mapid" style="z-index: 0;"></div>
</div>
{% include footer.html %}
<div class="clear"></div>