Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / sel4/capdl issues and pull requests

#71 - github: switch to maintained haskell-actions/setup

Pull Request - State: closed - Opened by lsf37 7 months ago
Labels: CI

#71 - github: switch to maintained haskell-actions/setup

Pull Request - State: closed - Opened by lsf37 7 months ago
Labels: CI

#70 - undyped_gen: remove pyaml dependency

Pull Request - State: closed - Opened by lsf37 7 months ago

#70 - undyped_gen: remove pyaml dependency

Pull Request - State: closed - Opened by lsf37 7 months ago

#69 - post-release: Update VERSION file to 0.3-dev

Pull Request - State: closed - Opened by lsf37 7 months ago

#69 - post-release: Update VERSION file to 0.3-dev

Pull Request - State: closed - Opened by lsf37 7 months ago

#68 - recreate 0.3-dev release state

Pull Request - State: closed - Opened by lsf37 7 months ago

#68 - recreate 0.3-dev release state

Pull Request - State: closed - Opened by lsf37 7 months ago

#67 - 0.3 Release for seL4 13.0.0

Pull Request - State: closed - Opened by lsf37 7 months ago

#67 - 0.3 Release for seL4 13.0.0

Pull Request - State: closed - Opened by lsf37 7 months ago

#66 - update change log

Pull Request - State: closed - Opened by lsf37 7 months ago

#66 - update change log

Pull Request - State: closed - Opened by lsf37 7 months ago

#65 - find_device_object can be exteremely inefficient

Issue - State: open - Opened by chrisguikema 8 months ago

#65 - find_device_object can be exteremely inefficient

Issue - State: open - Opened by chrisguikema 8 months ago

#64 - Is a TCB's fault endpoint slot fixed?

Issue - State: closed - Opened by Ivan-Velickovic 11 months ago - 8 comments

#64 - Is a TCB's fault endpoint slot fixed?

Issue - State: closed - Opened by Ivan-Velickovic 11 months ago - 8 comments

#63 - Can't produce a static binary for parse-capDL

Issue - State: closed - Opened by Ivan-Velickovic 12 months ago - 2 comments

#63 - Can't produce a static binary for parse-capDL

Issue - State: closed - Opened by Ivan-Velickovic 12 months ago - 2 comments

#62 - capDL-tool, capdl-loader-app: Add support for binding notifications for TCBs

Pull Request - State: closed - Opened by nspin 12 months ago - 5 comments

#62 - capDL-tool, capdl-loader-app: Add support for binding notifications for TCBs

Pull Request - State: closed - Opened by nspin 12 months ago - 5 comments

#61 - trivial: Make capitalization more consistent

Pull Request - State: closed - Opened by nspin 12 months ago

#61 - trivial: Make capitalization more consistent

Pull Request - State: closed - Opened by nspin 12 months ago

#60 - python-capdl-tool: Remove redundant assignment

Pull Request - State: closed - Opened by nspin 12 months ago

#60 - python-capdl-tool: Remove redundant assignment

Pull Request - State: closed - Opened by nspin 12 months ago

#59 - github: bump actions to node20

Pull Request - State: closed - Opened by lsf37 12 months ago
Labels: CI

#59 - github: bump actions to node20

Pull Request - State: closed - Opened by lsf37 12 months ago
Labels: CI

#58 - Replace deprecated pkg_resources usage

Pull Request - State: closed - Opened by hcindyl about 1 year ago - 2 comments

#58 - Replace deprecated pkg_resources usage

Pull Request - State: closed - Opened by hcindyl about 1 year ago - 2 comments

#57 - github: bump GitHub action versions

Pull Request - State: closed - Opened by lsf37 over 1 year ago

#57 - github: bump GitHub action versions

Pull Request - State: closed - Opened by lsf37 over 1 year ago

#56 - capdl-loader-app: Refactor two-phase build design

Pull Request - State: open - Opened by kent-mcleod over 1 year ago

#56 - capdl-loader-app: Refactor two-phase build design

Pull Request - State: open - Opened by kent-mcleod over 1 year ago

#55 - python-capdl-tool: Update python3 test scripts

Pull Request - State: closed - Opened by kent-mcleod over 1 year ago - 3 comments

#55 - python-capdl-tool: Update python3 test scripts

Pull Request - State: closed - Opened by kent-mcleod over 1 year ago - 3 comments

