summaryrefslogtreecommitdiff
path: root/src/jscomp.sml
Commit message (Collapse)AuthorAge
* HTTP Last-Modified: latest modtime of source filesGravatar Jacob Mitchell2016-09-07
| | | | See issue #38.
* Finish removing PWild; only load a library once, even if referenced multiple ↵Gravatar Adam Chlipala2016-02-07
| | | | times in a .urp tree
* 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; ↵Gravatar Adam Chlipala2015-02-01
|/ | | | JavaScript compilation for exponentiation
* 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 ↵Gravatar Adam Chlipala2013-12-11
| | | | optimizations
* Basis.tryRpcGravatar Adam Chlipala2013-04-16
|
* Change Name_js to skip code snippets that depend on the CSRF-protection ↵Gravatar Adam Chlipala2013-04-01
| | | | signature
* Make Scriptcheck catch more script/message-passing uses, and move the phase ↵Gravatar Adam Chlipala2013-03-15
| | | | earlier in compilation
* 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | The boot flag rewrites most hardcoded paths to point to the build directory, and also forces static compilation. This is convenient for developing Ur/Web, or if you cannot 'sudo make install' Ur/Web. The following changes were made: * Header files were moved to include/urweb instead of include; this lets FFI users point their C_INCLUDE_PATH at this directory at write <urweb/urweb.h>. For internal Ur/Web executables, we simply pass -I$PATH/include/urweb as normal. * Differentiate between LIB and SRCLIB; SRCLIB is Ur and JavaScript source files, while LIB is compiled products from libtool. For in-tree compilation these live in different places. * No longer reference Config for paths; instead use Settings; these settings can be changed dynamically by Compiler.enableBoot () (TODO: add a disableBoot function.) * config.h is now generated directly in include/urweb/config.h, for consistency's sake (especially since it gets installed along with the rest of the headers!) * All of the autotools build products got updated. * The linkStatic field in protocols now only contains the name of the build product, and not the absolute path. Future users have to be careful not to reference the Settings files to early, lest they get an old version (this was the source of two bugs during development of this patch.)
* 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)
* 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 ↵Gravatar Adam Chlipala2011-03-28
| | | | strategies; remove an unsound optimization from MonoOpt and make MonoReduce work harder to compensate
* Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat ↵Gravatar Adam Chlipala2011-03-10
| | | | carriage returns at line ends in .urp files
* Notice that Basis.now is effectful; smarter JavaScript encoding of initial ↵Gravatar Adam Chlipala2011-02-08
| | | | source values built using server-side expressions that can't be turned into JavaScript
* Patch from Vladimir Shabanov to support implicit passing of 'time' values ↵Gravatar Adam Chlipala2011-01-20
| | | | from server to client
* Client-side redirectsGravatar Adam Chlipala2011-01-06
|
* [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
* 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 ↵Gravatar Adam Chlipala2010-05-22
| | | | dramatically
* Fix width/height CSS choices for table rows/columns; stop warning about ↵Gravatar Adam Chlipala2010-05-16
| | | | inability to embed type in JavaScript
* 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 ↵Gravatar Adam Chlipala2010-03-02
| | | | MonoOpt; expand more Basis synonyms in Monoize
* 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
| | | | scripts in pages that use JavaScript
* 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-19 17:41:56 +0000