Commit 61f1eac3 authored by Jonathan Shahen's avatar Jonathan Shahen

Upgraded version; testing results show it is more correct than the Conference...

Upgraded version; testing results show it is more correct than the Conference Version, but this means that it is now slower for some of the testcases (specifically AGTUniv10.txt)

This is the current version of Mohawk+T: it is more correct than the conference version (see the previous emails with Ahn and Silvio for the bugs they reported), it is slower on the big tests, and it returns the wrong result for the bigger cases of NSA.
parent f4b68aa2
Pipeline #7963 skipped
......@@ -8,3 +8,4 @@ logs/
*.ranise_nsa
*.ranise_sa
data/
*.md.html
# Change Log
All notable changes to this project will be documented in this file.
This project adheres to [Semantic Versioning](http://semver.org/).
## [1.2.0] - 2015-08-16
### Fixed
- Fixed conversion error which produced a system that was not always correct
### Bugs
- AGTUniv10 takes a really long time, and a lot of refinement steps;
each refinement step is quick, so the abstraction-refinement process might need to updated
### Added
- CHANGELOG
- VERSION
1.2.0
\ No newline at end of file
......@@ -33,7 +33,7 @@ import mohawk.global.pieces.MohawkT;
import mohawk.global.timing.MohawkTiming;
public class ConverterInstance {
private static final String VERSION = "v1.1.2";
private static final String VERSION = "v1.2.0";
private static final String AUTHORS = "Jonathan Shahen <jmshahen@uwaterloo.ca>";
// Logger Fields
public static final Logger logger = Logger.getLogger("mohawk");
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment