Page MenuHomePhabricator
Feed All Transactions

All Transactions
Use Results
Edit Query

AuthorObjectTransactionDate
PiRKDiff 56683
PiRK created this diff. 
Wed, Nov 19, 14:49
teamcityD18968: kernel: Add flushError method to notifications
teamcity edited the summary of this revision. 
Wed, Nov 19, 14:44
PiRKD18967: scripted-diff: Rename FatalError to FatalErrorf
PiRK added a child revision: D18968: kernel: Add flushError method to notifications. 
Wed, Nov 19, 14:44
PiRKD18968: kernel: Add flushError method to notifications
PiRK retitled this revision from to kernel: Add flushError method to notifications. 
Wed, Nov 19, 14:44
PiRKD18968: kernel: Add flushError method to notifications
PiRK updated this revision to Diff 56682. 
Wed, Nov 19, 14:44
PiRKD18968: kernel: Add flushError method to notifications
PiRK edited the summary of this revision. 
Wed, Nov 19, 14:44
PiRKD18968: kernel: Add flushError method to notifications
PiRK requested review of this revision. 
Wed, Nov 19, 14:44
PiRKD18968: kernel: Add flushError method to notifications
PiRK edited the test plan for this revision. 
Wed, Nov 19, 14:44
PiRKD18968: kernel: Add flushError method to notifications
PiRK created this revision. 
Wed, Nov 19, 14:44
PiRKD18968: kernel: Add flushError method to notifications
PiRK added a parent revision: D18967: scripted-diff: Rename FatalError to FatalErrorf. 
Wed, Nov 19, 14:44
HeraldD18968: kernel: Add flushError method to notifications
Herald added a reviewer: Restricted Project. 
Wed, Nov 19, 14:44
PiRKDiff 56682
PiRK created this diff. 
Wed, Nov 19, 14:44
teamcityD18967: scripted-diff: Rename FatalError to FatalErrorf
teamcity edited the summary of this revision. 
Wed, Nov 19, 14:44
PiRKD18967: scripted-diff: Rename FatalError to FatalErrorf
PiRK requested review of this revision. 
Wed, Nov 19, 14:43
PiRKD18967: scripted-diff: Rename FatalError to FatalErrorf
PiRK retitled this revision from to scripted-diff: Rename FatalError to FatalErrorf. 
Wed, Nov 19, 14:43
PiRKD18967: scripted-diff: Rename FatalError to FatalErrorf
PiRK added a parent revision: D18966: kernel: Pass interrupt reference to chainman. 
Wed, Nov 19, 14:43
HeraldD18967: scripted-diff: Rename FatalError to FatalErrorf
Herald added a reviewer: Restricted Project. 
Wed, Nov 19, 14:43
PiRKD18966: kernel: Pass interrupt reference to chainman
PiRK added a child revision: D18967: scripted-diff: Rename FatalError to FatalErrorf. 
Wed, Nov 19, 14:43
PiRKD18967: scripted-diff: Rename FatalError to FatalErrorf
PiRK edited the summary of this revision. 
Wed, Nov 19, 14:43
PiRKD18967: scripted-diff: Rename FatalError to FatalErrorf
PiRK updated this revision to Diff 56681. 
Wed, Nov 19, 14:43
PiRKD18967: scripted-diff: Rename FatalError to FatalErrorf
PiRK created this revision. 
Wed, Nov 19, 14:43
PiRKD18967: scripted-diff: Rename FatalError to FatalErrorf
PiRK edited the test plan for this revision. 
Wed, Nov 19, 14:43
PiRKDiff 56681
PiRK created this diff. 
Wed, Nov 19, 14:43
teamcityD18966: kernel: Pass interrupt reference to chainman
teamcity edited the summary of this revision. 
Wed, Nov 19, 14:42
PiRKD18966: kernel: Pass interrupt reference to chainman
PiRK requested review of this revision. 
Wed, Nov 19, 14:42
PiRKD18966: kernel: Pass interrupt reference to chainman
PiRK created this revision. 
Wed, Nov 19, 14:42
PiRKD18966: kernel: Pass interrupt reference to chainman
PiRK retitled this revision from to kernel: Pass interrupt reference to chainman. 
Wed, Nov 19, 14:42
PiRKD18966: kernel: Pass interrupt reference to chainman
PiRK edited the summary of this revision. 
Wed, Nov 19, 14:42
PiRKD18965: util: Add SignalInterrupt class and use in shutdown.cpp
PiRK added a child revision: D18966: kernel: Pass interrupt reference to chainman. 
Wed, Nov 19, 14:42
HeraldD18966: kernel: Pass interrupt reference to chainman
Herald added a reviewer: Restricted Project. 
Wed, Nov 19, 14:42
PiRKD18966: kernel: Pass interrupt reference to chainman
PiRK updated this revision to Diff 56680. 
Wed, Nov 19, 14:42
PiRKD18966: kernel: Pass interrupt reference to chainman
PiRK edited the test plan for this revision. 
Wed, Nov 19, 14:42
PiRKD18966: kernel: Pass interrupt reference to chainman
PiRK added a parent revision: D18965: util: Add SignalInterrupt class and use in shutdown.cpp. 
Wed, Nov 19, 14:42
PiRKDiff 56680
PiRK created this diff. 
Wed, Nov 19, 14:42
teamcityD18965: util: Add SignalInterrupt class and use in shutdown.cpp
teamcity edited the summary of this revision. 
Wed, Nov 19, 14:41
PiRKD18965: util: Add SignalInterrupt class and use in shutdown.cpp
PiRK edited the test plan for this revision. 
Wed, Nov 19, 14:41
PiRKD18965: util: Add SignalInterrupt class and use in shutdown.cpp
PiRK created this revision. 
Wed, Nov 19, 14:41
PiRKD18965: util: Add SignalInterrupt class and use in shutdown.cpp
PiRK edited the summary of this revision. 
Wed, Nov 19, 14:41
PiRKD18965: util: Add SignalInterrupt class and use in shutdown.cpp
PiRK requested review of this revision. 
Wed, Nov 19, 14:41
HeraldD18965: util: Add SignalInterrupt class and use in shutdown.cpp
Herald added a reviewer: Restricted Project. 
Wed, Nov 19, 14:41
PiRKD18965: util: Add SignalInterrupt class and use in shutdown.cpp
PiRK updated this revision to Diff 56679. 
Wed, Nov 19, 14:41
PiRKD18964: util: move threadinterrupt into util
PiRK added a child revision: D18965: util: Add SignalInterrupt class and use in shutdown.cpp. 
Wed, Nov 19, 14:41
PiRKD18965: util: Add SignalInterrupt class and use in shutdown.cpp
PiRK added a parent revision: D18964: util: move threadinterrupt into util. 
Wed, Nov 19, 14:41
PiRKD18965: util: Add SignalInterrupt class and use in shutdown.cpp
PiRK retitled this revision from to util: Add SignalInterrupt class and use in shutdown.cpp. 
Wed, Nov 19, 14:41
PiRKDiff 56679
PiRK created this diff. 
Wed, Nov 19, 14:41
FabienB35114: Diff 56678
Fabien restarted this buildable. 
Wed, Nov 19, 13:35
FabienBuild 69686: Build Diff
Fabien restarted this build. 
Wed, Nov 19, 13:35
teamcityD18964: util: move threadinterrupt into util
teamcity added a comment. 
Wed, Nov 19, 11:31
HarbormasterD18964: util: move threadinterrupt into util
Harbormaster completed remote builds in B35114: Diff 56678. 
Wed, Nov 19, 11:31
PiRKD18964: util: move threadinterrupt into util
PiRK updated this revision to Diff 56678. 
Wed, Nov 19, 11:31
PiRKD18964: util: move threadinterrupt into util
PiRK added a comment. 
Wed, Nov 19, 11:31
PiRKDiff 56678
PiRK created this diff. 
Wed, Nov 19, 11:31
HarbormasterD18955: [64-bit ints] 32-bit integers? I never knew you
Harbormaster completed remote builds in B35113: Diff 56677. 
Wed, Nov 19, 11:23
teamcityW21 Code Coverage Summary
teamcity edited this Panel. 
Wed, Nov 19, 11:14
tobias_ruckD18955: [64-bit ints] 32-bit integers? I never knew you
tobias_ruck added a comment. 
Wed, Nov 19, 11:04
tobias_ruckD18955: [64-bit ints] 32-bit integers? I never knew you
tobias_ruck updated this revision to Diff 56677. 
Wed, Nov 19, 11:04
tobias_ruckDiff 56677
tobias_ruck created this diff. 
Wed, Nov 19, 11:04
teamcityW17 Build Status
teamcity edited this Panel. 
Wed, Nov 19, 11:02
PiRKD18964: util: move threadinterrupt into util
PiRK added a comment. 
Wed, Nov 19, 11:01
teamcityD18964: util: move threadinterrupt into util
teamcity added a comment. 
Wed, Nov 19, 11:00
teamcityD18964: util: move threadinterrupt into util
teamcity added a comment. 
Wed, Nov 19, 10:36
teamcityD18964: util: move threadinterrupt into util
teamcity added a comment. 
Wed, Nov 19, 10:36
HarbormasterD18964: util: move threadinterrupt into util
Harbormaster completed remote builds in B35112: Diff 56676. 
Wed, Nov 19, 10:36
teamcityD18964: util: move threadinterrupt into util
teamcity edited the summary of this revision. 
Wed, Nov 19, 10:31
PiRKD18964: util: move threadinterrupt into util
PiRK created this revision. 
Wed, Nov 19, 10:31
PiRKD18964: util: move threadinterrupt into util
PiRK updated this revision to Diff 56676. 
Wed, Nov 19, 10:31
PiRKD18964: util: move threadinterrupt into util
PiRK edited the test plan for this revision. 
Wed, Nov 19, 10:31
PiRKD18964: util: move threadinterrupt into util
PiRK requested review of this revision. 
Wed, Nov 19, 10:31
PiRKD18964: util: move threadinterrupt into util
PiRK edited the summary of this revision. 
Wed, Nov 19, 10:31
HeraldD18964: util: move threadinterrupt into util
Herald added a reviewer: Restricted Project. 
Wed, Nov 19, 10:31
PiRKD18964: util: move threadinterrupt into util
PiRK retitled this revision from to util: move threadinterrupt into util. 
Wed, Nov 19, 10:31
PiRKDiff 56676
PiRK created this diff. 
Wed, Nov 19, 10:30
FabienrABCWEB337c6cb67c02: [website] Build the man pages for iguana and the proof-manager-cli
Fabien added an edge: D18963: [website] Build the man pages for iguana and the proof-manager-cli. 
Wed, Nov 19, 10:17
FabienD18963: [website] Build the man pages for iguana and the proof-manager-cli
Fabien added a commit: rABCWEB337c6cb67c02: [website] Build the man pages for iguana and the proof-manager-cli. 
Wed, Nov 19, 10:17
FabienD18963: [website] Build the man pages for iguana and the proof-manager-cli
This revision was automatically updated to reflect the committed changes. 
Wed, Nov 19, 10:17
FabienD18963: [website] Build the man pages for iguana and the proof-manager-cli
Closed by commit rABCWEB337c6cb67c02: [website] Build the man pages for iguana and the proof-manager-cli (authored by Fabien). 
Wed, Nov 19, 10:17
FabienrABCWEB337c6cb67c02: [website] Build the man pages for iguana and the proof-manager-cli
Fabien added an edge: D18961: [cmake] Add man pages for the new executables. 
Wed, Nov 19, 10:17
FabienD18961: [cmake] Add man pages for the new executables
Fabien mentioned this in rABCWEB337c6cb67c02: [website] Build the man pages for iguana and the proof-manager-cli. 
Wed, Nov 19, 10:17
FabienrABCWEB337c6cb67c02: [website] Build the man pages for iguana and the proof-manager-cli
Fabien committed rABCWEB337c6cb67c02: [website] Build the man pages for iguana and the proof-manager-cli (authored by Fabien). 
Wed, Nov 19, 10:17
FabienrABCb391ea877c5f: [cmake] Add man pages for the new executables
Fabien added an edge: D18961: [cmake] Add man pages for the new executables. 
Wed, Nov 19, 10:17
FabienD18961: [cmake] Add man pages for the new executables
This revision was automatically updated to reflect the committed changes. 
Wed, Nov 19, 10:17
FabienD18961: [cmake] Add man pages for the new executables
Closed by commit rABCb391ea877c5f: [cmake] Add man pages for the new executables (authored by Fabien). 
Wed, Nov 19, 10:17
FabienD18961: [cmake] Add man pages for the new executables
Fabien added a commit: rABCb391ea877c5f: [cmake] Add man pages for the new executables. 
Wed, Nov 19, 10:17
FabienrABCb391ea877c5f: [cmake] Add man pages for the new executables
Fabien committed rABCb391ea877c5f: [cmake] Add man pages for the new executables (authored by Fabien). 
Wed, Nov 19, 10:17
PiRKD18963: [website] Build the man pages for iguana and the proof-manager-cli
PiRK accepted this revision. 
Wed, Nov 19, 10:16
PiRKD18963: [website] Build the man pages for iguana and the proof-manager-cli
This revision is now accepted and ready to land. 
Wed, Nov 19, 10:16
FabienrABC67398d127ca0: Bump version to 0.32.4
Fabien added an edge: D18962: Bump version to 0.32.4. 
Wed, Nov 19, 10:16
FabienD18962: Bump version to 0.32.4
This revision was automatically updated to reflect the committed changes. 
Wed, Nov 19, 10:16
FabienD18962: Bump version to 0.32.4
Fabien added a commit: rABC67398d127ca0: Bump version to 0.32.4. 
Wed, Nov 19, 10:16
FabienD18962: Bump version to 0.32.4
Closed by commit rABC67398d127ca0: Bump version to 0.32.4 (authored by Fabien). 
Wed, Nov 19, 10:16
FabienrABC67398d127ca0: Bump version to 0.32.4
Fabien committed rABC67398d127ca0: Bump version to 0.32.4 (authored by Fabien). 
Wed, Nov 19, 10:16
FabienD18961: [cmake] Add man pages for the new executables
Fabien added inline comments. 
Wed, Nov 19, 10:15
FabienD18961: [cmake] Add man pages for the new executables
Fabien marked 0 inline comments as not done. 
Wed, Nov 19, 10:15
PiRKD18962: Bump version to 0.32.4
PiRK accepted this revision. 
Wed, Nov 19, 10:14
PiRKD18962: Bump version to 0.32.4
This revision is now accepted and ready to land. 
Wed, Nov 19, 10:14
PiRKD18961: [cmake] Add man pages for the new executables
PiRK added inline comments. 
Wed, Nov 19, 10:14
PiRKD18961: [cmake] Add man pages for the new executables
PiRK added a subscriber: PiRK. 
Wed, Nov 19, 10:14
PiRKD18961: [cmake] Add man pages for the new executables
This revision is now accepted and ready to land. 
Wed, Nov 19, 10:14
PiRKD18961: [cmake] Add man pages for the new executables
PiRK accepted this revision. 
Wed, Nov 19, 10:14
teamcityD18955: [64-bit ints] 32-bit integers? I never knew you
teamcity added a comment. 
Wed, Nov 19, 10:04
First
Prev
Next