Skip to content

Minor cleanup of the ansi-c parser: consistent use of init #5

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

Minor cleanup of the ansi-c parser: consistent use of init #5

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
@tautschnig tautschnig closed this Mar 5, 2016
@tautschnig tautschnig deleted the parser-cleanup branch March 5, 2016 16:56
@tautschnig tautschnig restored the parser-cleanup branch March 5, 2016 16:58
@tautschnig tautschnig reopened this Mar 5, 2016
@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 #5 from smowton/test_gen_mocks_rebased
3a92700 
Add support for opaque methods returning trees of objects
@martin-cs martin-cs mentioned this pull request Oct 28, 2016
Closed
thk123 pushed a commit to thk123/cbmc that referenced this pull request Nov 25, 2016
@peterschrammel
Merge pull request diffblue#5 from thk123/c-test-gen-no-prune
c379f9c 
First pass on the C Test Generation
smowton pushed a commit to smowton/cbmc that referenced this pull request Jan 3, 2017
@peterschrammel
Merge pull request diffblue#5 from thk123/feature/c-opaque-method-stubs
51da31b 
Implementing getting the method stub generation for C
@smowton smowton mentioned this pull request Oct 13, 2017
Merged
chrisr-diffblue referenced this pull request in chrisr-diffblue/cbmc Mar 28, 2018
@martin-cs
Merge pull request #5 from chrisr-diffblue/sharing-map-arrays
eac0027 
Use sharing_mapt in constant_array_abstract_objectt
NlightNFotis pushed a commit that referenced this pull request Aug 11, 2020
Attempt #5
aab8a2b
NlightNFotis pushed a commit that referenced this pull request Aug 24, 2020
@NlightNFotis
Attempt #5
01aa5ff
zlfben pushed a commit to zlfben/cbmc that referenced this pull request May 13, 2021
Merge pull request diffblue#5 from lefanz-amazon/abst-test-script
ec06f44 
test: add script to test all abstractions
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