User Tools

Site Tools


smt2backendreboot

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
smt2backendreboot [2013/08/13 17:59]
schram
smt2backendreboot [2013/08/13 18:30] (current)
bucheli
Line 31: Line 31:
  
 Nobody has time to work on this until the end of October at the earliest. ​ Martin, Peter, Bjoern and Matt plan to instigate a No Research November, in which we do no research in November and just work on the SMT2 backend. Nobody has time to work on this until the end of October at the earliest. ​ Martin, Peter, Bjoern and Matt plan to instigate a No Research November, in which we do no research in November and just work on the SMT2 backend.
 +
 +{{:​whiteboardfromdiscussionsmt2backendreboot130813.jpg?​100|}}
smt2backendreboot.txt ยท Last modified: 2013/08/13 18:30 by bucheli