summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Find longest prefix of elements, which satisfy a predicate; Group a listGravatar Alexander Abushkevich2016-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
|
* Return to working version modeGravatar Adam Chlipala2016-02-13
|
* New releaseGravatar Adam Chlipala2016-02-13
|
* 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
|
* Use official MLton Homebrew packageGravatar Adam Chlipala2016-01-16
|
* Remove '-debug' from 'make test'Gravatar Adam Chlipala2016-01-16
|
* More debugging autoconf by pushing a change for Travis to look at: try ↵Gravatar Adam Chlipala2016-01-16
| | | | removing Darwin special case
* More debugging autoconf by pushing a change for Travis to look at: use ↵Gravatar Adam Chlipala2016-01-16
| | | | '-debug' in 'make test'
* Debugging autoconf by pushing a change for Travis to look atGravatar Adam Chlipala2016-01-16
|
* 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
| |
| * Merge pull request #10 from eranmeir/pthread_linker_flagsGravatar Adam Chlipala2016-01-02
| |\ | | | | | | Prevent pthread cflags options from being passed to linker
| * | Merge pull request #11 from JasonGross/update-mlton-tapGravatar Adam Chlipala2016-01-02
|/| | | | | | | | Update the homebrew tap for mlton
| | * 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.
| | | * 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.
| * | | Update the homebrew tap for mltonGravatar Jason Gross2016-01-01
| | | | | | | | | | | | | | | | | | | | This version of the tap has mlton looking for libgmp.a in the correct directory.
| | * | Remove static linking enforcement when passing -boot flagGravatar Eran Meir2016-01-02
| | |/
| | * updating mlton tapGravatar Eran Meir2016-01-02
| | |
| | * 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
|/
* Upgrade M4 macros for pthreads and remove custom workaroundGravatar Adam Chlipala2015-12-31
|
* A simple eta rule for constructor-level tuplesGravatar Adam Chlipala2015-12-31
|
* Some bugs related to kind-checking tuplesGravatar Adam Chlipala2015-12-31
|
* Merge pull request #6 from JasonGross/autoconfGravatar Adam Chlipala2015-12-31
|\ | | | | Move some things around in configure.ac
* \ Merge pull request #5 from vizziv/masterGravatar Adam Chlipala2015-12-31
|\ \ | | | | | | Remove duplicate typedef declarations.
* \ \ Merge pull request #2 from JasonGross/travis-ymlGravatar Adam Chlipala2015-12-31
|\ \ \ | | | | | | | | Add .travis.yml for automated testing
| * | | Pass --with-openssl to make use of brew's openssl on OSXGravatar Jason Gross2015-12-30
| | | |
| * | | Also install openssl from brew on OSX in TravisGravatar Jason Gross2015-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.acGravatar Jason Gross2015-12-30
| |_|/ |/| | | | | | | | This supresses "WARNING: `missing' script is too old or missing"
| | * Remove duplicate typedef declarations.Gravatar Ziv Scully2015-12-30
| |/ |/|
| * Add tap for mlton on osxGravatar Jason Gross2015-12-30
| |
| * Add build status image to README.mdGravatar Jason Gross2015-12-30
| |
| * Add .travis.yml for automated testingGravatar Jason Gross2015-12-30
|/
* Remove old Mercurial referenceGravatar Adam Chlipala2015-12-20
|
* Imported to Git from MercurialGravatar Adam Chlipala2015-12-20
|
* Return to working version modeGravatar Adam Chlipala2015-12-20
|
* New releaseGravatar Adam Chlipala2015-12-20
|
* Short manual note on -sqlcacheGravatar Adam Chlipala2015-12-20
|
* Merge SqlcacheGravatar Adam Chlipala2015-12-20
|\
* | Unnest properly in presence of kind polymorphismGravatar Adam Chlipala2015-12-20
| |
* | Fixing dynClass for <tr>sGravatar Adam Chlipala2015-12-15
| |
* | Change Postgres schema-checking code to account properly for namespacesGravatar Adam Chlipala2015-12-08
| |
* | Document jsFileGravatar Adam Chlipala2015-12-05
| |
* | New .urp directive: jsFileGravatar Adam Chlipala2015-12-05
| |
* | Fix tricky case of functor signature subsumptionGravatar Adam Chlipala2015-11-27
| |