search

Sable / mclab-core

Core McLab features. McSAF, Tamer, Tamer+
http://www.sable.mcgill.ca/mclab/
Apache License 2.0
9 stars 9 forks source link

Fixing error in ShapeBuiltTool #16

Closed dherre3 closed 5 years ago

dherre3 commented 5 years ago

Description Added fix for ShapePropTool.java, included shape propagation equation for Builtin set of class under: AbstractScalarLogicalResultVersatileQuery. For more info check the built-in tree: Builtin Hierarchy .

Here is the equation:

M|$ -> $

Testing Done Tested built on programs for this feature, created test program under my own compiler: logical_builtins.m