Timestamp:
Oct 23, 2012, 11:15:28 AM (8 years ago)
Author:
tranquil
Message:
  • tal_rel corrected to include cases where tal_base_call \approx tal_step_call
  • status simulation: from local properties to propagation of structured traces
File:
1 added

Note: See TracChangeset for help on using the changeset viewer.