Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / sel4/l4v issues and pull requests
#105 - rt aspec: spec update for latest version of refill logic
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
#105 - rt aspec: spec update for latest version of refill logic
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
#104 - Prove schedContextUnbindTCB_invs'
Pull Request -
State: closed - Opened by ryybrr about 4 years ago
#104 - Prove schedContextUnbindTCB_invs'
Pull Request -
State: closed - Opened by ryybrr about 4 years ago
#103 - rt refine: fix sc_replies_relation (head)
Pull Request -
State: closed - Opened by mktnk3 about 4 years ago
- 11 comments
Labels: MCS
#103 - rt refine: fix sc_replies_relation (head)
Pull Request -
State: closed - Opened by mktnk3 about 4 years ago
- 11 comments
Labels: MCS
#102 - Three sorries in CNodeInv_R.thy
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
- 2 comments
Labels: MCS
#102 - Three sorries in CNodeInv_R.thy
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
- 2 comments
Labels: MCS
#101 - activate_thread: proofs for corres lemma and invs' lemma.
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
Labels: MCS
#101 - activate_thread: proofs for corres lemma and invs' lemma.
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
Labels: MCS
#100 - rt refine: add ReplyCap to zobj_refs'
Pull Request -
State: closed - Opened by corlewis about 4 years ago
Labels: MCS
#100 - rt refine: add ReplyCap to zobj_refs'
Pull Request -
State: closed - Opened by corlewis about 4 years ago
Labels: MCS
#99 - Finalise_R sorries
Pull Request -
State: closed - Opened by victorphan about 4 years ago
Labels: MCS
#99 - Finalise_R sorries
Pull Request -
State: closed - Opened by victorphan about 4 years ago
Labels: MCS
#98 - Weaken tcbSchedDequeue preconditions
Pull Request -
State: closed - Opened by ryybrr about 4 years ago
Labels: MCS
#98 - Weaken tcbSchedDequeue preconditions
Pull Request -
State: closed - Opened by ryybrr about 4 years ago
Labels: MCS
#97 - rt refine: Solve five sorries in Tcb_R.thy
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
Labels: MCS
#97 - rt refine: Solve five sorries in Tcb_R.thy
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
Labels: MCS
#96 - Bjorn refill logic
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
- 5 comments
#96 - Bjorn refill logic
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
- 5 comments
#95 - Reply_R: Prove `replyRemoveTCB_invs'`
Pull Request -
State: closed - Opened by pierzchalski about 4 years ago
- 5 comments
Labels: MCS
#94 - Four sorries in CNodeInv_R.thy
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
Labels: MCS
#93 - rt refine: progress on Finalise_R sorries
Pull Request -
State: closed - Opened by corlewis about 4 years ago
- 4 comments
Labels: MCS
#93 - rt refine: progress on Finalise_R sorries
Pull Request -
State: closed - Opened by corlewis about 4 years ago
- 4 comments
Labels: MCS
#92 - misc lemmas for reply_remove_tcb_corres
Pull Request -
State: closed - Opened by mktnk3 about 4 years ago
- 1 comment
Labels: MCS
#92 - misc lemmas for reply_remove_tcb_corres
Pull Request -
State: closed - Opened by mktnk3 about 4 years ago
- 1 comment
Labels: MCS
#91 - rt refine: sorries for valid_queues and valid_inQ_queues in Finalise
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
- 1 comment
Labels: MCS
#91 - rt refine: sorries for valid_queues and valid_inQ_queues in Finalise
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
- 1 comment
Labels: MCS
#90 - Arch_R and Ipc_R
Pull Request -
State: closed - Opened by mktnk3 about 4 years ago
Labels: MCS
#90 - Arch_R and Ipc_R
Pull Request -
State: closed - Opened by mktnk3 about 4 years ago
Labels: MCS
#89 - more testing
Issue -
State: closed - Opened by lsf37 about 4 years ago
- 2 comments
#87 - riscv crefine: verify clz and ctz
Pull Request -
State: closed - Opened by mbrcknl about 4 years ago
Labels: enhancement, seL4-PR
#87 - riscv crefine: verify clz and ctz
Pull Request -
State: closed - Opened by mbrcknl about 4 years ago
Labels: enhancement, seL4-PR
#86 - Partial progress with schedule_corres
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
Labels: MCS
#85 - Partial progress with schedule_corres
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
Labels: MCS
#85 - Partial progress with schedule_corres
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
Labels: MCS
#84 - sync testing
Issue -
State: closed - Opened by lsf37 about 4 years ago
- 5 comments
#83 - rt refine: fix definition of valid_sched_context'
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
Labels: MCS
#83 - rt refine: fix definition of valid_sched_context'
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
Labels: MCS
#82 - clib: add a `hoarep_rewrite` method
Pull Request -
State: closed - Opened by mbrcknl about 4 years ago
- 10 comments
Labels: enhancement
#82 - clib: add a `hoarep_rewrite` method
Pull Request -
State: closed - Opened by mbrcknl about 4 years ago
- 10 comments
Labels: enhancement
#81 - haskell: deal with existing "~/.stack"
Pull Request -
State: closed - Opened by lsf37 about 4 years ago
- 2 comments
#81 - haskell: deal with existing "~/.stack"
Pull Request -
State: closed - Opened by lsf37 about 4 years ago
- 2 comments
#80 - asmrefine: support small array index types
Pull Request -
State: closed - Opened by mbrcknl about 4 years ago
- 3 comments
Labels: enhancement
#80 - asmrefine: support small array index types
Pull Request -
State: closed - Opened by mbrcknl about 4 years ago
- 3 comments
Labels: enhancement
#79 - Remove runnable
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
- 1 comment
Labels: MCS
#79 - Remove runnable
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
- 1 comment
Labels: MCS
#78 - more github CI for master branch
Pull Request -
State: closed - Opened by lsf37 about 4 years ago
- 2 comments
Labels: CI
#78 - more github CI for master branch
Pull Request -
State: closed - Opened by lsf37 about 4 years ago
- 2 comments
Labels: CI
#77 - Update commit_time
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
Labels: MCS
#77 - Update commit_time
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
Labels: MCS
#76 - Update switch_sched_context
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
- 1 comment
Labels: MCS
#76 - Update switch_sched_context
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
- 1 comment
Labels: MCS
#75 - Update set_next_interrupt
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
- 1 comment
Labels: MCS
#75 - Update set_next_interrupt
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
- 1 comment
Labels: MCS
#74 - HaskellKernel times out running tests in a clean repo
Issue -
State: closed - Opened by sorear about 4 years ago
- 12 comments
Labels: wontfix, CI
#74 - HaskellKernel times out running tests in a clean repo
Issue -
State: closed - Opened by sorear about 4 years ago
- 12 comments
Labels: wontfix, CI
#73 - Prove suspend_corres
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
Labels: MCS
#73 - Prove suspend_corres
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
Labels: MCS
#72 - Prove `cancel_all_ipc_corres`
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
Labels: MCS
#72 - Prove `cancel_all_ipc_corres`
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
Labels: MCS
#71 - SimplExportAndRefine update for MCS
Pull Request -
State: closed - Opened by mbrcknl about 4 years ago
- 1 comment
Labels: enhancement
#71 - SimplExportAndRefine update for MCS
Pull Request -
State: closed - Opened by mbrcknl about 4 years ago
- 1 comment
Labels: enhancement
#70 - Eap/sear fixups
Pull Request -
State: closed - Opened by pierzchalski about 4 years ago
- 1 comment
Labels: bug, enhancement
#70 - Eap/sear fixups
Pull Request -
State: closed - Opened by pierzchalski about 4 years ago
- 1 comment
Labels: bug, enhancement
#69 - asmrefine: add timeouts for debugging (for master)
Pull Request -
State: closed - Opened by mbrcknl about 4 years ago
- 4 comments
Labels: enhancement
#69 - asmrefine: add timeouts for debugging (for master)
Pull Request -
State: closed - Opened by mbrcknl about 4 years ago
- 4 comments
Labels: enhancement
#68 - Rt spec improve1
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
#68 - Rt spec improve1
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
#67 - Simplify handling of round_robin sched contexts
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
- 2 comments
Labels: MCS
#67 - Simplify handling of round_robin sched contexts
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
- 2 comments
Labels: MCS
#66 - Update address translation in haskell spec to reflect C
Pull Request -
State: closed - Opened by xurtis about 4 years ago
- 9 comments
Labels: enhancement
#66 - Update address translation in haskell spec to reflect C
Pull Request -
State: closed - Opened by xurtis about 4 years ago
- 9 comments
Labels: enhancement
#65 - asmrefine: add timeouts for debugging
Pull Request -
State: closed - Opened by pierzchalski about 4 years ago
- 4 comments
#65 - asmrefine: add timeouts for debugging
Pull Request -
State: closed - Opened by pierzchalski about 4 years ago
- 4 comments
#64 - Reprogram timer updates + misc fixes
Pull Request -
State: closed - Opened by ryybrr about 4 years ago
Labels: MCS
#64 - Reprogram timer updates + misc fixes
Pull Request -
State: closed - Opened by ryybrr about 4 years ago
Labels: MCS
#63 - IpcCancel cancelAllIPC_invs'
Pull Request -
State: closed - Opened by victorphan about 4 years ago
- 4 comments
Labels: MCS
#63 - IpcCancel cancelAllIPC_invs'
Pull Request -
State: closed - Opened by victorphan about 4 years ago
- 4 comments
Labels: MCS
#62 - prove cancelAllSignals_invs', fix suspend_invs'
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
- 3 comments
Labels: MCS
#62 - prove cancelAllSignals_invs', fix suspend_invs'
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
- 3 comments
Labels: MCS
#58 - some lemmas for handling sched_context size + improved `update_sc_no_reply_stack_update_corres`
Pull Request -
State: closed - Opened by mktnk3 about 4 years ago
- 2 comments
Labels: MCS
#58 - some lemmas for handling sched_context size + improved `update_sc_no_reply_stack_update_corres`
Pull Request -
State: closed - Opened by mktnk3 about 4 years ago
- 2 comments
Labels: MCS
#57 - haskell: deal with existing "~/.stack"
Pull Request -
State: closed - Opened by lsf37 about 4 years ago
- 1 comment
Labels: CI
#57 - haskell: deal with existing "~/.stack"
Pull Request -
State: closed - Opened by lsf37 about 4 years ago
- 1 comment
Labels: CI
#56 - complete github CI check for MCS
Pull Request -
State: closed - Opened by lsf37 about 4 years ago
- 2 comments
Labels: CI, MCS
#56 - complete github CI check for MCS
Pull Request -
State: closed - Opened by lsf37 about 4 years ago
- 2 comments
Labels: CI, MCS
#55 - Haskell fix
Pull Request -
State: closed - Opened by lsf37 about 4 years ago
- 1 comment
Labels: MCS
#55 - Haskell fix
Pull Request -
State: closed - Opened by lsf37 about 4 years ago
- 1 comment
Labels: MCS
#54 - c-parser: avoid cleaning `umm_heap/ARM_HYP`
Pull Request -
State: closed - Opened by mbrcknl about 4 years ago
- 4 comments
Labels: cleanup
#54 - c-parser: avoid cleaning `umm_heap/ARM_HYP`
Pull Request -
State: closed - Opened by mbrcknl about 4 years ago
- 4 comments
Labels: cleanup
#53 - c-parser: make default SML compiler Poly/ML (not mlton)
Pull Request -
State: closed - Opened by mn200 about 4 years ago
- 17 comments
Labels: cleanup
#53 - c-parser: make default SML compiler Poly/ML (not mlton)
Pull Request -
State: closed - Opened by mn200 about 4 years ago
- 17 comments
Labels: cleanup
#52 - The state relation for abstract-to-haskell refinement is non-empty [VER-1342]
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
- 9 comments
Labels: enhancement
#52 - The state relation for abstract-to-haskell refinement is non-empty [VER-1342]
Pull Request -
State: closed - Opened by MitchellBuckley about 4 years ago
- 9 comments
Labels: enhancement
#51 - Remove sym_refs
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
- 6 comments
Labels: MCS
#51 - Remove sym_refs
Pull Request -
State: closed - Opened by michaelmcinerney about 4 years ago
- 6 comments
Labels: MCS
#49 - Rt sc replies relation #2
Pull Request -
State: closed - Opened by mktnk3 about 4 years ago
- 4 comments
Labels: MCS
#48 - Prove that the C state relation is empty, then make it non-empty
Pull Request -
State: closed - Opened by mbrcknl about 4 years ago
- 7 comments
Labels: bug
#48 - Prove that the C state relation is empty, then make it non-empty
Pull Request -
State: closed - Opened by mbrcknl about 4 years ago
- 7 comments
Labels: bug