Skip to content

Issues: boogie-org/symbooglix

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

20 Open 13 Closed
20 Open 13 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

Improper use of Boogie Graph class
#40 opened Dec 13, 2019 by shazqadeer
Symbooglix missing a bug
#31 opened Jul 3, 2017 by zvonimir
7
GlobalDeadDeclEliminationPass should remove unused procedures/implementations enhancement
#30 opened May 16, 2017 by delcypher
NotImplementedException: (_bvbuiltin not supported!
#27 opened Apr 19, 2017 by liammachado
3
Support reporting reasons for solver responding with UNKNOWN
#26 opened Apr 6, 2017 by delcypher
AssertionFailingException: Incorrect number of arguments
#22 opened Oct 19, 2016 by sebastian-kunze
2
Investigate poor unit test performance
#21 opened Aug 30, 2016 by delcypher
Investigate test failures with Mono 4.4.2 bug
#20 opened Aug 30, 2016 by delcypher
1
Allow polymorphic map types created using type constructors
#19 opened Aug 30, 2016 by delcypher
Split Symbooglix.dll
#17 opened Mar 6, 2016 by delcypher
Examine inconsistency in ICST2016 results
#16 opened Mar 5, 2016 by delcypher
1
Fix performance regression on SVCOMP benchmark suite
#15 opened Mar 4, 2016 by delcypher
2
Use call graph information in GlobalDDE enhancement
#13 opened Jan 29, 2016 by delcypher
Fix performance regression on GPU benchmark suite
#12 opened Jan 20, 2016 by delcypher
2
Fix horrible constructors enhancement
#11 opened Nov 18, 2015 by delcypher
Add proper query logging mechanism enhancement
#10 opened Nov 18, 2015 by delcypher
SMTLIBQueryPrinter emits too many spaces when not in human readable mode enhancement
#9 opened Nov 18, 2015 by delcypher
Fix or remove the CachingSymbolicPool bug
#7 opened Nov 10, 2015 by delcypher
Set up Windows continuous integration build enhancement
#5 opened Nov 5, 2015 by delcypher
Add patterns to MapProxy enhancement
#2 opened Oct 19, 2015 by delcypher
ProTip! Updated in the last three days: updated:>2025-01-12.