goose-lang/goose

Issues

• Add function type support

  #53 opened 6 months ago by sanjit-bhat
  0

• Incorrect translation of map get function and call

  #52 opened 6 months ago by sanjit-bhat
  0

• Move any dependencies verified code needs out of this repo

  #51 opened 6 months ago by tchajed
  0

• Goosifying Recursive Functions

  #39 opened 6 months ago by ismailkuru
  3

• Panic when calling receiver methods for non-struct types

  #48 opened 8 months ago by sanjit-bhat
  0

• Incorrect codegen for struct constructor with nil field

  #47 opened 8 months ago by sanjit-bhat
  1

• Multi-return-value assignment is translated wrong when mutable local variables are involved

  #45 opened 2 years ago by RalfJung
  2

• var wg sync.WaitGroup doesn't properly link

  #46 opened a year ago by sanjit-bhat
  2

• Goose ignores parentheses is arithmetic operations

  #43 opened a year ago by RalfJung
  0

• Calling function pointers in struct fields is not supported

  #26 opened 2 years ago by RalfJung
  1

• Goosifying the functions with multiple reference returns

  #40 opened 2 years ago by ismailkuru
  5

• Support some features by rewriting the source AST

  #38 opened 3 years ago by tchajed
  0

• Handle constant integer expressions

  #36 opened 3 years ago by tchajed
  0

• Make it easier to run tests

  #34 opened 3 years ago by RalfJung
  3

• Non-FFI file with imports generates code that triggers Coq warnings

  #31 opened 3 years ago by RalfJung
  3

• Slices of pointers to structs seem to be mistranslated

  #27 opened 3 years ago by RalfJung
  3

• Loop control flow is sometimes mistranslated

  #3 opened 3 years ago by tchajed
  1

• Translation returns the value from the last function even if function returns nothing

  #15 opened 3 years ago by tchajed
  1

• Incorrect (?) code generation for trailing function calls

  #24 opened 3 years ago by RalfJung
  1

• Correctly call pointer-receiver methods on struct fields

  #1 opened 3 years ago by tchajed
  1

• Support calling pointer-receiver methods on struct fields

  #5 opened 4 years ago by tchajed
  1

• Use go/packages to load Go package

  #9 opened 4 years ago by tchajed
  0

• Feature: allow skipping files within a package

  #10 opened 4 years ago by tchajed
  0

• Add test for generic FFI

  #19 opened 4 years ago by tchajed
  0

• Let's get interfaces working

  #12 opened 4 years ago by chewxy
  2

• Integer conversion of len is mistranslated

  #14 opened 4 years ago by tchajed
  0

• Structs with cyclic dependencies

  #11 opened 4 years ago by ismailkuru
  3

• Global integer constants should be translated to their value

  #4 opened 5 years ago by tchajed
  0

• Allow continue and break while iterating over a map

  #2 opened 5 years ago by tchajed
  0