Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Integrate ENIS branch into master #75

Closed
yoogx opened this issue Oct 25, 2016 · 0 comments
Closed

Integrate ENIS branch into master #75

yoogx opened this issue Oct 25, 2016 · 0 comments
Assignees
@yoogx
Labels
enhancement

Comments

@yoogx
Copy link
Contributor

yoogx commented Oct 25, 2016

The branch ocarina_svn_enis proposes some enhancements to Ocarina: support for EMV2 and updates to the BA front ends.

This branch tracks effort to merge it to master
@yoogx yoogx self-assigned this Oct 25, 2016
yoogx referenced this issue Oct 25, 2016
@yoogx
* Remove Ada.Text_IO.Put_Line and use Ocarina error reporting
4586d63
yoogx referenced this issue Oct 25, 2016
@yoogx
* Remove debug traces using Ada.Text_IO.Put_Line
9e990be
yoogx referenced this issue Oct 25, 2016
@yoogx
* Remove useless function
4a38022
@yoogx yoogx mentioned this issue Oct 25, 2016
Closed
yoogx added a commit that referenced this issue Oct 25, 2016
@yoogx
* Remove some occurences of Put_Line associated to debugging
03825fe 
        For issue #75
yoogx added a commit that referenced this issue Oct 25, 2016
@yoogx
* Remove compilation files
bf3bc95 
        For issue #75
yoogx added a commit that referenced this issue Jan 9, 2017
@yoogx
* Remove binary files
ce81d7a 
        For issue #75
yoogx added a commit that referenced this issue Jan 9, 2017
@yoogx
* Remove compilation output
356cc01 
        For issue #75
yoogx added a commit that referenced this issue Jan 9, 2017
@yoogx
* Remove compilation file
ac06134 
        For issue #75
yoogx added a commit that referenced this issue Jan 9, 2017
@yoogx
* Remove autoconf generated file
0ad5301 
        For issue #75
yoogx added a commit that referenced this issue Jan 9, 2017
@yoogx
* Remove occurrences of Put_Line
f3f61dd 
        For issue #75
yoogx added a commit that referenced this issue Jan 9, 2017
@yoogx
* For REAL, analysis is done as part of the backend
079379e 
        For issue #75
yoogx added a commit that referenced this issue Jan 10, 2017
@yoogx
* ErrorLibrary is not a predefined property set
a51895d 
        For issue #75
yoogx added a commit that referenced this issue Jan 10, 2017
@yoogx
* Update testsuite output
90b44b1 
        For issue #75
yoogx referenced this issue Feb 1, 2017
@yoogx
* Update reference output
cc0ed31
@yoogx yoogx closed this as completed Feb 1, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@yoogx yoogx

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@yoogx