summaryrefslogtreecommitdiff
path: root/src/compiler.sig
Commit message (Collapse)AuthorAge
* New phase: DbmodecheckGravatar Adam Chlipala2014-08-17
|
* 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 ↵Gravatar Adam Chlipala2013-03-15
| | | | earlier in compilation
* 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.)
* 'linker' .urp directiveGravatar Adam Chlipala2012-04-22
|
* -dumpSource flag; Especialize tweak: may specialize any argument sequence ↵Gravatar Adam Chlipala2012-01-12
| | | | ending in a value of function-containing type
* 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 ↵Gravatar Adam Chlipala2010-06-03
| | | | fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
* -moduleOf command-line option; compatibility fixes and better error messages ↵Gravatar Adam Chlipala2010-05-27
| | | | for SQLite
* 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
| | | | unification variables
* 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
|
* More FFI compiler optionsGravatar Adam Chlipala2009-05-02
|
* Successfully influenced effectful-ness status of FFI funcGravatar Adam Chlipala2009-05-02
|
* C FFI compiler optionsGravatar Adam Chlipala2009-04-30
|
* Reading blobs from the databaseGravatar Adam Chlipala2009-04-26
|
* Effectness analysisGravatar Adam Chlipala2009-04-16
|
* Fix overzealous Marshalcheck; garbage-collect string-embedded closures when ↵Gravatar Adam Chlipala2009-04-04
| | | | no dyns are active
* MarshalcheckGravatar Adam Chlipala2009-03-28
|
* Variable timeouts and client keep-aliveGravatar Adam Chlipala2009-03-24
|