summaryrefslogtreecommitdiff
path: root/src/mono_util.sml
Commit message (Expand)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
* More invalidation progress.Gravatar Ziv Scully2014-11-11
* Change handling of returned text blobs, to activate the normal EWrite optimiz...Gravatar Adam Chlipala2013-12-11
* Basis.tryRpcGravatar Adam Chlipala2013-04-16
* Change Name_js to skip code snippets that depend on the CSRF-protection signa...Gravatar Adam Chlipala2013-04-01
* Make Scriptcheck catch more script/message-passing uses, and move the phase e...Gravatar Adam Chlipala2013-03-15
* New NameJs phase, still needing some debuggingGravatar Adam Chlipala2012-08-02
* First part of changes to avoid depending on C function call argument order of...Gravatar Adam Chlipala2012-01-07
* Announce sidedness errors with source locationsGravatar Adam Chlipala2011-11-25
* [De]serialization of times in JavaScript; proper integer division in JavaScri...Gravatar Adam Chlipala2010-12-23
* 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
* Roll back WHERE checkingGravatar Adam Chlipala2010-07-27
* equalAny policiesGravatar Adam Chlipala2010-07-27
* Initial version of equalKnown working for secretGravatar Adam Chlipala2010-07-27
* sendOwnIds policiesGravatar Adam Chlipala2010-04-11
* Update policiesGravatar Adam Chlipala2010-04-11
* Delete policiesGravatar Adam Chlipala2010-04-11
* Insert policiesGravatar Adam Chlipala2010-04-11
* Change query_policy to sendClient; all arguments passed to SQL predicates are...Gravatar Adam Chlipala2010-04-08
* 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 reve...Gravatar Adam Chlipala2009-12-31
* 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
* RPC uses VM support for call/ccGravatar Adam Chlipala2009-10-25
* 'more' demos working after optimizer fixGravatar Adam Chlipala2009-09-08
* grid1 compiles but gets stuck in JSGravatar Adam Chlipala2009-08-25
* Library improvements; proper list [un]urlification; remove server-side Server...Gravatar Adam Chlipala2009-08-09
* Redo JscompGravatar Adam Chlipala2009-05-17
* 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
* Cookie signatures for RPCsGravatar Adam Chlipala2009-04-23
* Some client-side error handlingGravatar Adam Chlipala2009-04-16
* 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
* Proper recvGravatar Adam Chlipala2009-03-22
* Conversion of functions to CPS, to facilitate ServerCallGravatar Adam Chlipala2009-03-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-17 19:21:43 +0000