debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	New release	Adam Chlipala	2016-02-13
\|
*	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
\|
*	Use official MLton Homebrew package	Adam Chlipala	2016-01-16
\|
*	Remove '-debug' from 'make test'	Adam Chlipala	2016-01-16
\|
*	More debugging autoconf by pushing a change for Travis to look at: try ↵	Adam Chlipala	2016-01-16
\| \| \| \|	removing Darwin special case
*	More debugging autoconf by pushing a change for Travis to look at: use ↵	Adam Chlipala	2016-01-16
\| \| \| \|	'-debug' in 'make test'
*	Debugging autoconf by pushing a change for Travis to look at	Adam Chlipala	2016-01-16
\|
*	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
\| \|
\| *	Merge pull request #10 from eranmeir/pthread_linker_flags	Adam Chlipala	2016-01-02
\| \|\ \| \| \| \| \| \|	Prevent pthread cflags options from being passed to linker
\| * \|	Merge pull request #11 from JasonGross/update-mlton-tap	Adam Chlipala	2016-01-02
\|/\| \| \| \| \| \| \| \|	Update the homebrew tap for mlton
\| \| *	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.
\| \| \| *	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.
\| * \| \|	Update the homebrew tap for mlton	Jason Gross	2016-01-01
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This version of the tap has mlton looking for libgmp.a in the correct directory.
\| \| * \|	Remove static linking enforcement when passing -boot flag	Eran Meir	2016-01-02
\| \| \|/
\| \| *	updating mlton tap	Eran Meir	2016-01-02
\| \| \|
\| \| *	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
\|/
*	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
\|\ \| \| \| \|	Move some things around in configure.ac
* \	Merge pull request #5 from vizziv/master	Adam Chlipala	2015-12-31
\|\ \ \| \| \| \| \| \|	Remove duplicate typedef declarations.
* \ \	Merge pull request #2 from JasonGross/travis-yml	Adam Chlipala	2015-12-31
\|\ \ \ \| \| \| \| \| \| \| \|	Add .travis.yml for automated testing
\| * \| \|	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
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	[A Google search](https://github.com/devsisters/gospdyquic/issues/1#issuecomment-102892729) suggests that the problem is that Mac OSX OpenSSL headers are broken.
\| \| \| *	Move some things around in configure.ac	Jason Gross	2015-12-30
\| \|_\|/ \|/\| \| \| \| \| \| \| \|	This supresses "WARNING: `missing' script is too old or missing"
\| \| *	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 ↵	Adam Chlipala	2015-11-25
\| \| \| \| \| \| \| \|	'case' return types
* \|	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
\| \|