Skip to content
Snippets Groups Projects
  1. Jul 05, 2018
  2. Jul 02, 2018
  3. Jun 21, 2018
  4. Jun 20, 2018
  5. Jun 18, 2018
    • Giovanni Bussi's avatar
      changelog · e84ff802
      Giovanni Bussi authored
      e84ff802
    • Giovanni Bussi's avatar
      unique_ptr: reference + mapping · 28fb6ba4
      Giovanni Bussi authored
      I removed the remaining delete statements.
      
      Notice that in order to make this change I had to change a bit the interface
      of a few functions. The difficulty here is that there are parts of the
      code storing a reference to a std::vector of pointers and those are affected
      when the vector is transformed into a vector of unique_ptr.
      28fb6ba4
    • Giovanni's avatar
      Update PULL_REQUEST_TEMPLATE.md · b465b438
      Giovanni authored
      Fixed typo (see #369)
      b465b438
  6. Jun 12, 2018
  7. Jun 10, 2018
  8. Jun 08, 2018
Loading