aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/jscomp.sml
Commit message (Expand)AuthorAge
* HTTP Last-Modified: latest modtime of source filesGravatar Jacob Mitchell2016-09-07
* Finish removing PWild; only load a library once, even if referenced multiple ...Gravatar Adam Chlipala2016-02-07
* Merge PVar and PWild, to get more reasonable type-class resolutionGravatar Adam Chlipala2016-02-07
* Merge SqlcacheGravatar Adam Chlipala2015-12-20
|\
* | New .urp directive: jsFileGravatar Adam Chlipala2015-12-05
| * 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
| * Merge.Gravatar Ziv Scully2015-03-27
| |\ | |/ |/|
| * Basic field-resolution invalidation.Gravatar Ziv Scully2014-11-29
* | A new MonoReduce optimization for lifting 'let' out of field projection; Java...Gravatar Adam Chlipala2015-02-01
|/
* Differentiate between HTML and normal string literalsGravatar Adam Chlipala2014-08-01
* -explainEmbedGravatar Adam Chlipala2014-03-17
* 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
* Removed evaluation of js function name strings. (from Vladimir Shabanov)Gravatar Adam Chlipala2012-07-29
* Add support for -boot flag, which allows in-tree execution of Ur/WebGravatar Edward Z. Yang2012-05-02
* First part of changes to avoid depending on C function call argument order of...Gravatar Adam Chlipala2012-01-07
* Fix handling of quotes in generating C literalsGravatar Adam Chlipala2012-01-02
* timeFormat .urp directiveGravatar Adam Chlipala2011-12-04
* Allow sources to be returned by RPCsGravatar Adam Chlipala2011-12-03
* Catching integer divisions by zeroGravatar Adam Chlipala2011-12-03
* Fix bug in JavaScript embedding of listsGravatar Adam Chlipala2011-08-15
* Add client-side Basis.now and pretty-printing of timesGravatar Adam Chlipala2011-07-06
* Each context gets its own non-repeating sequence of source numbersGravatar Adam Chlipala2011-04-09
* To generate server-side source JavaScript, try both the old and new strategie...Gravatar Adam Chlipala2011-03-28
* Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat c...Gravatar Adam Chlipala2011-03-10
* Notice that Basis.now is effectful; smarter JavaScript encoding of initial so...Gravatar Adam Chlipala2011-02-08
* Patch from Vladimir Shabanov to support implicit passing of 'time' values fro...Gravatar Adam Chlipala2011-01-20
* Client-side redirectsGravatar Adam Chlipala2011-01-06
* [De]serialization of times in JavaScript; proper integer division in JavaScri...Gravatar Adam Chlipala2010-12-23
* Fix JavaScript unit unurlification; URL blessing client-sideGravatar Adam Chlipala2010-11-26
* Fix RPC deserialization of channelsGravatar Adam Chlipala2010-11-19
* tryDmlGravatar Adam Chlipala2010-09-05
* Better UTF-8 escaping for JavaScript and SQL literalsGravatar Adam Chlipala2010-08-10
* Switch to strings and eval for thunkifying JavaScripted functionsGravatar Adam Chlipala2010-05-22
* Thunking recursive JavaScripted function ASTs, to reduce page load time drama...Gravatar Adam Chlipala2010-05-22
* Fix width/height CSS choices for table rows/columns; stop warning about inabi...Gravatar Adam Chlipala2010-05-16
* Louder jscomp; toUpper/Lower fix for JavaScriptGravatar Adam Chlipala2010-03-04
* Tone down Reduce and compensate with a new push-lambda-inside-case rule in Mo...Gravatar Adam Chlipala2010-03-02
* Proper C-side deserialization; Shake.sliceDbGravatar Adam Chlipala2010-01-03
* JavaScript urlification; more lenient export pattern in Corify; only include ...Gravatar Adam Chlipala2010-01-02
* Initializers and setvalGravatar Adam Chlipala2009-12-13
* Basis.url and redirectsGravatar Adam Chlipala2009-12-10
* Represent FFI function names as strings, to deal with cross-file recursionGravatar Adam Chlipala2009-12-05
* Initial form for paper assignmentGravatar Adam Chlipala2009-11-01
* Use call/cc for recv and sleepGravatar Adam Chlipala2009-10-25
* RPC uses VM support for call/ccGravatar Adam Chlipala2009-10-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-05 14:59:49 +0000