19
edits
Tamarin:WeeklyUpdates: Difference between revisions
Jump to navigation
Jump to search
→Updates
| Line 53: | Line 53: | ||
* (Moh) | * (Moh) | ||
** Patch for parallel JIT'ing. Jung woo finished it for | ** Patch for parallel JIT'ing. Jung woo finished it for trees and the numbers are much better (4x improvement). They will submit this patch as well. | ||
= Older meetings = | = Older meetings = | ||