]> gitweb.factorcode.org Git - factor.git/log
factor.git
4 years agowindows.iphlpapi: use follow, it's simpler.
John Benediktsson [Fri, 3 Apr 2020 00:30:13 +0000 (17:30 -0700)]
windows.iphlpapi: use follow, it's simpler.

4 years agobasis/extra: move tools.
John Benediktsson [Fri, 3 Apr 2020 00:06:50 +0000 (17:06 -0700)]
basis/extra: move tools.

4 years agoio.encodings.utf7: skip over first char when searching.
John Benediktsson [Thu, 2 Apr 2020 19:32:05 +0000 (12:32 -0700)]
io.encodings.utf7: skip over first char when searching.

4 years agoio.encodings.utf7: revert last patch, fixed and faster.
John Benediktsson [Thu, 2 Apr 2020 17:54:51 +0000 (10:54 -0700)]
io.encodings.utf7: revert last patch, fixed and faster.

4 years agocli.git: revert process-contents patch.
John Benediktsson [Thu, 2 Apr 2020 16:53:56 +0000 (09:53 -0700)]
cli.git: revert process-contents patch.

4 years agobasis/extra: move fewer things.
John Benediktsson [Thu, 2 Apr 2020 04:36:41 +0000 (21:36 -0700)]
basis/extra: move fewer things.

4 years agoRevert "basis: Move any vocabularies required by basis into basis."
John Benediktsson [Wed, 1 Apr 2020 18:11:51 +0000 (11:11 -0700)]
Revert "basis: Move any vocabularies required by basis into basis."

This reverts commit 59c2956570d9cd634dd218c1cfb0b82c72dace02.

4 years agoRevert "basis: Move more extra to basis."
John Benediktsson [Wed, 1 Apr 2020 18:11:36 +0000 (11:11 -0700)]
Revert "basis: Move more extra to basis."

This reverts commit 2d85dafa9872fa34b463f6473e61a1ed71c17788.

4 years agorosetta-code.multisplit: reduce memory usage
Alexander Iljin [Thu, 2 Apr 2020 01:15:26 +0000 (03:15 +0200)]
rosetta-code.multisplit: reduce memory usage

Avoid creating a filtered sequence when all we need is its first element.

4 years agorosetta-code.multisplit: new vocab
Alexander Iljin [Wed, 1 Apr 2020 20:48:50 +0000 (22:48 +0200)]
rosetta-code.multisplit: new vocab

4 years agobuild.sh: Only find the mingw compiler on Windows.
Doug Coleman [Tue, 31 Mar 2020 01:37:38 +0000 (20:37 -0500)]
build.sh: Only find the mingw compiler on Windows.

Fixes #2269

4 years agobuild.sh: Support MINGW64 as 64bit Windows.
Doug Coleman [Mon, 30 Mar 2020 22:31:35 +0000 (17:31 -0500)]
build.sh: Support MINGW64 as 64bit Windows.

This is for msys2 64bit mode.

4 years agobuild.sh: Only support 32/64bit word sizes.
Doug Coleman [Mon, 30 Mar 2020 22:28:02 +0000 (17:28 -0500)]
build.sh: Only support 32/64bit word sizes.

4 years agobasis: Move more extra to basis.
Doug Coleman [Sat, 28 Mar 2020 15:39:06 +0000 (10:39 -0500)]
basis: Move more extra to basis.

I missed these because they were already loaded in my saved image.

4 years agobasis: Move any vocabularies required by basis into basis.
Doug Coleman [Sat, 28 Mar 2020 14:30:37 +0000 (09:30 -0500)]
basis: Move any vocabularies required by basis into basis.

4 years agoformatting: simplify using assoc>map instead of unzip map map zip.
John Benediktsson [Tue, 24 Mar 2020 18:13:55 +0000 (11:13 -0700)]
formatting: simplify using assoc>map instead of unzip map map zip.

4 years agoformatting: support other sequences in printf.
John Benediktsson [Tue, 24 Mar 2020 18:11:15 +0000 (11:11 -0700)]
formatting: support other sequences in printf.

4 years agounix.process: Add posix_spawn stub.
Doug Coleman [Sun, 15 Mar 2020 22:18:37 +0000 (17:18 -0500)]
unix.process: Add posix_spawn stub.

