evocation - Call forth the blue-green flame of computation from the universe, weave its energies into a fabric, that we may share our blood with it.

Age	Commit message (Collapse)	Author
2026-05-28	add the ability to bind signal handlers	Irene Knapp
	and a useful example one ;) this also involved fixing the failure cases in input.e to handle EINTR correctly. it required a lot of tracing, but now the expected state of the stack is much better commented for next time. many thanks to @cks@mastodon.social who found code in the Go compiler which had the details of what's required in regard to the restorer, which made the whole thing work, and to @snowfox@tech.lgbt who did some experimental testing around the exact requirements. both those contributions are reflected in the documentation added with this CL. additional thanks to everyone who chimed in on the fedi thread, your comments kept us going! Force-Push: yes Change-Id: I97fd89426bf807df5565e011d3665f7e904fa138
2026-05-22	it runs!!!!!! it interactively reads input and everything	Irene Knapp
	only some of that actually works, but hey, it's a start Force-Push: yes Change-Id: Ib82beb695be1a18de8aaaf3040b7c632851c6002
2026-05-21	okay, input buffers should work now (untested though)	Irene Knapp
	the word "variable" also needed special treatment, in the same way that "keyword" did. it's not immediately clear why. Force-Push: yes Change-Id: I15fae39b1b9ec928281150c76260940717b8e27a
2026-05-21	started cleaning up all the log-loaded functionality	Irene Knapp
	it's in dynamic.e for now Force-Push: yes Change-Id: I4d0c5917eccd58cb881850faee0728d786010c27
2026-05-20	so yeah, docol, exit, and lit all work in log-load now	Irene Knapp
	also s" and ." work in the label transform, and are used to produce an important error message during the log-load routine, since we can't know whether log-loaded words exist until runtime sweet, right? Change-Id: I6a67139538c2cbcef40a1093202b2b4e0ad6febb Force-Push: yes
2026-05-19	yessssssss	Irene Knapp
	so okay, now all the machine code stuff is implemented and it builds without crashing the generated executable still crashes though, but this was enough work that it's getting a celebratory check-in Force-Push: yes Change-Id: I201e6912253647da58ef3537c735b478b0dca9fb
2026-05-18	okay there's a strat for making the here/latest variables now	Irene Knapp
	it doesn't work yet, but it's gonna the reason it doesn't work is that the new helper log-load-variable relies on the assembly-definition words being statically available, and they aren't yet that's fine though, this is still a huge change, worth checking in. why? well, it represents like 16 hours of debugging which culminated in some very minor changes to the semantics of the label transform, in order to make missing words easier to notice and debug. see comments for details. woooooo :D Force-Push: yes Change-Id: Id8334819d165ba9e3156ef2bf32008af748eac29
2026-05-16	the skeleton of the log-load transform is in place now	Irene Knapp
	it doesn't actually output anything, but it all runs without crashing Force-Push: yes Change-Id: I48f2e647044df0ae3db961c747cee31a8826ecf3
2026-05-16	ah, oops, there was a bug in the label transform for compiled words	Irene Knapp
	fixed now also a bunch of small things towards adding a log-load transform Force-Push: yes Change-Id: I6eeb94d896a7e79092886d7b60e9404c31b2ba6f
2026-05-16	word labels are now stored as offsets	Irene Knapp
	also, the various address spaces in use are described better, and there's helper functions to convert between them. Force-Push: yes Change-Id: Idb56d2b6299d6e7071c9d42b2eb1138b17b85c69
2026-05-16	it's much closer, most of the labels work correctly now	Irene Knapp
	Force-Push: yes Change-Id: I45662e60c0035758a2cd57d971031eb0562eccb7
2026-05-15	make the label transformation work all the way, no crashing	Irene Knapp
	the code doesn't quite run yet, that'll be a future CL Force-Push: yes Change-Id: I71e6a45127c1fc37906d902e36142c17afef2a21
2026-05-15	document the assumptions between labels and transforms	Irene Knapp
	also some minor cleanup that ie. fixes alignment padding Force-Push: yes Change-Id: Ia8fcb9a44e05e37751cc1b8334aa72add7e62353
2026-05-15	fix things up so it gets through cold-start	Irene Knapp
	then it crashes on warm-start because warm-start doesn't exist yet Force-Push: yes Change-Id: I9eba481b31d48f9d32c3790f296204c5c8d90938
2026-05-15	now there's a concept of pushing and popping input sources	Irene Knapp
	Force-Push: yes Change-Id: Ib8e8f342b7fa3773071eca36accf060f6c20f3be
2026-05-11	implement all the core Forth stuff in Evocation-assembly	Irene Knapp
	also, add support for ;asm and stuff Force-Push: yes Change-Id: I904bc0c31e7e4c8b0abc7790f3af5d20c275f2a5
2026-05-09	implement more stuff in interpret.e	Irene Knapp
	it depended on the execution-model stuff, for the "next" macro. in general, any word implemented in assembly will depend on that. so, the execution stuff is moved into its own file, leaving evoke.e with only the job of bringing everything together. that's a little disappointing because talking about the execution model seems like a good introduction to the whole topic, but perhaps the problem can be solved down the line with literate programming... Force-Push: yes Change-Id: Ic2fe22dcc39980ef75763ae293e41024abc8ba38