#54 - CONFIG_VTX checked within CONFIG_ARCH_ARM block?

Issue - State: open - Opened by axel-h over 1 year ago - 1 comment

#54 - CONFIG_VTX checked within CONFIG_ARCH_ARM block?

Issue - State: open - Opened by axel-h over 1 year ago - 1 comment

#53 - upgrade GH actions + test python 3.9 in addition to latest python

Pull Request - State: closed - Opened by lsf37 over 1 year ago - 3 comments

#53 - upgrade GH actions + test python 3.9 in addition to latest python

Pull Request - State: closed - Opened by lsf37 over 1 year ago - 3 comments

#52 - aarch64: Minimal update for vspace API change

Pull Request - State: closed - Opened by kent-mcleod over 1 year ago

#52 - aarch64: Minimal update for vspace API change

Pull Request - State: closed - Opened by kent-mcleod over 1 year ago

#51 - object_sizes: Add include for deprecated constants

Pull Request - State: closed - Opened by kent-mcleod over 1 year ago

#51 - object_sizes: Add include for deprecated constants

Pull Request - State: closed - Opened by kent-mcleod over 1 year ago

#50 - capDL-tool: update to LTS Haskell 20.25, ghc-9.2.8

Pull Request - State: closed - Opened by lsf37 over 1 year ago

#50 - capDL-tool: update to LTS Haskell 20.25, ghc-9.2.8

Pull Request - State: closed - Opened by lsf37 over 1 year ago

#49 - capdl-loader: use seL4_BootInfoFrameSize

Pull Request - State: closed - Opened by axel-h almost 2 years ago - 1 comment

#49 - capdl-loader: use seL4_BootInfoFrameSize

Pull Request - State: closed - Opened by axel-h almost 2 years ago - 1 comment

#48 - capdl_spec.c: Remove seL4_libs dependencies from generated spec

Issue - State: open - Opened by kent-mcleod over 2 years ago - 2 comments

#48 - capdl_spec.c: Remove seL4_libs dependencies from generated spec

Issue - State: open - Opened by kent-mcleod over 2 years ago - 2 comments

#47 - loader mcs: set handler params with TCB syscalls

Pull Request - State: open - Opened by corlewis over 2 years ago

#47 - loader mcs: set handler params with TCB syscalls

Pull Request - State: open - Opened by corlewis over 2 years ago

#46 - Enforce architecture parameter, drop aarch32 as default

Pull Request - State: open - Opened by axel-h over 2 years ago

#46 - Enforce architecture parameter, drop aarch32 as default

Pull Request - State: open - Opened by axel-h over 2 years ago

#45 - capDL-tool: update GHC version

Pull Request - State: closed - Opened by corlewis over 2 years ago - 2 comments
Labels: Haskell

#45 - capDL-tool: update GHC version

Pull Request - State: closed - Opened by corlewis over 2 years ago - 2 comments
Labels: Haskell

#44 - capDL-tool: update GHC version

Pull Request - State: closed - Opened by corlewis over 2 years ago - 1 comment
Labels: Haskell

#44 - capDL-tool: update GHC version

Pull Request - State: closed - Opened by corlewis over 2 years ago - 1 comment
Labels: Haskell

#43 - Support specifying rights for fault handler caps

Pull Request - State: closed - Opened by corlewis over 2 years ago

#43 - Support specifying rights for fault handler caps

Pull Request - State: closed - Opened by corlewis over 2 years ago

#42 - capdl-loader-app: use sel4muslcsys_setup_morecore_region()

Pull Request - State: open - Opened by axel-h over 2 years ago

#42 - capdl-loader-app: use sel4muslcsys_setup_morecore_region()

Pull Request - State: open - Opened by axel-h over 2 years ago

#41 - capdl-loader-app: ensure heap is aligned

Pull Request - State: closed - Opened by axel-h over 2 years ago

#41 - capdl-loader-app: ensure heap is aligned

Pull Request - State: closed - Opened by axel-h over 2 years ago

#40 - Cleanup and clarify "arm11" usage despite ARMv6 removal

Pull Request - State: closed - Opened by axel-h almost 3 years ago - 1 comment
Labels: python, doc

#40 - Cleanup and clarify "arm11" usage despite ARMv6 removal

Pull Request - State: closed - Opened by axel-h almost 3 years ago - 1 comment
Labels: python, doc

#39 - ARMv6 is no longer supported by seL4

