]>
gitweb.factorcode.org Git - factor.git/log
John Benediktsson [Tue, 24 Mar 2020 18:11:15 +0000 (11:11 -0700)]
formatting: support other sequences in printf.
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
```
Doug Coleman [Sun, 15 Mar 2020 18:46:42 +0000 (13:46 -0500)]
build.sh: Tab snuck into my commit...
Doug Coleman [Sun, 15 Mar 2020 18:31:46 +0000 (13:31 -0500)]
windows: Move types to ole32
Doug Coleman [Sun, 15 Mar 2020 18:21:24 +0000 (13:21 -0500)]
windows: Move IStream to windows.com to fix bootstrap.
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
Cat Stevens [Sun, 15 Mar 2020 14:39:47 +0000 (10:39 -0400)]
fix various typos; cleanup and fully document boyer-moore
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.
John Benediktsson [Thu, 12 Mar 2020 03:58:27 +0000 (20:58 -0700)]
ui.text.core-text: apply @kusumotonorio patch.
Doug Coleman [Tue, 10 Mar 2020 22:22:12 +0000 (17:22 -0500)]
windows: Add more COM code.
John Benediktsson [Tue, 10 Mar 2020 17:20:21 +0000 (10:20 -0700)]
images.loader: fix tests.
Doug Coleman [Tue, 10 Mar 2020 14:57:47 +0000 (09:57 -0500)]
images.loader: fix using and kick the tires
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.
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
Doug Coleman [Tue, 10 Mar 2020 00:39:32 +0000 (19:39 -0500)]
windows: Fix user32/shcore DPI functions.
Doug Coleman [Mon, 9 Mar 2020 22:26:11 +0000 (17:26 -0500)]
nmake: Fix caching on Windows when compiling without a manifest.
Doug Coleman [Sat, 7 Mar 2020 19:26:25 +0000 (13:26 -0600)]
windows: Add a bunch of HighDPI functions.
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.
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.
Benjamin Pollack [Sun, 8 Jan 2017 01:52:01 +0000 (20:52 -0500)]
windows; add functions to determine DPI scaling
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.
nomennescio [Mon, 21 Oct 2019 13:53:16 +0000 (15:53 +0200)]
Added instructions on fetching replace objects for source history
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.
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.
Doug Coleman [Sat, 7 Mar 2020 01:34:41 +0000 (19:34 -0600)]
images.loader.gdiplus: Allow writing .bmp and do a better lookup.
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.
Doug Coleman [Sat, 7 Mar 2020 01:05:07 +0000 (19:05 -0600)]
windows.ole32: Add more LONG: constants.
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.
John Benediktsson [Thu, 5 Mar 2020 17:33:41 +0000 (09:33 -0800)]
vocabs.metadata: cleanup a couple uses of metadata paths.
John Benediktsson [Thu, 5 Mar 2020 16:59:36 +0000 (08:59 -0800)]
vocabs.metadata: cleanup paths to be fully specified.
John Benediktsson [Tue, 3 Mar 2020 23:23:18 +0000 (15:23 -0800)]
ui.gadgets.panes: fix tests under dark-theme.
John Benediktsson [Tue, 3 Mar 2020 19:31:00 +0000 (11:31 -0800)]
pdf: heuristic for dealing with table wrapping.
John Benediktsson [Tue, 3 Mar 2020 19:09:11 +0000 (11:09 -0800)]
pdf.values: fix names for some fonts.
John Benediktsson [Tue, 3 Mar 2020 17:46:45 +0000 (09:46 -0800)]
help.pdf: use 1.25 line-height on pdf.
John Benediktsson [Tue, 3 Mar 2020 17:46:32 +0000 (09:46 -0800)]
pdf.canvas: add concept of line-height multiplier.
John Benediktsson [Tue, 3 Mar 2020 16:09:52 +0000 (08:09 -0800)]
logic.examples: cleanup, make hanoi tests assert output.
kusumotonorio [Tue, 3 Mar 2020 12:16:52 +0000 (21:16 +0900)]
logic.factor: [ quot call( -- ) ] --> quot
kusumotonorio [Tue, 3 Mar 2020 12:04:46 +0000 (21:04 +0900)]
factlog vocab ==> logic vocab
kusumotonorio [Tue, 3 Mar 2020 12:03:14 +0000 (21:03 +0900)]
Rename directory, files.
kusumotonorio [Mon, 2 Mar 2020 11:21:17 +0000 (20:21 +0900)]
catb0t's PR: add a Prolog-like %! ... multiline comment #6
kusumotonorio [Sun, 1 Mar 2020 09:19:07 +0000 (18:19 +0900)]
factlog
John Benediktsson [Tue, 3 Mar 2020 03:01:01 +0000 (19:01 -0800)]
html.templates.chloe: adding missing tests.
John Benediktsson [Tue, 3 Mar 2020 01:07:30 +0000 (17:07 -0800)]
webapps.planet: use factor color.
John Benediktsson [Tue, 3 Mar 2020 01:03:25 +0000 (17:03 -0800)]
webapps.wiki: remove footer border-top.
John Benediktsson [Tue, 3 Mar 2020 01:01:01 +0000 (17:01 -0800)]
websites.concatenative: navbar background.
John Benediktsson [Tue, 3 Mar 2020 00:07:09 +0000 (16:07 -0800)]
webapps.wiki: better spacing on article list.
John Benediktsson [Mon, 2 Mar 2020 23:57:19 +0000 (15:57 -0800)]
html.templates: adding meta tag and some chloe tests.
John Benediktsson [Mon, 2 Mar 2020 23:40:37 +0000 (15:40 -0800)]
tools.errors: fix to match current behavior: "show".
John Benediktsson [Mon, 2 Mar 2020 23:40:22 +0000 (15:40 -0800)]
bootstrap.image: add make-my-image to docs.
John Benediktsson [Mon, 2 Mar 2020 23:39:53 +0000 (15:39 -0800)]
webapps: remove floating factorcode.org links.
John Benediktsson [Mon, 2 Mar 2020 16:48:25 +0000 (08:48 -0800)]
webapps.help: matching style for navbar.
John Benediktsson [Mon, 2 Mar 2020 16:44:17 +0000 (08:44 -0800)]
websites.concatenative: make navbar use line-height.
John Benediktsson [Mon, 2 Mar 2020 16:40:23 +0000 (08:40 -0800)]
webapps.wiki: 24px hamburger instead of 32px.
John Benediktsson [Mon, 2 Mar 2020 15:03:55 +0000 (07:03 -0800)]
webapps.help: responsive search.
John Benediktsson [Mon, 2 Mar 2020 04:50:58 +0000 (20:50 -0800)]
extra: moving hash-sets.numbers, hashtables.numbers to basis.
John Benediktsson [Mon, 2 Mar 2020 02:32:47 +0000 (18:32 -0800)]
help.html: move pre-wrap to css style fixup.
John Benediktsson [Mon, 2 Mar 2020 02:32:35 +0000 (18:32 -0800)]
html.streams: fix tests.
John Benediktsson [Sun, 1 Mar 2020 22:41:03 +0000 (14:41 -0800)]
webapps.planet: a bit more style.
John Benediktsson [Sun, 1 Mar 2020 22:35:04 +0000 (14:35 -0800)]
webapps.planet: more responsive css.
John Benediktsson [Sun, 1 Mar 2020 21:49:06 +0000 (13:49 -0800)]
webapps.planet: use div to style post body.
John Benediktsson [Sun, 1 Mar 2020 21:46:41 +0000 (13:46 -0800)]
webapps.pastebin: more padding.
John Benediktsson [Sun, 1 Mar 2020 21:46:27 +0000 (13:46 -0800)]
webapps.wiki: style the header.
John Benediktsson [Sun, 1 Mar 2020 21:31:08 +0000 (13:31 -0800)]
webapps.wiki: tweak line-height to fix issue with title.
John Benediktsson [Sun, 1 Mar 2020 20:20:32 +0000 (12:20 -0800)]
webapps.wiki: simplify and fix resize issue on mobile.
John Benediktsson [Sun, 1 Mar 2020 20:12:08 +0000 (12:12 -0800)]
webapps.wiki: some responsive css (and JS for hamburger menu).
John Benediktsson [Sun, 1 Mar 2020 20:11:31 +0000 (12:11 -0800)]
websites.concatenative: write script (if any) from children.
John Benediktsson [Sun, 1 Mar 2020 20:05:59 +0000 (12:05 -0800)]
html.templates: adding t:script and t:write-script.
John Benediktsson [Sun, 1 Mar 2020 18:26:47 +0000 (10:26 -0800)]
help.html: more responsive help docs.
John Benediktsson [Sun, 1 Mar 2020 17:57:10 +0000 (09:57 -0800)]
html.streams: monospace uses pre-wrap, wrap-margin sets width.
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.
John Benediktsson [Sat, 29 Feb 2020 16:25:52 +0000 (08:25 -0800)]
websites.concatenative: fix for xhtml.
John Benediktsson [Sat, 29 Feb 2020 16:25:16 +0000 (08:25 -0800)]
websites.concatenative: device viewport css.
John Benediktsson [Sat, 29 Feb 2020 16:21:41 +0000 (08:21 -0800)]
websites.factorcode: some downloads style.
John Benediktsson [Sat, 29 Feb 2020 16:14:10 +0000 (08:14 -0800)]
websites.factorcode: give logo a width also.
John Benediktsson [Sat, 29 Feb 2020 16:06:59 +0000 (08:06 -0800)]
websites.factorcode: better mobile responsive css.
John Benediktsson [Sat, 29 Feb 2020 15:16:46 +0000 (07:16 -0800)]
prettyprint.backend: make +nil+ render as L{ }.
John Benediktsson [Fri, 28 Feb 2020 22:25:35 +0000 (14:25 -0800)]
websites.factorcode: tinypng the logo.
John Benediktsson [Fri, 28 Feb 2020 21:16:58 +0000 (13:16 -0800)]
websites.factorcode: more examples.
John Benediktsson [Fri, 28 Feb 2020 21:04:46 +0000 (13:04 -0800)]
websites.factorcode: more examples.
John Benediktsson [Fri, 28 Feb 2020 20:03:07 +0000 (12:03 -0800)]
websites.factorcode: smaller fonts in downloads table.
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.
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.
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.
John Benediktsson [Fri, 28 Feb 2020 01:25:20 +0000 (17:25 -0800)]
webapps: pre tag line-height.
John Benediktsson [Fri, 28 Feb 2020 01:21:33 +0000 (17:21 -0800)]
webapps.wiki: moving class description to wiki.css.
John Benediktsson [Fri, 28 Feb 2020 00:49:48 +0000 (16:49 -0800)]
help.html: raise line-height to 150%.
John Benediktsson [Fri, 28 Feb 2020 00:41:20 +0000 (16:41 -0800)]
Revert "webapps.help: just include the original css instead of duplicating."
This reverts commit
77b0c45a1399a1712416456f1a2127819c308190 .
John Benediktsson [Fri, 28 Feb 2020 00:27:15 +0000 (16:27 -0800)]
webapps.help: just include the original css instead of duplicating.
John Benediktsson [Fri, 28 Feb 2020 00:09:03 +0000 (16:09 -0800)]
webapps.help: sync with help.html.
John Benediktsson [Fri, 28 Feb 2020 00:08:33 +0000 (16:08 -0800)]
help.html: less css reset.
John Benediktsson [Thu, 27 Feb 2020 23:11:55 +0000 (15:11 -0800)]
websites.concatenative: move container div to page.xml.
John Benediktsson [Thu, 27 Feb 2020 22:44:19 +0000 (14:44 -0800)]
webapps.planet: minor fixes.
John Benediktsson [Thu, 27 Feb 2020 22:44:05 +0000 (14:44 -0800)]
webapps.pastebin: updated css style.
John Benediktsson [Thu, 27 Feb 2020 22:41:13 +0000 (14:41 -0800)]
webapps.planet: use protocol agnostic link.
John Benediktsson [Thu, 27 Feb 2020 22:40:50 +0000 (14:40 -0800)]
help.html: use protocol agnostic link.
John Benediktsson [Thu, 27 Feb 2020 22:28:51 +0000 (14:28 -0800)]
webapps.planet: some css cleanup.
John Benediktsson [Thu, 27 Feb 2020 21:15:53 +0000 (13:15 -0800)]
help.html: make these match new wiki css.
John Benediktsson [Thu, 27 Feb 2020 20:49:46 +0000 (12:49 -0800)]
webapps.wiki: forgot this file.
John Benediktsson [Thu, 27 Feb 2020 20:49:22 +0000 (12:49 -0800)]
websites.concatenative: cleanup css a bit.
Doug Coleman [Thu, 27 Feb 2020 01:04:31 +0000 (01:04 +0000)]
extra: Finish renaming a couple words