1. 07 Oct, 2014 1 commit
  2. 17 Mar, 2014 3 commits
  3. 15 Mar, 2014 1 commit
  4. 06 Feb, 2014 1 commit
  5. 03 Feb, 2014 1 commit
  6. 23 Jan, 2014 1 commit
    • Matteo Settenvini's avatar
      Change the JAR's entry point to a custom, more expressive iface · 3676e48a
      Matteo Settenvini authored
      Instead of using a "main" method as the traditional entry point,
      and being constrained by both its formal parameter types and its
      (void) return value type, use a custom method "entryPoint" which
      allows us to pass the correct configuration options, as well to
      do away with the ugly hack of returning values through a static
      member variable (yuck).
      3676e48a
  7. 22 Jan, 2014 2 commits
  8. 21 Jan, 2014 1 commit
    • Matteo Settenvini's avatar
      Groundwork for serialization of .pi files · 6faff21e
      Matteo Settenvini authored
      Implement the initial code needed for basic serialization of
      a FormulaGroup tree of objects. This also requires the move
      from std::shared_ptr to boost::shared_ptr, since the former
      is not supported by Boost.Serialization.
      6faff21e
  9. 17 Jan, 2014 2 commits
  10. 08 Nov, 2013 5 commits
  11. 07 Nov, 2013 2 commits
  12. 06 Nov, 2013 5 commits
  13. 05 Nov, 2013 4 commits
  14. 04 Nov, 2013 2 commits
  15. 03 Nov, 2013 2 commits
    • Matteo Settenvini's avatar
      Merge branch 'java-to-jni+cpp' · 6bfdd0cc
      Matteo Settenvini authored
      No sense in keeping a separate branch if changes in these
      weeks are tied between the thesis and this one. Will branch
      again when it is time to add more features.
      
      Conflicts:
      	thesis/img/example-te-graph.dot
      6bfdd0cc
    • Matteo Settenvini's avatar
      Document control structures, add static fields · 86c42311
      Matteo Settenvini authored
      Add the bits and pieces needed to perform the actual translation
      of methods, control structures, etc. Still missing are exceptions,
      but we won't have full support for them even after writing
      something about try...catch blocks.
      Also add support for static fields.
      86c42311
  16. 02 Nov, 2013 4 commits
  17. 01 Nov, 2013 3 commits