summaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* Some basic math functions: pow, sqrt, sin, cos, log, exp are added to work at...Gravatar Karen Sargsyan2016-05-21
* 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 mo...Gravatar Adam Chlipala2016-03-12
* Sqlcache: also record script additions; do a MonoReduce afterward, to help Pr...Gravatar Adam Chlipala2016-03-12
* 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
* 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
| * Prevent pthread cflags options from being passed to linkerGravatar Eran Meir2016-01-02
|/
* 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 'case'...Gravatar Adam Chlipala2015-11-25
* | 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
| * Fix condition for installing new cache entriesGravatar Adam Chlipala2015-11-19
| * Fix a read-after-free bug using a timestamp checkGravatar Adam Chlipala2015-11-19
| * Fix a few C memory bugsGravatar Adam Chlipala2015-11-19
| * Fix SQL parser JOIN bug and fix ON clause logic in Sqlcache.Gravatar Ziv Scully2015-11-19
| * Support nested queries but disable UrFlow for now.Gravatar Ziv Scully2015-11-19
| * Make cache flushes happen immediately instead of at end of transaction.Gravatar Ziv Scully2015-11-17
| * Fix bugs for lock calculation and SQL parsing and add support for tasks.Gravatar Ziv Scully2015-11-15
| * Finish locking, but it's not yet tested rigorously.Gravatar Ziv Scully2015-11-13
| * Remove debugging print statement.Gravatar Ziv Scully2015-11-13
| * Fix issue with one-element caches. Locking still WIP.Gravatar Ziv Scully2015-11-13
| * Fix committing multiple stores/flushes. Locking is WIP.Gravatar Ziv Scully2015-11-12
| * Actually use transactional machinery for flushes this time.Gravatar Ziv Scully2015-11-12