-
Notifications
You must be signed in to change notification settings - Fork 1
/
news-inner.html
130 lines (122 loc) · 6.02 KB
/
news-inner.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
<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>
<br />
<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>