Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | At runtime, catch when we exceed 'limit inputs' | Adam Chlipala | 2016-03-30 |
| | |||
* | Merge pull request #19 from AlexanderAA/master | Adam Chlipala | 2016-03-18 |
|\ | | | | | Resource integrity attributes for HTML link element | ||
* | | Use IS NOT DISTINCT FROM; improve Sql parser | Adam Chlipala | 2016-03-12 |
| | | |||
* | | MonoReduce: fancier test for inlining a record where each field is used at ↵ | Adam Chlipala | 2016-03-12 |
| | | | | | | | | most once | ||
* | | Sqlcache: also record script additions; do a MonoReduce afterward, to help ↵ | Adam Chlipala | 2016-03-12 |
| | | | | | | | | Prepare do a better job | ||
* | | Make Sql compatible with unmangling | Adam Chlipala | 2016-03-11 |
| | | |||
| * | Resource integrity attributes for HTML link element. ↵ | Alexander Abushkevich | 2016-03-10 |
|/ | | | | http://www.w3.org/TR/2015/CR-SRI-20151112/ | ||
* | Return to working version mode | Adam Chlipala | 2016-03-06 |
| | |||
* | New release | Adam Chlipala | 2016-03-06 |
| | |||
* | More consistent formatting for new List functions | Adam Chlipala | 2016-02-26 |
| | |||
* | Merge pull request #18 from AlexanderAA/master | Adam Chlipala | 2016-02-26 |
|\ | | | | | Find longest prefix of elements, which satisfy a predicate; Group a list | ||
| * | Return lists in their original order in span function | Alexander Abushkevich | 2016-02-24 |
| | | |||
* | | Make JavaScript escaping handle ampersands properly | Adam Chlipala | 2016-02-23 |
| | | |||
* | | Set associativity of SQL 'LIKE' | Adam Chlipala | 2016-02-23 |
| | | |||
| * | Find longest prefix of elements, which satisfy a predicate; Group a list | Alexander Abushkevich | 2016-02-23 |
|/ | |||
* | Allow backslash-r in string literals | Adam Chlipala | 2016-02-17 |
| | |||
* | Fix handling of returnBlob headers for FastCGI, etc. | Adam Chlipala | 2016-02-14 |
| | |||
* | Return to working version mode | Adam Chlipala | 2016-02-13 |
| | |||
* | New release | Adam Chlipala | 2016-02-13 |
| | |||
* | Add a cast to thread_id(), to support more platforms | Adam Chlipala | 2016-02-13 |
| | |||
* | Finish removing PWild; only load a library once, even if referenced multiple ↵ | Adam Chlipala | 2016-02-07 |
| | | | | times in a .urp tree | ||
* | Merge PVar and PWild, to get more reasonable type-class resolution | Adam Chlipala | 2016-02-07 |
| | |||
* | Use official MLton Homebrew package | Adam Chlipala | 2016-01-16 |
| | |||
* | Remove '-debug' from 'make test' | Adam Chlipala | 2016-01-16 |
| | |||
* | More debugging autoconf by pushing a change for Travis to look at: try ↵ | Adam Chlipala | 2016-01-16 |
| | | | | removing Darwin special case | ||
* | More debugging autoconf by pushing a change for Travis to look at: use ↵ | Adam Chlipala | 2016-01-16 |
| | | | | '-debug' in 'make test' | ||
* | Debugging autoconf by pushing a change for Travis to look at | Adam Chlipala | 2016-01-16 |
| | |||
* | Tweaking discovery of Pthreads C flags | Adam Chlipala | 2016-01-16 |
| | |||
* | Merge branch 'master' of ssh://github.com/urweb/urweb | Adam Chlipala | 2016-01-02 |
|\ | |||
* | | Finishing the last change in final handling of enumerated types | Adam Chlipala | 2016-01-02 |
| | | |||
| * | Merge pull request #10 from eranmeir/pthread_linker_flags | Adam Chlipala | 2016-01-02 |
| |\ | | | | | | | Prevent pthread cflags options from being passed to linker | ||
| * | | Merge pull request #11 from JasonGross/update-mlton-tap | Adam Chlipala | 2016-01-02 |
|/| | | | | | | | | Update the homebrew tap for mlton | ||
| | * | Untagle boot and static flags | Eran Meir | 2016-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 flags | Eran Meir | 2016-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 mlton | Jason Gross | 2016-01-01 |
| | | | | | | | | | | | | | | | | | | | | This version of the tap has mlton looking for libgmp.a in the correct directory. | ||
| | * | | Remove static linking enforcement when passing -boot flag | Eran Meir | 2016-01-02 |
| | |/ | |||
| | * | updating mlton tap | Eran Meir | 2016-01-02 |
| | | | |||
| | * | Prevent pthread cflags options from being passed to linker | Eran Meir | 2016-01-02 |
| |/ |/| | | | | | (in order to fix build issue on mac) | ||
* | | Fix issue with enumerated types and dependency order | Adam Chlipala | 2016-01-01 |
|/ | |||
* | Upgrade M4 macros for pthreads and remove custom workaround | Adam Chlipala | 2015-12-31 |
| | |||
* | A simple eta rule for constructor-level tuples | Adam Chlipala | 2015-12-31 |
| | |||
* | Some bugs related to kind-checking tuples | Adam Chlipala | 2015-12-31 |
| | |||
* | Merge pull request #6 from JasonGross/autoconf | Adam Chlipala | 2015-12-31 |
|\ | | | | | Move some things around in configure.ac | ||
* \ | Merge pull request #5 from vizziv/master | Adam Chlipala | 2015-12-31 |
|\ \ | | | | | | | Remove duplicate typedef declarations. | ||
* \ \ | Merge pull request #2 from JasonGross/travis-yml | Adam Chlipala | 2015-12-31 |
|\ \ \ | | | | | | | | | Add .travis.yml for automated testing | ||
| * | | | Pass --with-openssl to make use of brew's openssl on OSX | Jason Gross | 2015-12-30 |
| | | | | |||
| * | | | Also install openssl from brew on OSX in Travis | Jason Gross | 2015-12-30 |
| | | | | | | | | | | | | | | | | | | | | | | | | [A Google search](https://github.com/devsisters/gospdyquic/issues/1#issuecomment-102892729) suggests that the problem is that Mac OSX OpenSSL headers are broken. | ||
| | | * | Move some things around in configure.ac | Jason Gross | 2015-12-30 |
| |_|/ |/| | | | | | | | | This supresses "WARNING: `missing' script is too old or missing" | ||
| | * | Remove duplicate typedef declarations. | Ziv Scully | 2015-12-30 |
| |/ |/| | |||
| * | Add tap for mlton on osx | Jason Gross | 2015-12-30 |
| | |