]> gitweb.factorcode.org Git - factor.git/log
factor.git
14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Joe Groff [Fri, 14 Aug 2009 14:55:05 +0000 (10:55 -0400)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agoforce classes.c-types docs to pull in specialized-arrays.direct docs
Joe Groff [Fri, 14 Aug 2009 11:49:48 +0000 (07:49 -0400)]
force classes.c-types docs to pull in specialized-arrays.direct docs

14 years agoclasses.c-types doc improvements
Joe Groff [Fri, 14 Aug 2009 11:29:28 +0000 (07:29 -0400)]
classes.c-types doc improvements

14 years agocompiler doesn't like new and boa being overridden so much
Joe Groff [Fri, 14 Aug 2009 11:09:37 +0000 (07:09 -0400)]
compiler doesn't like new and boa being overridden so much

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Doug Coleman [Fri, 14 Aug 2009 00:40:02 +0000 (19:40 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

Conflicts:
basis/calendar/calendar.factor

14 years agoDelete empty unit tests files, remove 1- and 1+, reorder IN: lines in a lot of places...
Doug Coleman [Fri, 14 Aug 2009 00:21:44 +0000 (19:21 -0500)]
Delete empty unit tests files, remove 1- and 1+, reorder IN: lines in a lot of places, minor refactoring

14 years agoclasses.c-types and classes.struct docs
Joe Groff [Thu, 13 Aug 2009 21:59:38 +0000 (17:59 -0400)]
classes.c-types and classes.struct docs

14 years agounion classes
Joe Groff [Thu, 13 Aug 2009 20:55:22 +0000 (16:55 -0400)]
union classes

14 years agocompile fix
Joe Groff [Thu, 13 Aug 2009 17:39:48 +0000 (13:39 -0400)]
compile fix

14 years agocoercers and array type relations for c-type classes
Joe Groff [Thu, 13 Aug 2009 17:33:22 +0000 (13:33 -0400)]
coercers and array type relations for c-type classes

14 years agocoercers and array type relations for c-type classes
Joe Groff [Thu, 13 Aug 2009 17:28:00 +0000 (13:28 -0400)]
coercers and array type relations for c-type classes

14 years agomake direct-*-arrays prettyprint
Joe Groff [Thu, 13 Aug 2009 16:05:46 +0000 (12:05 -0400)]
make direct-*-arrays prettyprint

14 years agofix bootstrap
Joe Groff [Thu, 13 Aug 2009 16:05:20 +0000 (12:05 -0400)]
fix bootstrap

14 years agoremove duplicate defintion of unless-zero from calendar
Doug Coleman [Thu, 13 Aug 2009 05:48:50 +0000 (00:48 -0500)]
remove duplicate defintion of unless-zero from calendar

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Daniel Ehrenberg [Thu, 13 Aug 2009 04:56:05 +0000 (23:56 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agoFixing write-barrier elimination; adding bb as a parameter to join-sets in dataflow...
Daniel Ehrenberg [Thu, 13 Aug 2009 04:52:29 +0000 (23:52 -0500)]
Fixing write-barrier elimination; adding bb as a parameter to join-sets in dataflow analysis

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Doug Coleman [Wed, 12 Aug 2009 22:46:52 +0000 (17:46 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agoadd chameneos-redux benchmark
Doug Coleman [Wed, 12 Aug 2009 22:46:10 +0000 (17:46 -0500)]
add chameneos-redux benchmark

14 years agofix boa undo to work with structs
Joe Groff [Wed, 12 Aug 2009 20:09:25 +0000 (16:09 -0400)]
fix boa undo to work with structs

14 years agotests for literal struct syntax
Joe Groff [Wed, 12 Aug 2009 20:04:27 +0000 (16:04 -0400)]
tests for literal struct syntax

14 years agoS{ } syntax for structs
Joe Groff [Wed, 12 Aug 2009 19:59:33 +0000 (15:59 -0400)]
S{ } syntax for structs

14 years agoextend T{ } syntax to build structs
Joe Groff [Wed, 12 Aug 2009 19:40:06 +0000 (15:40 -0400)]
extend T{ } syntax to build structs

14 years agopprint structs with tuple syntax
Joe Groff [Wed, 12 Aug 2009 17:16:43 +0000 (13:16 -0400)]
pprint structs with tuple syntax

14 years agosee STRUCT: definitions as STRUCT: definitions
Joe Groff [Wed, 12 Aug 2009 14:37:09 +0000 (10:37 -0400)]
see STRUCT: definitions as STRUCT: definitions

14 years agoget classes.struct tests passing
Joe Groff [Wed, 12 Aug 2009 14:01:32 +0000 (10:01 -0400)]
get classes.struct tests passing

14 years agostruct boa
Joe Groff [Wed, 12 Aug 2009 13:37:39 +0000 (09:37 -0400)]
struct boa

14 years agomake "struct-class new" work to create a struct with initial values set
Joe Groff [Wed, 12 Aug 2009 13:15:46 +0000 (09:15 -0400)]
make "struct-class new" work to create a struct with initial values set

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Wed, 12 Aug 2009 08:26:13 +0000 (03:26 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agoMore accurate wrap-interval in compiler.tree.propagation.info fixes test regression...
Slava Pestov [Wed, 12 Aug 2009 08:25:53 +0000 (03:25 -0500)]
More accurate wrap-interval in compiler.tree.propagation.info fixes test regression; constructing an interval with endpoints at infinity now outputs full-interval

14 years agouse ERROR: in several places instead of throwing strings
Doug Coleman [Wed, 12 Aug 2009 04:09:02 +0000 (23:09 -0500)]
use ERROR: in several places instead of throwing strings

14 years agofix build errors
Doug Coleman [Wed, 12 Aug 2009 04:07:13 +0000 (23:07 -0500)]
fix build errors

14 years agoThrow typed errors instead of strings for calling/executing non-callables
Doug Coleman [Wed, 12 Aug 2009 03:40:29 +0000 (22:40 -0500)]
Throw typed errors instead of strings for calling/executing non-callables

14 years agoeven better error handling for division by zero
Doug Coleman [Wed, 12 Aug 2009 03:30:16 +0000 (22:30 -0500)]
even better error handling for division by zero

14 years agoMaking write barrier elimination global
Daniel Ehrenberg [Wed, 12 Aug 2009 02:21:21 +0000 (21:21 -0500)]
Making write barrier elimination global

14 years agouse unless-empty
Doug Coleman [Wed, 12 Aug 2009 02:18:43 +0000 (21:18 -0500)]
use unless-empty

14 years agotuple-ish structs
Joe Groff [Wed, 12 Aug 2009 02:13:18 +0000 (22:13 -0400)]
tuple-ish structs

14 years agoadd docs for if-zero etc, add docs for 10^
Doug Coleman [Tue, 11 Aug 2009 23:45:01 +0000 (18:45 -0500)]
add docs for if-zero etc, add docs for 10^

14 years agofix project euler 151 and add a unit test
Doug Coleman [Tue, 11 Aug 2009 23:22:44 +0000 (18:22 -0500)]
fix project euler 151 and add a unit test

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Doug Coleman [Tue, 11 Aug 2009 23:16:30 +0000 (18:16 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agouse if-zero in a few more places
Doug Coleman [Tue, 11 Aug 2009 23:15:53 +0000 (18:15 -0500)]
use if-zero in a few more places

14 years agofix sgn docs
Doug Coleman [Tue, 11 Aug 2009 23:15:24 +0000 (18:15 -0500)]
fix sgn docs

14 years agoadd 10^ to math.functions and update usages
Doug Coleman [Tue, 11 Aug 2009 23:00:24 +0000 (18:00 -0500)]
add 10^ to math.functions and update usages

14 years agoadd if-zero/when-zero/unless-zero to core/ and update usages
Doug Coleman [Tue, 11 Aug 2009 22:59:40 +0000 (17:59 -0500)]
add if-zero/when-zero/unless-zero to core/ and update usages

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Tue, 11 Aug 2009 22:26:02 +0000 (17:26 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agomath.intervals: fix interval-rem
Slava Pestov [Tue, 11 Aug 2009 21:49:28 +0000 (16:49 -0500)]
math.intervals: fix interval-rem

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Doug Coleman [Tue, 11 Aug 2009 21:19:43 +0000 (16:19 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agofix docs
Doug Coleman [Tue, 11 Aug 2009 20:35:57 +0000 (15:35 -0500)]
fix docs

14 years agodon't capitalize the first letter of each word in math.text.english
Doug Coleman [Tue, 11 Aug 2009 20:34:11 +0000 (15:34 -0500)]
don't capitalize the first letter of each word in math.text.english

14 years agoalien.complex: fix tests
Slava Pestov [Tue, 11 Aug 2009 19:07:33 +0000 (14:07 -0500)]
alien.complex: fix tests

14 years agovarious doc fixes
Philipp Brüschweiler [Tue, 11 Aug 2009 14:58:47 +0000 (16:58 +0200)]
various doc fixes

14 years agoA number of documentation fixes.
Brad Christensen [Tue, 11 Aug 2009 06:34:25 +0000 (23:34 -0700)]
A number of documentation fixes.

 * Short-circuit combinators now show correct stack effect for quots
 * Groups and Clumps unchecked examples corrected, made runnable in listener
 * Class operations had duplicate link to class-types
 * Protocol slots readability fixed
 * Tuple word property for "tuple-layout" corrected to "layout"
 * cond>quot sentence started in lowercase
 * Method precedence code example missing stack effect for GENERIC:, M: integer explain changed to detail an integer
 * Motivation for default streams readability
 * Default input and output streams duplicate readln link removed from output stream words section
 * Looping combinators do description clarified
 * Make philosophy missing space
 * Linear order protocol duplicate after? link removed
 * Parsing words readability fix
 * Copied note regarding with-compilation-unit from define to define-declared and define-inline

14 years agocopyright
Joe Groff [Tue, 11 Aug 2009 02:39:31 +0000 (22:39 -0400)]
copyright

14 years agoallow commas in numeric literals
Joe Groff [Mon, 10 Aug 2009 23:33:27 +0000 (19:33 -0400)]
allow commas in numeric literals

14 years agoMerge branch 'emacs' of http://git.hacks-galore.org/jao/factor
Slava Pestov [Mon, 10 Aug 2009 21:20:14 +0000 (16:20 -0500)]
Merge branch 'emacs' of http://git.hacks-galore.org/jao/factor

14 years agoMerge branch 'master' of git://github.com/Blei/factor
Slava Pestov [Mon, 10 Aug 2009 21:18:19 +0000 (16:18 -0500)]
Merge branch 'master' of git://github.com/Blei/factor

14 years agoalien: need to differentiate between the type of the result before and after boxing...
Slava Pestov [Mon, 10 Aug 2009 21:17:33 +0000 (16:17 -0500)]
alien: need to differentiate between the type of the result before and after boxing; the former is used by propagation for #alien-invoke nodes and the latter is used by specialized arrays. This fixes FFI unit test failures

14 years agopiles lore
Joe Groff [Mon, 10 Aug 2009 20:31:54 +0000 (16:31 -0400)]
piles lore

14 years agopiles vocab (pools of raw memory)
Joe Groff [Mon, 10 Aug 2009 20:27:56 +0000 (16:27 -0400)]
piles vocab (pools of raw memory)

14 years agoMove pools -> memory.pools
Joe Groff [Mon, 10 Aug 2009 20:18:43 +0000 (16:18 -0400)]
Move pools -> memory.pools

14 years agomisc small documentation fixes, some fixes for factor.vim, changed permissions of...
Philipp Brüschweiler [Mon, 10 Aug 2009 19:33:07 +0000 (21:33 +0200)]
misc small documentation fixes, some fixes for factor.vim, changed permissions of vm/* to 644

14 years agobenchmark.yuv-to-rgb: New benchmark, based on Chris Double's old ogg.player code
Slava Pestov [Mon, 10 Aug 2009 06:17:07 +0000 (01:17 -0500)]
benchmark.yuv-to-rgb: New benchmark, based on Chris Double's old ogg.player code

14 years agocompiler.tree.propagation: be more careful with intervals, ensuring that the inferred...
Slava Pestov [Mon, 10 Aug 2009 06:16:49 +0000 (01:16 -0500)]
compiler.tree.propagation: be more careful with intervals, ensuring that the inferred interval of a value is a subset of the value class's interval. This improves accuracy, for example [ >fixnum 1 + >fixnum most-positive-fixnum <= ] constant-folds to true

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Sun, 9 Aug 2009 21:31:03 +0000 (16:31 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agocompiler.tree.escape-analysis: if the output of an #introduce node has an immutable...
Slava Pestov [Sun, 9 Aug 2009 21:29:21 +0000 (16:29 -0500)]
compiler.tree.escape-analysis: if the output of an #introduce node has an immutable tuple class type declaration, and it is not passed to any subroutine calls, or returned from the word, then unbox it. This speeds up vector arithmetic words on specialized arrays, because the specialized array is unboxed up-front, eliminating an indirection on every loop iteration

14 years agoalien.structs: struct-type now has a class slot; fix specialized complex-float/double...
Slava Pestov [Sun, 9 Aug 2009 21:10:11 +0000 (16:10 -0500)]
alien.structs: struct-type now has a class slot; fix specialized complex-float/double arrays

14 years agopools docs, better implementation
Joe Groff [Sun, 9 Aug 2009 19:22:09 +0000 (15:22 -0400)]
pools docs, better implementation

14 years agopools vocab
Joe Groff [Sun, 9 Aug 2009 16:52:38 +0000 (12:52 -0400)]
pools vocab

14 years agotools.deploy.shaker: strip out specialized vector words
Slava Pestov [Sun, 9 Aug 2009 09:48:44 +0000 (04:48 -0500)]
tools.deploy.shaker: strip out specialized vector words

14 years agoRename some files in misc/Factor.tmbundle since Windows doesn't allow : in file names
Slava Pestov [Sun, 9 Aug 2009 09:47:37 +0000 (04:47 -0500)]
Rename some files in misc/Factor.tmbundle since Windows doesn't allow : in file names

14 years ago_gc instruction doesn't need slot to hold GC root area size, since that's just tagged...
Slava Pestov [Sun, 9 Aug 2009 08:08:13 +0000 (03:08 -0500)]
_gc instruction doesn't need slot to hold GC root area size, since that's just tagged-values>> length

14 years agomath.vectors.specialization: first attempt at some call site splitting for vector...
Slava Pestov [Sun, 9 Aug 2009 08:07:33 +0000 (03:07 -0500)]
math.vectors.specialization: first attempt at some call site splitting for vector ops. Specialized array types generate customized variants of all vector words, if input types are known at compile time, a call to the specialized version is inserted

14 years agocompiler.cfg.linearization: change order to fit older unit tests
Slava Pestov [Sun, 9 Aug 2009 04:06:57 +0000 (23:06 -0500)]
compiler.cfg.linearization: change order to fit older unit tests

14 years agotools.test: flush the output stream
Slava Pestov [Sun, 9 Aug 2009 04:03:53 +0000 (23:03 -0500)]
tools.test: flush the output stream

14 years agoMore accurate interval inference for mod, rem, and propagation can now infer interval...
Slava Pestov [Sun, 9 Aug 2009 04:03:45 +0000 (23:03 -0500)]
More accurate interval inference for mod, rem, and propagation can now infer intervals in the case where a value might be f. so, [ [ 127 bitand ] [ drop f ] if dup [ 0 >= ] [ not ] if ] now constant-folds down to 't'!

14 years agoMore accurate interval-mod and interval-rem
Slava Pestov [Sun, 9 Aug 2009 03:01:12 +0000 (22:01 -0500)]
More accurate interval-mod and interval-rem

14 years agocompiler.cfg.two-operand: sometimes we can eliminate a copy in the x = y <op> y case
Slava Pestov [Sun, 9 Aug 2009 01:03:42 +0000 (20:03 -0500)]
compiler.cfg.two-operand: sometimes we can eliminate a copy in the x = y <op> y case

14 years agocompiler.cfg.representation: OK to unbox output of ##load-reference globally
Slava Pestov [Sun, 9 Aug 2009 01:03:13 +0000 (20:03 -0500)]
compiler.cfg.representation: OK to unbox output of ##load-reference globally

14 years agocompiler.cfg: new system to track when results of analyses need to be recomputed...
Slava Pestov [Sun, 9 Aug 2009 01:02:56 +0000 (20:02 -0500)]
compiler.cfg: new system to track when results of analyses need to be recomputed (reverse post order, linear order, predecessors, dominance, loops). Passes can now call needs-predecessors, needs-dominance, needs-loops at the beginning, and cfg-changed, predecessors-changd at the end. Linearization order now takes loop nesting into account, and linear scan now uses linearization order instead of RPO.

14 years agocompiler.cfg.ssa.liveness: fix tests
Slava Pestov [Sat, 8 Aug 2009 21:15:45 +0000 (16:15 -0500)]
compiler.cfg.ssa.liveness: fix tests

14 years agocompiler.cfg.representations: emit-conversion should not be private since CSSA constr...
Slava Pestov [Sat, 8 Aug 2009 09:13:30 +0000 (04:13 -0500)]
compiler.cfg.representations: emit-conversion should not be private since CSSA construction uses it

14 years agocompiler.cfg: virtual registers are integers now, and representations are stored...
Slava Pestov [Sat, 8 Aug 2009 09:02:18 +0000 (04:02 -0500)]
compiler.cfg: virtual registers are integers now, and representations are stored off to the side. Fix bug in representation selection that would manifest if a value was used as a float and a fixnum in different branches; cannot globally unbox float in this case

14 years agocompiler.cfg.representations: new pass to make global unboxing decisions, relies...
Slava Pestov [Sat, 8 Aug 2009 05:24:46 +0000 (00:24 -0500)]
compiler.cfg.representations: new pass to make global unboxing decisions, relies on new compiler.cfg.loop-detection pass for loop nesting information

14 years agoclasses.intersection: make flatten-class more accurate. It is still not perfect,...
Slava Pestov [Sat, 8 Aug 2009 03:30:57 +0000 (22:30 -0500)]
classes.intersection: make flatten-class more accurate. It is still not perfect, but it fixes the case where a generic word has a method on a tuple class, and another method on an intersection of a mixin with another tuple classes

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Fri, 7 Aug 2009 22:45:09 +0000 (17:45 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agoSplit off the notion of a register representation from a register class
Slava Pestov [Fri, 7 Aug 2009 22:44:50 +0000 (17:44 -0500)]
Split off the notion of a register representation from a register class

14 years agomake simplify-callable prettyprinting an optional load in extra
Joe Groff [Fri, 7 Aug 2009 20:19:46 +0000 (16:19 -0400)]
make simplify-callable prettyprinting an optional load in extra

14 years agohelp.tutorial: minor tweaks
Slava Pestov [Fri, 7 Aug 2009 19:54:51 +0000 (14:54 -0500)]
help.tutorial: minor tweaks

14 years agoremoved basis dependent vocabs
Sam Anklesaria [Fri, 7 Aug 2009 02:01:51 +0000 (21:01 -0500)]
removed basis dependent vocabs

14 years agofile-trees: load fix
Slava Pestov [Thu, 6 Aug 2009 21:49:02 +0000 (16:49 -0500)]
file-trees: load fix

14 years agoRevert basis UI gadget changes
Slava Pestov [Thu, 6 Aug 2009 21:46:48 +0000 (16:46 -0500)]
Revert basis UI gadget changes

14 years agofixed ui.gadgets.tables multi-selection bug
Sam Anklesaria [Thu, 6 Aug 2009 21:31:35 +0000 (16:31 -0500)]
fixed ui.gadgets.tables multi-selection bug

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Sam Anklesaria [Thu, 6 Aug 2009 20:40:57 +0000 (15:40 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agosimplify-callable docs
Joe Groff [Thu, 6 Aug 2009 20:21:53 +0000 (16:21 -0400)]
simplify-callable docs

14 years agomagic scrollers hide sliders when not needed
Sam Anklesaria [Thu, 6 Aug 2009 20:20:10 +0000 (15:20 -0500)]
magic scrollers hide sliders when not needed

14 years agomerged control extras into basis
Sam Anklesaria [Thu, 6 Aug 2009 20:19:28 +0000 (15:19 -0500)]
merged control extras into basis

14 years agosimplify dip/call/curry/compose in callable objects before prettyprinting
Joe Groff [Thu, 6 Aug 2009 20:16:17 +0000 (16:16 -0400)]
simplify dip/call/curry/compose in callable objects before prettyprinting

14 years agoui.gadgets.tables: some band-aid fixes
Slava Pestov [Thu, 6 Aug 2009 06:28:30 +0000 (01:28 -0500)]
ui.gadgets.tables: some band-aid fixes

14 years agovocabs.hierarchy: fix load-all
Slava Pestov [Thu, 6 Aug 2009 04:08:14 +0000 (23:08 -0500)]
vocabs.hierarchy: fix load-all

14 years agoMerge branch 'bogie'
Slava Pestov [Thu, 6 Aug 2009 04:04:49 +0000 (23:04 -0500)]
Merge branch 'bogie'

14 years agovocabs.hierarchy: load word now tries to load the vocab named by the prefix itself
Slava Pestov [Thu, 6 Aug 2009 04:04:34 +0000 (23:04 -0500)]
vocabs.hierarchy: load word now tries to load the vocab named by the prefix itself