Pull Request - State: closed - Opened by axel-h almost 3 years ago - 11 comments

#39 - ARMv6 is no longer supported by seL4

Pull Request - State: closed - Opened by axel-h almost 3 years ago - 11 comments

#38 - trivial: Fix format strings

Pull Request - State: closed - Opened by hlyytine almost 3 years ago

#38 - trivial: Fix format strings

Pull Request - State: closed - Opened by hlyytine almost 3 years ago

#37 - capDL-tool: get ghc802 from old nixpkgs on nixos

Pull Request - State: closed - Opened by sledgehammervampire almost 3 years ago - 19 comments

#37 - capDL-tool: get ghc802 from old nixpkgs on nixos

Pull Request - State: closed - Opened by sledgehammervampire almost 3 years ago - 19 comments

#36 - capDL-tool: actually fix cases in validObjPars

Pull Request - State: closed - Opened by corlewis almost 3 years ago

#36 - capDL-tool: actually fix cases in validObjPars

Pull Request - State: closed - Opened by corlewis almost 3 years ago

#35 - capDL-tool: fix several cases in validObjPars

Pull Request - State: closed - Opened by corlewis almost 3 years ago - 1 comment

#35 - capDL-tool: fix several cases in validObjPars

Pull Request - State: closed - Opened by corlewis almost 3 years ago - 1 comment

#34 - smmuv2: Add ability to specify sid and cb numbers in a cdl file

Pull Request - State: open - Opened by Apave24 almost 3 years ago - 1 comment

#34 - smmuv2: Add ability to specify sid and cb numbers in a cdl file

Pull Request - State: open - Opened by Apave24 almost 3 years ago - 1 comment

#33 - SMC Capability

Pull Request - State: closed - Opened by Furao about 3 years ago - 1 comment

#33 - SMC Capability

Pull Request - State: closed - Opened by Furao about 3 years ago - 1 comment

#32 - cdl_utils: more PyYaml adjustments

Pull Request - State: closed - Opened by lsf37 about 3 years ago

#32 - cdl_utils: more PyYaml adjustments

Pull Request - State: closed - Opened by lsf37 about 3 years ago

#31 - replace `nose` with newer testing framework

Issue - State: closed - Opened by lsf37 about 3 years ago
Labels: help wanted, good first issue, python

#31 - replace `nose` with newer testing framework

Issue - State: closed - Opened by lsf37 about 3 years ago
Labels: help wanted, good first issue, python

#30 - cdl_utils: provide yaml loader

Pull Request - State: closed - Opened by lsf37 about 3 years ago

#30 - cdl_utils: provide yaml loader

Pull Request - State: closed - Opened by lsf37 about 3 years ago

#29 - cdl_utils: remove unmaintained python library

Pull Request - State: closed - Opened by szhuang over 3 years ago - 3 comments

#29 - cdl_utils: remove unmaintained python library

Pull Request - State: closed - Opened by szhuang over 3 years ago - 3 comments

#28 - github: trigger main test on push to master

Pull Request - State: closed - Opened by lsf37 over 3 years ago

#28 - github: trigger main test on push to master

Pull Request - State: closed - Opened by lsf37 over 3 years ago

#27 - update publication links

Pull Request - State: closed - Opened by lsf37 over 3 years ago

#27 - update publication links

Pull Request - State: closed - Opened by lsf37 over 3 years ago

#26 - readme: add vulnerability reporting policy

Pull Request - State: closed - Opened by mbrcknl over 3 years ago

#25 - capdl-loader-app: Suppress rv32 overflow warning

Pull Request - State: closed - Opened by kent-mcleod over 3 years ago - 3 comments

#24 - capdl-loader-app RISC-V rv32 warning that left shifts exceed size

Issue - State: closed - Opened by axel-h over 3 years ago - 1 comment

#23 - Release 0.2.1

Pull Request - State: closed - Opened by nomadeel over 3 years ago

#22 - parse-capDL creates invalid dot file

Issue - State: open - Opened by axel-h almost 4 years ago - 2 comments
Labels: Haskell

#21 - capdl-loader-app: add const qualifier

Pull Request - State: closed - Opened by axel-h almost 4 years ago - 1 comment

#20 - do branch maintenance

Issue - State: closed - Opened by axel-h almost 4 years ago - 6 comments

#19 - CHANGES file edit pass

Pull Request - State: closed - Opened by kent-mcleod about 4 years ago