Mercurial > urweb

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 1238: (0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip
age author description
Wed, 14 Apr 2010 09:18:16 -0400 Adam Chlipala Get refurbished Iflow working with calendar
Tue, 13 Apr 2010 16:36:16 -0400 Adam Chlipala More descriptive info flow error message
Tue, 13 Apr 2010 16:30:46 -0400 Adam Chlipala Completely redid main Iflow logic; so far, policy and policy2 work
Tue, 13 Apr 2010 11:34:59 -0400 Adam Chlipala Command-line use of Iflow
Tue, 13 Apr 2010 11:15:43 -0400 Adam Chlipala Catching lame FFI applications
Tue, 13 Apr 2010 10:40:55 -0400 Adam Chlipala Fix problem with overly weak ambients for queries; fix known-related bug in assert for Dt1
Tue, 13 Apr 2010 09:31:04 -0400 Adam Chlipala When applying multiple policies at once, filter the policy set at the beginning, removing unmatchable policies
less more | rev 1238: (0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip