David Gregory dgregory · he/him
dgregory created repository dgregory/gotosocial 2026年04月21日 11:55:46 +02:00
dgregory pushed to html-reporting at mina-lang/mina 2026年02月08日 02:22:52 +01:00
517d9a90f2
 Prototype HTML compilation reports
dgregory created branch html-reporting in mina-lang/mina 2026年02月08日 02:22:52 +01:00
dgregory created branch lsp-file-system in mina-lang/mina 2026年01月30日 19:57:50 +01:00
dgregory pushed to lsp-file-system at mina-lang/mina 2026年01月30日 19:57:50 +01:00
21d217ac02
 Start to sketch a file system that can overlay LSP open files over the default file system
dgregory pushed to constant-propagation at mina-lang/mina 2026年01月30日 19:48:50 +01:00
f9f306e2fa
 Plumb type environments into the optimisation phase
dgregory pushed to constant-propagation at mina-lang/mina 2026年01月26日 18:46:24 +01:00
b801f7de1b
 Add testing of the optimisation function over conditional expressions
dgregory pushed to constant-propagation at mina-lang/mina 2026年01月26日 18:42:01 +01:00
8cdd4f1f73
 Add testing of the optimisation function over conditional expressions
dgregory pushed to constant-propagation at mina-lang/mina 2026年01月26日 18:39:29 +01:00
1a45d91e01
 Add testing of the optimisation function over conditional expressions
dgregory pushed to constant-propagation at mina-lang/mina 2026年01月24日 16:46:48 +01:00
824441d7d1
 Implement constant propagation for nullary constructors
dgregory pushed to constant-propagation at mina-lang/mina 2026年01月23日 20:40:25 +01:00
dd0f446f92
 Implement the transformation part of constant propagation
dgregory pushed to constant-propagation at mina-lang/mina 2026年01月22日 18:56:48 +01:00
11408884e6
 Add testing for top-level declarations vs local bindings, redexes, equality operators
dgregory pushed to constant-propagation at mina-lang/mina 2026年01月20日 02:21:30 +01:00
3b3182b558
 Begin to add testing for function application
dgregory pushed to constant-propagation at mina-lang/mina 2026年01月19日 20:25:54 +01:00
d3b506e644
 Use an iterative approach for local let bindings
dgregory commented on pull request mina-lang/mina#694 2026年01月17日 18:52:05 +01:00
WIP: Constant propagation

Using the Project in tasks is not allowed from Gradle 9.x

dgregory commented on pull request mina-lang/mina#694 2026年01月17日 18:50:57 +01:00
WIP: Constant propagation

Might better be called "Unknown"

dgregory created pull request mina-lang/mina#694 2026年01月17日 18:46:50 +01:00
WIP: Constant propagation
dgregory pushed to constant-propagation at mina-lang/mina 2026年01月17日 18:33:53 +01:00
7f8bee2270
 Implement analysis of pattern variables for known constructor optimisations
dgregory pushed to constant-propagation at mina-lang/mina 2026年01月17日 11:28:37 +01:00
e9c1b97ebb
 Implement analysis of pattern variables for known constructor optimisations
a91406ada1
 Fix NPE disguised as classloading issue
fb234e8de9
 Implement looping analysis of function bodies
Compare 3 commits »
dgregory pushed to gradle-classloading-issue at mina-lang/mina 2026年01月17日 10:55:04 +01:00
cdf2c1b224
 Fix NPE disguised as classloading issue