summaryrefslogtreecommitdiff
path: root/src/compiler.sig
Commit message (Collapse)AuthorAge
* 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
|
* 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
|
* Defunctionalization gets CommentBlog workingGravatar Adam Chlipala2008-11-09
|
* Nested save compilesGravatar Adam Chlipala2008-11-01
|
* First Unnest tests workingGravatar Adam Chlipala2008-11-01
|
* EspecializeGravatar Adam Chlipala2008-10-30
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 11:26:00 +0000