disciple-cafe  

Messages by Date

• 2012/11/02 patch ddc-head: ddc-core: finish checkinf of data type constructors Ben Lippmeier
• 2012/11/01 patch ddc-head: doc: add new HCAR announcement Ben Lippmeier
• 2012/11/01 DDC Build Success (deluge.x86_64.Linux) with 1 failed tests DDC Buildbot
• 2012/10/31 DDC Build Success (deluge.x86_64.Linux) with 1 failed tests DDC Buildbot
• 2012/10/31 patch ddc-head: runtime: add missing plusPtr and minusPtr primops to C backend Ben Lippmeier
• 2012/10/31 patch ddc-head: ddc-core-salt: make payloadOfRaw functions return (Ptr# r Word8#) instead of (Ptr# r Obj) Ben Lippmeier
• 2012/10/31 patch ddc-head: Doc wibbles Ben Lippmeier
• 2012/10/31 patch ddc-head: ddc-code: add notes about what we substitute into when checking XAPP Ben Lippmeier
• 2012/10/30 DDC Build Success (deluge.x86_64.Linux) DDC Buildbot
• 2012/10/29 DDC Build Success (deluge.x86_64.Linux) DDC Buildbot
• 2012/10/28 DDC Build Success (deluge.x86_64.Linux) with 1 failed tests DDC Buildbot
• 2012/10/28 patch ddc-head: ddc-core-salt: in C backend prefix local names with another '_' so they don't conflict with global names Ben Lippmeier
• 2012/10/28 patch ddc-head: ddc-core-salt: make naming of _FAIL consistent Ben Lippmeier
• 2012/10/28 patch ddc-head: ddc-tools: accept no-flag commands as --make, better arg parsing error messages Ben Lippmeier
• 2012/10/27 DDC Build Success (deluge.x86_64.Linux) DDC Buildbot
• 2012/10/26 DDC Build Success (deluge.x86_64.Linux) with 2 failed tests DDC Buildbot
• 2012/10/24 DDC Build Success (deluge.x86_64.Linux) with 1 failed tests DDC Buildbot
• 2012/10/24 patch ddc-head: ddc-build: add missing import dirs for other platforms Ben Lippmeier
• 2012/10/24 DDC Build Success (deluge.x86_64.Linux) with 15 failed tests DDC Buildbot
• 2012/10/24 patch ddc-head: ddc-core-salt: can't make var decls for witness binders Ben Lippmeier
• 2012/10/24 patch ddc-head: Makefile: add viaco way to batchwar Ben Lippmeier
• 2012/10/24 patch ddc-head: Accept test output Ben Lippmeier
• 2012/10/24 patch ddc-head: ddc-core-salt: handle non-value producing control prims in nested contexts. Ben Lippmeier
• 2012/10/24 patch ddc-head: ddc-core-salt: ditch casts and implement SIZE2 primop in C backend Ben Lippmeier
• 2012/10/24 patch ddc-head: ddc-core-salt: unbreak pretty printing of fail expressions Ben Lippmeier
• 2012/10/24 patch ddc-head: ddc-core-salt: emit all variable declarations at the top of the function Ben Lippmeier
• 2012/10/24 patch ddc-head: runtime: add C version of _CHECK primitive Ben Lippmeier
• 2012/10/24 patch ddc-head: ddc-core-salt: track what context we're in Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-core-salt: allow non-void returned values to be discarded in to-c conversion Ben Lippmeier
• 2012/10/23 patch ddc-head: Makefile: adjust the default build ways to exercise the new compiler Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-alpha: accept the -fvia-c flag Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-tools: enable -fvia-c backend again Ben Lippmeier
• 2012/10/23 patch ddc-head: Fix test to use showNat Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-core-salt: need to wrap stmts after default: in braces Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-core-salt: suppress imports of external functions with +SuppressImports Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-core-salt: drop type and witness args in statements to Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-core-salt: remove leftover tracing Ben Lippmeier
• 2012/10/23 patch ddc-head: runtime: fix bug in POKE primop code Ben Lippmeier
• 2012/10/23 patch ddc-head: runtime: use the actual addNat function when adding NAts Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-core-salt: pass through types of pointers to prim values in Lite -> Salt conversion Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-core-salt: add extern prototypes for imported symbols Ben Lippmeier
• 2012/10/23 patch ddc-head: Make cleanWar clean dump.* files Ben Lippmeier
• 2012/10/23 patch ddc-head: make -make -fvia-c go via c Ben Lippmeier
• 2012/10/23 patch ddc-head: Accept test output Ben Lippmeier
• 2012/10/23 patch ddc-head: really Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-core-llvm: make LLVM backend use the same heap symbols as C backend Ben Lippmeier
• 2012/10/23 DDC Build Success (deluge.x86_64.Linux) DDC Buildbot
• 2012/10/23 patch ddc-head: ddc-llvm: fix subsitution bug in cleaner Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-build: fix linux 64-bit platform spec Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-build: add pretty printer for builder Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-core-llvm: accept output of join-point test Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-core-salt: fix suppression of hashImports when converting to C Ben Lippmeier
• 2012/10/23 DDC Build Success (deluge.x86_64.Linux) with 25 failed tests DDC Buildbot
• 2012/10/23 patch ddc-head: Redisable -fvia-c until it works again Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-build: add forgotton -c flag when compiling via gcc Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-core-salt: emit externs to import heap vars in to-c conversion Ben Lippmeier
• 2012/10/23 patch ddc-head: primitive: follow name changes in C runtime Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-core-salt: remove old unused storeBytesNat# primop Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-core-llvm: fix code generation for nested join points Ben Lippmeier
• 2012/10/23 patch ddc-head: ddc-core-llvm: refactoring join points again, nested join points still don't work Ben Lippmeier
• 2012/10/22 DDC Build Success (deluge.x86_64.Linux) with 12 failed tests DDC Buildbot
• 2012/10/21 DDC Build Success (deluge.x86_64.Linux) with 12 failed tests DDC Buildbot
• 2012/10/21 patch ddc-head: Accept test wibbles Ben Lippmeier
• 2012/10/20 patch ddc-head: f2e: start on store lemmas Ben Lippmeier
• 2012/10/20 patch ddc-head: f2e: finish subst val/exp Ben Lippmeier
• 2012/10/20 DDC Build Success (deluge.x86_64.Linux) with 39 failed tests DDC Buildbot
• 2012/10/20 DDC Build FAILURE (deluge.x86_64.Linux) DDC Buildbot
• 2012/10/20 DDC Build FAILURE (deluge.x86_64.Linux) DDC Buildbot
• 2012/10/20 DDC Build FAILURE (deluge.x86_64.Linux) DDC Buildbot
• 2012/10/20 DDC Build FAILURE (deluge.x86_64.Linux) DDC Buildbot
• 2012/10/20 DDC Build FAILURE (deluge.x86_64.Linux) DDC Buildbot
• 2012/10/20 patch ddc-head: wibble Ben Lippmeier
• 2012/10/20 patch ddc-head: f2e: do subst of types in expressions Ben Lippmeier
• 2012/10/20 patch ddc-head: f2e: add substution for expressions Ben Lippmeier
• 2012/10/19 patch ddc-head: f2e: finish lifting of expressions Ben Lippmeier
• 2012/10/19 patch ddc-head: f2e: shift XApp to exp and rejig handling of primops Ben Lippmeier
• 2012/10/19 patch ddc-head: f2e: add well typed is well formed Ben Lippmeier
• 2012/10/19 patch ddc-head: f2e: add well formedness for expressions Ben Lippmeier
• 2012/10/19 patch ddc-head: proof: start on SystemF2Effect proof Ben Lippmeier
• 2012/10/19 patch ddc-head: f2e: add VLAM rule Ben Lippmeier
• 2012/10/19 patch ddc-head: proof: more on F2-effect Ben Lippmeier
• 2012/10/19 patch ddc-head: f2e: thread store typing through type judgements Ben Lippmeier
• 2012/10/19 patch ddc-head: f2e: do uniqueness of types Ben Lippmeier
• 2012/10/19 patch ddc-head: proof: fleshing out f2e Ben Lippmeier
• 2012/10/13 patch ddc-head: core-rules: add rule for letregion and well formedness of witnesses Ben Lippmeier
• 2012/10/13 patch ddc-head: core-rules: types of witnesses judgement needs both environments Ben Lippmeier
• 2012/10/11 patch ddc-head: ddc-build: haddock fix Ben Lippmeier
• 2012/10/11 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/10/11 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/10/11 patch ddc-head: Add file .gitignore. Erik de Castro Lopo
• 2012/10/11 patch ddc-head: Purge old binary runtime/bits/checkSize. Erik de Castro Lopo
• 2012/10/11 patch ddc-head: ddc-core-salt: thread kind and type environments through salt -> C conversion Ben Lippmeier
• 2012/10/11 patch ddc-head: ddc-core-salt: hacks on to-c conversion Ben Lippmeier
• 2012/10/11 patch ddc-head: ddc-core-salt: always #include C prelude when compiling via c Ben Lippmeier
• 2012/10/11 patch ddc-head: ddc-core-salt: handle type vars in to-c conversion Ben Lippmeier
• 2012/10/10 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/10/10 patch ddc-head: ddc-driver: do transfer pass when compiling via c Ben Lippmeier
• 2012/10/10 patch ddc-head: ddc-driver: add pipeline for compile -fvia-c Ben Lippmeier
• 2012/10/09 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/10/09 patch ddc-head: ddc-core-salt: implement size# and size2# (sizeof) primops and use them to cleanup some of the RTS code Ben Lippmeier
• 2012/10/09 patch ddc-head: ddc-core-llvm: add phi nodes and finish support for join points Ben Lippmeier
• 2012/10/08 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/10/07 patch ddc-head: test: add new metadata tests, move llvm tests to better locations Tran Ma
• 2012/10/07 patch ddc-head: ddc-core-simp: elaborate adds const witness for any non-mutable region introduced in a letregion Tran Ma
• 2012/10/07 patch ddc-head: ddc-core-llvm: use aliasing to measure partition quality (instead of `massage` hack) Tran Ma
• 2012/10/07 DDC Build Success (deluge.i686.Linux) DDC Buildbot
• 2012/10/06 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/10/05 DDC Build Success (deluge.i686.Linux) DDC Buildbot
• 2012/10/04 DDC Build Success (deluge.i686.Linux) DDC Buildbot
• 2012/10/03 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/10/03 patch ddc-head: core-rules: cleanups and formatting Ben Lippmeier
• 2012/10/03 patch ddc-head: core: move ott files around Ben Lippmeier
• 2012/10/03 patch ddc-head: core-rules: start on type judgements Ben Lippmeier
• 2012/10/03 patch ddc-head: core-rules: start on expression definitions Ben Lippmeier
• 2012/10/02 patch ddc-head: core-rules: add sorts and the deep versions of type constructors Ben Lippmeier
• 2012/10/02 patch ddc-head: Add OTT kind and type structure Ben Lippmeier
• 2012/10/02 patch ddc-head: Add core-ref ott definition Ben Lippmeier
• 2012/10/02 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/10/01 DDC Build Success (deluge.i686.Linux) DDC Buildbot
• 2012/09/30 patch ddc-head: ddc-core-llvm: get rid of minimum completion Tran Ma
• 2012/09/30 DDC Build Success (deluge.i686.Linux) DDC Buildbot
• 2012/09/29 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/09/28 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/09/27 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/09/27 patch ddc-head: ddc-core-simp, ddc-core-llvm: new Elaborate pass to make implicit distinct wits explicit, useful only to LLVM conversion Tran Ma
• 2012/09/26 patch ddc-head: ddc-core-salt: add more context restrictions when converting Lite -> Salt Ben Lippmeier
• 2012/09/26 patch ddc-head: ddc-core-salt: merge conversion of body and atom expressions Ben Lippmeier
• 2012/09/26 patch ddc-head: ddc-core-lite: refactoring lite -> salt conversion Ben Lippmeier
• 2012/09/25 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/09/25 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/09/25 patch ddc-head: ddc-core: fix parsing of type imports Ben Lippmeier
• 2012/09/24 patch ddc-head: Fix build for GHC 7.6 and accept test wibbles Ben Lippmeier
• 2012/09/24 DDC Build Success (deluge.i686.Linux) with 4 failed tests DDC Buildbot
• 2012/09/24 patch ddc-head: Readme.md : Fix closing tag. Erik de Castro Lopo
• 2012/09/24 patch ddc-head: Add Readme.md for the github mirror of this repo. Erik de Castro Lopo
• 2012/09/24 patch ddc-head: ddc-core-llvm, test: fix minor bug on partitioning massage, add main for QC Tran Ma
• 2012/09/23 Re: patch ddc-head: ddc-core-llvm, test: fix metadata generation bugs, add quickcheck Ben Lippmeier
• 2012/09/23 Re: patch ddc-head: ddc-core-llvm, test: fix metadata generation bugs, add quickcheck Tran Ma
• 2012/09/23 Re: patch ddc-head: ddc-core-llvm, test: fix metadata generation bugs, add quickcheck Ben Lippmeier
• 2012/09/23 patch ddc-head: wibble Tran Ma
• 2012/09/23 patch ddc-head: ddc-core-llvm, test: fix metadata generation bugs, add quickcheck Tran Ma
• 2012/09/23 patch ddc-head: ddc-core-llvm: lint and wibble Tran Ma
• 2012/09/23 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/09/23 patch ddc-head: runtime: add heap checks to 64-bit runtime Ben Lippmeier
• 2012/09/23 patch ddc-head: Makefile: build bin/ddc with 'all' target Ben Lippmeier
• 2012/09/23 patch ddc-head: Add missing test file for bubble transform Ben Lippmeier
• 2012/09/23 patch ddc-head: testsuite: expect failure with heap overflow check Ben Lippmeier
• 2012/09/23 patch ddc-head: ddc-war: when Main.runerror.check then expect run failure Ben Lippmeier
• 2012/09/23 patch ddc-head: ddc-core-llvm: refactor to merge convExp with convStmt Ben Lippmeier
• 2012/09/23 patch ddc-head: ddc-core-llvm: refactor handling of current context Ben Lippmeier
• 2012/09/23 patch ddc-head: ddc-core-llvm: handle join points due to case expressions in bindings Ben Lippmeier
• 2012/09/23 patch ddc-head: ddc-core-salt: add heap overflow checks to 32-bit runtime Ben Lippmeier
• 2012/09/22 patch ddc-head: #244 is fixed, add test for type vars used as value vars Ben Lippmeier
• 2012/09/22 patch ddc-head: ddc-main: allow location of base library to be specified on command line Ben Lippmeier
• 2012/09/22 patch ddc-head: ddc-main: use fixpoint simplifier when defining optimisation levels Ben Lippmeier
• 2012/09/22 patch ddc-head: ddc-main: give a civilized message if modules needed by the inliner don't load Ben Lippmeier
• 2012/09/22 patch ddc-head: ddc-main: accept -fvia-llvm and -fvia-c flags Ben Lippmeier
• 2012/09/22 patch ddc-head: Rename test/ddci-core directory to test/ddc-main Ben Lippmeier
• 2012/09/22 patch ddc-head: war: compile .dcl and .dce tests with new bin/ddc Ben Lippmeier
• 2012/09/22 patch ddc-head: ddc-main: add missing Main module Ben Lippmeier
• 2012/09/22 DDC Build Success (deluge.i686.Linux) with 6 failed tests DDC Buildbot
• 2012/09/21 DDC Build Success (deluge.i686.Linux) with 6 failed tests DDC Buildbot
• 2012/09/21 patch ddc-head: ddc-core-llvm: general metadata generation Tran Ma
• 2012/09/21 patch ddc-head: ddc-main: also inline code for basic arithmetic with -O1 Ben Lippmeier
• 2012/09/21 patch ddc-head: runtime: fix Object32 code to return Ptr# for field projections Ben Lippmeier
• 2012/09/21 patch ddc-head: ddc-main: auto inline object construction code from the RTS with -O1 Ben Lippmeier
• 2012/09/21 patch ddc-head: ddc-driver: shift default builder config into ddc-main Ben Lippmeier
• 2012/09/21 patch ddc-head: ddc-driver: shift code that defines default optimsiation levels directly into ddc-main Ben Lippmeier
• 2012/09/21 patch ddc-head: ddc-main: add output redirection and dump flags Ben Lippmeier
• 2012/09/21 patch ddc-head: ddc-driver: slurp across code for to-salt to-c and to-llvm Ben Lippmeier
• 2012/09/21 patch ddc-head: ddc-driver: slurp across -make code Ben Lippmeier
• 2012/09/21 patch ddc-head: ddc-main: add help page Ben Lippmeier
• 2012/09/21 patch ddc-head: ddc-driver: more config refactoring Ben Lippmeier
• 2012/09/21 patch ddc-head: ddc-driver: refactor compile driver Ben Lippmeier
• 2012/09/21 patch ddc-head: ddc-driver: Refactor compiler stage code to use separate config Ben Lippmeier
• 2012/09/21 patch ddc-head: ddc-driver: slurp in code for load command Ben Lippmeier
• 2012/09/20 patch ddc-head: Wibble Ben Lippmeier
• 2012/09/20 patch ddc-head: Accept indented output in tests Ben Lippmeier
• 2012/09/20 patch ddc-head: Start on new ddc-main, which will be the unixy command-line interface to new ddc Ben Lippmeier
• 2012/09/20 patch ddc-head: ddc-main: add ast command that works on whole modules Ben Lippmeier
• 2012/09/20 patch ddc-head: ddc-main: Isolate type checking commands from interpreter state Ben Lippmeier
• 2012/09/20 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/09/19 patch ddc-head: Shift ddci-core sources into ddc-tools dir Ben Lippmeier
• 2012/09/19 patch ddc-head: Move ddc-main tests to ddc-alpha dir Ben Lippmeier
• 2012/09/19 patch ddc-head: Rename ddc-main package to ddc-alpha Ben Lippmeier
• 2012/09/19 DDC Build Success (deluge.i686.Linux) with 6 failed tests DDC Buildbot
• 2012/09/18 patch ddc-head: code: add accumulator version of length Ben Lippmeier
• 2012/09/18 patch ddc-head: ddc-core-simpl: Don't need witness vars in closure weakenings Ben Lippmeier
• 2012/09/18 patch ddc-head: ddc-core-simpl: fix bug in support code and accept test wibbles Ben Lippmeier
• 2012/09/18 patch ddc-head: ddc-core-simpl: Fix formatting in rule code Ben Lippmeier
• 2012/09/18 patch ddc-head: ddc-core-simpl: fix formatting in rewrite rule errors Ben Lippmeier
• 2012/09/18 patch ddc-head: ddc-core-simpl: Fix formatting Ben Lippmeier
• 2012/09/18 patch ddc-head: Use Support module to determine closure weakenings for rewrite rules Ben Lippmeier
• 2012/09/18 patch ddc-head: ddc-core-simpl: Pack casts when dropping them in Bubble transform Ben Lippmeier
• 2012/09/18 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/09/17 DDC Build Success (deluge.i686.Linux) with 6 failed tests DDC Buildbot
• 2012/09/16 DDC Build Success (deluge.i686.Linux) with 6 failed tests DDC Buildbot
• 2012/09/15 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/09/14 DDC Build FAILURE (deluge.i686.Linux) DDC Buildbot
• 2012/09/13 patch ddc-head: ddc-core-simp, ddc-build: make deadcode & rewrites work for module-level simplifier Amos Robinson

• Earlier messages
• Later messages