WALA/com.ibm.wala.util/src/com/ibm/wala/fixpoint
Ben Liblit 9c83e87cc1 Merge branch 'master' into modernization-java-8-lambdas-and-method-references 2017-11-29 10:51:33 -06:00
..
AbstractOperator.java Fix additional uses of raw types related to IVariable 2017-07-12 10:39:06 -07:00
AbstractStatement.java Fix additional uses of raw types related to IVariable 2017-07-12 10:39:06 -07:00
AbstractVariable.java Fix additional uses of raw types related to IVariable 2017-07-12 10:39:06 -07:00
BasicUnaryStatement.java Fix additional uses of raw types related to IVariable 2017-07-12 10:39:06 -07:00
BitVectorVariable.java merge 2013-06-25 11:57:37 -04:00
BooleanVariable.java Enable ErrorProne on wala.util project (#248) 2017-09-19 05:52:53 -07:00
FixedPointConstants.java cross-cutting changes to make more of WALA runnable with TeaVM. The biggest change is refactoring to AnalysisCache and friends; since TeaVM does not support SoftReference, I needed to add a layer of interfaces so that I can use a more simpleminded caching implementation for TeaVM. There are other changes to Module and friends to break connections with File and URL, which also cause TeaVM grief. I also organized imports in many places to remove unused types that caused trouble. 2017-02-02 20:33:27 -05:00
IFixedPointSolver.java Fix additional uses of raw types related to IVariable 2017-07-12 10:39:06 -07:00
IFixedPointStatement.java Fix additional uses of raw types related to IVariable 2017-07-12 10:39:06 -07:00
IFixedPointSystem.java Merge branch 'master' into modernization-java-8-lambdas-and-method-references 2017-11-29 10:51:33 -06:00
IVariable.java Fix additional uses of raw types related to IVariable 2017-07-12 10:39:06 -07:00
IntSetVariable.java Fix additional uses of raw types related to IVariable 2017-07-12 10:39:06 -07:00
TrueOperator.java cross-cutting changes to make more of WALA runnable with TeaVM. The biggest change is refactoring to AnalysisCache and friends; since TeaVM does not support SoftReference, I needed to add a layer of interfaces so that I can use a more simpleminded caching implementation for TeaVM. There are other changes to Module and friends to break connections with File and URL, which also cause TeaVM grief. I also organized imports in many places to remove unused types that caused trouble. 2017-02-02 20:33:27 -05:00
UnaryOperator.java Fix additional uses of raw types related to IVariable 2017-07-12 10:39:06 -07:00
UnaryOr.java cross-cutting changes to make more of WALA runnable with TeaVM. The biggest change is refactoring to AnalysisCache and friends; since TeaVM does not support SoftReference, I needed to add a layer of interfaces so that I can use a more simpleminded caching implementation for TeaVM. There are other changes to Module and friends to break connections with File and URL, which also cause TeaVM grief. I also organized imports in many places to remove unused types that caused trouble. 2017-02-02 20:33:27 -05:00
UnaryStatement.java Fix additional uses of raw types related to IVariable 2017-07-12 10:39:06 -07:00
package.html more conversion to Unix line endings 2012-09-04 15:59:50 -07:00