Tamarin:WeeklyUpdates: Difference between revisions

No edit summary
Line 51: Line 51:
* Working with Scott Peterson’s LLVM integration
* Working with Scott Peterson’s LLVM integration
* In POC point
* In POC point
* Tom is turing it into a plug-in for GO, once this is done Tom will add a product backlog for GO and quantify work to get LLVM plugin  
* Tom is turning it into a plug-in for GO, once this is done Tom will add a product backlog for GO and quantify work to get LLVM plugin  
* Add GO items to existing Product Backlog
* Add GO items to existing Product Backlog
* There is an AS buildbot that runs GO, there are about 300 failures in acceptance tests, performance tests – ratio i sabou t10% faster, memory 6% lower, abc code about 6% smaller  
* There is an AS buildbot that runs GO, there are about 300 failures in acceptance tests, performance tests – ratio is about 10% faster, memory 6% lower, abc code about 6% smaller


=== Verifier (Jeff) ===
=== Verifier (Jeff) ===
64

edits