| 2010-03-09 |
Joe Groff | generalize stack effects so we can bootstrap with the...
|
commit | commitdiff | tree |
| 2010-03-09 |
Joe Groff | stack-checker.row-polymorphism: modify check-variables...
|
commit | commitdiff | tree |
| 2010-03-09 |
Joe Groff | refactor stack-checker.row-polymorphism a little
|
commit | commitdiff | tree |
| 2010-03-09 |
Joe Groff | add polymorphic effects for lexer:each-token, map-tokens
|
commit | commitdiff | tree |
| 2010-03-09 |
Joe Groff | add polymorphic stack effects to continuations:recover...
|
commit | commitdiff | tree |
| 2010-03-09 |
Joe Groff | Merge branch 'master' of git://factorcode.org/git/factor...
|
commit | commitdiff | tree |
| 2010-03-09 |
Joe Groff | add documentation about stack effect variable syntax...
|
commit | commitdiff | tree |
| 2010-03-08 |
Joe Groff | combine unbalanced-branches-error and invalid-quotation...
|
commit | commitdiff | tree |
| 2010-03-08 |
Joe Groff | sequences: effects of push-if and push-either were...
|
commit | commitdiff | tree |
| 2010-03-08 |
Joe Groff | declare effect on inputs to infer-if in non-literal...
|
commit | commitdiff | tree |
| 2010-03-08 |
Joe Groff | unify inner-d-index when unifying branches; close a...
|
commit | commitdiff | tree |
| 2010-03-08 |
Joe Groff | reuse @ and _ from fry in placeholders for invalid...
|
commit | commitdiff | tree |
| 2010-03-08 |
Joe Groff | add unit test from quotation that fails to infer during...
|
commit | commitdiff | tree |
| 2010-03-08 |
Joe Groff | add tests from old row-polymorphism implementation...
|
commit | commitdiff | tree |
| 2010-03-08 |
Joe Groff | further improve error message for invalid quotation...
|
commit | commitdiff | tree |
| 2010-03-08 |
Joe Groff | improve error message for invalid quotation inputs...
|
commit | commitdiff | tree |
| 2010-03-08 |
Joe Groff | clear away some rebar
|
commit | commitdiff | tree |
| 2010-03-08 |
Joe Groff | polymorphize splitting private combinators
|
commit | commitdiff | tree |
| 2010-03-08 |
Joe Groff | tweak declared-effect to wrap the existing known instead...
|
commit | commitdiff | tree |
| 2010-03-08 |
Joe Groff | add stack variable unification to M\ declared-effect...
|
commit | commitdiff | tree |
| 2010-03-08 |
Joe Groff | add a with-effect-here combinator that determines the...
|
commit | commitdiff | tree |
| 2010-03-07 |
Joe Groff | tweak recursive call site checking to consider declared...
|
commit | commitdiff | tree |
| 2010-03-07 |
Joe Groff | row polymorphism new approach: wrap polymorphic quotation...
|
commit | commitdiff | tree |
| 2010-03-06 |
Joe Groff | Merge branch 'master' of git://factorcode.org/git/factor
|
commit | commitdiff | tree |
| 2010-03-06 |
Joe Groff | tag opencl.* untested
|
commit | commitdiff | tree |
| 2010-03-06 |
Joe Groff | add unit test to show that polymorphic check breaks...
|
commit | commitdiff | tree |
| 2010-03-06 |
Joe Groff | generalize stack effect of while, until, and produce
|
commit | commitdiff | tree |
| 2010-03-06 |
Joe Groff | give terminating stack effects a pass in the polymorphic...
|
commit | commitdiff | tree |
| 2010-03-06 |
Joe Groff | clean up polymorphic stack effects in fuel
|
commit | commitdiff | tree |
| 2010-03-06 |
Joe Groff | move error summaries for effect parsing errors to debugger...
|
commit | commitdiff | tree |
| 2010-03-05 |
Joe Groff | reuse infer-call* for polymorphic inference, which...
|
commit | commitdiff | tree |
| 2010-03-05 |
Joe Groff | fix stack error in stack-checker.row-polymorphism
|
commit | commitdiff | tree |
| 2010-03-05 |
Joe Groff | fix ... in compiler.cfg.linearization
|
commit | commitdiff | tree |
| 2010-03-05 |
Joe Groff | refactor stack-checker slightly to fix circular dependency
|
commit | commitdiff | tree |
| 2010-03-05 |
Joe Groff | clean up now-inappropriate uses of "..." in generalizations...
|
commit | commitdiff | tree |
| 2010-03-05 |
Joe Groff | make effect variables part of effect syntax, stored...
|
commit | commitdiff | tree |
| 2010-03-05 |
Joe Groff | spray some polymorphic stack effects on kernel, math...
|
commit | commitdiff | tree |
| 2010-03-05 |
Joe Groff | make tests pass
|
commit | commitdiff | tree |
| 2010-03-05 |
Joe Groff | improve error reporting
|
commit | commitdiff | tree |
| 2010-03-05 |
Joe Groff | nested scopes were messing up stack checker state
|
commit | commitdiff | tree |
| 2010-03-05 |
Joe Groff | initial implementation of row-polymorphism check
|
commit | commitdiff | tree |
| 2010-03-03 |
Joe Groff | Merge branch 'lexer-parsing-word-errors'
|
commit | commitdiff | tree |
| 2010-03-02 |
Joe Groff | Merge branch 'master' of git://factorcode.org/git/factor
|
commit | commitdiff | tree |
| 2010-03-02 |
Joe Groff | needlessly rice game.input backends further by using...
|
commit | commitdiff | tree |
| 2010-03-02 |
Joe Groff | game.input.*: factor out callback implementations to...
|
commit | commitdiff | tree |
| 2010-03-02 |
Joe Groff | yay C89
|
commit | commitdiff | tree |
| 2010-03-01 |
Joe Groff | record the C++ compiler version in the VM, and expose...
|
commit | commitdiff | tree |
| 2010-03-01 |
Joe Groff | parse-tokens had two $notes sections. oops!
|
commit | commitdiff | tree |
| 2010-03-01 |
Joe Groff | lexer, parser: update docs on "parse-tokens" and add...
|
commit | commitdiff | tree |
| 2010-03-01 |
Joe Groff | windows.directx.d3d9: a method was missing argument...
|
commit | commitdiff | tree |
| 2010-03-01 |
Joe Groff | lexer: add "each-token" and "map-tokens", which are...
|
commit | commitdiff | tree |
| 2010-03-01 |
Joe Groff | Merge branch 'master' of git://factorcode.org/git/factor
|
commit | commitdiff | tree |
| 2010-03-01 |
Joe Groff | classes.tuple.parser: throw bad-slot-name immediately...
|
commit | commitdiff | tree |
| 2010-03-01 |
Joe Groff | windows.com: update COM-INTERFACE: to parse incrementally
|
commit | commitdiff | tree |
| 2010-03-01 |
Joe Groff | cut commas off of FUNCTION: parameter names in stack...
|
commit | commitdiff | tree |
| 2010-03-01 |
Joe Groff | update GL-FUNCTION: to use new FUNCTION: factors
|
commit | commitdiff | tree |
| 2010-03-01 |
Joe Groff | alien.parser: refactor FUNCTION: parsing to read from...
|
commit | commitdiff | tree |
| 2010-02-28 |
Joe Groff | lexer, parser: show initial parsing word line as part...
|
commit | commitdiff | tree |
| 2010-02-27 |
Joe Groff | rename game.input.linux to game.input.x11, make x>hid...
|
commit | commitdiff | tree |
| 2010-02-27 |
Joe Groff | move XQueryKeymap binding to x11.xlib
|
commit | commitdiff | tree |
| 2010-02-27 |
Joe Groff | co-credit William Schlieper for game.input.linux
|
commit | commitdiff | tree |
| 2010-02-27 |
Joe Groff | Merge branch 'master' of git://github.com/william42...
|
commit | commitdiff | tree |
| 2010-02-26 |
Joe Groff | grouping: circular-slice shouldn't be a subclass of...
|
commit | commitdiff | tree |
| 2010-02-26 |
Joe Groff | grouping: add circular clumps (e.g. { 1 2 3 4 } 3 circular...
|
commit | commitdiff | tree |
| 2010-02-26 |
Joe Groff | windows.com: typedef interface word to void* immediately...
|
commit | commitdiff | tree |
| 2010-02-25 |
Joe Groff | deploy chipmunk lib
|
commit | commitdiff | tree |
| 2010-02-25 |
Joe Groff | Merge branch 'master' of git://factorcode.org/git/factor
|
commit | commitdiff | tree |
| 2010-02-25 |
Joe Groff | remove repeated "pad" slots from x11.xlib structs
|
commit | commitdiff | tree |
| 2010-02-25 |
Joe Groff | Merge branch 'master' of git://factorcode.org/git/factor
|
commit | commitdiff | tree |
| 2010-02-25 |
Joe Groff | classes.struct: raise an error in STRUCT: if there...
|
commit | commitdiff | tree |
| 2010-02-25 |
Joe Groff | game.worlds: construct game-loop object before begin...
|
commit | commitdiff | tree |
| 2010-02-25 |
Joe Groff | fix up chipmunk.demo, add a MAIN:
|
commit | commitdiff | tree |
| 2010-02-25 |
Joe Groff | Merge branch 'master' of git://factorcode.org/git/factor
|
commit | commitdiff | tree |
| 2010-02-25 |
Joe Groff | move chipmunk to chipmunk.ffi
|
commit | commitdiff | tree |
| 2010-02-24 |
Joe Groff | Merge branch 'master' of git://factorcode.org/git/factor
|
commit | commitdiff | tree |
| 2010-02-24 |
Joe Groff | tidy up load errors in ui.backend.x11
|
commit | commitdiff | tree |
| 2010-02-24 |
Joe Groff | Merge branch 'master' of git://factorcode.org/git/factor
|
commit | commitdiff | tree |
| 2010-02-24 |
Joe Groff | ui.backend.cocoa: invalidate run loop timers before...
|
commit | commitdiff | tree |
| 2010-02-24 |
Joe Groff | ui.gadgets.worlds: deactivate world before calling...
|
commit | commitdiff | tree |
| 2010-02-24 |
Joe Groff | tools.deploy.shaker: raise a generic "This application...
|
commit | commitdiff | tree |
| 2010-02-24 |
Joe Groff | document system-alert
|
commit | commitdiff | tree |
| 2010-02-24 |
Joe Groff | opengl.gl: all those GLchar* should be c-string[ascii]
|
commit | commitdiff | tree |
| 2010-02-24 |
Joe Groff | ui: add a "system-alert" hook that can raise a system...
|
commit | commitdiff | tree |
| 2010-02-23 |
Joe Groff | missed a uchar* in cairo.ffi
|
commit | commitdiff | tree |
| 2010-02-23 |
Joe Groff | add missing USING: effects.parser to descriptive, set-n
|
commit | commitdiff | tree |
| 2010-02-23 |
Joe Groff | change back other char/uchar* parameters that don't...
|
commit | commitdiff | tree |
| 2010-02-23 |
Joe Groff | cairo.ffi, core-foundation.strings: change some functions...
|
commit | commitdiff | tree |
| 2010-02-23 |
Joe Groff | typo in alien.data docs
|
commit | commitdiff | tree |
| 2010-02-23 |
Joe Groff | "pointer-c-type" word-prop hack is now unnecessary...
|
commit | commitdiff | tree |
| 2010-02-23 |
Joe Groff | typo in alien.parser test
|
commit | commitdiff | tree |
| 2010-02-23 |
Joe Groff | fix typos in alien docs
|
commit | commitdiff | tree |
| 2010-02-23 |
Joe Groff | rename current string-mangling "char*" to "c-string...
|
commit | commitdiff | tree |
| 2010-02-23 |
Joe Groff | update docs about pointer types
|
commit | commitdiff | tree |
| 2010-02-23 |
Joe Groff | get rid of the last few pointer typedefs in db.postgresql...
|
commit | commitdiff | tree |
| 2010-02-23 |
Joe Groff | have TYPEDEF:, STRUCT: etc. throw an error if you try...
|
commit | commitdiff | tree |
| 2010-02-23 |
Joe Groff | Merge branch 'master' of git://factorcode.org/git/factor
|
commit | commitdiff | tree |
| 2010-02-23 |
Joe Groff | windows.types: fix definition of wchar_t* as { char...
|
commit | commitdiff | tree |
| 2010-02-23 |
Joe Groff | if any typedef in the chain has a pointer-c-type, use it
|
commit | commitdiff | tree |
| 2010-02-23 |
Joe Groff | add opaque C-TYPEs for sundry interfaces to windows.com
|
commit | commitdiff | tree |
| 2010-02-23 |
Joe Groff | classes.struct: reader-quot was checking struct-slot...
|
commit | commitdiff | tree |
| next |
projects / factor.git / search