• Tarun Prabhu's avatar
    Added support for set-type-limits in the advertisement. It is implemented as... · ef766011
    Tarun Prabhu authored
    Added support for set-type-limits in the advertisement. It is implemented as an extension. There is no support for this in v1. It will only be in v2 and higher. To this end, ptopgen has been modified. ptopgen also now adds type slot information to nodes as an extension. However, support for other extensions still have to be added. Added another annotater class for rspec v2 but this in a very incomplete state as of now and the relevant code has been commented out of solution.cc temporarily. Assign's arguments have also been modified in mapper, so that it expects rspec inputs.
    ef766011
annotate.h 1.43 KB