Skip to content
Snippets Groups Projects
  1. Jul 10, 2018
  2. Jul 09, 2018
  3. Jul 07, 2018
  4. Jul 06, 2018
  5. Jul 05, 2018
  6. Jul 04, 2018
  7. Jul 02, 2018
  8. Jun 28, 2018
  9. Jun 21, 2018
  10. Jun 20, 2018
  11. 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
  12. Jun 12, 2018
Loading