Skip to content

Releases: imandra-ai/fix-engine

Treatment for GapFill when in Recovery Mode

11 Feb 15:01
@ewenmaclean ewenmaclean
1.3.0
4c5062c
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Treatment for GapFill when in Recovery Mode Latest
Latest

New Treatment for GapFill='Y' when in recovery mode after sequence request and sequence reset.

Assets 2
Loading

Ipl code Decoders from AST

11 Feb 15:01
@ewenmaclean ewenmaclean
1.2.0
3e1a9a4
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Ipl code Decoders from AST

Decode single-type AST for FIX artifacts to fix-engine iml code.

Loading

Support for Logic Strings

11 Feb 15:00
@ewenmaclean ewenmaclean
1.1.0
c238c68
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Support for Logic Strings

Support Imandra's LString module

Loading

Admin Decoders

11 Feb 14:59
@ewenmaclean ewenmaclean
1.0.0
1bd0a3e
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Admin Decoders

Using Elm-style decoders for admin level artifacts.

Loading

Using Freshness concepts

11 Feb 14:58
@ewenmaclean ewenmaclean
0.0.9
6bd9616
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Using Freshness concepts

Introduce peano style Freshness concept for reasoning about opaque functions.

Loading

Imandra Annotations

11 Feb 14:57
@ewenmaclean ewenmaclean
0.0.8
f85831e
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Imandra Annotations

Use Imandra style annotations in iml code for proof support.

Loading

JSON Decoders

11 Feb 14:57
@ewenmaclean ewenmaclean
0.0.7
6e9be06
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
JSON Decoders

Use Elm-style decoders for JSON serialisation.

Loading

Support for repeating groups

05 Sep 08:55
@KKostya KKostya
0.0.6
87036ab

Choose a tag to compare

View all tags
Support for repeating groups 
0.0.6

Merge pull request #57 from AestheticIntegration/feat-documentation-m…
Loading

Completed datetime comparison functions

21 Jul 15:11
@ignaden ignaden
0.0.5
7ce9577

Choose a tag to compare

View all tags
Completed datetime comparison functions Pre-release
Pre-release 
0.0.5

Merge pull request #43 from AestheticIntegration/denis/additions_to_d…
Loading

Updated VGs

21 Jul 08:54
@ignaden ignaden
0.0.4
b242bf4

Choose a tag to compare

View all tags
Updated VGs Pre-release
Pre-release 
0.0.4

Merge pull request #41 from AestheticIntegration/denis/datetime-lemma…
Loading