summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Merge branch 'upstream' into dfsg_clean20160515+dfsgGravatar Benjamin Barenblat2016-05-30
|\
| * New releaseGravatar Adam Chlipala2016-05-15
| |
| * Support for <meta> tagsGravatar Adam Chlipala2016-05-15
| |
| * Add some tests for Content-DispositionGravatar Adam Chlipala2016-05-05
| |
| * Merge pull request #25 from MarkoSchuetz/masterGravatar Adam Chlipala2016-05-05
| |\ | | | | | | Streamline callout to emacs for HTML rendering.
| | * Streamline callout to emacs for HTML rendering.Gravatar Marko Schuetz-Schmuck2016-05-05
| |/
| * Fix preservation of headers when returning blobsGravatar Adam Chlipala2016-04-15
| |
| * At runtime, catch when we exceed 'limit inputs'Gravatar Adam Chlipala2016-03-30
| |
| * Merge pull request #19 from AlexanderAA/masterGravatar Adam Chlipala2016-03-18
| |\ | | | | | | Resource integrity attributes for HTML link element
| * | Use IS NOT DISTINCT FROM; improve Sql parserGravatar Adam Chlipala2016-03-12
| | |
| * | MonoReduce: fancier test for inlining a record where each field is used at ↵Gravatar Adam Chlipala2016-03-12
| | | | | | | | | | | | most once
| * | Sqlcache: also record script additions; do a MonoReduce afterward, to help ↵Gravatar Adam Chlipala2016-03-12
| | | | | | | | | | | | Prepare do a better job
| * | Make Sql compatible with unmanglingGravatar Adam Chlipala2016-03-11
| | |
| | * Resource integrity attributes for HTML link element. ↵Gravatar Alexander Abushkevich2016-03-10
| |/ | | | | | | http://www.w3.org/TR/2015/CR-SRI-20151112/
| * Return to working version modeGravatar Adam Chlipala2016-03-06
| |
| * New releaseGravatar Adam Chlipala2016-03-06
| |
| * More consistent formatting for new List functionsGravatar Adam Chlipala2016-02-26
| |
| * Merge pull request #18 from AlexanderAA/masterGravatar Adam Chlipala2016-02-26
| |\ | | | | | | Find longest prefix of elements, which satisfy a predicate; Group a list
| | * Return lists in their original order in span functionGravatar Alexander Abushkevich2016-02-24
| | |
| * | Make JavaScript escaping handle ampersands properlyGravatar Adam Chlipala2016-02-23
| | |
| * | Set associativity of SQL 'LIKE'Gravatar Adam Chlipala2016-02-23
| | |
| | * Find longest prefix of elements, which satisfy a predicate; Group a listGravatar Alexander Abushkevich2016-02-23
| |/
| * Allow backslash-r in string literalsGravatar Adam Chlipala2016-02-17
| |
| * Fix handling of returnBlob headers for FastCGI, etc.Gravatar Adam Chlipala2016-02-14
| |
* | Merge branch 'upstream' into dfsg_clean20160213+dfsgGravatar Benjamin Barenblat2016-02-13
|\ \
| | * Return to working version modeGravatar Adam Chlipala2016-02-13
| |/
| * New releaseGravatar Adam Chlipala2016-02-13
| |
| * Add a cast to thread_id(), to support more platformsGravatar Adam Chlipala2016-02-13
| |
| * 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
| |
| * Use official MLton Homebrew packageGravatar Adam Chlipala2016-01-16
| |
| * Remove '-debug' from 'make test'Gravatar Adam Chlipala2016-01-16
| |
| * More debugging autoconf by pushing a change for Travis to look at: try ↵Gravatar Adam Chlipala2016-01-16
| | | | | | | | removing Darwin special case
| * More debugging autoconf by pushing a change for Travis to look at: use ↵Gravatar Adam Chlipala2016-01-16
| | | | | | | | '-debug' in 'make test'
| * Debugging autoconf by pushing a change for Travis to look atGravatar Adam Chlipala2016-01-16
| |
| * Tweaking discovery of Pthreads C flagsGravatar Adam Chlipala2016-01-16
| |
| * Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2016-01-02
| |\
| * | Finishing the last change in final handling of enumerated typesGravatar Adam Chlipala2016-01-02
| | |
| | * Merge pull request #10 from eranmeir/pthread_linker_flagsGravatar Adam Chlipala2016-01-02
| | |\ | | | | | | | | Prevent pthread cflags options from being passed to linker
| | * | Merge pull request #11 from JasonGross/update-mlton-tapGravatar Adam Chlipala2016-01-02
| |/| | | | | | | | | | Update the homebrew tap for mlton
| | | * Untagle boot and static flagsGravatar Eran Meir2016-01-02
| | | |\ | | | | | | | | | | | | | | | | | | | | | | | | | -boot flag should build a dynamic executable but link urweb libraries statically (from build tree). This should fix the problem of not being able to build static executables on OSX.
| | | | * Untagle boot and static flagsGravatar Eran Meir2016-01-02
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Boot flag should build a dynamic executable but link urweb libraries statically (from build tree). This should fix the problem of not being able to build static executables on OSX.
| | * | | Update the homebrew tap for mltonGravatar Jason Gross2016-01-01
| | | | | | | | | | | | | | | | | | | | | | | | | This version of the tap has mlton looking for libgmp.a in the correct directory.
| | | * | Remove static linking enforcement when passing -boot flagGravatar Eran Meir2016-01-02
| | | |/
| | | * updating mlton tapGravatar Eran Meir2016-01-02
| | | |
| | | * Prevent pthread cflags options from being passed to linkerGravatar Eran Meir2016-01-02
| | |/ | |/| | | | | | | (in order to fix build issue on mac)
| * | Fix issue with enumerated types and dependency orderGravatar Adam Chlipala2016-01-01
| |/
| * Upgrade M4 macros for pthreads and remove custom workaroundGravatar Adam Chlipala2015-12-31
| |
| * A simple eta rule for constructor-level tuplesGravatar Adam Chlipala2015-12-31
| |
| * Some bugs related to kind-checking tuplesGravatar Adam Chlipala2015-12-31
| |