Port instantiations

added 15 commits

• 0ac14e20 - 1 commit from branch RT-PROOFS:master
• 8b2807ad - New things
• cbbae35e - Add a few spaces
• 775fb1d4 - Move preemption models
• 654d0593 - Add model with bounded nonp segments
• 9b242b3e - Move file
• d5856226 - Some polishing in util
• f188f59e - Del one file
• ae6d708b - Delete known long proof
• 58379f3b - Add things in processor
• 5f42474a - Add things in priorities
• 138762c3 - Add nonpreemptive schedule
• 1188abb5 - Update
• 1de33080 - Done with proofs in busy interval
• efb66cd2 - Fix imports

Compare with previous version

added 2 commits

• 3a2ee98e - Update
• d0920916 - Done with bounded PI

Compare with previous version

added 2 commits

• 5a128218 - Done with jlfp-inst
• 41707435 - Add tactic

Compare with previous version

added 3 commits

• faf64d2b - Update
• 8cc108e8 - Del comment
• f3528b7d - Big Update

Compare with previous version

added 3 commits

• 7f86462f - Shorten lemmas
• 567d5bae - Del lemma
• 5c2547f1 - Shorten one more proof

Compare with previous version

added 1 commit

• bb7e5ef8 - test

Compare with previous version

added 1 commit

• f6cb3982 - Add the first tactic

Compare with previous version

added 2 commits

• f5b13f74 - Shorten proof
• 9c3589ac - Big update

Compare with previous version

added 1 commit

• 809302db - Shorten some proofs

Compare with previous version

added 1 commit

• a9664256 - Shorten some proofs

Compare with previous version

added 1 commit

• 80e1d9a6 - test

Compare with previous version

added 1 commit

• 17a639c0 - Shorten some proofs

Compare with previous version

added 1 commit

• 10e3438a - Delete a few proofs

Compare with previous version

added 2 commits

• cc00fa15 - Add things
• 711313f1 - Shorten proof

Compare with previous version

added 4 commits

• 6ede01fd - Update
• 0105f880 - Move files
• 5847e6b2 - Split file
• 03ba4bd9 - Move things around

Compare with previous version

added 6 commits

• 20df19ef - Done with rtct.nonpreemptive
• 92c2088a - Add a few definitions
• bda9c350 - Restructure limited preemption thing
• 9065b230 - I added one file and this is what happened
• 6f59b035 - Making progress
• ca7342af - Delete a proof

Compare with previous version

added 1 commit

• f0e13366 - Add preemption.job

Compare with previous version

added 2 commits

• 5f5008ca - Define conversion
• ef48863f - Done with one more proof

Compare with previous version

added 2 commits

• 592491f3 - Delete proof
• 575175ea - Move things

Compare with previous version

added 1 commit

• 6248b15b - Finish more proofs

Compare with previous version