Skip to content

Issues: m-carrasco/TinyBCT

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

37 Open 27 Closed
37 Open 27 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Multidimensional arrays not fully implemented bug Something isn't working
#63 opened Aug 29, 2018 by rcastano
@rcastano
Do no treat Dummy methods as External method bug Something isn't working
#62 opened Aug 11, 2018 by garbervetsky
@rcastano @garbervetsky
Deduplicate non-null instrumentation bug Something isn't working
#61 opened Aug 8, 2018 by garbervetsky
@rcastano
use of reserved words as variable names (needs some renaming) bug Something isn't working
#60 opened Aug 5, 2018 by garbervetsky
@rcastano @garbervetsky
Problem handing null in strings bug Something isn't working
#59 opened Aug 5, 2018 by garbervetsky
@rcastano
Add support for Structs worth_discussing
#58 opened Aug 2, 2018 by garbervetsky
@garbervetsky
Can we make tests run faster? question Further information is requested
#57 opened Aug 1, 2018 by rcastano
@rcastano
Remove unnecessary public access modifiers
#55 opened Jul 29, 2018 by garbervetsky
Compare tags added by BCT to trace variable and line number information enhancement New feature or request
#54 opened Jul 24, 2018 by rcastano
@rcastano
Maybe implement something similar to split fields but for arrays (separating by type) enhancement New feature or request worth_discussing
#53 opened Jul 23, 2018 by rcastano
@rcastano @garbervetsky
Move exception to state machine before static array init machine is created.
#51 opened Jul 17, 2018 by m-carrasco
@m-carrasco
Handling of exception filters ('when' keyword) is broken bug Something isn't working
#50 opened Jul 13, 2018 by rcastano
Unify null name with BCT enhancement New feature or request
#49 opened Jul 10, 2018 by rcastano
@rcastano
Loops translation, comparison between TinyBCT and BCT help wanted Extra attention is needed
#46 opened Jul 4, 2018 by m-carrasco
@rcastano @m-carrasco @garbervetsky
Test support for multidimensional arrays
#45 opened Jul 3, 2018 by rcastano
Have, at least, rudimentary support for async keyword enhancement New feature or request
#44 opened Jul 3, 2018 by rcastano
@m-carrasco
Make sound modeling of dynamic dispatch optional by adding a command line flag enhancement New feature or request
#43 opened Jul 3, 2018 by rcastano
@rcastano
Possible bug related to subtyping information for method parameters
#42 opened Jul 3, 2018 by rcastano
@rcastano
Possibly omit additional subtyping axioms when not necessary worth_discussing
#41 opened Jun 30, 2018 by rcastano
@rcastano @garbervetsky
Check handling of dynamic type for null references
#38 opened Jun 28, 2018 by rcastano
@rcastano
1
Document deliberate imprecision and unsoundness worth_discussing
#36 opened Jun 28, 2018 by rcastano
@rcastano
4
Backward and forward copy analyses
#34 opened Jun 26, 2018 by m-carrasco
@rcastano
Add support to check which extern methods we are creating in Boogie
#32 opened Jun 21, 2018 by rcastano
@rcastano
Thoroughly test support for inheritance and virtual methods
#31 opened Jun 21, 2018 by rcastano
@rcastano
1
Real type in BCT and TinyBCT
#24 opened Jun 7, 2018 by m-carrasco
@rcastano @m-carrasco @garbervetsky
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.