goose-lang/goose issues and pull requests

#55 - prior alias gen caused all terms to print as alias. change to use Notation (only parsing).

Pull Request - State: closed - Opened by sanjit-bhat 2 months ago

#54 - Add support to goose type methods

Pull Request - State: closed - Opened by sanjit-bhat 4 months ago

#53 - Add function type support

Issue - State: open - Opened by sanjit-bhat 4 months ago

#52 - Incorrect translation of map get function and call

Issue - State: open - Opened by sanjit-bhat 4 months ago

#51 - Move any dependencies verified code needs out of this repo

Issue - State: open - Opened by tchajed 4 months ago

#50 - Recursive function support 🔁

Pull Request - State: closed - Opened by sanjit-bhat 4 months ago

#49 - added channels

Pull Request - State: open - Opened by jzhang025 5 months ago - 1 comment

#48 - Panic when calling receiver methods for non-struct types

Issue - State: open - Opened by sanjit-bhat 6 months ago

#47 - Incorrect codegen for struct constructor with nil field

Issue - State: open - Opened by sanjit-bhat 6 months ago - 1 comment

#46 - var wg sync.WaitGroup doesn't properly link

Issue - State: open - Opened by sanjit-bhat about 1 year ago - 2 comments

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

Issue - State: open - Opened by RalfJung almost 2 years ago - 2 comments

#44 - fix parentheses printing with more principled approach

Pull Request - State: closed - Opened by RalfJung almost 2 years ago - 4 comments

#43 - Goose ignores parentheses is arithmetic operations

Issue - State: closed - Opened by RalfJung almost 2 years ago

#42 - Add Sleep to machine primitives

Pull Request - State: closed - Opened by yunshengtw about 2 years ago

#41 - Added support for calling struct field functions; added a test for it; resolves #26

Pull Request - State: closed - Opened by upamanyus about 2 years ago

#40 - Goosifying the functions with multiple reference returns

Issue - State: closed - Opened by ismailkuru about 2 years ago - 5 comments

#39 - Goosifying Recursive Functions

Issue - State: closed - Opened by ismailkuru about 2 years ago - 3 comments

#38 - Support some features by rewriting the source AST

Issue - State: open - Opened by tchajed over 2 years ago

#37 - Multiple assignment

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

#36 - Handle constant integer expressions

Issue - State: open - Opened by tchajed over 2 years ago

#35 - add semantic test for beyond-length subslicing

Pull Request - State: closed - Opened by RalfJung over 2 years ago - 1 comment

#34 - Make it easier to run tests

Issue - State: closed - Opened by RalfJung over 2 years ago - 3 comments

#33 - WIP: test and fix slice capacity semantics

Pull Request - State: closed - Opened by RalfJung over 2 years ago - 1 comment

#32 - move all imports before the Section

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

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

Issue - State: closed - Opened by RalfJung over 2 years ago - 3 comments

#30 - add primitives for prophecy variables

Pull Request - State: closed - Opened by RalfJung over 2 years ago - 1 comment

#29 - Add support for TSC

Pull Request - State: closed - Opened by yunshengtw over 2 years ago - 1 comment

#28 - Use opaque pointer type

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

#27 - Slices of pointers to structs seem to be mistranslated

Issue - State: closed - Opened by RalfJung about 3 years ago - 3 comments

#26 - Calling function pointers in struct fields is not supported

Issue - State: closed - Opened by RalfJung about 3 years ago - 1 comment

#25 - refactor handling of control effects (early return/break/continue)

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

#24 - Incorrect (?) code generation for trailing function calls

Issue - State: closed - Opened by RalfJung about 3 years ago - 1 comment

#23 - better handling of nested conditionals that early return

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

#22 - make sure we hold the lock when returning from WaitTimeout

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

#21 - Don't use package name as section name in Coq output.

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

#20 - add Assume and Assert to machine primitives

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

#19 - Add test for generic FFI

Issue - State: closed - Opened by tchajed over 3 years ago

#18 - Able to generate FFI generic GooseLang

Pull Request - State: closed - Opened by upamanyus over 3 years ago - 1 comment

#17 - Don't use Coq modules for structs

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

#16 - Better support for using a different FFI with Goose

Pull Request - State: closed - Opened by upamanyus over 3 years ago - 1 comment

#15 - Translation returns the value from the last function even if function returns nothing

Issue - State: closed - Opened by tchajed almost 4 years ago - 1 comment
Labels: bug, good first issue

#14 - Integer conversion of len is mistranslated

Issue - State: open - Opened by tchajed almost 4 years ago
Labels: bug

#13 - Added support for closures

Pull Request - State: closed - Opened by upamanyus almost 4 years ago - 3 comments

#12 - Let's get interfaces working

Issue - State: open - Opened by chewxy almost 4 years ago - 2 comments

#11 - Structs with cyclic dependencies

Issue - State: open - Opened by ismailkuru about 4 years ago - 3 comments

#10 - Feature: allow skipping files within a package

Issue - State: closed - Opened by tchajed about 4 years ago
Labels: enhancement

#9 - Use go/packages to load Go package

Issue - State: closed - Opened by tchajed about 4 years ago

#8 - Added initial interfaces implementation

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

#7 - Added changes to loop handling

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

#6 - Added interface translation

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

#5 - Support calling pointer-receiver methods on struct fields

Issue - State: open - Opened by tchajed over 4 years ago - 1 comment
Labels: enhancement

#4 - Global integer constants should be translated to their value

Issue - State: open - Opened by tchajed over 4 years ago
Labels: enhancement

#3 - Loop control flow is sometimes mistranslated

Issue - State: closed - Opened by tchajed over 4 years ago - 1 comment
Labels: bug

#2 - Allow continue and break while iterating over a map

Issue - State: open - Opened by tchajed over 4 years ago
Labels: enhancement

#1 - Correctly call pointer-receiver methods on struct fields

Issue - State: closed - Opened by tchajed over 4 years ago - 1 comment
Labels: enhancement

GitHub / goose-lang/goose issues and pull requests