"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "projects/CodeThorn/src/codethorn.C" between
rose-0.11.35.0.tar.gz and rose-0.11.36.0.tar.gz

About: ROSE is a compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89 and C98), C++ (C++98 and C++11), UPC, Fortran (77/95/2003), OpenMP, Java, Python and PHP applications.

codethorn.C  (rose-0.11.35.0):codethorn.C  (rose-0.11.36.0)
skipping to change at line 79 skipping to change at line 79
using namespace Sawyer::Message; using namespace Sawyer::Message;
// required for createSolver function // required for createSolver function
#include "Solver5.h" #include "Solver5.h"
#include "Solver16.h" #include "Solver16.h"
#include "Solver8.h" #include "Solver8.h"
#include "ltlthorn-lib/Solver10.h" #include "ltlthorn-lib/Solver10.h"
#include "ltlthorn-lib/Solver11.h" #include "ltlthorn-lib/Solver11.h"
#include "ltlthorn-lib/Solver12.h" #include "ltlthorn-lib/Solver12.h"
const std::string versionString="1.12.35"; const std::string versionString="1.13.1";
void configureRersSpecialization() { void configureRersSpecialization() {
#ifdef RERS_SPECIALIZATION #ifdef RERS_SPECIALIZATION
// only included in hybrid RERS analyzers. // only included in hybrid RERS analyzers.
// Init external function pointers for generated property state // Init external function pointers for generated property state
// marshalling functions (5 function pointers named: // marshalling functions (5 function pointers named:
// RERS_Problem::...FP, are initialized in the following external // RERS_Problem::...FP, are initialized in the following external
// function. // function.
// An implementation of this function is linked with the hybrid analyzer // An implementation of this function is linked with the hybrid analyzer
extern void RERS_Problem_FunctionPointerInit(); extern void RERS_Problem_FunctionPointerInit();
 End of changes. 1 change blocks. 
1 lines changed or deleted 1 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)