Skip to content

Releases: jmafoster1/efsm-inference

Removed official support for SAL

13 Aug 07:30
Compare
Choose a tag to compare

Removed official support for SAL since this is far too slow in practice.

Bessemer run

09 Feb 15:50
Compare
Choose a tag to compare
Bessemer run Pre-release
Pre-release

This is the code that was actually run on the Bessemer HPC cluster to generate the results for my thesis and the GP paper.

Experiments mk2

01 Jul 13:33
Compare
Choose a tag to compare

This release fixes a number of bugs which became apparent after running the first batch of experiments. Hopefully this is the version which makes it into the thesis

Evaluation Version

08 Apr 10:17
Compare
Choose a tag to compare

All evaluative experiments were made using this version.