I couldn't get this to work in all cases to replace spawn-process yet.

```
! works
{ "/bin/ls" "-al" } posix-spawn-args-with-path

! Broken on Linux64 for some reason
{
    "/usr/bin/code"
    "-g"
    "-r"
    "/home/erg/factor-master/basis/io/launcher/launcher.factor"
} posix-spawn-args-with-path
```

4 years agobuild.sh: Tab snuck into my commit...
Doug Coleman [Sun, 15 Mar 2020 18:46:42 +0000 (13:46 -0500)]
build.sh: Tab snuck into my commit...

4 years agowindows: Move types to ole32
Doug Coleman [Sun, 15 Mar 2020 18:31:46 +0000 (13:31 -0500)]
windows: Move types to ole32

4 years agowindows: Move IStream to windows.com to fix bootstrap.
Doug Coleman [Sun, 15 Mar 2020 18:21:24 +0000 (13:21 -0500)]
windows: Move IStream to windows.com to fix bootstrap.

4 years agofactor: Update all repos to point to github.com.
Doug Coleman [Sun, 15 Mar 2020 17:22:15 +0000 (12:22 -0500)]
factor: Update all repos to point to github.com.

factorcode.org repo can get behind the github one due to #1862 and low RAM on the new factorcode.org server

Change strategy for calling git fetch to not include the branch name if we are on a detached HEAD

4 years agofix various typos; cleanup and fully document boyer-moore
Cat Stevens [Sun, 15 Mar 2020 14:39:47 +0000 (10:39 -0400)]
fix various typos; cleanup and fully document boyer-moore

4 years agoReduced stack waste, added LOGIC-RED: and LOGIC-VAR:, a little speed up.
kusumotonorio [Sun, 15 Mar 2020 01:24:36 +0000 (10:24 +0900)]
Reduced stack waste, added LOGIC-RED: and LOGIC-VAR:,  a little speed up.

4 years agoui.text.core-text: apply @kusumotonorio patch.
John Benediktsson [Thu, 12 Mar 2020 03:58:27 +0000 (20:58 -0700)]
ui.text.core-text: apply @kusumotonorio patch.

4 years agowindows: Add more COM code.
Doug Coleman [Tue, 10 Mar 2020 22:22:12 +0000 (17:22 -0500)]
windows: Add more COM code.

4 years agoimages.loader: fix tests.
John Benediktsson [Tue, 10 Mar 2020 17:20:21 +0000 (10:20 -0700)]
images.loader: fix tests.

4 years agoimages.loader: fix using and kick the tires
Doug Coleman [Tue, 10 Mar 2020 14:57:47 +0000 (09:57 -0500)]
images.loader: fix using and kick the tires

4 years agoimages.loader: Disable saving a bmp on win32.
Doug Coleman [Tue, 10 Mar 2020 08:53:14 +0000 (03:53 -0500)]
images.loader: Disable saving a bmp on win32.

This is probably fixable with enough auditing of the gdiplus flat
interface.

4 years agovm/allot.hpp: Print more room info when allot() fails.
Doug Coleman [Tue, 10 Mar 2020 08:31:23 +0000 (03:31 -0500)]
vm/allot.hpp: Print more room info when allot() fails.

This is to help debug win64.

Some interesting observations:

fails without any error:
factor.com -codeheap=74000

fails with VirtualAlloc error:
factor.com -codeheap=80000

4 years agowindows: Fix user32/shcore DPI functions.
Doug Coleman [Tue, 10 Mar 2020 00:39:32 +0000 (19:39 -0500)]
windows: Fix user32/shcore DPI functions.

4 years agonmake: Fix caching on Windows when compiling without a manifest.
Doug Coleman [Mon, 9 Mar 2020 22:26:11 +0000 (17:26 -0500)]
nmake: Fix caching on Windows when compiling without a manifest.

4 years agowindows: Add a bunch of HighDPI functions.
Doug Coleman [Sat, 7 Mar 2020 19:26:25 +0000 (13:26 -0600)]
windows: Add a bunch of HighDPI functions.

