summaryrefslogtreecommitdiff
path: root/src/compiler.sig
Commit message (Expand)AuthorAge
* 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
* 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 n...Gravatar Adam Chlipala2009-04-04
* MarshalcheckGravatar Adam Chlipala2009-03-28
* Variable timeouts and client keep-aliveGravatar Adam Chlipala2009-03-24
* Avoid any JavaScript when pages don't need it; update demo proseGravatar Adam Chlipala2009-03-10
* Conversion of functions to CPS, to facilitate ServerCallGravatar Adam Chlipala2009-03-08
* Start of RPCificationGravatar Adam Chlipala2009-02-14
* Initial experiments with nested <dyn>Gravatar Adam Chlipala2009-01-13
* Handling singnal bindGravatar Adam Chlipala2008-12-21
* Start of JsCompGravatar Adam Chlipala2008-12-20
* Stop using redundant Defunc passGravatar Adam Chlipala2008-11-27
* Fusing writes with recursive function callsGravatar Adam Chlipala2008-11-25
* Profiling supportGravatar Adam Chlipala2008-11-20
* Get preliminary ThreadedBlog workingGravatar Adam Chlipala2008-11-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-31 19:27:42 +0000