disciple-cafe  

Messages by Date

• 2011/09/06 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/09/06 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/09/05 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/09/05 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/09/05 patch ddc-head: SystemF2Store: add lifting and subst for expressions Ben Lippmeier
• 2011/09/05 patch ddc-head: Start on proof for SystemF2 with mutable store Ben Lippmeier
• 2011/09/05 patch ddc-head: SystemF2Data: make tactic to unpack data defs and cleanup Ben Lippmeier
• 2011/09/04 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/09/04 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/09/04 DDC Build (corea.linux-ppc.head) success Erik's DDC BuildBot
• 2011/09/04 DDC Build (freebsd8-32.freebsd8-x86.head) success Erik's DDC BuildBot
• 2011/09/03 patch ddc-head: SystemF2Data: split getAlt_has into new lemma Ben Lippmeier
• 2011/09/03 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/09/03 Re: Help with #173 (parsing or added type annotations) Erik de Castro Lopo
• 2011/09/03 patch ddc-head: First pass at handling source level type annotations. Erik de Castro Lopo
• 2011/09/03 patch ddc-head: Clean up of handling source level type annotations. Erik de Castro Lopo
• 2011/09/03 patch ddc-head: Whitespace cleanup. Erik de Castro Lopo
• 2011/09/03 patch ddc-head: Source.Lint : Generalize the types. Erik de Castro Lopo
• 2011/09/03 patch ddc-head: Finalize plumbing of type annotations through to Core. Erik de Castro Lopo
• 2011/09/03 patch ddc-head: Broken-skip/T173-ParseAnnot/Test.ds : Minor fix. Erik de Castro Lopo
• 2011/09/03 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/09/02 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/09/02 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/09/02 patch ddc-head: SystemF2Data: finish big <-> small step semantics Ben Lippmeier
• 2011/09/02 patch ddc-head: Split out evalation chain so we can reuse it Ben Lippmeier
• 2011/09/02 patch ddc-head: SystemF2Data: fix last admits in progress Ben Lippmeier
• 2011/09/01 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/09/01 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/09/01 patch ddc-head: Add ability to parse expressions with type annotations. Erik de Castro Lopo
• 2011/09/01 patch ddc-head: Whitespace only. Erik de Castro Lopo
• 2011/09/01 patch ddc-head: T196: compile time literals: __FILE__, __LINE__, __FUNC__, __MODULE__ Amos Robinson
• 2011/09/01 patch ddc-head: T196: compile time literals: __FILE__, __LINE__, __FUNC__, __MODULE__ Amos Robinson
• 2011/09/01 patch ddc-head: Build system : Generated file is Lexer.hs not Lexer.x. Erik de Castro Lopo
• 2011/09/01 Re: DDC Build (freebsd8-32.freebsd8-x86.head) success Ben Lippmeier
• 2011/09/01 Re: Help with #173 (parsing or added type annotations) Ben Lippmeier
• 2011/09/01 DDC Build (corea.linux-ppc.head) success Erik's DDC BuildBot
• 2011/09/01 Re: DDC Build (freebsd8-32.freebsd8-x86.head) success Erik de Castro Lopo
• 2011/09/01 Help with #173 (parsing or added type annotations) Erik de Castro Lopo
• 2011/09/01 DDC Build (freebsd8-32.freebsd8-x86.head) success Erik's DDC BuildBot
• 2011/09/01 patch ddc-head: Add simple dependency rule for building libraries. Erik de Castro Lopo
• 2011/09/01 patch ddc-head: Build system : Add Lexer.hs to $(src_hs_generated) and rm in during clean. Erik de Castro Lopo
• 2011/08/31 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/08/31 Re: patch ddc-head: library : Simplify boxing/unboxing for Int32/Word32/Float32. Ben Lippmeier
• 2011/08/31 Re: patch ddc-head: library : Simplify boxing/unboxing for Int32/Word32/Float32. Erik de Castro Lopo
• 2011/08/31 patch ddc-head: Add test/30-Runtime/T227-BoxUnboxPrim/ for #227. Erik de Castro Lopo
• 2011/08/31 patch ddc-head: Simplfy boxing/unboxing of Int64/Word64/Float64. Erik de Castro Lopo
• 2011/08/31 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/31 patch ddc-head: SystemF2Data: cleanups Ben Lippmeier
• 2011/08/31 patch ddc-head: SystemF2: fix skip in TyBase Ben Lippmeier
• 2011/08/31 patch ddc-head: SystemF2Data: fix admits in preservation Ben Lippmeier
• 2011/08/31 Re: patch ddc-head: library : Simplify boxing/unboxing for Int32/Word32/Float32. Ben Lippmeier
• 2011/08/31 patch ddc-head: Accept test wibbles. Erik de Castro Lopo
• 2011/08/31 patch ddc-head: library : Simplify boxing/unboxing for Int32/Word32/Float32. Erik de Castro Lopo
• 2011/08/31 patch ddc-head: Add handling for Char32. Erik de Castro Lopo
• 2011/08/31 patch ddc-head: library/Base : Change 'data X :: % -> *' to 'data X %r = X X#. Erik de Castro Lopo
• 2011/08/31 patch ddc-head: SystemF2Data: working on preservation Ben Lippmeier
• 2011/08/31 patch ddc-head: SystemF2Data: do most of progress Ben Lippmeier
• 2011/08/30 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/08/30 patch ddc-head: SystemF2Data: add small step rules Ben Lippmeier
• 2011/08/30 patch ddc-head: Make joint eval context types polymorphic and split into own module Ben Lippmeier
• 2011/08/30 patch ddc-head: SystemF2Data: Add evaluation contexts Ben Lippmeier
• 2011/08/30 Re: DDC Build (corea.linux-ppc.head) success Ben Lippmeier
• 2011/08/30 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/30 patch ddc-head: SystemF2Data: add subst exp/exp Ben Lippmeier
• 2011/08/30 patch ddc-head: SystemF2Data: finish subst type/exp Ben Lippmeier
• 2011/08/30 DDC Build (corea.linux-ppc.head) success Erik's DDC BuildBot
• 2011/08/30 DDC Build (freebsd8-32.freebsd8-x86.head) success Erik's DDC BuildBot
• 2011/08/29 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/08/29 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/29 patch ddc-head: SystemF2Data: fix admits in SubstTypeExp and add beq fns as the coq trunk doesn't seem to make them anymore Ben Lippmeier
• 2011/08/29 patch ddc-head: SystemF2: fix substTTs_substTT Ben Lippmeier
• 2011/08/29 patch ddc-head: SystemF2: add liftTT_wfT Ben Lippmeier
• 2011/08/29 patch ddc-head: SystemF2: Fix admits in substTTs_closing Ben Lippmeier
• 2011/08/28 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/08/28 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/28 patch ddc-head: SystemF2Data: work on SubstTypeExp Ben Lippmeier
• 2011/08/28 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/08/27 DDC Build (corea.linux-ppc.head) success Erik's DDC BuildBot
• 2011/08/27 DDC Build (freebsd8-32.freebsd8-x86.head) success Erik's DDC BuildBot
• 2011/08/27 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/27 Re: Help with bug #226 Erik de Castro Lopo
• 2011/08/27 patch ddc-head: LLVM : Better error message on primOrFunCall pattern match failure. Erik de Castro Lopo
• 2011/08/27 patch ddc-head: Make opTypeFromGlob return the correct types for data constructors Ben Lippmeier
• 2011/08/27 patch ddc-head: Fix exporting of types for Sea data decls Ben Lippmeier
• 2011/08/27 patch ddc-head: Test wibbles. Erik de Castro Lopo
• 2011/08/27 patch ddc-head: LLVM : Add support for DataM objects with unboxed data in the payload. Erik de Castro Lopo
• 2011/08/27 patch ddc-head: Runtime : Add hexdump of non-ptr payload when dumping DataM. Erik de Castro Lopo
• 2011/08/27 patch ddc-head: LLVM : Fix definition of structDataM. Erik de Castro Lopo
• 2011/08/27 patch ddc-head: DDC.Sea.Pretty : Add a function to print constructor struct names. Erik de Castro Lopo
• 2011/08/27 patch ddc-head: LLVM: Unify DataM handling with C backend. Erik de Castro Lopo
• 2011/08/27 patch ddc-head: Improve DataM comments and variable names. Erik de Castro Lopo
• 2011/08/27 patch ddc-head: Expand test T220-UnboxedCtorParam to check for alignment issues. Erik de Castro Lopo
• 2011/08/27 patch ddc-head: Store unboxed values in DataM ordered from largest to smallest to avoid alignment issues. Erik de Castro Lopo
• 2011/08/27 patch ddc-head: library : Add Show instance for Word8#. Erik de Castro Lopo
• 2011/08/27 patch ddc-head: Sea.Ctor : Comments. Erik de Castro Lopo
• 2011/08/27 patch ddc-head: Runtime : Fix inconsistent usage of DataM object. Erik de Castro Lopo
• 2011/08/27 patch ddc-head: Sea.Ctor : Fix calculation of DataM payload size. Erik de Castro Lopo
• 2011/08/27 patch ddc-head: Move T220-UnboxedCtorParam back into main test suite. Erik de Castro Lopo
• 2011/08/27 patch ddc-head: Fix #220 : Ctors with unboxed fields always use DataM objects. Erik de Castro Lopo
• 2011/08/27 DDC Build (corea.linux-ppc.head) success Erik's DDC BuildBot
• 2011/08/26 DDC Build (freebsd8-32.freebsd8-x86.head) success Erik's DDC BuildBot
• 2011/08/26 patch ddc-head: Lexer.x : Add pragma to turn off -Werror for this file. Erik de Castro Lopo
• 2011/08/26 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/25 DDC Build (corea.linux-ppc.head) failure Erik's DDC BuildBot
• 2011/08/25 Re: DDC Build (corea.linux-ppc.head) success Erik de Castro Lopo
• 2011/08/25 DDC Build (corea.linux-ppc.head) success Erik's DDC BuildBot
• 2011/08/25 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/25 DDC compiling via llvm 2.9 Erik de Castro Lopo
• 2011/08/24 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/24 patch ddc-head: Add target for OSX 64bit Ben Lippmeier
• 2011/08/23 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/22 Re: Sharing of enumeration types Ben Lippmeier
• 2011/08/22 patch ddc-head: Constant sharing doesnt work yet, so move test to Broken-skip Ben Lippmeier
• 2011/08/22 patch ddc-head: T15-SharingOfConstants Test Thomas Bereknyei
• 2011/08/22 Re: Help with bug #226 Erik de Castro Lopo
• 2011/08/22 Re: Help with bug #226 Ben Lippmeier
• 2011/08/22 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/22 patch ddc-head: library : Change constructor for type Void# to Void#. Erik de Castro Lopo
• 2011/08/22 patch ddc-head: LLVM : Share internal constant strings where possible. Erik de Castro Lopo
• 2011/08/22 Re: Help with bug #226 Erik de Castro Lopo
• 2011/08/21 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/21 Help with bug #226 Erik de Castro Lopo
• 2011/08/20 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/19 Re: Sharing of enumeration types Erik de Castro Lopo
• 2011/08/19 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/19 Re: Sharing of enumeration types Thomas Bereknyei
• 2011/08/18 Re: Sharing of enumeration types Erik de Castro Lopo
• 2011/08/18 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/18 Sharing of enumeration types tomberek
• 2011/08/17 Re: Compile issues Erik de Castro Lopo
• 2011/08/17 Re: Compile issues Ben Lippmeier
• 2011/08/17 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/17 Re: Compile issues Erik de Castro Lopo
• 2011/08/17 Compile issues Erik de Castro Lopo
• 2011/08/16 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/15 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/15 patch ddc-head: SystemF2Data: Add more rewrites to db and cleanup Ben Lippmeier
• 2011/08/15 patch ddc-head: SystemF2: improve burn tactic and cleanup Ben Lippmeier
• 2011/08/15 patch ddc-head: SystemF2: add lemmas about wfT Ben Lippmeier
• 2011/08/14 patch ddc-head: SystemF2Data: properties of closing substitution Ben Lippmeier
• 2011/08/14 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/14 patch ddc-head: SystemF2Data: finish type_kienv_insert Ben Lippmeier
• 2011/08/14 patch ddc-head: SystemF2: cleanups Ben Lippmeier
• 2011/08/14 patch ddc-head: Move lists tactic to Lists module Ben Lippmeier
• 2011/08/14 patch ddc-head: SystemF2: use regular list_cases tactic instead of lift_cases' Ben Lippmeier
• 2011/08/14 patch ddc-head: SystemF2Data: rename lemma Ben Lippmeier
• 2011/08/13 patch ddc-head: SystemF2Data: finish liftTT_wfT lemma Ben Lippmeier
• 2011/08/13 patch ddc-head: SystemF2Data: in progress Ben Lippmeier
• 2011/08/13 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/12 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/12 patch ddc-head: SystemF2Data: fix simultaneous type subst lemmas Ben Lippmeier
• 2011/08/11 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/11 patch ddc-head: SystemF2: shift lift tactics into common libs Ben Lippmeier
• 2011/08/11 patch ddc-head: Update .authorspellings Ben Lippmeier
• 2011/08/11 patch ddc-head: bug-T187-ArrayUTest addition tomberek
• 2011/08/11 patch ddc-head: SystemF2: Lemmas about simutaneous type-type substitution Ben Lippmeier
• 2011/08/11 Re: darcs patch: bug-T187-ArrayUTest addition Ben Lippmeier
• 2011/08/10 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/09 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/08 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/07 patch ddc-head: SystemF2Data: wibble Ben Lippmeier
• 2011/08/07 patch ddc-head: SystemF2Data: add lift_burn tactic to simplify proofs involving lifting Ben Lippmeier
• 2011/08/07 patch ddc-head: SystemF2: use rrwrite tactic to cleanup lifting lemmas Ben Lippmeier
• 2011/08/07 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/07 patch ddc-head: SystemF2Data: generalise liftTT_liftTT lemma Ben Lippmeier
• 2011/08/07 patch ddc-head: SystemF2: in progress Ben Lippmeier
• 2011/08/06 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/08/06 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/05 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/08/05 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/05 patch ddc-head: SystemF2Data: fix admits in tyjudge lemmas Ben Lippmeier
• 2011/08/05 patch ddc-head: SystemF2Data: enable other tyenv weakening lemmas Ben Lippmeier
• 2011/08/05 patch ddc-head: SystemF2Data: work on type_kienv_insert Ben Lippmeier
• 2011/08/05 patch ddc-head: SystemF2Data: make data ctor arity match def, and fix type_tyenv_insert Ben Lippmeier
• 2011/08/04 patch ddc-head: SystemF2Data: Fix type_wfX Ben Lippmeier
• 2011/08/04 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/08/04 patch ddc-head: SystemF2Data: fix admit in value_lam Ben Lippmeier
• 2011/08/04 patch ddc-head: SimpleResouce: comment out unfinished stuff Ben Lippmeier
• 2011/08/04 patch ddc-head: SystemF2Data: change well formedness judgements to only need length of environment, not contents Ben Lippmeier
• 2011/08/04 patch ddc-head: SimpleResource: experiments Ben Lippmeier
• 2011/08/04 patch ddc-head: SystemF2: make well formedness judgements only care about number of things in environmet Ben Lippmeier
• 2011/08/04 Re: DDC build fail tomberek
• 2011/08/04 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/04 patch ddc-head: The 'war' make target now tests the C and LLVM backends. Erik de Castro Lopo
• 2011/08/04 patch ddc-head: Revert last commit because it breaks the LLVM backend. Erik de Castro Lopo
• 2011/08/03 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/08/03 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/08/03 patch ddc-head: DDC.Core : Purge getOpTypeOfVar. Erik de Castro Lopo
• 2011/08/03 patch ddc-head: DDC.Core : Whitespace only. Erik de Castro Lopo
• 2011/08/03 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/02 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/01 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/08/01 patch ddc-head: SystemF2Data: working on type judgements Ben Lippmeier
• 2011/08/01 Re: DDC build fail Ben Lippmeier
• 2011/07/31 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/31 Re: DDC build fail Erik de Castro Lopo
• 2011/07/31 Re: DDC build fail tomberek
• 2011/07/31 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/31 Re: Wrong function types in Core globs Ben Lippmeier
• 2011/07/31 Re: DDC build fail Ben Lippmeier

• Earlier messages
• Later messages