4 years agovm: Add AS_UTF and use it to print wchar_t in Windows terminal.
Doug Coleman [Sat, 7 Mar 2020 05:57:57 +0000 (23:57 -0600)]
vm: Add AS_UTF and use it to print wchar_t in Windows terminal.

There may be more places to add AS_UTF8 calls--anywhere that prints a
wchar_t string in the Windows vm.

Fixes #992.

4 years agoNmakefile: Add default flags and add command to add the manifest to .exe
Doug Coleman [Sat, 7 Mar 2020 05:33:26 +0000 (23:33 -0600)]
Nmakefile: Add default flags and add command to add the manifest to .exe

The manifest is disabled for now, but once we fix the resolution we
should enable it.

to test:
nmake /f Nmakefile factor.exe.manifest

Right now the UI looks tiny if you compile for the factor.exe and
include the manifest.

Lastly, sorry for the WIP but it seems pretty harmless and has been
sitting in a branch for almost three years.

4 years agowindows; add functions to determine DPI scaling
Benjamin Pollack [Sun, 8 Jan 2017 01:52:01 +0000 (20:52 -0500)]
windows; add functions to determine DPI scaling

4 years agocache: Don't use in-place filter
Niklas Larsson [Thu, 31 Oct 2019 12:34:42 +0000 (13:34 +0100)]
cache: Don't use in-place filter

This solves a UI corruption problem by not reusing the hashtable when
purging the cache. The root cause of why the hashtable gets corrupted
when filtering in place hasn't been found.

Fixes #1978.

4 years agoAdded instructions on fetching replace objects for source history
nomennescio [Mon, 21 Oct 2019 13:53:16 +0000 (15:53 +0200)]
Added instructions on fetching replace objects for source history

4 years agoimages.loader: Windows can save bmp files.
Doug Coleman [Sat, 7 Mar 2020 04:59:30 +0000 (22:59 -0600)]
images.loader: Windows can save bmp files.

If there is a crasher, we can debug it.

4 years agoui.render.test: Replace reference image with an uncorrupted one.
Doug Coleman [Sat, 7 Mar 2020 01:35:24 +0000 (19:35 -0600)]
ui.render.test: Replace reference image with an uncorrupted one.

To generate a rendering image:

USE: ui.render.test
"ui-render-test" run
render-output get-global "resource:reference.bmp" save-graphic-image

Fixes #2210.

4 years agoimages.loader.gdiplus: Allow writing .bmp and do a better lookup.
Doug Coleman [Sat, 7 Mar 2020 01:34:41 +0000 (19:34 -0600)]
images.loader.gdiplus: Allow writing .bmp and do a better lookup.

4 years agoui.gadgets: Stale gestures can lose the associated gadget.
Doug Coleman [Sat, 7 Mar 2020 01:05:27 +0000 (19:05 -0600)]
ui.gadgets: Stale gestures can lose the associated gadget.

The gesture queue can send messages where the
focusable-child has disappeared.

Handle ``M: f focusable-child*`` by doing nothing.

Fixes #2117.

4 years agowindows.ole32: Add more LONG: constants.
Doug Coleman [Sat, 7 Mar 2020 01:05:07 +0000 (19:05 -0600)]
windows.ole32: Add more LONG: constants.

4 years agowindows.ole32: Add more error constants as long.
Doug Coleman [Fri, 6 Mar 2020 23:23:39 +0000 (17:23 -0600)]
windows.ole32: Add more error constants as long.

These are -2B..2B instead of positive integers because long is s32 on
Windows.

4 years agovocabs.metadata: cleanup a couple uses of metadata paths.
John Benediktsson [Thu, 5 Mar 2020 17:33:41 +0000 (09:33 -0800)]
vocabs.metadata: cleanup a couple uses of metadata paths.

4 years agovocabs.metadata: cleanup paths to be fully specified.
John Benediktsson [Thu, 5 Mar 2020 16:59:36 +0000 (08:59 -0800)]
vocabs.metadata: cleanup paths to be fully specified.

4 years agoui.gadgets.panes: fix tests under dark-theme.
John Benediktsson [Tue, 3 Mar 2020 23:23:18 +0000 (15:23 -0800)]
ui.gadgets.panes: fix tests under dark-theme.

