debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
*	Merge pull request #11 from JasonGross/update-mlton-tap	Adam Chlipala	2016-01-02
\|\
\| *	Update the homebrew tap for mlton	Jason Gross	2016-01-01
* \|	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
\|\
* \	Merge pull request #5 from vizziv/master	Adam Chlipala	2015-12-31
\|\ \
* \ \	Merge pull request #2 from JasonGross/travis-yml	Adam Chlipala	2015-12-31
\|\ \ \
\| * \| \|	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
\| \| \| *	Move some things around in configure.ac	Jason Gross	2015-12-30
\| \|_\|/ \|/\| \|
\| \| *	Remove duplicate typedef declarations.	Ziv Scully	2015-12-30
\| \|/ \|/\|
\| *	Add tap for mlton on osx	Jason Gross	2015-12-30
\| *	Add build status image to README.md	Jason Gross	2015-12-30
\| *	Add .travis.yml for automated testing	Jason Gross	2015-12-30
\|/
*	Remove old Mercurial reference	Adam Chlipala	2015-12-20
*	Imported to Git from Mercurial	Adam Chlipala	2015-12-20
*	Return to working version mode	Adam Chlipala	2015-12-20
*	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
* \|	Return to working version mode	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
\| *	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