Skip to content
[Jenkins]Jenkins
log in
Started 7 yr 9 mo ago
Took 1 hr 21 min on built-in
Success

#393 (Sep 2, 2016, 5:14:12 AM)

Changes
  1. Update change history for Dependent_SIFUM_Refinement (detail / hgweb)
  2. Extend 'simple' refinement to be usable for all bisimulations (detail / hgweb)

Started by an SCM change

Revision: 1de85df8ec0f9fc1efb2886bd08471ba76603a8e
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #393( 1 hr 20 min )Console Output