disciple-cafe
Thread
Date
Earlier messages
Later messages
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