Add [arrives_in] to [sequential_tasks] definition

added 8 commits

• fb595336...e33a1ebe - 7 commits from branch RT-PROOFS:master
• b56f5bce - Add [arrives_in] to [sequential_tasks] definition

Compare with previous version

Thank you for the nicely isolated change. The diff looks good to me, but could you please update the commit message to provide a rationale for the change?

added 1 commit

• 4670664c - Add [arrives_in] to [sequential_tasks] definition

Compare with previous version

added 1 commit

• d5df19b9 - Add [arrives_in] to [sequential_tasks] definition

Compare with previous version

added 1 commit

• b6361c5a - Add [arrives_in] to [sequential_tasks] definition

Compare with previous version

added 1 commit

• e5b7ce91 - Add [arrives_in] to [sequential_tasks] definition

Compare with previous version

added 1 commit

• 8afbf10c - Add [arrives_in] to [sequential_tasks] definition

Compare with previous version

added 1 commit

• 33a48458 - Add [arrives_in] to [sequential_tasks] definition

Compare with previous version

resolved all threads

merged