Integrated in
ProB_TclTk_Linux #5151
(Revision 12640)
Result = SUCCESS
bendisposto :
Files :
/trunk/prolog/extensions/zmq/master.c
/trunk/prolog/extensions/zmq/master.pl
/trunk/prolog/extensions/zmq/worker.c
/trunk/prolog/parB2.sh
Integrated in
ProB_TclTk_Linux #5152
(Revision 12641)
Result = SUCCESS
bendisposto :
Files :
/trunk/prolog/src/prob_cli.pl
Integrated in
ProB_TclTk_Windows #92
(Revision 12641)
(Revision 12640)
Result = SUCCESS
bendisposto :
Files :
/trunk/prolog/src/prob_cli.pl
bendisposto :
Files :
/trunk/prolog/extensions/zmq/master.c
/trunk/prolog/extensions/zmq/master.pl
/trunk/prolog/extensions/zmq/worker.c
/trunk/prolog/parB2.sh
Integrated in
ProB_TclTk_Linux_No_Parallel #12
(Revision 12641)
(Revision 12640)
Result = SUCCESS
bendisposto :
Files :
/trunk/prolog/src/prob_cli.pl
bendisposto :
Files :
/trunk/prolog/extensions/zmq/master.c
/trunk/prolog/extensions/zmq/master.pl
/trunk/prolog/extensions/zmq/worker.c
/trunk/prolog/parB2.sh