-
Notifications
You must be signed in to change notification settings - Fork 0
Issues: tthtlc/crest
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
the meaning of "# reach branches"
auto-migrated
Priority-Medium
Type-Defect
#23
opened Apr 15, 2015 by
GoogleCodeExporter
yices_c.cc can't be compiled
auto-migrated
Priority-Medium
Type-Defect
#22
opened Apr 15, 2015 by
GoogleCodeExporter
can crest define the data range of symbolic variables?
auto-migrated
Priority-Medium
Type-Defect
#20
opened Apr 15, 2015 by
GoogleCodeExporter
Support real valued variables
auto-migrated
Priority-Medium
Type-Defect
#15
opened Apr 15, 2015 by
GoogleCodeExporter
Patched crestc for Mac OS X 10.7.4 and gcc <=4.2.1
auto-migrated
Priority-Medium
Type-Defect
#14
opened Apr 15, 2015 by
GoogleCodeExporter
Options of Branch-Selection Strategies
auto-migrated
Priority-Medium
Type-Enhancement
#4
opened Apr 15, 2015 by
GoogleCodeExporter
Allow run_crest to be seeded with existing test inputs
auto-migrated
Priority-High
Type-Enhancement
#1
opened Apr 15, 2015 by
GoogleCodeExporter
ProTip!
Follow long discussions with comments:>50.