summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
* Export fewer symbolsGravatar Benjamin Barenblat2016-08-05
| | | | Closes https://github.com/urweb/urweb/issues/43.
* SpellingGravatar Benjamin Barenblat2016-08-03
|
* Support OpenSSL 1.1Gravatar Benjamin Barenblat2016-07-20
| | | | Closes https://github.com/urweb/urweb/issues/35.
* uw_memmem: correct indentationGravatar Benjamin Barenblat2016-07-20
| | | | Closes https://github.com/urweb/urweb/issues/36.
* urweb-mode: do not configure require-final-newlineGravatar Tuncer Ayaz2016-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 fieldsGravatar Adam Chlipala2016-06-17
|
* Rename memmem() to urweb_memmem(), to avoid unintentionally picking up ↵Gravatar Adam Chlipala2016-06-15
| | | | prototype from libc
* Elaborate C expression to appease recent compilersGravatar Adam Chlipala2016-06-10
|
* Change some vector operations to remain compatible with MLton working versionGravatar Adam Chlipala2016-05-29
|
* Silence gcc warningsGravatar Alexander2016-05-26
| | | "warning: 'entry' may be used uninitialized in this function"
* abs and floor addedGravatar Karen Sargsyan2016-05-23
|
* asin, acos, atan, atan2 addedGravatar Karen Sargsyan2016-05-22
|
* Some basic math functions: pow, sqrt, sin, cos, log, exp are added to work ↵Gravatar Karen Sargsyan2016-05-21
| | | | at client and server sides
* Increase default timeout to cope with behavior of some Chrome versionsGravatar Adam Chlipala2016-05-16
|
* Support for <meta> tagsGravatar Adam Chlipala2016-05-15
|
* 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
|
* 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
|
* Make JavaScript escaping handle ampersands properlyGravatar Adam Chlipala2016-02-23
|
* Set associativity of SQL 'LIKE'Gravatar Adam Chlipala2016-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
|
* 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
|
* 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
| |
| * 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.
| * 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
|
* A simple eta rule for constructor-level tuplesGravatar Adam Chlipala2015-12-31
|
* Some bugs related to kind-checking tuplesGravatar Adam Chlipala2015-12-31
|
* Remove duplicate typedef declarations.Gravatar Ziv Scully2015-12-30
|
* Merge SqlcacheGravatar Adam Chlipala2015-12-20
|\
* | Unnest properly in presence of kind polymorphismGravatar Adam Chlipala2015-12-20
| |
* | Change Postgres schema-checking code to account properly for namespacesGravatar Adam Chlipala2015-12-08
| |
* | New .urp directive: jsFileGravatar Adam Chlipala2015-12-05
| |
* | Fix tricky case of functor signature subsumptionGravatar Adam Chlipala2015-11-27
| |
* | Reduce: add reduction in some spots previously missed, associated with ↵Gravatar Adam Chlipala2015-11-25
| | | | | | | | 'case' return types
* | Make daemon mode support sharing of libraries across projectsGravatar Adam Chlipala2015-11-22
| |
| * Add read locks around time read in store.Gravatar Ziv Scully2015-11-20
| |
| * Tiny concurrency bugfix (race condition on cache->timeNow).Gravatar Ziv Scully2015-11-20
| |
| * Tweak cache consolidation and choose better default.Gravatar Ziv Scully2015-11-20
| |
| * More work on heuristics.Gravatar Ziv Scully2015-11-19
| |
| * Add consolidation heuristic options.Gravatar Ziv Scully2015-11-19
| |