aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Declare number and text message fields; check JSON bodieseunhhu2026-09-263-11/+126
* Check the served app with an owner thread tooeunhhu2026-09-261-12/+17
* Check an app served by its views and inputseunhhu2026-09-261-0/+174
* Add keyed lists and text comparisoneunhhu2026-09-265-14/+323
* Add aup watch: build again when what a build read changeseunhhu2026-09-264-22/+223
* Find an item with first(t in tasks where ...)eunhhu2026-09-263-15/+28
* Filter a table view with whereeunhhu2026-09-263-7/+38
* Add count, sum, max and min over a listeunhhu2026-09-263-5/+229
* Declare marks: cursors that stay before inserted texteunhhu2026-09-264-7/+17
* Check that lent answers count against the budgeteunhhu2026-09-261-2/+44
* Check that reads lend a stable versioneunhhu2026-09-261-2/+35
* Check the module server on three shardseunhhu2026-09-261-10/+13
* Check pure-serve, pipelined connections includedeunhhu2026-09-262-7/+66
* Check the module server and saving in burstseunhhu2026-09-262-5/+155
* Check declared state across restartseunhhu2026-09-253-1/+66
* Record Vega's first component in the planeunhhu2026-09-252-2/+2
* Add fns and librarieseunhhu2026-09-259-51/+427
* Add conditional expressions and table viewseunhhu2026-09-256-30/+270
* Emit Pure module format v5eunhhu2026-09-252-5/+5
* Record the input limit of 32 in the language noteseunhhu2026-09-251-1/+1
* Add records, lists and indiceseunhhu2026-09-256-61/+589
* Emit Pure module format v4eunhhu2026-09-253-4/+4
* Document the text language as implementedeunhhu2026-09-253-5/+23
* Compile text, cursors and strings to module v3eunhhu2026-09-253-140/+696
* Compile messages and keyed documents to module v2eunhhu2026-09-258-109/+536
* Set the DSL direction and the text modeleunhhu2026-09-251-0/+70
* Compile v0a programs to verified Pure moduleseunhhu2026-09-2514-1/+1105
* Charter aup and specify language v0eunhhu2026-09-252-0/+130
generated by cgit v1.2.3 (git 2.46.0) at 2026-10-20 19:05:20 +0000