Skip to content
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

Bfws v1.0 beta5 #92

Merged
merged 25 commits into from
Nov 9, 2017
Merged

Conversation

miquelramirez
Copy link
Member

November'17 Update

New Features

  • Support for abs(x) built in
  • WIP: Events/reactions cascading
  • Better error reporting
  • WIP: Self-diagnosing hybrid plan validation
  • Updated rapidjson to latest version from github repo

Important Bugfixes

  • Language Support: State constraint processing was assuming that state constraints were always lifted
  • Build System: Fixed issues with boost dependencies that caused trouble with the linker on less than pristine Ubuntu systems
  • Build System: Added src/lib to list of include paths so planners build scripts know where to find embedded libs such as rapidjson

Unknown author and others added 21 commits July 31, 2017 20:36
 - State constraint processing was assuming that state constraints are always
   lifted
 - Hybrid plan simulation now allows to simulate beyond the
   duration of the plan
 - Interpreter now explains why a plan isn't valid, either by referring
   the modeller to the precondition or the state constraint which is or
   becomes false.
 - Added 'boost_filesystem' to the list of lapkt dependencies
   so 'ld' doesn't get confused
 - Needs testing!
 - Added exception to report when arguments are being passed
   to a 0-arity relation
 - Added to fs include paths src/lib
 - Added flag to disable static symbol analysis
 - Relaxed typing requirements so now we can use real-valued expressions
   as features
 - Redirected Metric construction progress to a different log file
 - Opened windows to let go brain fart, we only consider events whose preconditions
   are true in the state... stratification is to make sure effects are well defined
@gfrances gfrances merged commit 32d814e into aig-upf:bfws-v1.0-beta5 Nov 9, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants