Skip to content
Snippets Groups Projects
Select Git revision
  • new-parser
  • master default
  • opt/groupBy
  • otimizations
  • features/somefunctor-tagged
  • features/somefunctor-any
  • features/elim-functor-subterms
  • scratch/debug-ap-memusage
  • features/list-functors
  • scratch/subterm-elemination
  • features/true-monoids
  • features/double-max-monoid
  • features/valmari-dfa
  • restrictPartition
  • features/complex-numbers
  • fixes/monod-valued-de-GADT
  • eliminate-lists2
  • h1-initialize
  • eliminate-lists
  • bench-partition
  • megaparsec-7
21 results

copar

  • Clone with SSH
  • Clone with HTTPS
  • Forked from Informatik 8 / CoPaR
    Source project has a limited visibility.
    user avatar
    Jeff Vander Stoep authored
    This is a partial cherry pick of commit 6231b4d9
    'Enforce per-app data protections for targetSdk 28+'.
    
    Untrusted_app_27 remains unreachable, but it's existence
    prevents future merge conflicts.
    
    Bug: 63897054
    Test: build/boot aosp_walleye-userdebug
    Change-Id: I64b013874fe87b55f47e817a1279e76ecf86b7c0
    Merged-In: I64b013874fe87b55f47e817a1279e76ecf86b7c0
    (cherry picked from commit 6231b4d9)
    3aa7ca56
    History
    Name Last commit Last update