Issues

• Trampoline possible duplicate name

  bug
  mars-research/redIDL#8 · Filter by author tjhu opened on Jul 30, 2021

• domain_create: check blob domain create args

  mars-research/redIDL#7 · Filter by author tjhu opened on Jun 7, 2021

• proxy: support super traits

  mars-research/redIDL#6 · Filter by author tjhu opened on Jun 1, 2021

• ngc: enforce IPC type invariance

  mars-research/redIDL#5 · Filter by author tjhu opened on May 25, 2021

• proxy: proxy the return types if they are trait objects.

  mars-research/redIDL#4 · Filter by author tjhu opened on May 24, 2021

• domain_create: verify binary

  mars-research/redIDL#3 · Filter by author tjhu opened on May 24, 2021

• proxy: move rref to new domain on entry

  mars-research/redIDL#2 · Filter by author tjhu opened on May 20, 2021

• domain_create: type check return type

  mars-research/redIDL#1 · Filter by author tjhu opened on May 20, 2021