disciple-cafe  

Messages by Thread

• • DDC Build (freebsd8-32.freebsd8-x86.head) success Erik's DDC BuildBot
  • DDC Build (freebsd8-32.freebsd8-x86.head) success Erik's DDC BuildBot
  • DDC Build (freebsd8-32.freebsd8-x86.head) success Erik's DDC BuildBot
• patch ddc-head: Finish poly subst type/value proof. Ben Lippmeier
• patch ddc-head: LLVM : Implement primAlloc_dataRS, peekData*_payload and coerceAddrToPtr. Erik de Castro Lopo
• patch ddc-head: runtime/ : primStore_peekData*_payload functions now return Addr. Erik de Castro Lopo
• patch ddc-head: peekData*_payload functions now return Addr#. Erik de Castro Lopo
• patch ddc-head: runtime/ : Add more coerceAddrToPtr as needed. Erik de Castro Lopo
• patch ddc-head: library/ : Add coerceAddrToPtr as needed. Erik de Castro Lopo
• patch ddc-head: test/ : Add coerceAddrToPtr as needed. Erik de Castro Lopo
• Stuff for the wiki Erik de Castro Lopo
  • Re: Stuff for the wiki Ben Lippmeier
  • Re: Stuff for the wiki Ben Lippmeier
• Re: Types being passed to the code generators Ben Lippmeier
  • Re: Types being passed to the code generators Ben Lippmeier
  • Re: Types being passed to the code generators Ben Lippmeier
• Re: Types being passed to the code gnerators Ben Lippmeier
  • Re: Types being passed to the code gnerators Erik de Castro Lopo
  • Re: Types being passed to the code gnerators Ben Lippmeier
• patch ddc-head: Do Poly subst type/type again with split environments Ben Lippmeier
• patch ddc-head: Fix XLAM case in subst type/value Ben Lippmeier
• patch ddc-head: Do liftTT_liftTT with le_gt_dec Ben Lippmeier
• patch ddc-head: use nat_compare from Coq library Ben Lippmeier
• patch ddc-head: Only lift a single step at a time Ben Lippmeier
• DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • Re: DDC Build (discus.linux-x86_64.head) success Erik de Castro Lopo
  • Re: DDC Build (discus.linux-x86_64.head) success Ben Lippmeier
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • Re: DDC Build fail tomberek
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot

• Earlier messages
• Later messages