Skip to content
Snippets Groups Projects
  1. Oct 10, 2013
    • Arnaud Degroote's avatar
      [wip/hyper] Upgrade to 0.13 · e377b710
      Arnaud Degroote authored
      Changes since 0.12:
      -------------------
         - Extend error message to include fault when updating value
         - Lots of improvement in tutorial after proofreading by C. Robin
         - A few important bug fixes:
      	- fix possible race issue in wait
      	- fix code generation for complex wait primitive
      e377b710
  2. Aug 26, 2013
    • Arnaud Degroote's avatar
      [wip/hyper] Upgrade to 0.12 · 4f7f1daa
      Arnaud Degroote authored
      Important changes since 0.11
      -----------------------------
         - test program has been improved, allowing to pass complex constraint to
         the tested agents
         - doc improvements including new tutorials and more advanced documentation
         - compiler extensions interface has been extended, with more control points
      
      At the package level, use PLIST_DYNAMIC_DIRS in the doc case
      4f7f1daa
  3. May 29, 2013
    • Arnaud Degroote's avatar
      [wip/hyper] Upgrade to version 0.11 · f19ef9b4
      Arnaud Degroote authored
      Important changes since 0.10:
      	- Add more information about fault along the different agents. In
      	particular, it allows a better error description for both local reasonner,
      	and operator if needed.
      	- Add support for complex computation in wait and assert.
      	- Remove support for while, as it was never really used, and that it is now
      	equivalent to wait with a 'complex' computation
      	- Make hyperc a bit more start when handling arguments
      	- Better handling of rpath so no more need to play with LD_LIBRARY_PATH
      f19ef9b4
  4. May 07, 2013
    • Arnaud Degroote's avatar
      [wip/hyper] Upgrade to version 0.10 · 0ece57ee
      Arnaud Degroote authored
      Changes since 0.9:
      	- allows selecting port of hyperruntime
      	- allows let expression in end handler
      	- generate some tests programm for each agent, allowing to access to the
      	  different variables of the agent (encoded in JSON)
      	- start to write some documentation (but not enough for 1.0)
      
      Notables bugfixes:
      	- be more rigorous when handling getifaddr
      	- fix some race in make handling
      	- fix some build issues
      	- fix invalid code generation for big doubles
      
      Package:
      	- remove various patches now integred in the release
      	- add a doc option, to construct the (beginning of) documentation (need
      	  py-sphinx).
      0ece57ee
  5. Oct 08, 2012
Loading