STD TODO List

[hecmas]

Pending

(ordered by priority)

• Debug mode:
  • Group rows by airgroup_id, air_id and instance_id. STD debug mode improvements and fixes #126
  • Capture global constraint directs in debug. (direct_global_update_*). Global values in debug mode #133
  • Add the hability to filter by a field other than the opid. A good example is the type of operations (e.g. it is an arithmetic op, a binary op, ...) which is typically part of the expressions.
  • Use string instead of id for airgroup and air. Cleanup, fixes and optimizations of std #137
  • Add PIOP, sel and expression name. Cleanup, fixes and optimizations of std #137
  • Fix false positive in direct global updates: they are not detected as hints associated with an air and therefore they are never issued to the debug data. This requires a bug fix in the compiler.
  • Add output to file. Print to file in debug mode #135
  • Sort unmatching values by the row.
• One bus per air to isolate constraint verification in debugging environments.
• U8Air extended. U8Air Extended #115
• PrimeField to AbstractField or to PrimeField64.
• Allow predetermined flag in multi_range_check and range_check_id interfaces.
• Adapt lookup checks to being proved via product-checks, as explained here. This would allow for using the product bus for all PIOPs at this moment.

Completed

• Update air and global constraint directly. Adding the constraint directly to the air #117 Direct Update Fix #128 Fixing the air constraint #136
• Degree function can now be used to compute the degree of an expression, use it to improve the std intermediate column generation. Improving the logup intermediate column generation #112 Degree 0 Sum #118 Isolated term into sum #119
• Allow more than one bus in the same airgroup even if they are not needed for some air inside such airgroup. Two buses #96