-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathnews.html
229 lines (213 loc) · 9.88 KB
/
news.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
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
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
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8" />
<title>CamFort: Automated evolution and verification of computational
science models</title>
<link rel="stylesheet" href="main.css" />
<link href="https://fonts.googleapis.com/css?family=Rasa"
rel="stylesheet" />
<script>window.twttr = (function(d, s, id) {
var js, fjs = d.getElementsByTagName(s)[0],
t = window.twttr || {};
if (d.getElementById(id)) return t;
js = d.createElement(s);
js.id = id;
js.src = "https://platform.twitter.com/widgets.js";
fjs.parentNode.insertBefore(js, fjs);
t._e = [];
t.ready = function(f) {
t._e.push(f);
};
return t;
}(document, "script", "twitter-wjs"));</script>
</head>
<body>
<a href="https://github.com/camfort/camfort"><img style="position: absolute; top: 0; right: 0; border: 0;" src="https://camo.githubusercontent.com/652c5b9acfaddf3a9c326fa6bde407b87f7be0f4/68747470733a2f2f73332e616d617a6f6e6177732e636f6d2f6769746875622f726962626f6e732f666f726b6d655f72696768745f6f72616e67655f6666373630302e706e67" alt="Fork me on GitHub" data-canonical-src="https://s3.amazonaws.com/github/ribbons/forkme_right_orange_ff7600.png"></a>
<div id="main">
<section>
<div id="header">
<a href="index.html"><img src="camfort.png" alt="CamFort logo"/></a><br />
<span class="title-big">
Specify, verify, and refactor Fortran code
</span>
</div>
</section><br />
<section><span class="title-medium">News / dates</span>
<p>
<ul id="news">
<li>
<b>October 2022</b> - <a href="https://github.com/camfort/camfort/releases/tag/v1.2.0">v1.2.0 release</a>.
</li>
<li>
<b>September 2021</b> -
<a href="https://github.com/camfort/camfort/releases/tag/v1.1.1">v1.1.1 of CamFort has been released</a>,
bringing back Windows+Mac support. We also have some
<a href="https://github.com/camfort/camfort/wiki/Compilation-Instructions-for-Windows">in-depth compilation instructions for Windows</a>
if you'd like to build from source.
</li>
<br />
<li><b>March 2021</b> - <a href="https://github.com/camfort/camfort/releases/tag/v1.0.1">
v1.0.1 of CamFort has been released</a>, mostly updated CamFort to
work with latest dependencies. This also includes new versions of
our core libraries:
<ul>
<li><a
href="https://hackage.haskell.org/package/fortran-src">fortran-src</a>
v0.4.2</li>
<li><a
href="https://hackage.haskell.org/package/verifiable-expressions">
verifiable-expressions</a> v0.6.1
</li>
</ul>
And we have a new Research Assistant, Ben Orchard, working on the
project!<br />
</li><br />
<li><b>November 2020</b> - Dominic is talking about our work at the
<a
href="https://2020.splashcon.org/home/hatra-2020?plenary=Hide%20plenary%20sessions#program">
workshop on Human Aspects of Types and Reasoning Assistants</a>
colocated with SPLASH 2020, talking about <a
href="https://arxiv.org/abs/2011.06094">Guiding
user annotations for units-of-measure verification</a> (<a
href="https://arxiv.org/abs/2011.06094">pdf</a>).<br />
</li>
<br />
<li><b>30th August 2019</b> -
<a href="https://github.com/camfort/camfort/releases/tag/v1.0">
v1.0 of CamFort has been released
</a>. The main changes are:
<ul>
<li>Update to new fortran-src version 0.4.0.</li>
<li>New command: basic-checks, which runs a series of other checks in Simple.hs.</li>
<li>Add max-lines threshold for snippets output, currently 5.</li>
<li>Rename units-compile to units-summarise/summarize.</li>
<li>Bring over same command-line flexibility to units-compile as 'fortran-src -c', can specify multiple files-or-directories.</li>
<li>Use ModGraph functionality to allow units-summarise to build dependency graphs and summarise in build-order.</li>
<li>Search includedir recursively for mod-files, like fortran-src.</li>
<li>Numerous changes to increase strictness and reduce memory usage: use Pipes, avoid constructing needlessly large graphs.</li>
<li>A Linux x86-64 binary bundle is available for download from the release webpage.</li>
</ul><br>
</li>
<li><b>17th June 2019</b> -
<a href="https://github.com/camfort/camfort/releases/tag/v0.906">
v0.906 of CamFort has been released
</a>. The main changes are:
<ul>
<li>Update to new fortran-src version 0.3.0.</li>
<li>Add array-check, alloc-check, use-check, fp-check and implicit-none features.</li>
<li>A collection of sanity checks on Fortran code looking for common issues, possible problems or potential inefficiencies.</li>
<li>Introduce a divide-and-conquer methodology for solving units-inference problems, reducing the size of the matrices and taking advantage of SMP where available.</li>
<li>Treat constant-expressions and parameter variables as literals, for units-inference purposes, making it easier to retrofit units annotations onto existing programs.</li>
<li>Add 'units-infer --show-ast' feature, which decorates the displayed AST (internal data structure) with units information on each expression.</li>
<li>Made assorted efficiency improvements to the units solver and other features, especially for large projects with many files.</li>
<li>Add 'units-check --dump-mod-file' feature that lets you view an 'fsmod' file's contents with regard to units info.</li>
<li>Allow override of Fortran version used by parser using -F option.</li>
</ul><br>
</li>
<li><b>18th May 2018</b> -
<a href="https://github.com/camfort/camfort/releases/tag/v0.905">
v0.905 of CamFort has been released
</a>. The main changes are:
<ul>
<li>Extended support for Fortran 95 & legacy extensions;</li>
<li>Improved units-of-measure checking (performance & functionality)</li>
<li>Prototype for Hoare logic style verification assertions back by SMT solving</li>
</ul><br>
</li>
<li><b>October 2017</b> -
Our paper <a
href="https://www.repository.cam.ac.uk/bitstream/handle/1810/267779/oopsla-proof.pdf?sequence=5">
Verifying Spatial Properties of Array Computations</a> has been
accepted at the ACM OOPSLA 2017 conference. Dominic will present the
paper in Vancouver on 26th of October.</li><br />
<li><b>26th July 2017</b> -
<a href="https://github.com/camfort/camfort/releases/tag/v0.904">
v0.904 of CamFort has been released
</a>. The main changes are:
<ul>
<li>Better protection against dependencies breaking builds;</li>
<li>Significantly reduced build time;</li>
<li>Better command line interface;</li>
<li>Improved error messages;</li>
<li>Bug fixes to stencil specifications</li>
</ul><br>
</li>
<li><b>24-26th July 2017</b> - We are talking about CamFort at the
<a
href="http://www.nag.co.uk/content/fortran-modernization-workshop/barcelona-july-2017">Fortran
modernization workshop</a>
at Universitat Politechnica de Catalunya, Barcelona, Spain.
(<a
href="http://www.nag.co.uk/content/fortran-modernization-workshop/barcelona-july-2017">details</a>).
</li><br />
<li><b>30th May 2017</b> - <a
href="https://github.com/camfort/camfort/releases/tag/v0.902">
v0.902 of CamFort has been released</a>. The main changes are:
<ul><li>Improved stencil specification support;</li>
<li>Polymorphic unit signatures (see <a
href="https://github.com/camfort/camfort/blob/master/samples/units/poly1.f90">this
example</a>);</li>
<li>Much faster verification times.</li>
</ul>
</li>
</ul>
</p>
</section>
</div>
<div id="side">
<a class="twitter-follow-button" href="https://twitter.com/camfort_tool"
data-show-count="false" data-size="large">
Follow @camfort_tool</a><br /><br /><br />
<section style='margin-top:-5pt'>
<a href="news.html" class="menu_button">News and releases</a><br /><br />
<a href="https://github.com/camfort/camfort/wiki" class="menu_button">Usage instructions</a><br /><br />
<a href="team.html" class="menu_button">Team</a><br /><br />
<a href="publications.html" class="menu_button">Publications</a><br /><br />
<a href="projects.html" class="menu_button">Project ideas</a>
</section>
<section>
<span class="title-small">Download</span><br />
The source code for CamFort is hosted on
<a href="https://github.com/camfort/camfort">GitHub</a>.<br /><br />
Latest binary release for Windows, Mac OS, and Linux:
<a href="https://github.com/camfort/camfort/releases">v1.2.0 (Oct 2022)</a>.
</section>
<section>
<span class="title-small">Mailing list</span><br />
For help and announcements you can sign-up to our
<a href="https://lists.cam.ac.uk/mailman/listinfo/cl-camfort">mailing list</a>.
</section>
<section>
<span class="title-small">Events</span><br />
An introduction to CamFort and training material is provided
as part of the <a
href="http://www.nag.co.uk/content/fortran-modernization-workshop">Fortran
Modernization Workshops</a> run by the Numerical Algorithms Group (<em>nag</em>) in the UK and
Europe.<br /><br />
We organise an annual workshop on <b style="font-weight:400;">Testing and Verification in
Computational Science</b>. Previous versions:
<ul style="margin-top:5pt;"><li>
<a href="http://www.cl.cam.ac.uk/~dao29/meeting-tvcs/" style="font-weight:400;">TVCS 2016</a></li>
<li><a href="https://camfort.github.io/tvcs2017/" style="font-weight:400;">TVCS
2017</a></li>
</ul>
</section>
<section>
<span class="title-small">Project</span><br />
CamFort is a joint project between the University of Cambridge
and University of Kent
supported by an <a
href="https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/M026124/1">EPSRC
grant</a>.</section>
<center class="logos">
<img alt="ucam" src='tvcs2017/ucam-logo.gif' class="logo"
style="top:15px;width:170px;position:relative;top:-9px;" />
<img alt="kent" src='tvcs2017/kent-logo.jpg' class="logo"
style="width:90px;"
/>
</center>
</section>
</div>
</body>
</html>