support comparison of long values

Issue #2 resolved

Riadh Chtara created an issue 2013-12-17

    void  doit(){
        long i = 1l;
        if(i*10 <100l)
            System.out.println(true);
        else
            System.out.println(false);


    }

Comments (10)

Michael Eichberg repo owner
we need some (executable) test code
- 2014-01-03T12:35:09+00:00
Michael Eichberg repo owner
- changed status to on hold
Put on hold until the LongValues is refactored.
- 2014-02-13T21:49:36+00:00
Michael Eichberg repo owner
- changed component to Bytecode Toolkit
- 2014-04-04T10:55:28+00:00
Michael Eichberg repo owner
- changed component to Bytecode Representation
- 2014-05-12T10:19:37+00:00
Michael Eichberg repo owner
- changed title to greater or equal for long values seems to fail
- edited description
- 2014-06-26T09:34:44+00:00
Michael Eichberg repo owner
- changed milestone to 0.8.0-M4
- changed component to Abstract Interpretation Framework
- changed version to 0.8.0
- marked as enhancement
- changed title to support comparison of long values
- 2014-06-26T09:35:51+00:00
Michael Eichberg repo owner
- changed status to open
- 2014-06-26T09:36:05+00:00
Michael Eichberg repo owner
- changed status to resolved
fixed by commit #bc6eee6
- 2015-01-02T17:24:29+00:00
Michael Eichberg repo owner
- removed milestone
Removing milestone: 0.8.0-M4 (automated comment)
- 2016-04-26T15:19:20+00:00
Michael Eichberg repo owner
- removed version
Removing version: 0.8.0 (automated comment)
- 2017-04-27T22:32:37+00:00
Log in to comment

Assignee: Michael Eichberg

Type: enhancement

Priority: major

Status: resolved

Component: Abstract Interpretation Framework

Version: –

Votes: 0

Watchers: 2