Skip to content

Symex-driven lazy loading uses goto-checker [blocks: #2212] #4541

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

Merged
peterschrammel merged 14 commits into from
Apr 17, 2019
Merged

Symex-driven lazy loading uses goto-checker [blocks: #2212] #4541

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
4b4f2d1
Deduplicate show_loaded_X
peterschrammel Apr 15, 2019
ffc9710
Remove unnecessary block scopes
peterschrammel Apr 15, 2019
014b9da
Clean up set_properties helper method
peterschrammel Apr 15, 2019
f08a238
Generalize get_goto_model for symex-driven lazy loading
peterschrammel Apr 15, 2019
807451d
Fallback to old bmct is unnecessary
peterschrammel Apr 15, 2019
b02de78
Fix typo
peterschrammel Apr 15, 2019
13c1f76
Has_properties check must be in incremental_goto_checker
peterschrammel Apr 15, 2019
061d1b6
Update properties from goto model
peterschrammel Apr 16, 2019
400c354
Use options instead of cmdline
peterschrammel Apr 16, 2019
8cc0c35
Symex-driven lazy loading uses goto-checker
peterschrammel Apr 15, 2019
4072e8b
Remove unnecessary block scope
peterschrammel Apr 16, 2019
028aadd
Remove obsolete bmc.cpp and all_properties.cpp
peterschrammel Apr 16, 2019
8454539
Purge docs references to bmct
peterschrammel Apr 16, 2019
f96818d
Use macros of exit codes in JBMC
peterschrammel Apr 16, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 1 addition & 3 deletions jbmc/src/jbmc/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,4 @@
SRC = all_properties.cpp \
bmc.cpp \
jbmc_main.cpp \
SRC = jbmc_main.cpp \
jbmc_parse_options.cpp \
# Empty last line

Expand Down
306 changes: 0 additions & 306 deletions jbmc/src/jbmc/all_properties.cpp
View file
Open in desktop

This file was deleted.

Loading