Skip to content

Remove utilities that never got used #2019

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
tautschnig merged 11 commits into from
Jun 14, 2018
Merged

Remove utilities that never got used #2019

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
3fb06ba
Revert "Added utility class to convert strings into expressions"
tautschnig Apr 8, 2018
2696420
Revert "new exception class"
tautschnig Apr 8, 2018
4d4c9c6
Revert "added pipe_stream class"
tautschnig Apr 8, 2018
71cfbbd
Remove unused sorted_vector.h
tautschnig May 21, 2018
a4936f8
Remove unused cpp/recursion_counter.h
tautschnig May 21, 2018
d350e5c
Remove unused nondet_ifthenelse.{h,cpp}
tautschnig May 21, 2018
2260f82
Remove path_accelerationt interface
tautschnig May 21, 2018
ae56978
Remove unused goto-analyzer/static_analyzer.{h,cpp}
tautschnig May 21, 2018
502687e
Remove unused solver/prop/prop_wrapper.h
tautschnig May 21, 2018
2639cf1
Remove unused solvers/prop/prop_conv_store.{h,cpp}
tautschnig May 21, 2018
471b20f
Remove prop_assignmentt interface
tautschnig May 21, 2018
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
32 changes: 0 additions & 32 deletions src/cpp/recursion_counter.h
View file
Open in desktop

This file was deleted.

237 changes: 0 additions & 237 deletions src/goto-analyzer/static_analyzer.cpp
View file
Open in desktop

This file was deleted.

34 changes: 0 additions & 34 deletions src/goto-analyzer/static_analyzer.h
View file
Open in desktop

This file was deleted.

24 changes: 0 additions & 24 deletions src/goto-instrument/accelerate/path_acceleration.h
View file
Open in desktop

This file was deleted.

3 changes: 1 addition & 2 deletions src/goto-instrument/accelerate/polynomial_accelerator.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -24,12 +24,11 @@ Author: Matt Lewis
#include "polynomial.h"
#include "path.h"
#include "accelerator.h"
#include "path_acceleration.h"
#include "acceleration_utils.h"
#include "cone_of_influence.h"
#include "overflow_instrumenter.h"

class polynomial_acceleratort:public path_accelerationt
class polynomial_acceleratort
{
public:
polynomial_acceleratort(
Expand Down
2 changes: 0 additions & 2 deletions src/solvers/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -153,9 +153,7 @@ SRC = $(BOOLEFORCE_SRC) \
prop/literal.cpp \
prop/minimize.cpp \
prop/prop.cpp \
prop/prop_assignment.cpp \
prop/prop_conv.cpp \
prop/prop_conv_store.cpp \
qbf/qbf_quantor.cpp \
qbf/qbf_qube.cpp \
qbf/qbf_qube_core.cpp \
Expand Down
6 changes: 3 additions & 3 deletions src/solvers/prop/prop.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,11 +17,11 @@ Author: Daniel Kroening, [email protected]
#include <util/message.h>
#include <util/threeval.h>

#include "prop_assignment.h"
Copy link
Member

@peterschrammel peterschrammel Apr 8, 2018

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

literal.h needs to be included here

Copy link
Collaborator Author

@tautschnig tautschnig Apr 8, 2018

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Will fix.

#include "literal.h"

/*! \brief TO_BE_DOCUMENTED
*/
class propt:public messaget, public prop_assignmentt
class propt:public messaget
{
public:
propt() { }
Expand Down Expand Up @@ -96,7 +96,7 @@ class propt:public messaget, public prop_assignmentt
enum class resultt { P_SATISFIABLE, P_UNSATISFIABLE, P_ERROR };
virtual resultt prop_solve()=0;

// satisfying assignment, from prop_assignmentt
// satisfying assignment
virtual tvt l_get(literalt a) const=0;
virtual void set_assignment(literalt a, bool value);
virtual void copy_assignment_from(const propt &prop);
Expand Down
14 changes: 0 additions & 14 deletions src/solvers/prop/prop_assignment.cpp
View file
Open in desktop

This file was deleted.

Loading