4 years agopdf: heuristic for dealing with table wrapping.
John Benediktsson [Tue, 3 Mar 2020 19:31:00 +0000 (11:31 -0800)]
pdf: heuristic for dealing with table wrapping.

4 years agopdf.values: fix names for some fonts.
John Benediktsson [Tue, 3 Mar 2020 19:09:11 +0000 (11:09 -0800)]
pdf.values: fix names for some fonts.

4 years agohelp.pdf: use 1.25 line-height on pdf.
John Benediktsson [Tue, 3 Mar 2020 17:46:45 +0000 (09:46 -0800)]
help.pdf: use 1.25 line-height on pdf.

4 years agopdf.canvas: add concept of line-height multiplier.
John Benediktsson [Tue, 3 Mar 2020 17:46:32 +0000 (09:46 -0800)]
pdf.canvas: add concept of line-height multiplier.

4 years agologic.examples: cleanup, make hanoi tests assert output.
John Benediktsson [Tue, 3 Mar 2020 16:09:52 +0000 (08:09 -0800)]
logic.examples: cleanup, make hanoi tests assert output.

4 years agologic.factor: [ quot call( -- ) ] --> quot
kusumotonorio [Tue, 3 Mar 2020 12:16:52 +0000 (21:16 +0900)]
logic.factor: [ quot call( -- ) ] --> quot

4 years agofactlog vocab ==> logic vocab
kusumotonorio [Tue, 3 Mar 2020 12:04:46 +0000 (21:04 +0900)]
factlog vocab ==> logic vocab

4 years agoRename directory, files.
kusumotonorio [Tue, 3 Mar 2020 12:03:14 +0000 (21:03 +0900)]
Rename directory, files.

4 years agocatb0t's PR: add a Prolog-like %! ... multiline comment #6
kusumotonorio [Mon, 2 Mar 2020 11:21:17 +0000 (20:21 +0900)]
catb0t's PR: add a Prolog-like %! ...  multiline comment #6

4 years agofactlog
kusumotonorio [Sun, 1 Mar 2020 09:19:07 +0000 (18:19 +0900)]
factlog

4 years agohtml.templates.chloe: adding missing tests.
John Benediktsson [Tue, 3 Mar 2020 03:01:01 +0000 (19:01 -0800)]
html.templates.chloe: adding missing tests.

4 years agowebapps.planet: use factor color.
John Benediktsson [Tue, 3 Mar 2020 01:07:30 +0000 (17:07 -0800)]
webapps.planet: use factor color.

4 years agowebapps.wiki: remove footer border-top.
John Benediktsson [Tue, 3 Mar 2020 01:03:25 +0000 (17:03 -0800)]
webapps.wiki: remove footer border-top.

4 years agowebsites.concatenative: navbar background.
John Benediktsson [Tue, 3 Mar 2020 01:01:01 +0000 (17:01 -0800)]
websites.concatenative: navbar background.

4 years agowebapps.wiki: better spacing on article list.
John Benediktsson [Tue, 3 Mar 2020 00:07:09 +0000 (16:07 -0800)]
webapps.wiki: better spacing on article list.

4 years agohtml.templates: adding meta tag and some chloe tests.
John Benediktsson [Mon, 2 Mar 2020 23:57:19 +0000 (15:57 -0800)]
html.templates: adding meta tag and some chloe tests.

4 years agotools.errors: fix to match current behavior: "show".
John Benediktsson [Mon, 2 Mar 2020 23:40:37 +0000 (15:40 -0800)]
tools.errors: fix to match current behavior: "show".

4 years agobootstrap.image: add make-my-image to docs.
John Benediktsson [Mon, 2 Mar 2020 23:40:22 +0000 (15:40 -0800)]
bootstrap.image: add make-my-image to docs.

4 years agowebapps: remove floating factorcode.org links.
John Benediktsson [Mon, 2 Mar 2020 23:39:53 +0000 (15:39 -0800)]
webapps: remove floating factorcode.org links.

4 years agowebapps.help: matching style for navbar.
John Benediktsson [Mon, 2 Mar 2020 16:48:25 +0000 (08:48 -0800)]
webapps.help: matching style for navbar.

4 years agowebsites.concatenative: make navbar use line-height.
John Benediktsson [Mon, 2 Mar 2020 16:44:17 +0000 (08:44 -0800)]
websites.concatenative: make navbar use line-height.

