Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Export fewer symbols | Benjamin Barenblat | 2016-08-05 |
| | | | | Closes https://github.com/urweb/urweb/issues/43. | ||
* | Spelling | Benjamin Barenblat | 2016-08-03 |
| | |||
* | Support OpenSSL 1.1 | Benjamin Barenblat | 2016-07-20 |
| | | | | Closes https://github.com/urweb/urweb/issues/35. | ||
* | uw_memmem: correct indentation | Benjamin Barenblat | 2016-07-20 |
| | | | | Closes https://github.com/urweb/urweb/issues/36. | ||
* | urweb-mode: do not configure require-final-newline | Tuncer Ayaz | 2016-07-15 |
| | | | | | | | Ur/Web source files do not require a final newline. Thus, require-final-newline is a personal setting and should not be configured in the major mode. Setting it here will also negatively impact helpers like ethan-wspace. | ||
* | Prepare Postgres code for NULL error fields | Adam Chlipala | 2016-06-17 |
| | |||
* | Rename memmem() to urweb_memmem(), to avoid unintentionally picking up ↵ | Adam Chlipala | 2016-06-15 |
| | | | | prototype from libc | ||
* | Elaborate C expression to appease recent compilers | Adam Chlipala | 2016-06-10 |
| | |||
* | Change some vector operations to remain compatible with MLton working version | Adam Chlipala | 2016-05-29 |
| | |||
* | Silence gcc warnings | Alexander | 2016-05-26 |
| | | | "warning: 'entry' may be used uninitialized in this function" | ||
* | abs and floor added | Karen Sargsyan | 2016-05-23 |
| | |||
* | asin, acos, atan, atan2 added | Karen Sargsyan | 2016-05-22 |
| | |||
* | Some basic math functions: pow, sqrt, sin, cos, log, exp are added to work ↵ | Karen Sargsyan | 2016-05-21 |
| | | | | at client and server sides | ||
* | Increase default timeout to cope with behavior of some Chrome versions | Adam Chlipala | 2016-05-16 |
| | |||
* | Support for <meta> tags | Adam Chlipala | 2016-05-15 |
| | |||
* | Streamline callout to emacs for HTML rendering. | Marko Schuetz-Schmuck | 2016-05-05 |
| | |||
* | Fix preservation of headers when returning blobs | Adam Chlipala | 2016-04-15 |
| | |||
* | At runtime, catch when we exceed 'limit inputs' | Adam Chlipala | 2016-03-30 |
| | |||
* | 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 |
| | |||
* | Make JavaScript escaping handle ampersands properly | Adam Chlipala | 2016-02-23 |
| | |||
* | Set associativity of SQL 'LIKE' | Adam Chlipala | 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 |
| | |||
* | 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 |
| | |||
* | 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 |
| | | |||
| * | 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. | ||
| * | 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 |
| | |||
* | 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 |
| | |||
* | Remove duplicate typedef declarations. | Ziv Scully | 2015-12-30 |
| | |||
* | Merge Sqlcache | Adam Chlipala | 2015-12-20 |
|\ | |||
* | | Unnest properly in presence of kind polymorphism | Adam Chlipala | 2015-12-20 |
| | | |||
* | | Change Postgres schema-checking code to account properly for namespaces | Adam Chlipala | 2015-12-08 |
| | | |||
* | | New .urp directive: jsFile | Adam Chlipala | 2015-12-05 |
| | | |||
* | | Fix tricky case of functor signature subsumption | Adam Chlipala | 2015-11-27 |
| | | |||
* | | Reduce: add reduction in some spots previously missed, associated with ↵ | Adam Chlipala | 2015-11-25 |
| | | | | | | | | 'case' return types | ||
* | | Make daemon mode support sharing of libraries across projects | Adam Chlipala | 2015-11-22 |
| | | |||
| * | Add read locks around time read in store. | Ziv Scully | 2015-11-20 |
| | | |||
| * | Tiny concurrency bugfix (race condition on cache->timeNow). | Ziv Scully | 2015-11-20 |
| | | |||
| * | Tweak cache consolidation and choose better default. | Ziv Scully | 2015-11-20 |
| | | |||
| * | More work on heuristics. | Ziv Scully | 2015-11-19 |
| | | |||
| * | Add consolidation heuristic options. | Ziv Scully | 2015-11-19 |
| | |