summaryrefslogtreecommitdiff
path: root/src/compiler.sig
Commit message (Expand)AuthorAge
* Support for <meta> tagsGravatar Adam Chlipala2016-05-15
* Merge SqlcacheGravatar Adam Chlipala2015-12-20
|\
| * Support nested queries but disable UrFlow for now.Gravatar Ziv Scully2015-11-19
| * Complete overhaul: cache queries based on immediate query result, not eventua...Gravatar Ziv Scully2014-10-14
| * Merge.Gravatar Ziv Scully2014-09-13
| |\ | |/ |/|
* | New phase: DbmodecheckGravatar Adam Chlipala2014-08-17
| * Cleans up interface (it's now a command line option) and renames project to "...Gravatar Ziv Scully2014-05-31
| * ML half of initial prototype. (Doesn't compile because there's no C yet.)Gravatar Ziv Scully2014-03-25
| * Identifies tables read or touched by queries.Gravatar Ziv Scully2014-03-08
|/
* New compiler option: -stopGravatar Adam Chlipala2014-01-19
* Add Sigcheck phase to avoid issues with signatures in global initializersGravatar Adam Chlipala2013-06-15
* 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
* Basis.getenvGravatar Adam Chlipala2012-08-02
* Add support for -boot flag, which allows in-tree execution of Ur/WebGravatar Edward Z. Yang2012-05-02
* 'linker' .urp directiveGravatar Adam Chlipala2012-04-22
* -dumpSource flag; Especialize tweak: may specialize any argument sequence end...Gravatar Adam Chlipala2012-01-12
* Better error messages about server-side use of client-side functionsGravatar Adam Chlipala2011-11-14
* Compiler frees as much memory as possible before passing control to C compilerGravatar Adam Chlipala2011-08-15
* getHeader and setHeaderGravatar Adam Chlipala2011-05-29
* Add an extra Especialize pass before RpcifyGravatar Adam Chlipala2010-12-24
* minHeap option in .urp filesGravatar Adam Chlipala2010-12-11
* Server-side 'onError'Gravatar Adam Chlipala2010-09-07
* Another run of Specialize, using ReduceLocal on datatype parametersGravatar Adam Chlipala2010-06-05
* Some serious bug-fix work to get HTML example to compile; this includes fixin...Gravatar Adam Chlipala2010-06-03
* -moduleOf command-line option; compatibility fixes and better error messages ...Gravatar Adam Chlipala2010-05-27
* Command-line use of IflowGravatar Adam Chlipala2010-04-13
* Generated basic dummy Iflow conditionsGravatar Adam Chlipala2010-04-04
* Remove unpoly1Gravatar Adam Chlipala2010-03-16
* safeGetGravatar Adam Chlipala2010-03-09
* Got split1 working, but noticed a nasty type inference bug with transplanted ...Gravatar Adam Chlipala2010-03-06
* benignEffectfulGravatar Adam Chlipala2010-02-27
* Basic analysis of tag and CSS class usageGravatar Adam Chlipala2010-02-27
* sigfile directiveGravatar Adam Chlipala2010-02-11
* Module rootsGravatar Adam Chlipala2009-12-24
* Convenience libifying; allow more NULLs with globalsGravatar Adam Chlipala2009-12-24
* Alternate job-parsing interface, to avoid merging library directivesGravatar Adam Chlipala2009-12-22
* Especialize uses a termination measure based on number of arguments introducedGravatar Adam Chlipala2009-12-15
* Shake bug fix; pattern reduction in ReduceLocalGravatar Adam Chlipala2009-12-08
* Refactor compile functions; allow empty tag contentsGravatar Adam Chlipala2009-11-25
* RPC uses VM support for call/ccGravatar Adam Chlipala2009-10-25
* Inlining threshold for Mono_reduceGravatar Adam Chlipala2009-10-25
* Grid changed to use Dlist.replace; filters stopped workingGravatar Adam Chlipala2009-09-17
* dragList almost kinda worksGravatar Adam Chlipala2009-09-08
* Working on Grid; have gone from one dynamic table bizareness to anotherGravatar Adam Chlipala2009-07-19
* Demo working with MySQLGravatar Adam Chlipala2009-07-16
* Start of multi-DBMS supportGravatar Adam Chlipala2009-06-28
* Improving/reordering Unpoly and Especialize; pathmapsGravatar Adam Chlipala2009-05-14
* allow/deny working in Mono_optGravatar Adam Chlipala2009-05-02
* Path rewritingGravatar Adam Chlipala2009-05-02