4 years agowebapps.wiki: 24px hamburger instead of 32px.
John Benediktsson [Mon, 2 Mar 2020 16:40:23 +0000 (08:40 -0800)]
webapps.wiki: 24px hamburger instead of 32px.

4 years agowebapps.help: responsive search.
John Benediktsson [Mon, 2 Mar 2020 15:03:55 +0000 (07:03 -0800)]
webapps.help: responsive search.

4 years agoextra: moving hash-sets.numbers, hashtables.numbers to basis.
John Benediktsson [Mon, 2 Mar 2020 04:50:58 +0000 (20:50 -0800)]
extra: moving hash-sets.numbers, hashtables.numbers to basis.

4 years agohelp.html: move pre-wrap to css style fixup.
John Benediktsson [Mon, 2 Mar 2020 02:32:47 +0000 (18:32 -0800)]
help.html: move pre-wrap to css style fixup.

4 years agohtml.streams: fix tests.
John Benediktsson [Mon, 2 Mar 2020 02:32:35 +0000 (18:32 -0800)]
html.streams: fix tests.

4 years agowebapps.planet: a bit more style.
John Benediktsson [Sun, 1 Mar 2020 22:41:03 +0000 (14:41 -0800)]
webapps.planet: a bit more style.

4 years agowebapps.planet: more responsive css.
John Benediktsson [Sun, 1 Mar 2020 22:35:04 +0000 (14:35 -0800)]
webapps.planet: more responsive css.

4 years agowebapps.planet: use div to style post body.
John Benediktsson [Sun, 1 Mar 2020 21:49:06 +0000 (13:49 -0800)]
webapps.planet: use div to style post body.

4 years agowebapps.pastebin: more padding.
John Benediktsson [Sun, 1 Mar 2020 21:46:41 +0000 (13:46 -0800)]
webapps.pastebin: more padding.

4 years agowebapps.wiki: style the header.
John Benediktsson [Sun, 1 Mar 2020 21:46:27 +0000 (13:46 -0800)]
webapps.wiki: style the header.

4 years agowebapps.wiki: tweak line-height to fix issue with title.
John Benediktsson [Sun, 1 Mar 2020 21:31:08 +0000 (13:31 -0800)]
webapps.wiki: tweak line-height to fix issue with title.

4 years agowebapps.wiki: simplify and fix resize issue on mobile.
John Benediktsson [Sun, 1 Mar 2020 20:20:32 +0000 (12:20 -0800)]
webapps.wiki: simplify and fix resize issue on mobile.

4 years agowebapps.wiki: some responsive css (and JS for hamburger menu).
John Benediktsson [Sun, 1 Mar 2020 20:12:08 +0000 (12:12 -0800)]
webapps.wiki: some responsive css (and JS for hamburger menu).

4 years agowebsites.concatenative: write script (if any) from children.
John Benediktsson [Sun, 1 Mar 2020 20:11:31 +0000 (12:11 -0800)]
websites.concatenative: write script (if any) from children.

4 years agohtml.templates: adding t:script and t:write-script.
John Benediktsson [Sun, 1 Mar 2020 20:05:59 +0000 (12:05 -0800)]
html.templates: adding t:script and t:write-script.

4 years agohelp.html: more responsive help docs.
John Benediktsson [Sun, 1 Mar 2020 18:26:47 +0000 (10:26 -0800)]
help.html: more responsive help docs.

4 years agohtml.streams: monospace uses pre-wrap, wrap-margin sets width.
John Benediktsson [Sun, 1 Mar 2020 17:57:10 +0000 (09:57 -0800)]
html.streams: monospace uses pre-wrap, wrap-margin sets width.

4 years agomath.matrices: fix/rename mnorm, update all norms
Cat Stevens [Sun, 1 Mar 2020 02:46:38 +0000 (21:46 -0500)]
math.matrices: fix/rename mnorm, update all norms

closes #2244

- `mnorm` has been renamed to `normalize-matrix`
to reflect what it actually does, which
is normalize a matrix, not find a norm
of a matrix.

- `mnorm` is no longer a word defined here.

