Skip to content

Slice with respect to select properties #10

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

Jump to bottom
Closed
wants to merge 6,185 commits into from
Closed

Slice with respect to select properties #10

wants to merge 6,185 commits into from

Conversation

tautschnig
Copy link
Collaborator

No description provided.

kroening added 30 commits December 29, 2015 16:09
further split up of simplify_expr.cpp
5921c2d
further split up of simplify_expr.cpp
4d3c7ee
further split up of simplify_expr.cpp
ab7db4c
further split up of simplify_expr.cpp
15f339b
further splitup
86d8e94
Merged code clones
fe6dc18
List constant propagator in help output
e01e8b1
Added missing simplification of generated expression
0a85a0e
edited some spaces
bef5fb3
avoid variables generated when not needed
b6dd71d
constants in assumptions
9a05779
clean up terminology in SAT messages
cccd9e0
ignore attepmts to freeze constants
4fa6edc
ignore attepmts to freeze constants
3a389db
Restore RETURN instructions before invoking dump-c
d47ab5f
compile on MINGW
56cca95
more support for verilog types
3571405
typing for boolbvt::convert_typecast
d0738e2
use typing
b110a86
added boolbvt::convert_power
2edd27e
added boolbvt::convert_not
457c7b7
make has_start_thread local
f89b71d
instrumentation for mutex init via initialiser
b8de14a
integer_address_object printed
1d467fe
return aliases of address_of expresions
e4914b7
skip through pointer type casts
c5b9dbe
give error when --partial-loops and --unwinding-assertions are both set
14610a9
moved flow_insensitive_analysis.h to analyses
e6577c5
moved flow_insensitive_analysis.h to analyses
3e7227c
fi
9f835a6
kroening and others added 24 commits February 23, 2016 13:40
avoid gcc warning
9549a6d
fix type of string constants
b5b1991
tweak for else_case
9dd10fe
Typecheck else branch
f9660ca
Removed redundant check and instruction
047ec53
Added support for GCC's __auto_type
2be3d17
enum subtype is only stored in symbol table, never in enum_tag type
9051c25
API change
b274b4c
@tautschnig
Travis CI configuration
893565f 
Builds for Linux (uses Travis' Ubuntu/Precise) and OS X
@tautschnig
Initial README.md, including Travis-CI information
0a1a47f
separate cegis executable
29fb76c
removed cegis dependency
59fb0b6
associativity of plus
5586409
- Fixed vtables in Java.
23aaf82 
- Removed UB in Java bytecode module.
- Recompiled virtual1-virtual4 with JDK 8.
Create README.md
a269880
typo __CPROVER_array_set
ff37d2d
uninterpreted functions and threads
cd59a7b
Create README.md
88581d4
Merge branch 'master' of github.com:diffblue/cbmc
bc4e5b1
Create README.md
1c75a32
Merge branch 'master' of github.com:diffblue/cbmc
2efeea9
merged README.md
752d94c
Merge branch 'tautschnig-travis-ci'
77ffa24
@tautschnig
Slice with respect to select properties
a6146a4
@tautschnig tautschnig mentioned this pull request Mar 13, 2016
Merged
peterschrammel referenced this pull request in peterschrammel/cbmc Aug 29, 2016
@cristina-david
Merge pull request #10 from smowton/test_gen_mocks
28a190f 
Add support for many mocking edge cases and parameterise array lengths
@martin-cs martin-cs mentioned this pull request Oct 28, 2016
Closed
zlfben pushed a commit to zlfben/cbmc that referenced this pull request May 13, 2021
@muralitaws
Merge pull request diffblue#10 from lefanz-amazon/funcs
d157bf7 
Fixed problems with abst_funcs integrating into goto-programs.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@tautschnig @peterschrammel