-
Notifications
You must be signed in to change notification settings - Fork 72
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.
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
Added circle.yml to build europa on CircleCi #175
base: master
Are you sure you want to change the base?
Conversation
git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6726 23e1bc29-d954-0410-9766-47de34158ba0
Fixed various compiler warnings from clang++ Abandoned hash_map in favor of boost::unordered_map git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6729 23e1bc29-d954-0410-9766-47de34158ba0
… make SWIG generate the right thing -Added installation to cmake build git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6730 23e1bc29-d954-0410-9766-47de34158ba0
…file Something isn't working with adding include directories, however git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6731 23e1bc29-d954-0410-9766-47de34158ba0
git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6732 23e1bc29-d954-0410-9766-47de34158ba0
-Added references to ANTLR through FindANTLR -Removed a reference to hash_map (which should be going away soon) git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6733 23e1bc29-d954-0410-9766-47de34158ba0
Added transitive module dependencies (mostly) git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6734 23e1bc29-d954-0410-9766-47de34158ba0
git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6735 23e1bc29-d954-0410-9766-47de34158ba0
…Parallel builds should work now. Starting to get examples building via cmake git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6736 23e1bc29-d954-0410-9766-47de34158ba0
…ues Tristan mentions in nasa#96. git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6740 23e1bc29-d954-0410-9766-47de34158ba0
…nconsistent with other domains and is required to get guard notifications working correctly. Interpreter.cc/hh: Added some const-ness, a function for getting variables referred to in expressions, and updated InterpretedRuleInstance creation to take a list of variables participating in a guard. Also added a getArgs to CExprFunction PDBInterpeter.cc/hh: Added some const-ness and re-wrote some code to use iterators rather than indices RuleInstance.cc/hh: Changed some indentation, added a constructor that takes the variables that participate in a guard and adds them to the scope of the RuleVariableListener, changed the condition in RuleInstance::test to be specified OR singleton base domain rather than singleton derived domain to address issue 112 UnboundVariableManager.cc: Removed filtering of singleton, non-specified variables. SolverTests.xml: Changed the SimpleRejection configuration to arrive at the problem more quickly solvers-test-module.cc: Multiple updates to tests address the changes to rule firing semantics HTX.1.solverConfig.xml: added filtering of object variables (which are back in Solver scope due to changes in filtering singleton variables) Added simple test for the situation in issue 112 This commit reverts rule firing behavior back to the original behavior of only firing when the variables in a guard are /specified/, rather than the newer semantic of firing when the guard variables are /singleton/, which has resulted in several problems. git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6741 23e1bc29-d954-0410-9766-47de34158ba0
…asa#4 git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6742 23e1bc29-d954-0410-9766-47de34158ba0
-Added two Reservoir tests to try to reproduce issues 71 and 147, but neither worked. Keeping the tests, however. git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6743 23e1bc29-d954-0410-9766-47de34158ba0
…t of issue 137. git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6744 23e1bc29-d954-0410-9766-47de34158ba0
Added CMakeLists for generated projects Modified various implementations of module loading to return pointers rather than C-incompatible Ids. Moved away from TR1 to Boost. git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6745 23e1bc29-d954-0410-9766-47de34158ba0
-Added a BoostFlowProfileGraph using the BGL to implement a maximum-flow algorithm -Replaced the locally-implemented flow profiles with the Boost one, because it passes more tests (need to look at an incremental implementation) git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6746 23e1bc29-d954-0410-9766-47de34158ba0
Profile.{cc,hh}: Added a getInstant function and fixed some whitespace BoostFlowProfileGraph.cc: Removed the bizarre computation of when a transaction begins contributing to address a ResourceThreatDecisionPoint test failure. FlowProfile.cc: Added a more correct (but possibly inefficient) computation of the earliest instants when a transaction begins contributing to a level to fix a ResourceThreatDecisionPoint filtering test failure. ResourceThreatDecisionPoint.cc: Whitespace changes rs-test-module.cc: Added a custom deleter for transactions and switched to using shared pointers to manage transactions in tests to avoid invalid memory accesses in tests due to the pointers in Profile objects outliving the Transaction objects they point to. Some revision of object lifetime in the Resource design is needed. FlawFilter.hh: Removed useless non-virtual overrides of get/setContext which were preventing subclasses from overriding it themselves. This was part of getting Contexts correctly distributed in addressing issue 101. FlawManager.cc: Debug messages for context setting. MatchingRule.{cc,hh}: Added get/setContext for addressing issue 101 Filters.{cc,hh}: Removed the static, mutable IntervalIntDomain used to refer to the horizon to address issue 101. The horizon is now available via the Context object, which can be modified in the base Solver to get the shifting horizons that IDEA used. PSSolversImpl.cc: Added setting of the horizon in the Context object. solvers-test-module.cc: Updated tests to use the Context object for setting horizons. EuropaEngine.cc: Added setting of the horizon in the Context object. git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6747 23e1bc29-d954-0410-9766-47de34158ba0
-Added object variable filtering to DefaultPlannerConfig git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6748 23e1bc29-d954-0410-9766-47de34158ba0
git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6749 23e1bc29-d954-0410-9766-47de34158ba0
-Profile.{cc,hh}: Added explicit call to FactoryObj constructor -Resource.cc: Resource destructor will destroy un-owned or self-owned Transactions -Transaction.hh: Made the owner parameter to the Transaction constructor mandatory to catch instantiation errors. -FlowProfile.cc:Added noId owner parameter to default dummy source/sink transactions -Reservoir.cc:Added self owner parameter to transaction instantiation -Reusable.cc:Added self owner parameter to transaction instantiation -rs-flow-test-module.cc: added updated Transaction constructor calls -rs-test-module.cc: added updated Transaction constructor calls git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6750 23e1bc29-d954-0410-9766-47de34158ba0
-ResourceThreatManager.{cc,hh}: Provded implementation of noMoreFlaws -Types.hh: Reverting TRACE_GRAPH to 0, which shouldn't've gotten checked in as 1 -rs-test-module.cc: Added test for ResourceThreatManager::noMoreFFlaws -FlawManager.cc: Added a checkError to the base createIterator -FlawManager.hh: Added abstract FlawManager::noMoreFlaws. Should be const, but can't with the current implementation. -Solver.{cc,hh}:Implemented Solver::noMoreFlaws in terms of FlawManager::noMoreFlaws. -SolverDecisionPoint.hh: Made more of the interface public so it's testable. -OpenConditionManager.{cc,hh}: Added implementation of noMoreFlaws -ThreatManager.{cc,hh}: Added implementation of noMoreFlaws -UnboundVariableManager.{cc,hh}: Added implementation of noMoreFlaws -solvers-test-module.cc: Added tests for noMoreFlaws implementations git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6751 23e1bc29-d954-0410-9766-47de34158ba0
git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6752 23e1bc29-d954-0410-9766-47de34158ba0
…e put into error handling with clients. git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6753 23e1bc29-d954-0410-9766-47de34158ba0
src/PLASMA/System/CMakeLists.txt: Removed a superfluous message src/PLASMA/cmake/EuropaModule.cmake: Fixes to get Java building working on rivka. Factored out listing the contents of a jar file and greatly simplified the process. git-svn-id: https://europa-pso.googlecode.com/svn/PLASMA/trunk@6754 23e1bc29-d954-0410-9766-47de34158ba0
When reading your code for learning purposes I came across those not needed whitespaces.
@adityai I just did a check-in that increases the required ANTLR 3 version. Can you update your circle.yml accordingly? Also, this pull request removes the root build.xml. Was it preventing the build with Circle? |
It has been a while since I first made these changes. I believe build.xml was getting in the way. I added antlr to circle.yml and triggered a build and it failed with some compilation issues. https://circleci.com/gh/adityai/europa/35 Thank you,
|
It looks like the "dependencies" section is still installing libantlr3c-dev and libantlr3c-3.2-0. |
Would be great to have a consistent Docker build for Europa. What can I do to help get this going? |
@theronic the only reason I haven't merged this pull request is that I'm not yet completely prepared to ditch the old (and, admittedly, awful and hacky) jam/ant/make build system. If you can get the CircleCI build working without removing build.xml, that would be great. |
cf226b1
to
ac5c332
Compare
No description provided.