Skip to content

Instantly share code, notes, and snippets.

View wcg_fix_log.txt
8=FIX.4.4|9=48|35=D|34=0|49=C|56=S|52=20180412-13:44:00|2002=s|10=038|
8=FIX.4.4|9=55|35=8|34=1|49=S|56=C|52=20180412-13:44:01|2001=g|2002=p|10=127|
8=FIX.4.4|9=48|35=8|34=2|49=S|56=C|52=20180412-13:44:02|2002=s|10=030|
8=FIX.4.4|9=55|35=D|34=3|49=C|56=S|52=20180412-13:44:03|2001=g|2002=d|10=131|
8=FIX.4.4|9=48|35=D|34=4|49=C|56=S|52=20180412-13:44:04|2002=s|10=046|
8=FIX.4.4|9=55|35=8|34=5|49=S|56=C|52=20180412-13:44:05|2001=w|2002=p|10=151|
8=FIX.4.4|9=48|35=8|34=6|49=S|56=C|52=20180412-13:44:06|2002=s|10=038|
8=FIX.4.4|9=55|35=D|34=7|49=C|56=S|52=20180412-13:44:07|2001=w|2002=d|10=155|
8=FIX.4.4|9=55|35=D|34=8|49=C|56=S|52=20180412-13:44:08|2001=g|2002=p|10=153|
8=FIX.4.4|9=48|35=D|34=9|49=C|56=S|52=20180412-13:44:09|2002=s|10=056|
View wcg_fill_action.ipl
action fill {
obj :?obj
act : act
validate{!state.cabbage == Eaten && !state.goat == Eaten}
validate{this.act == SwapTransit <==> !present(this.obj)}
validate{state.transit == Exchange}
}
View wcg_state_location.ipl
enum location {
Exchange
Client
Transit
Eaten
}
internal state {
assignable{
act : act
obj :? obj
View wcg_setup.ipl
import FIX_4_4
@encoding: char
enum act {
Pick "p"
Drop "d"
SwapTransit "s"
}
@encoding: char
View keyworkers_csv.ml
let keyworkers_csv_data =
"0,A
1,A
15,B
23,B
34,C
45,B
57,A";;
View classes_csv.ml
let class_csv_data =
"P1A,30
P1B,45
P1C,30
P2A,30
P2B,30
P2C,30
P3A,30
P3B,30
View students_csv.ml
let student_csv_data =
"Rachael GRAHAM,P6A,William GRAHAM,P6A
James BAILEY,P7A,Rachael BAILEY,P7A
Alan FLORES,P6C
Robert GRAHAM,P7A
Thomas PETERSON,P6C
Kenneth PERRY,P6C,Jade PERRY,P5C,Alan PERRY,P4B
Suzanne RAMOS,P5C
Kerry EDWARDS,P5C
Hannah MYERS,P5C,James MYERS,P5C
View school_roll.ml
(* Note: This data is synthetic -- it has been randomly generated for demonstration purposes. *)
let students_csv = {|
Leanne PATEL P1C
Katie GONZALES P3C,Christopher GONZALES P4B
Peter WALLACE P3C
Gordon BUTLER P4B
Craig KELLY P5B,Stuart KELLY P4B,Leanne KELLY P4B
Deborah MORGAN P7C,Martin MORGAN P7C
Gary COOPER P4A
View receive.ipl
receive (f:fill) {
if (state.cabbage == Client && state.goat == Client) then
{
state.cabbage = Eaten
return
}
if (state.goat == Client && state.wolf == Client) then
{
state.goat = Eaten
return