]> gitweb.factorcode.org Git - factor.git/log
factor.git
15 years agoMerge branch 'master' of git://factorcode.org/git/factor
William Schlieper [Wed, 16 Jul 2008 04:05:18 +0000 (00:05 -0400)]
Merge branch 'master' of git://factorcode.org/git/factor

15 years agoAdded irc.ui.load; now "irc.ui" run works
William Schlieper [Wed, 16 Jul 2008 04:02:04 +0000 (00:02 -0400)]
Added irc.ui.load; now "irc.ui" run works

15 years agoFix load error
Slava Pestov [Wed, 16 Jul 2008 04:00:40 +0000 (23:00 -0500)]
Fix load error

15 years agoRicing
Slava Pestov [Wed, 16 Jul 2008 03:58:45 +0000 (22:58 -0500)]
Ricing

15 years agoFix soundex
Slava Pestov [Wed, 16 Jul 2008 01:57:56 +0000 (20:57 -0500)]
Fix soundex

15 years agoFaster mergesort conses less and no longer does slice fiddling
Slava Pestov [Wed, 16 Jul 2008 01:48:25 +0000 (20:48 -0500)]
Faster mergesort conses less and no longer does slice fiddling

15 years agoRefactor binary search
Slava Pestov [Tue, 15 Jul 2008 22:16:08 +0000 (17:16 -0500)]
Refactor binary search

15 years agoMake vocab-usage and vocab-uses more useful
Slava Pestov [Tue, 15 Jul 2008 21:17:13 +0000 (16:17 -0500)]
Make vocab-usage and vocab-uses more useful

