summaryrefslogtreecommitdiff
path: root/src/cjrize.sml
Commit message (Collapse)AuthorAge
* Merge PVar and PWild, to get more reasonable type-class resolutionGravatar Adam Chlipala2016-02-07
|
* Use new refactored urlification in Sqlcache.Gravatar Ziv Scully2015-09-21
|
* Revert to revision 2222.Gravatar Ziv Scully2015-09-21
|
* Make Mono.file a record for readability upon extension.Gravatar Ziv Scully2015-09-13
|
* Basic field-resolution invalidation.Gravatar Ziv Scully2014-11-29
|
* New phase: DbmodecheckGravatar Adam Chlipala2014-08-17
|
* Differentiate between HTML and normal string literalsGravatar Adam Chlipala2014-08-01
|
* Change handling of returned text blobs, to activate the normal EWrite ↵Gravatar Adam Chlipala2013-12-11
| | | | optimizations
* Make Scriptcheck catch more script/message-passing uses, and move the phase ↵Gravatar Adam Chlipala2013-03-15
| | | | earlier in compilation
* Better error message about signals remaining in server-side codeGravatar Adam Chlipala2012-09-16
|
* First part of changes to avoid depending on C function call argument order ↵Gravatar Adam Chlipala2012-01-07
| | | | of evaluation (omitting normal Ur function calls, so far)
* Better error messages when client-side constructs are detected in CjrizeGravatar Adam Chlipala2011-11-19
|
* Each context gets its own non-repeating sequence of source numbersGravatar Adam Chlipala2011-04-09
|
* [De]serialization of times in JavaScript; proper integer division in ↵Gravatar Adam Chlipala2010-12-23
| | | | JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
* Periodic tasksGravatar Adam Chlipala2010-12-18
|
* Change tasks to support parametric code; add clientLeavesGravatar Adam Chlipala2010-12-18
|
* Fixes for nasty bugs in Reduce and EspecializeGravatar Adam Chlipala2010-10-19
|
* Server-side 'onError'Gravatar Adam Chlipala2010-09-07
|
* tryDmlGravatar Adam Chlipala2010-09-05
|
* Pushing policies throughGravatar Adam Chlipala2010-04-04
|
* Proper C-side deserialization; Shake.sliceDbGravatar Adam Chlipala2010-01-03
|
* Basis.serialize; separate file for mhash; run transactional finishers in ↵Gravatar Adam Chlipala2009-12-31
| | | | reverse order; set needs_sig properly
* Convert to task syntaxGravatar Adam Chlipala2009-12-15
|
* Initializers and setvalGravatar Adam Chlipala2009-12-13
|
* Basis.url and redirectsGravatar Adam Chlipala2009-12-10
|
* Use call/cc for recv and sleepGravatar Adam Chlipala2009-10-25
|
* SELECT DISTINCT; eta expansion during CjrizationGravatar Adam Chlipala2009-10-06
|
* Library improvements; proper list [un]urlification; remove server-side ↵Gravatar Adam Chlipala2009-08-09
| | | | ServerCalls; eta reduction in type inference
* Redo JscompGravatar Adam Chlipala2009-05-17
|
* Mutual datatypes through CjrizeGravatar Adam Chlipala2009-05-16
|
* Mutual datatypes through PathcheckGravatar Adam Chlipala2009-05-16
|
* Basis.listGravatar Adam Chlipala2009-04-30
|
* A view query worksGravatar Adam Chlipala2009-04-28
|
* Returning a blob as page resultGravatar Adam Chlipala2009-04-26
|
* Catching duplicate cookie and style pathsGravatar Adam Chlipala2009-04-16
|
* style declarationsGravatar Adam Chlipala2009-04-12
|
* PRIMARY KEYGravatar Adam Chlipala2009-04-07
|
* UNIQUE constraintsGravatar Adam Chlipala2009-04-07
|
* sleep and better ScriptcheckGravatar Adam Chlipala2009-04-04
|
* _Really_ implement embedded closure GC; extend Scriptcheck to figure out ↵Gravatar Adam Chlipala2009-04-04
| | | | when client IDs must be assigned
* Proper recvGravatar Adam Chlipala2009-03-22
|
* Avoid any JavaScript when pages don't need it; update demo proseGravatar Adam Chlipala2009-03-10
|
* RPC returning a default datatypeGravatar Adam Chlipala2009-03-08
|
* First gimpy RPCGravatar Adam Chlipala2009-02-15
|
* Export RPC functions and push RPC calls through to MonoGravatar Adam Chlipala2009-02-15
|
* Harmonized source-setting between server and clientGravatar Adam Chlipala2008-12-30
|
* Setting a source server-sideGravatar Adam Chlipala2008-12-30
|
* Trivial use of a sourceGravatar Adam Chlipala2008-12-21
|
* Handling singnal bindGravatar Adam Chlipala2008-12-21
|
* Successfully generated a page element from a signalGravatar Adam Chlipala2008-12-20
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 16:31:19 +0000