Giters
tchajed
/
goose
Goose converts a small subset of Go to Coq
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
89
Watchers:
13
Issues:
26
Forks:
11
tchajed/goose Issues
Multi-return-value assignment is translated wrong when mutable local variables are involved
Updated
6 months ago
Comments count
2
var wg sync.WaitGroup doesn't properly link
Updated
9 months ago
Comments count
2
Goose ignores parentheses is arithmetic operations
Closed
10 months ago
Goosifying Recursive Functions
Updated
2 years ago
Comments count
3
Calling function pointers in struct fields is not supported
Closed
2 years ago
Comments count
1
Goosifying the functions with multiple reference returns
Closed
2 years ago
Comments count
5
Support some features by rewriting the source AST
Updated
2 years ago
Handle constant integer expressions
Updated
2 years ago
Make it easier to run tests
Closed
2 years ago
Comments count
3
Non-FFI file with imports generates code that triggers Coq warnings
Closed
2 years ago
Comments count
3
Slices of pointers to structs seem to be mistranslated
Closed
2 years ago
Comments count
3
Loop control flow is sometimes mistranslated
Closed
3 years ago
Comments count
1
Translation returns the value from the last function even if function returns nothing
Closed
3 years ago
Comments count
1
Incorrect (?) code generation for trailing function calls
Closed
3 years ago
Comments count
1
Correctly call pointer-receiver methods on struct fields
Closed
3 years ago
Comments count
1
Support calling pointer-receiver methods on struct fields
Updated
3 years ago
Comments count
1
Use go/packages to load Go package
Closed
3 years ago
Feature: allow skipping files within a package
Closed
3 years ago
Add test for generic FFI
Closed
3 years ago
Let's get interfaces working
Updated
3 years ago
Comments count
2
Integer conversion of len is mistranslated
Updated
4 years ago
Structs with cyclic dependencies
Updated
4 years ago
Comments count
3
Global integer constants should be translated to their value
Updated
4 years ago
Allow continue and break while iterating over a map
Updated
4 years ago