15 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Tue, 15 Jul 2008 20:22:40 +0000 (15:22 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

15 years agoui.gadgets.sliders: rewrite some words
Eduardo Cavazos [Tue, 15 Jul 2008 19:12:23 +0000 (14:12 -0500)]
ui.gadgets.sliders: rewrite some words

15 years agoui.gadgets.books: rewrite a few words
Eduardo Cavazos [Tue, 15 Jul 2008 18:50:42 +0000 (13:50 -0500)]
ui.gadgets.books: rewrite a few words

15 years agoui.tools.workspace: rewrite show-popup
Eduardo Cavazos [Tue, 15 Jul 2008 17:07:17 +0000 (12:07 -0500)]
ui.tools.workspace: rewrite show-popup

15 years agoChange math.blas.vectors division tests so that everything is powers of two--no float...
Joe Groff [Tue, 15 Jul 2008 15:57:24 +0000 (08:57 -0700)]
Change math.blas.vectors division tests so that everything is powers of two--no floating-point error

15 years agoMerge git://repo.or.cz/factor/jcg
Joe Groff [Tue, 15 Jul 2008 15:12:44 +0000 (08:12 -0700)]
Merge git://repo.or.cz/factor/jcg

15 years agoMerge branch 'master' of git://factorcode.org/git/factor
Joe Groff [Tue, 15 Jul 2008 15:12:28 +0000 (08:12 -0700)]
Merge branch 'master' of git://factorcode.org/git/factor

15 years agoremove redundant comment line from dinput
Joe Groff [Tue, 15 Jul 2008 13:28:10 +0000 (06:28 -0700)]
remove redundant comment line from dinput

15 years agoui.tools.workspace: minor changes
Eduardo Cavazos [Tue, 15 Jul 2008 08:58:01 +0000 (03:58 -0500)]
ui.tools.workspace: minor changes

15 years agoui.tools.workspace: update find-tool
Eduardo Cavazos [Tue, 15 Jul 2008 08:54:05 +0000 (03:54 -0500)]
ui.tools.workspace: update find-tool

15 years agoui.gadgets.tracks: rewrite track-remove
Eduardo Cavazos [Tue, 15 Jul 2008 08:48:48 +0000 (03:48 -0500)]
ui.gadgets.tracks: rewrite track-remove

15 years agoui.gadgets.tracks: rewrite normalized-sizes
Eduardo Cavazos [Tue, 15 Jul 2008 07:45:15 +0000 (02:45 -0500)]
ui.gadgets.tracks: rewrite normalized-sizes

15 years agoui.gadgets.tracks: rewrite track-pref-dims-2
Eduardo Cavazos [Tue, 15 Jul 2008 07:38:04 +0000 (02:38 -0500)]
ui.gadgets.tracks: rewrite track-pref-dims-2

15 years agoui.gadgets.tracks: rewrite track-layout
Eduardo Cavazos [Tue, 15 Jul 2008 07:33:44 +0000 (02:33 -0500)]
ui.gadgets.tracks: rewrite track-layout

15 years agoui.gadgets.tracks: rewrite alloted-dim
Eduardo Cavazos [Tue, 15 Jul 2008 07:31:04 +0000 (02:31 -0500)]
ui.gadgets.tracks: rewrite alloted-dim

15 years agoui.gadgets.tracks: rewrite pref-dim* method
Eduardo Cavazos [Tue, 15 Jul 2008 07:25:37 +0000 (02:25 -0500)]
ui.gadgets.tracks: rewrite pref-dim* method

15 years agoui.gadgets.tracks: rewrite available-dim
Eduardo Cavazos [Tue, 15 Jul 2008 07:17:13 +0000 (02:17 -0500)]
ui.gadgets.tracks: rewrite available-dim

15 years agoui.tools.search-tests: add a missing stack effect
Eduardo Cavazos [Tue, 15 Jul 2008 07:04:53 +0000 (02:04 -0500)]
ui.tools.search-tests: add a missing stack effect

15 years agoui.tools-tests: fix using
Eduardo Cavazos [Tue, 15 Jul 2008 07:00:05 +0000 (02:00 -0500)]
ui.tools-tests: fix using

15 years agocolor-picker: rewrite <color-picker>
Eduardo Cavazos [Tue, 15 Jul 2008 06:58:37 +0000 (01:58 -0500)]
color-picker: rewrite <color-picker>

15 years agoMerge branch 'master' of git://factorcode.org/git/factor
William Schlieper [Tue, 15 Jul 2008 06:49:04 +0000 (02:49 -0400)]
Merge branch 'master' of git://factorcode.org/git/factor

15 years agoGot /commands actually working, irc.ui no longer uses make-gadget et al
William Schlieper [Tue, 15 Jul 2008 06:46:49 +0000 (02:46 -0400)]
Got /commands actually working, irc.ui no longer uses make-gadget et al

15 years agoui.gadgets.tracks: refactor
Eduardo Cavazos [Tue, 15 Jul 2008 04:29:14 +0000 (23:29 -0500)]
ui.gadgets.tracks: refactor

15 years agomake directinput constants image-load-resistant
Joe Groff [Tue, 15 Jul 2008 03:48:04 +0000 (20:48 -0700)]
make directinput constants image-load-resistant

15 years agoui.gadgets: remove 'with-gadget'
Eduardo Cavazos [Tue, 15 Jul 2008 03:37:34 +0000 (22:37 -0500)]
ui.gadgets: remove 'with-gadget'

15 years agoui.gadgets.slots: rewrite 'display-slot'
Eduardo Cavazos [Tue, 15 Jul 2008 03:26:49 +0000 (22:26 -0500)]
ui.gadgets.slots: rewrite 'display-slot'

15 years agowhoops... missed core-foundation.run-loop!
Joe Groff [Tue, 15 Jul 2008 03:21:10 +0000 (20:21 -0700)]
whoops... missed core-foundation.run-loop!

15 years agoui.gadgets: remove 'make-gadget'
Eduardo Cavazos [Tue, 15 Jul 2008 03:17:49 +0000 (22:17 -0500)]
ui.gadgets: remove 'make-gadget'

15 years agoui.gadgets.frames: remove 'make-frame'
Eduardo Cavazos [Tue, 15 Jul 2008 03:15:01 +0000 (22:15 -0500)]
ui.gadgets.frames: remove 'make-frame'

15 years agoMerge branch 'master' of factorcode.org:/git/factor
Eduardo Cavazos [Tue, 15 Jul 2008 03:14:51 +0000 (22:14 -0500)]
Merge branch 'master' of factorcode.org:/git/factor

15 years agoui.gadgets.frames: refactor to not use 'make-frame'
Eduardo Cavazos [Tue, 15 Jul 2008 03:14:31 +0000 (22:14 -0500)]
ui.gadgets.frames: refactor to not use 'make-frame'

15 years agoHID manager callback convenience words. CFRunLoop function bindings
Joe Groff [Tue, 15 Jul 2008 03:12:06 +0000 (20:12 -0700)]
HID manager callback convenience words. CFRunLoop function bindings

15 years agoIOHIDValues, Elements, and Transactions
Joe Groff [Tue, 15 Jul 2008 02:43:39 +0000 (19:43 -0700)]
IOHIDValues, Elements, and Transactions

15 years agoPretty-print methods for BLAS objects
Joe Groff [Tue, 15 Jul 2008 01:54:09 +0000 (18:54 -0700)]
Pretty-print methods for BLAS objects

15 years agoMerge branch 'master' of git://double.co.nz/git/factor
Slava Pestov [Tue, 15 Jul 2008 01:53:29 +0000 (20:53 -0500)]
Merge branch 'master' of git://double.co.nz/git/factor

15 years agoCorrect help-lint issues in pegs
Chris Double [Tue, 15 Jul 2008 01:51:30 +0000 (13:51 +1200)]
Correct help-lint issues in pegs

15 years agoui.gadgets.tabs: rewrite add-toggle
Eduardo Cavazos [Tue, 15 Jul 2008 01:45:06 +0000 (20:45 -0500)]
ui.gadgets.tabs: rewrite add-toggle

15 years agoMerge branch 'master' of git://factorcode.org/git/factor
Joe Groff [Tue, 15 Jul 2008 01:40:04 +0000 (18:40 -0700)]
Merge branch 'master' of git://factorcode.org/git/factor

15 years agoui.gadgets.tracks: remove 'make-track'
Eduardo Cavazos [Tue, 15 Jul 2008 01:19:59 +0000 (20:19 -0500)]
ui.gadgets.tracks: remove 'make-track'

15 years agoMerge branch 'master' of git://factorcode.org/git/factor
Joe Groff [Tue, 15 Jul 2008 01:17:34 +0000 (18:17 -0700)]
Merge branch 'master' of git://factorcode.org/git/factor

15 years agoui.gadgets.labels: rewrite to not use 'make-track'
Eduardo Cavazos [Tue, 15 Jul 2008 01:13:42 +0000 (20:13 -0500)]
ui.gadgets.labels: rewrite to not use 'make-track'

15 years agoui.gadgets.packs: remove make-shelf
Eduardo Cavazos [Tue, 15 Jul 2008 01:06:59 +0000 (20:06 -0500)]
ui.gadgets.packs: remove make-shelf

15 years agoui.gadgets.packs: remove make-filled-pile
Eduardo Cavazos [Tue, 15 Jul 2008 01:04:53 +0000 (20:04 -0500)]
ui.gadgets.packs: remove make-filled-pile

15 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Tue, 15 Jul 2008 01:03:46 +0000 (20:03 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

15 years agoMerge branch 'master' of git://factorcode.org/git/factor
William Schlieper [Tue, 15 Jul 2008 01:03:33 +0000 (21:03 -0400)]
Merge branch 'master' of git://factorcode.org/git/factor

15 years agoui.gadgets.packs: remove make-pile
Eduardo Cavazos [Tue, 15 Jul 2008 01:03:02 +0000 (20:03 -0500)]
ui.gadgets.packs: remove make-pile

15 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Tue, 15 Jul 2008 00:55:51 +0000 (19:55 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

15 years agoMerge branch 'master' of git://factorcode.org/git/factor
William Schlieper [Tue, 15 Jul 2008 00:53:20 +0000 (20:53 -0400)]
Merge branch 'master' of git://factorcode.org/git/factor

15 years agoAdded /commands
William Schlieper [Tue, 15 Jul 2008 00:53:08 +0000 (20:53 -0400)]
Added /commands

15 years agoui.gadgets: remove 'g'
Eduardo Cavazos [Tue, 15 Jul 2008 00:30:16 +0000 (19:30 -0500)]
ui.gadgets: remove 'g'

15 years agoMerge branch 'master' of git://factorcode.org/git/factor
William Schlieper [Tue, 15 Jul 2008 00:15:38 +0000 (20:15 -0400)]
Merge branch 'master' of git://factorcode.org/git/factor

15 years agoui.gadgets: remove 'g->'
Eduardo Cavazos [Mon, 14 Jul 2008 23:52:15 +0000 (18:52 -0500)]
ui.gadgets: remove 'g->'

15 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Mon, 14 Jul 2008 23:37:40 +0000 (18:37 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

15 years agoui.gadgets.labelled: refactor
Eduardo Cavazos [Mon, 14 Jul 2008 23:35:30 +0000 (18:35 -0500)]
ui.gadgets.labelled: refactor

15 years agoMerge branch 'master' of git://factorcode.org/git/factor
Joe Groff [Mon, 14 Jul 2008 23:32:54 +0000 (16:32 -0700)]
Merge branch 'master' of git://factorcode.org/git/factor

15 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Mon, 14 Jul 2008 23:27:21 +0000 (18:27 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

15 years agoFix doc link
Slava Pestov [Mon, 14 Jul 2008 23:27:15 +0000 (18:27 -0500)]
Fix doc link

15 years agoui.gadgets.sliders: refactor
Eduardo Cavazos [Mon, 14 Jul 2008 23:24:55 +0000 (18:24 -0500)]
ui.gadgets.sliders: refactor

15 years agoui.tools-tests: fix test
Eduardo Cavazos [Mon, 14 Jul 2008 23:20:44 +0000 (18:20 -0500)]
ui.tools-tests: fix test

15 years agoui.gadgets.tabs: rewrite <tabbed>
Eduardo Cavazos [Mon, 14 Jul 2008 23:00:29 +0000 (18:00 -0500)]
ui.gadgets.tabs: rewrite <tabbed>

15 years agoui.gadgets.scrollers: rewrite new-scroller
Eduardo Cavazos [Mon, 14 Jul 2008 22:48:59 +0000 (17:48 -0500)]
ui.gadgets.scrollers: rewrite new-scroller

15 years agoui.gadgets.grids: grid-add*
Eduardo Cavazos [Mon, 14 Jul 2008 22:48:21 +0000 (17:48 -0500)]
ui.gadgets.grids: grid-add*

15 years agoui.tools.listener: rewrite <listener-gadget>
Eduardo Cavazos [Mon, 14 Jul 2008 22:33:03 +0000 (17:33 -0500)]
ui.tools.listener: rewrite <listener-gadget>

15 years agoui.gadgets.buttons: remove 'toolbar,'
Eduardo Cavazos [Mon, 14 Jul 2008 22:19:44 +0000 (17:19 -0500)]
ui.gadgets.buttons: remove 'toolbar,'

15 years agoMerge branch 'master' of factorcode.org:/git/factor
Eduardo Cavazos [Mon, 14 Jul 2008 22:17:17 +0000 (17:17 -0500)]
Merge branch 'master' of factorcode.org:/git/factor

15 years agoui.gadgets.slots: rewrite <slot-editor>
Eduardo Cavazos [Mon, 14 Jul 2008 22:16:51 +0000 (17:16 -0500)]
ui.gadgets.slots: rewrite <slot-editor>

15 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Mon, 14 Jul 2008 22:06:10 +0000 (17:06 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

15 years agoClean up PowerPC assembler and fix compile errors therein
Slava Pestov [Mon, 14 Jul 2008 22:05:56 +0000 (17:05 -0500)]
Clean up PowerPC assembler and fix compile errors therein

15 years agoui.tools.inspector: rewrite <inspector-gadget>
Eduardo Cavazos [Mon, 14 Jul 2008 22:04:36 +0000 (17:04 -0500)]
ui.tools.inspector: rewrite <inspector-gadget>

15 years agoui.tools.profiler: rewrite <profiler-gadget>
Eduardo Cavazos [Mon, 14 Jul 2008 21:48:02 +0000 (16:48 -0500)]
ui.tools.profiler: rewrite <profiler-gadget>

15 years agobake: minor fix
Eduardo Cavazos [Mon, 14 Jul 2008 21:38:37 +0000 (16:38 -0500)]
bake: minor fix

15 years agoui.tools: rewrite <workspace>
Eduardo Cavazos [Mon, 14 Jul 2008 21:37:32 +0000 (16:37 -0500)]
ui.tools: rewrite <workspace>

15 years agoui.tools.listener: rewrite <stack-display>
Eduardo Cavazos [Mon, 14 Jul 2008 21:37:06 +0000 (16:37 -0500)]
ui.tools.listener: rewrite <stack-display>

15 years agoMerge branch 'master' of factorcode.org:/git/factor
Eduardo Cavazos [Mon, 14 Jul 2008 20:12:53 +0000 (15:12 -0500)]
Merge branch 'master' of factorcode.org:/git/factor

15 years agoui.gadgets.packs.tests: fix test
Eduardo Cavazos [Mon, 14 Jul 2008 20:11:58 +0000 (15:11 -0500)]
ui.gadgets.packs.tests: fix test

15 years agoOops
Slava Pestov [Mon, 14 Jul 2008 18:37:37 +0000 (13:37 -0500)]
Oops

15 years agoFix delegate for slot property change, declarations and inheritance
Slava Pestov [Mon, 14 Jul 2008 18:37:24 +0000 (13:37 -0500)]
Fix delegate for slot property change, declarations and inheritance

15 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Mon, 14 Jul 2008 18:32:01 +0000 (13:32 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

15 years agoMerge branch 'master' of http://alfredobeaumont.org/factor
Slava Pestov [Mon, 14 Jul 2008 18:31:36 +0000 (13:31 -0500)]
Merge branch 'master' of http://alfredobeaumont.org/factor

15 years agoMerge branch 'master' of factorcode.org:/git/factor
Eduardo Cavazos [Mon, 14 Jul 2008 18:29:06 +0000 (13:29 -0500)]
Merge branch 'master' of factorcode.org:/git/factor

15 years agocolor-picker: fix using
Eduardo Cavazos [Mon, 14 Jul 2008 18:28:44 +0000 (13:28 -0500)]
color-picker: fix using

15 years agoMerge branch 'master' of git://factorcode.org/git/factor
Joe Groff [Mon, 14 Jul 2008 16:35:10 +0000 (09:35 -0700)]
Merge branch 'master' of git://factorcode.org/git/factor

15 years agoFix errors in new tests
Alfredo Beaumont [Mon, 14 Jul 2008 12:53:56 +0000 (14:53 +0200)]
Fix errors in new tests

15 years agoMerge branch 'master' of git://factorforge.org/git/littledan
Slava Pestov [Mon, 14 Jul 2008 09:40:03 +0000 (04:40 -0500)]
Merge branch 'master' of git://factorforge.org/git/littledan

15 years agoFix
Slava Pestov [Mon, 14 Jul 2008 09:38:10 +0000 (04:38 -0500)]
Fix

15 years agoRemoved superfluous mixin in heaps
Daniel Ehrenberg [Mon, 14 Jul 2008 08:33:13 +0000 (01:33 -0700)]
Removed superfluous mixin in heaps

15 years agoTuple array streamlining
Daniel Ehrenberg [Mon, 14 Jul 2008 08:30:33 +0000 (01:30 -0700)]
Tuple array streamlining

15 years agoWorkaround optimizer limitation exposed by new optimizer.allot rewrites
Slava Pestov [Mon, 14 Jul 2008 08:18:24 +0000 (03:18 -0500)]
Workaround optimizer limitation exposed by new optimizer.allot rewrites

15 years agoUpdating PowerPC backend
Slava Pestov [Mon, 14 Jul 2008 08:06:20 +0000 (03:06 -0500)]
Updating PowerPC backend

15 years agoWorking on PowerPC port
Slava Pestov [Mon, 14 Jul 2008 06:57:19 +0000 (01:57 -0500)]
Working on PowerPC port

15 years agoAttribution
Slava Pestov [Mon, 14 Jul 2008 05:54:30 +0000 (00:54 -0500)]
Attribution

15 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Mon, 14 Jul 2008 05:52:55 +0000 (00:52 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor