表示フィルター RSS
プロジェクト履歴

2020-02-01
01:30
Joypy
[Hg] 'Joypy' へ push を行いました (最新: 801e1c92a5550b3c7a5de81ea72557dc7f05015a)
Freeing registers before using them is simpler. https://todo.sr.ht/~sforman/thun-der/3
2020-01-31
03:27
Joypy
[Hg] 'Joypy' へ push を行いました (最新: a03395e3871758a5a730cf09bc547130e324006c)
Add assoc to kinda sorta track the values in the registers. But it doesn't update e.g. if you ad...
2020-01-29
05:24
Joypy
[Hg] 'Joypy' へ push を行いました (最新: 6afef79d49ecb0041ac002e714131c5602403827)
Fix a bug in step. You think it would be easy to find all the places where the type tags are nee...
2020-01-28
04:55
Joypy
[Hg] 'Joypy' へ push を行いました (最新: 139b05f21d38efb328a064bf6f30a3d7044b6034)
Minor cleanup. I feel like I should keep the un-partially-reduced thun/4 but you can still read ...
2020-01-27
09:05
Joypy
[Hg] 'Joypy' へ push を行いました (最新: 62cee285d3bbe0f5773876ec00d88501ebfb499e)
Partial reduction of thun/3 in the thun/4 relation. It mostly works.
02:55
Joypy
[Hg] 'Joypy' へ push を行いました (最新: b3389729e91003c075c0fea4553410db06156b60)
Change back to CLP(FD) semantics. Minor changes to parser to make it less logical but a little f...
2020-01-26
2019-12-31
15:00
Joypy
[チケット] #39867 にコメントを追記しました
Hey! Thanks for the bug report. I'll take a look tonight and get back to you.
2019-12-25
2019-12-03
07:21
Joypy
[Hg] 'Joypy' へ push を行いました (最新: ce1ef1469eb251ba970e1b4db2e7216bfa4e9e78)
Debugging this sucks. Even with the RISC emu GUI. Redesign vm? Add more tooling? Use MetaII? ...
2019-11-14
2019-11-13
04:01
Joypy
[Hg] 'Joypy' へ push を行いました (最新: 93d6cbd4a22c2b247373c505d9300fbe711c20ab)
Dup. ANd portray_clause to stablize output logical variable names.
2019-11-11
2019-11-10
2019-11-09
01:09
Joypy
[Hg] 'Joypy' へ push を行いました (最新: eac58af6f029534d58334f4ed0502d1edcea9373)
Using partial deduction to inline literals, functions, and combinators.
2019-10-30