andreinaku/SpyType Issues
add widening operator
Updated-1 visited with 1 result
Updatedbuild python executable
Updatedast.compare transfer func
Updatedoutput lubbed specs
Closed 1recycle generated var types
Updatedtests for assignment
Closedinstatiate spec for var args
Updateddefaultdict
Updatedunit test stabilize
ClosedImprove Maude glb operation
Closed 2bugfix for vartype generation
Closed 2implement StateSet contains
Closed 1LUB between Basetypes
Closed 1implement worklist algorithm
Closed 1deserialize Maude output
Closed 1visitor for Subscript
Closedsuperclasses that contain stuff
Closed 6