summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* 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
|/
* 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
* | Reduce: add reduction in some spots previously missed, associated with 'case'...Gravatar Adam Chlipala2015-11-25
* | Return to working version modeGravatar Adam Chlipala2015-11-22
* | New releaseGravatar Adam Chlipala2015-11-22
* | Make daemon mode support sharing of libraries across projectsGravatar Adam Chlipala2015-11-22
| * Add read locks around time read in store.Gravatar Ziv Scully2015-11-20
| * Tiny concurrency bugfix (race condition on cache->timeNow).Gravatar Ziv Scully2015-11-20
| * Tweak cache consolidation and choose better default.Gravatar Ziv Scully2015-11-20
| * More work on heuristics.Gravatar Ziv Scully2015-11-19
| * Add consolidation heuristic options.Gravatar Ziv Scully2015-11-19
| * Fix condition for installing new cache entriesGravatar Adam Chlipala2015-11-19
| * Fix a read-after-free bug using a timestamp checkGravatar Adam Chlipala2015-11-19
| * Fix a few C memory bugsGravatar Adam Chlipala2015-11-19
| * Fix SQL parser JOIN bug and fix ON clause logic in Sqlcache.Gravatar Ziv Scully2015-11-19