disciple-cafe  

Messages by Date

• 2011/07/30 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/30 Re: DDC build fail Erik de Castro Lopo
• 2011/07/30 Re: DDC Build fail tomberek
• 2011/07/30 DDC build fail tomberek
• 2011/07/30 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/29 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/29 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/29 patch ddc-head: SystemF2Data: Add type judgements Ben Lippmeier
• 2011/07/29 patch ddc-head: Simple: move quantifiers around Ben Lippmeier
• 2011/07/28 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/28 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/27 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/27 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/27 Re: Some more questions Alexander Shpilkin
• 2011/07/27 Re: Some more questions Ben Lippmeier
• 2011/07/27 patch ddc-head: SystemF2Data: Add expression definitions Ben Lippmeier
• 2011/07/27 Re: Some more questions Alexander Shpilkin
• 2011/07/27 Wrong function types in Core globs Erik de Castro Lopo
• 2011/07/26 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/26 Questions from IRC Ben Lippmeier
• 2011/07/26 Re: Some more questions Ben Lippmeier
• 2011/07/26 Re: Fixing #186 (Non-exhaustive patterns in lambda) Ben Lippmeier
• 2011/07/26 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/26 Some more questions Alexander Shpilkin
• 2011/07/26 Fwd: Fixing #186 (Non-exhaustive patterns in lambda) Alexander Shpilkin
• 2011/07/25 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/25 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/25 patch ddc-head: Proof: Start on System-F2 with algebraic data Ben Lippmeier
• 2011/07/25 patch ddc-head: SystemF2: cleanups Ben Lippmeier
• 2011/07/25 patch ddc-head: SimpleData: Cleanup context lemmas Ben Lippmeier
• 2011/07/24 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/24 patch ddc-head: Accept test wibbles Ben Lippmeier
• 2011/07/24 patch ddc-head: Fix #190: Parser error messages in type signatures Alexander Shpilkin
• 2011/07/24 patch ddc-head: Add test files for #190 and #193 Ben Lippmeier
• 2011/07/24 patch ddc-head: Fix #193: Better handling of unterminated strings Alexander Shpilkin
• 2011/07/24 patch ddc-head: Fix #186 and related defixer bugs Alexander Shpilkin
• 2011/07/24 patch ddc-head: Add test file for #186 now that it's fixed Ben Lippmeier
• 2011/07/24 Re: More parser fixes Ben Lippmeier
• 2011/07/24 Re: Fixing #186 (Non-exhaustive patterns in lambda) Ben Lippmeier
• 2011/07/24 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/23 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/23 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/22 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/22 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/22 patch ddc-head: LLVM : Clean up generation of tags. Erik de Castro Lopo
• 2011/07/22 patch ddc-head: Simplify imports in type signature tests. Accept test wibbles. Erik de Castro Lopo
• 2011/07/22 patch ddc-head: library : Add module DDC.Runtime.Debug. Erik de Castro Lopo
• 2011/07/21 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/21 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/20 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/20 Re: DDC Build (discus.linux-x86_64.head) success Ben Lippmeier
• 2011/07/20 Re: DDC Build (discus.linux-x86_64.head) success Erik de Castro Lopo
• 2011/07/20 patch ddc-head: Revert runtime changes. Erik de Castro Lopo
• 2011/07/20 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/20 patch ddc-head: SimpleData: document the heart of darkness that is EvalChain Ben Lippmeier
• 2011/07/20 patch ddc-head: Proof: make nope tactic either solve the goal or do nothing Ben Lippmeier
• 2011/07/20 patch ddc-head: SimpleData: more cleanups Ben Lippmeier
• 2011/07/20 patch ddc-head: Add predicate hasUnboxedFields :: CtorDef -> Bool. Erik de Castro Lopo
• 2011/07/20 patch ddc-head: Fix/improve comments about DataM object. Erik de Castro Lopo
• 2011/07/19 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/19 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/19 patch ddc-head: Rename XArgBoxedData/XArgUnboxedData to XArgData/XArgDataM. Erik de Castro Lopo
• 2011/07/19 patch ddc-head: runtime/Debug/Dump.c : Use %u when printing uint32_t. Erik de Castro Lopo
• 2011/07/18 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/18 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/18 patch ddc-head: SimpleData: more cleanups Ben Lippmeier
• 2011/07/18 patch ddc-head: SimpleData: cleanups Ben Lippmeier
• 2011/07/18 patch ddc-head: Move test T220-UnboxedCtorParam to Broken-skip. Erik de Castro Lopo
• 2011/07/18 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/18 Re: DDC Build (deluge.linux-x86.head) success Erik de Castro Lopo
• 2011/07/18 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/18 Re: LLVM backend Erik de Castro Lopo
• 2011/07/17 Re: LLVM backend Ben Lippmeier
• 2011/07/17 patch ddc-head: SimpleRef: fix rest of admits Ben Lippmeier
• 2011/07/17 patch ddc-head: Proof: add missing file Ben Lippmeier
• 2011/07/17 patch ddc-head: Add test/30-Runtime/T220-UnboxedCtorParam. Erik de Castro Lopo
• 2011/07/17 patch ddc-head: Fix #220 : Allow constructors with unboxed fields. Erik de Castro Lopo
• 2011/07/17 patch ddc-head: Plumb data for constructors with unboxed fields through to Sea.Pretty. Erik de Castro Lopo
• 2011/07/17 patch ddc-head: war : Increase compiler heap size from 30M to 40M. Erik de Castro Lopo
• 2011/07/17 LLVM backend Erik de Castro Lopo
• 2011/07/17 patch ddc-head: SimpleRef: fix remaining admits in presevation Ben Lippmeier
• 2011/07/17 patch ddc-head: SimpleRef: Shift extends into own module and fix admit in preservation Ben Lippmeier
• 2011/07/17 patch ddc-head: Proof: rename Nat module Ben Lippmeier
• 2011/07/17 patch ddc-head: SimpleRef: wibble Ben Lippmeier
• 2011/07/17 patch ddc-head: Proof: split list module into smaller parts Ben Lippmeier
• 2011/07/16 Re: When is it safe to call _allocCollect? Ben Lippmeier
• 2011/07/15 patch ddc-head: Add test/30-Runtime/DataR. Erik de Castro Lopo
• 2011/07/15 patch ddc-head: LLVM : Fix suspected heap corruption. Erik de Castro Lopo
• 2011/07/15 patch ddc-head: SimpleRef: finish eval minus list lemmas Ben Lippmeier
• 2011/07/15 patch ddc-head: Whitespace. Erik de Castro Lopo
• 2011/07/15 Re: When is it safe to call _allocCollect? Erik de Castro Lopo
• 2011/07/15 patch ddc-head: SimpleRef: Add heap operations to big-step semantics Ben Lippmeier
• 2011/07/14 When is it safe to call _allocCollect? Erik de Castro Lopo
• 2011/07/14 patch ddc-head: SimpleRef: do big to small steps Ben Lippmeier
• 2011/07/14 patch ddc-head: SimpleRef: Fix admit in progress Ben Lippmeier
• 2011/07/14 patch ddc-head: SimpleRef: finish preservation bar list lemmas Ben Lippmeier
• 2011/07/13 patch ddc-head: SimpleRef: move forms of values into type module, and cleanup progress Ben Lippmeier
• 2011/07/13 patch ddc-head: SimpleRef: move dest and shift tactics into base library Ben Lippmeier
• 2011/07/13 patch ddc-head: SimpleRef: add main file Ben Lippmeier
• 2011/07/13 patch ddc-head: SimpleRef: fixing up automation Ben Lippmeier
• 2011/07/13 patch ddc-head: Simple: better automation Ben Lippmeier
• 2011/07/13 patch ddc-head: Simple: Extend burn tactic to be more useful Ben Lippmeier
• 2011/07/12 patch ddc-head: config-override.deps is now config-override.mk so we can clean *.deps and not lose it Ben Lippmeier
• 2011/07/12 patch ddc-head: war3: Remove unneeded canonicalizePaths Ben Lippmeier
• 2011/07/12 patch ddc-head: Move old war2 out of the way Ben Lippmeier
• 2011/07/12 patch ddc-head: Don't try to canonicalize paths to non-existant files Ben Lippmeier
• 2011/07/12 patch ddc-head: SimpleRef: Work on preservation Ben Lippmeier
• 2011/07/12 patch ddc-head: SimpleRef: exps, types and Progress Ben Lippmeier
• 2011/07/11 patch witness/witness-jfp: Edits benl
• 2011/07/11 patch witness/witness-jfp: Add JFP reviews benl
• 2011/07/11 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/11 Build broken on linux Ben Lippmeier
• 2011/07/11 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/11 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/11 patch ddc-head: Test needs to be updated for war3 Ben Lippmeier
• 2011/07/11 patch ddc-head: war3: allow failed tests to be dumped to file Ben Lippmeier
• 2011/07/11 patch ddc-head: These two tests don't work with the new driver Ben Lippmeier
• 2011/07/11 patch ddc-head: Rename normal -> std test way Ben Lippmeier
• 2011/07/11 patch ddc-head: Update other config files for new compilation setup Ben Lippmeier
• 2011/07/11 patch ddc-head: The old war is over Ben Lippmeier
• 2011/07/11 patch ddc-head: Remove debugging Ben Lippmeier
• 2011/07/11 patch ddc-head: war3: Don't show build dirs in test output paths Ben Lippmeier
• 2011/07/11 patch ddc-head: war3: also write output files into output dir for single compilation Ben Lippmeier
• 2011/07/11 patch ddc-head: Update test for new framework Ben Lippmeier
• 2011/07/11 patch ddc-head: Make LLVM produce the new compilation result structure Ben Lippmeier
• 2011/07/11 patch ddc-head: Move Result and Setup modules into DDC tree Ben Lippmeier
• 2011/07/11 patch ddc-head: Refactor management of files resulting from compilation Ben Lippmeier
• 2011/07/11 patch ddc-head: Make dump files go into the correct place Ben Lippmeier
• 2011/07/11 patch ddc-head: war3: whitespace Ben Lippmeier
• 2011/07/11 patch ddc-head: Better cleaning of test dir Ben Lippmeier
• 2011/07/11 patch ddc-head: Test wibble Ben Lippmeier
• 2011/07/11 patch ddc-head: In progress adding outputdir flag Ben Lippmeier
• 2011/07/11 patch ddc-head: war3: put run.stderr.diff in build dir Ben Lippmeier
• 2011/07/11 patch ddc-head: Make proof build target work in parallel Ben Lippmeier
• 2011/07/11 patch ddc-head: Rename config-override.deps to config-override.mk Ben Lippmeier
• 2011/07/10 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/10 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/10 patch ddc-head: war3: Allow update of expected result for diff tests Ben Lippmeier
• 2011/07/10 patch ddc-head: war3: work on diff handling Ben Lippmeier
• 2011/07/10 patch ddc-head: war3: split gang controller into own module and start handling diffs Ben Lippmeier
• 2011/07/10 patch ddc-head: war3: handle run failure in pretty printer Ben Lippmeier
• 2011/07/10 patch ddc-head: war3: gang code is in buildbox now Ben Lippmeier
• 2011/07/10 patch ddc-head: war3: use /tmp dir for scratch space Ben Lippmeier
• 2011/07/10 patch ddc-head: war3: make ways work Ben Lippmeier
• 2011/07/09 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/09 patch ddc-head: Update testcase 10-Driver/EmptySourceFile to reflect the change to the error message. George Roldugin
• 2011/07/09 patch ddc-head: Follow-up for #219: Show filename of the bad source file. George Roldugin
• 2011/07/09 patch ddc-head: Fix #219: Fail source files containing no code or just comments (after lexing). George Roldugin
• 2011/07/09 patch ddc-head: #191: Update to work with war3 test driver Ben Lippmeier
• 2011/07/09 patch ddc-head: war3: wait for the controller to print all results before ending program Ben Lippmeier
• 2011/07/09 patch ddc-head: war3: don't build .ds files if there is a .sh script Ben Lippmeier
• 2011/07/09 patch ddc-head: runtime : Panic if the size of an object is zero. Erik de Castro Lopo
• 2011/07/09 patch ddc-head: runtime/Prim/Force.c : Include <assert.h> if _DDC_DEBUG is true. Erik de Castro Lopo
• 2011/07/09 patch ddc-head: war3: attach diff jobs to compile to ensure they're done in the correct order Ben Lippmeier
• 2011/07/09 patch ddc-head: war3: ease up on busy loop in gang controller Ben Lippmeier
• 2011/07/09 patch ddc-head: war3: handle shell tests that are expected to fail Ben Lippmeier
• 2011/07/09 patch ddc-head: war3: add shell tests Ben Lippmeier
• 2011/07/09 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/08 patch ddc-head: war3: add gang controller and flushing Ben Lippmeier
• 2011/07/08 patch ddc-head: war3: show compile time when compiling .hs files Ben Lippmeier
• 2011/07/08 patch ddc-head: war3: allow number of threads to be set on command line Ben Lippmeier
• 2011/07/08 patch ddc-head: In Core.ToSea, grab the Ctor parameter types from the Core data structures. Erik de Castro Lopo
• 2011/07/08 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/08 patch ddc-head: War3: Add thread gang to run tests in parallel Ben Lippmeier
• 2011/07/08 patch ddc-head: war3: update to use latest buildbox Ben Lippmeier
• 2011/07/08 patch ddc-head: library : Cast Float32# to Float64# before passing it to snprintf. Erik de Castro Lopo
• 2011/07/08 patch ddc-head: Add missing file. Erik de Castro Lopo
• 2011/07/08 patch ddc-head: library : Fix return types of foreign imported C functions. Erik de Castro Lopo
• 2011/07/08 patch ddc-head: LLVM : Special case runtime CAFs. Erik de Castro Lopo
• 2011/07/08 patch ddc-head: Make C SEEK_SET/CUR/END macros into CAFs in the runtime. Erik de Castro Lopo
• 2011/07/08 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/07 patch ddc-head: #155: update test file with more working example Ben Lippmeier
• 2011/07/07 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/07 patch ddc-head: SimpleData: add missing top-level file Ben Lippmeier
• 2011/07/07 patch ddc-head: Remove proof_old, all the proofs are in the main dir now Ben Lippmeier
• 2011/07/07 patch ddc-head: Fix #209: Simplify tagged closures including $Danger constructors Ben Lippmeier
• 2011/07/07 patch ddc-head: Handle zero-arity type constructors in new simplifier Ben Lippmeier
• 2011/07/07 patch ddc-head: Runtime : Fix compiler warning. Erik de Castro Lopo
• 2011/07/07 patch ddc-head: LLVM : Handle FFI C functons with void parameter list. Erik de Castro Lopo
• 2011/07/07 patch ddc-head: Add test/16-Core/T223-VoidParam. Erik de Castro Lopo
• 2011/07/07 patch ddc-head: Fix #223: Handle foriegn imported C functions that take zero parameters. Erik de Castro Lopo
• 2011/07/07 patch ddc-head: Whitespace. Erik de Castro Lopo
• 2011/07/07 patch ddc-head: Add PAllocDataM primitive. Erik de Castro Lopo
• 2011/07/07 patch ddc-head: Main.Dump : Print name of file when dumping. Erik de Castro Lopo
• 2011/07/07 patch ddc-head: Fix #222: Disable tracing of unfinished constraint simplifier Ben Lippmeier
• 2011/07/07 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/06 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/06 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/05 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/05 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/05 patch ddc-head: SimpleData: shifting to use new framework Ben Lippmeier
• 2011/07/05 patch ddc-head: SimpleData: finish porting to new framework Ben Lippmeier
• 2011/07/04 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/04 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/03 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/03 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/02 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/02 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/07/01 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/07/01 DDC Build (discus.linux-x86_64.head) success DDC BuildBot

• Earlier messages
• Later messages