summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Release for unstable20160213+dfsg-1Gravatar Benjamin Barenblat2016-02-13
* s/git:/https:/g, because plain-text transports are badGravatar Benjamin Barenblat2016-02-13
* Update debian/copyrightGravatar Benjamin Barenblat2016-02-13
* Update man pageGravatar Benjamin Barenblat2016-02-13
* Update debian/changelogGravatar Benjamin Barenblat2016-02-13
* Merge branch 'dfsg_clean'Gravatar Benjamin Barenblat2016-02-13
|\
| * Merge branch 'upstream' into dfsg_clean20160213+dfsgGravatar Benjamin Barenblat2016-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
| | * 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 removi...Gravatar Adam Chlipala2016-01-16
| | * More debugging autoconf by pushing a change for Travis to look at: use '-debu...Gravatar Adam Chlipala2016-01-16
| | * 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
| | | |\
| | | * | Merge pull request #11 from JasonGross/update-mlton-tapGravatar Adam Chlipala2016-01-02
| | |/| |
| | | | * Untagle boot and static flagsGravatar Eran Meir2016-01-02
| | | | |\
| | | | | * Untagle boot and static flagsGravatar Eran Meir2016-01-02
| | | * | | Update the homebrew tap for mltonGravatar Jason Gross2016-01-01
| | | | * | 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
| | | |/ | | |/|
| | * | 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
| | |\
| | * \ Merge pull request #5 from vizziv/masterGravatar Adam Chlipala2015-12-31
| | |\ \
| | * \ \ Merge pull request #2 from JasonGross/travis-ymlGravatar Adam Chlipala2015-12-31
| | |\ \ \
| | | * | | 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
| | | | | * Move some things around in configure.acGravatar Jason Gross2015-12-30
| | | |_|/ | | |/| |
| | | | * 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
| | |/
* | | Release for unstable20151220+dfsg-1Gravatar Benjamin Barenblat2015-12-23
* | | Build architecture-independent targets with -A (closes Debian #806662)Gravatar Benjamin Barenblat2015-12-23
* | | Update symbols filesGravatar Benjamin Barenblat2015-12-23
* | | Remove unnecessary dh-exec usageGravatar Benjamin Barenblat2015-12-23
* | | Devendor uthashGravatar Benjamin Barenblat2015-12-23
* | | Update debian/control for GitHub transitionGravatar Benjamin Barenblat2015-12-23
* | | Update man pageGravatar Benjamin Barenblat2015-12-23
* | | Update debian/changelogGravatar Benjamin Barenblat2015-12-23
* | | Merge branch 'dfsg_clean'Gravatar Benjamin Barenblat2015-12-23
|\| |