- bugfix: previously, `normalize-matrix` found
the supremum of a matrix (`mmax`),
before taking the supremum's absolute
value (`abs`) and dividing the matrix
by it (`m/n`).
for matrices containing only negative
values and 0, the supremum is 0, and
a `div-by-zero` error was thrown.

`normalize-matrix` has been fixed to
first `abs` all the matrix elements,
and then find the supremum and divide,

it also receieved a zero-matrix? guard
for optimization and preventing
`div-by-zero`.

- new alias: `hilbert-schmidt-norm` for
`frobenius-norm`,  to go along with
`math.matrices.extras.<hilbert-matrix>`
and improve searchability by physicists.

- new word: `matrix-p-norm`, written as an
analogue of `math.vectors.p-norm`.

- new word: `matrix-p-q-norm`, which generalizes
entrywise matrix norm over the L^p,q
vector space.

- new word: `matrix-p-norm-entrywise`:
`matrix-p-norm`'s fallback
for p =/= 1, 2, inf; analogue of
`math.vectors.p-norm-default`.

- all norm words have gotten new docs,
`zero-matrix?` guards as an optimisation,
and most have gotten new tests.

4 years agowebsites.concatenative: fix for xhtml.
John Benediktsson [Sat, 29 Feb 2020 16:25:52 +0000 (08:25 -0800)]
websites.concatenative: fix for xhtml.

4 years agowebsites.concatenative: device viewport css.
John Benediktsson [Sat, 29 Feb 2020 16:25:16 +0000 (08:25 -0800)]
websites.concatenative: device viewport css.

4 years agowebsites.factorcode: some downloads style.
John Benediktsson [Sat, 29 Feb 2020 16:21:41 +0000 (08:21 -0800)]
websites.factorcode: some downloads style.

4 years agowebsites.factorcode: give logo a width also.
John Benediktsson [Sat, 29 Feb 2020 16:14:10 +0000 (08:14 -0800)]
websites.factorcode: give logo a width also.

4 years agowebsites.factorcode: better mobile responsive css.
John Benediktsson [Sat, 29 Feb 2020 16:06:59 +0000 (08:06 -0800)]
websites.factorcode: better mobile responsive css.

4 years agoprettyprint.backend: make +nil+ render as L{ }.
John Benediktsson [Sat, 29 Feb 2020 15:16:46 +0000 (07:16 -0800)]
prettyprint.backend: make +nil+ render as L{ }.

4 years agowebsites.factorcode: tinypng the logo.
John Benediktsson [Fri, 28 Feb 2020 22:25:35 +0000 (14:25 -0800)]
websites.factorcode: tinypng the logo.

4 years agowebsites.factorcode: more examples.
John Benediktsson [Fri, 28 Feb 2020 21:16:58 +0000 (13:16 -0800)]
websites.factorcode: more examples.

4 years agowebsites.factorcode: more examples.
John Benediktsson [Fri, 28 Feb 2020 21:04:46 +0000 (13:04 -0800)]
websites.factorcode: more examples.

4 years agowebsites.factorcode: smaller fonts in downloads table.
John Benediktsson [Fri, 28 Feb 2020 20:03:07 +0000 (12:03 -0800)]
websites.factorcode: smaller fonts in downloads table.

4 years agoui.gadgets.paragraphs: need to merge height/metrics.
John Benediktsson [Fri, 28 Feb 2020 05:53:39 +0000 (21:53 -0800)]
ui.gadgets.paragraphs: need to merge height/metrics.

Sometimes cap-height is false and we handle that differently.

4 years agohelp.html: default font size should be 12pt, less line-height for pre.
John Benediktsson [Fri, 28 Feb 2020 05:44:32 +0000 (21:44 -0800)]
help.html: default font size should be 12pt, less line-height for pre.

4 years agoui.gadgets.paragraphs: faster pref-dim.
John Benediktsson [Fri, 28 Feb 2020 02:10:37 +0000 (18:10 -0800)]
ui.gadgets.paragraphs: faster pref-dim.

Now computing gadget-metrics once, before called (measure-metrics) twice,
the first time adding the result, the second time dropping the top of stack.

4 years agowebapps: pre tag line-height.
John Benediktsson [Fri, 28 Feb 2020 01:25:20 +0000 (17:25 -0800)]
webapps: pre tag line-height.