Tamarin:WeeklyUpdates: Difference between revisions

Line 72: Line 72:
* Edwin suggested refine placement of guard records  
* Edwin suggested refine placement of guard records  
** Andreas played around with this and it did not make an impact on performance.) Now you can get rid of two code streams, it would simplify the assembler.  
** Andreas played around with this and it did not make an impact on performance.) Now you can get rid of two code streams, it would simplify the assembler.  
* Both patches are up there (they are mutually exclusive). Merge two pages into one page and take it from there.
* Both patches are up there (they are mutually exclusive).


= Older meetings =
= Older meetings =
64

edits