debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
*	Merge branch 'upstream' into dfsg_clean20151220+dfsg	Benjamin Barenblat	2015-12-23
\|\
\| *	New release	Adam Chlipala	2015-12-20
\| *	Short manual note on -sqlcache	Adam Chlipala	2015-12-20
\| *	Merge Sqlcache	Adam Chlipala	2015-12-20
\| \|\
\| * \|	Unnest properly in presence of kind polymorphism	Adam Chlipala	2015-12-20
\| * \|	Fixing dynClass for <tr>s	Adam Chlipala	2015-12-15
\| * \|	Change Postgres schema-checking code to account properly for namespaces	Adam Chlipala	2015-12-08
\| * \|	Document jsFile	Adam Chlipala	2015-12-05
\| * \|	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 'case'...	Adam Chlipala	2015-11-25
* \| \|	Merge branch 'upstream' into dfsg_clean20151122+dfsg	Benjamin Barenblat	2015-11-22
\|\ \ \
\| \| * \|	Return to working version mode	Adam Chlipala	2015-11-22
\| * \| \|	New release	Adam Chlipala	2015-11-22
\| \| * \|	New release	Adam Chlipala	2015-11-22
\| * \| \|	Make daemon mode support sharing of libraries across projects	Adam Chlipala	2015-11-22
\| \| * \|	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
\| \| \| *	Fix condition for installing new cache entries	Adam Chlipala	2015-11-19
\| \| \| *	Fix a read-after-free bug using a timestamp check	Adam Chlipala	2015-11-19
\| \| \| *	Fix a few C memory bugs	Adam Chlipala	2015-11-19
\| \| \| *	Fix SQL parser JOIN bug and fix ON clause logic in Sqlcache.	Ziv Scully	2015-11-19
\| \| \| *	Support nested queries but disable UrFlow for now.	Ziv Scully	2015-11-19
\| \| \| *	Trivial change to benchmark.	Ziv Scully	2015-11-18
\| \| \| *	Ran a benchmark!	Ziv Scully	2015-11-17
\| \| \| *	Make cache flushes happen immediately instead of at end of transaction.	Ziv Scully	2015-11-17
\| \| \| *	Add small benchmark (WIP).	ziv	2015-11-15
\| \| \| *	Fix bugs for lock calculation and SQL parsing and add support for tasks.	Ziv Scully	2015-11-15
\| \| \| *	Finish locking, but it's not yet tested rigorously.	Ziv Scully	2015-11-13
\| \| \| *	Remove debugging print statement.	Ziv Scully	2015-11-13
\| \| \| *	Fix issue with one-element caches. Locking still WIP.	Ziv Scully	2015-11-13
\| \| \| *	Fix committing multiple stores/flushes. Locking is WIP.	Ziv Scully	2015-11-12
\| \| \| *	Actually use transactional machinery for flushes this time.	Ziv Scully	2015-11-12
\| \| \| *	Initialize invalidation to NULL!	Ziv Scully	2015-11-12
\| \| \| *	Make cache flushes safe for transactions (not sure about LRU bump on read).	Ziv Scully	2015-11-12
\| \| \| *	Simplify C interface.	Ziv Scully	2015-11-12
\| \| \| *	Merge.	Ziv Scully	2015-11-12
\| \| \| \|\ \| \| \| \|/ \| \| \|/\|
\| \| \| *	Rewrite LRU cache. Now uses one big hash table and is less buggy.	Ziv Scully	2015-11-11
\| \| \| *	Fix bug in and clean up free path code.	Ziv Scully	2015-11-10
\| \| \| *	Add new files missing from previous commit.	Ziv Scully	2015-11-09
\| \| \| *	Progress on free paths, but consolidation seems to fail more with them.	Ziv Scully	2015-11-09
\| \| \| *	Fix some table renaming issues.	Ziv Scully	2015-11-07
\| \| \| *	First draft of more specific formulas for queries.	Ziv Scully	2015-11-05
\| \| \| *	Consildation of caches understands sqlification.	Ziv Scully	2015-11-04
\| * \| \|	Change behavior of SQL equality to do the intuitive thing for nullable types	Adam Chlipala	2015-11-01
\| \| * \|	Change behavior of SQL equality to do the intuitive thing for nullable types	Adam Chlipala	2015-11-01