Feature plan

[matthewhammer]

Logging

• Clean up replica debug messages; move that info into another logging canister
• Create and use a distinct motoko-biglog package; start here?

Static analysis

• Sanity check the script for common errors (variable names, simple type checking, etc.)
• Simple static analysis to estimate the total number of calls (for predicting test times, and giving progress reports as percentages)

Language growth

• Add functions, simple data types, and other features from Motoko
• More collections from Motoko base, with associated primitives builtin

Operations

• CRUD interface for managing test jobs, dynamically
• Better visualization of progress in terms of total call counts

[matthewhammer]

Candiff features to do:

Important stuff:

• Candiff can understand tuples (IDLArg) as input, not just IDLValue

Extra stuff:

• Candiff can describe edits that insert nodes into trees (for diff'ing hierarchical logs, like those of Adapton)
• Candiff can describe vector edits that insert and remove elements within the sequence (like diff on UNIX does for lines)

This issue now supersedes #5 (closed).