tylercecil / Paratype

A parallel type analysis/inference system. New Mexico Tech CSE451 Project.

tylercecil/Paratype Issues

Function composition with repeats of callees
Updated 10 years ago
Algorithm: Function composition -- what will functions do to actually resolve? Communication with children?
Closed 10 years ago
Misrepresentation of function composition in code causes incorrect output
Updated 10 years ago
Unit tests
Closed 10 years ago
Parser returns needed data
Closed 10 years ago
Unit Tests for Merging
Updated 10 years ago
Algorithm -- concurrency in merging
Closed 10 years ago
Algorithm: Cycle detection -- recursion, mutual recursion w/ parameter permutation
Updated 10 years ago
Second Order Implementation
Closed 10 years ago1
Need to have a working channel map
Closed 10 years ago
Implement algorithm as written in design doc -- first order
Closed 10 years ago1
Interface Design
Closed 10 years ago
Algorithm: finish condition -- functions gathering their different implementations
Closed 10 years ago1
Update algorithm: one context adding information to another
Closed 10 years ago1
Merging needs to be possible
Closed 10 years ago1