index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Remove '-debug' from 'make test'
Adam Chlipala
2016-01-16
*
More debugging autoconf by pushing a change for Travis to look at: try removi...
Adam Chlipala
2016-01-16
*
More debugging autoconf by pushing a change for Travis to look at: use '-debu...
Adam Chlipala
2016-01-16
*
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
|
|
\
|
*
|
Merge pull request #11 from JasonGross/update-mlton-tap
Adam Chlipala
2016-01-02
|
/
|
|
|
|
*
Untagle boot and static flags
Eran Meir
2016-01-02
|
|
|
\
|
|
|
*
Untagle boot and static flags
Eran Meir
2016-01-02
|
*
|
|
Update the homebrew tap for mlton
Jason Gross
2016-01-01
|
|
*
|
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
|
|
/
|
/
|
*
|
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
[next]