Wed, 20 Nov 2013 15:19:58 +0800 add conflict of p fd as file_fd & socket
chunhan [Wed, 20 Nov 2013 15:19:58 +0800] rev 70
add conflict of p fd as file_fd & socket
Wed, 20 Nov 2013 13:44:32 +0800 simplifing model, by changing current_proc_fds to proc_file_fds in the Clone & Execve cases of os_grant
chunhan [Wed, 20 Nov 2013 13:44:32 +0800] rev 69
simplifing model, by changing current_proc_fds to proc_file_fds in the Clone & Execve cases of os_grant
Wed, 20 Nov 2013 13:43:09 +0800 simplifing model, by changing sectxt_of_obj s' (O_proc p) of None \<Rightarrow> False
chunhan [Wed, 20 Nov 2013 13:43:09 +0800] rev 68
simplifing model, by changing sectxt_of_obj s' (O_proc p) of None \<Rightarrow> False
(0) -30 -10 -3 +3 +10 tip