صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
simon
/
SCCD
دنبال کردن 2
ستاره دار 2
انشعاب 3
پرونده‌ها مشکلات 28 درخواست واکشی 0 ویکی
شاخه: joeri
شاخه‌ها تگ‌ها
SCCD
/
test_files
/
day_atlee
Joeri Exelmans 96ee45a964 Add readme 3 سال پیش
..
README.txt 96ee45a964 Add readme 3 سال پیش
fail_02_counter_takemany.xml 7be18b138b Move and remove some stuff 4 سال پیش
fail_13_invar_rhs_bigstep.xml 7be18b138b Move and remove some stuff 4 سال پیش
fail_22_invar_combo_many.xml 7be18b138b Move and remove some stuff 4 سال پیش
statechart_fig10_counter.svg 7be18b138b Move and remove some stuff 4 سال پیش
statechart_fig10_counter.xml 91a048eedb Declare event parameters for in/out events in statechart interface. Simplify interpreter: Events no longer have integer ID's, use string compare instead. Implemented event parameters in Rust. 4 سال پیش
statechart_fig1_redialer.svg 7be18b138b Move and remove some stuff 4 سال پیش
statechart_fig1_redialer.xml 91a048eedb Declare event parameters for in/out events in statechart interface. Simplify interpreter: Events no longer have integer ID's, use string compare instead. Implemented event parameters in Rust. 4 سال پیش
statechart_fig20_invar.svg 7be18b138b Move and remove some stuff 4 سال پیش
statechart_fig20_invar.xml 91a048eedb Declare event parameters for in/out events in statechart interface. Simplify interpreter: Events no longer have integer ID's, use string compare instead. Implemented event parameters in Rust. 4 سال پیش
statechart_fig7_dialer.svg 7be18b138b Move and remove some stuff 4 سال پیش
statechart_fig7_dialer.xml 91a048eedb Declare event parameters for in/out events in statechart interface. Simplify interpreter: Events no longer have integer ID's, use string compare instead. Implemented event parameters in Rust. 4 سال پیش
statechart_fig8_counter.svg 7be18b138b Move and remove some stuff 4 سال پیش
statechart_fig8_counter.xml 7be18b138b Move and remove some stuff 4 سال پیش
statechart_fig9_trafficlight.svg 7be18b138b Move and remove some stuff 4 سال پیش
statechart_fig9_trafficlight.xml 91a048eedb Declare event parameters for in/out events in statechart interface. Simplify interpreter: Events no longer have integer ID's, use string compare instead. Implemented event parameters in Rust. 4 سال پیش
test_01_dialer_takemany.xml 7be18b138b Move and remove some stuff 4 سال پیش
test_01_dialer_takeone.xml 7be18b138b Move and remove some stuff 4 سال پیش
test_02_counter_takeone.xml 7be18b138b Move and remove some stuff 4 سال پیش
test_03_trafficlight_many.xml 7be18b138b Move and remove some stuff 4 سال پیش
test_03_trafficlight_single.xml 7be18b138b Move and remove some stuff 4 سال پیش
test_04_counter_many_arenaortho.xml 7be18b138b Move and remove some stuff 4 سال پیش
test_04_counter_single.xml 7be18b138b Move and remove some stuff 4 سال پیش
test_06_counter_lifeline.xml 7be18b138b Move and remove some stuff 4 سال پیش
test_07_redialer_same.xml 7be18b138b Move and remove some stuff 4 سال پیش
test_13_invar_rhs_smallstep.xml 7be18b138b Move and remove some stuff 4 سال پیش
test_19_swaptwice_combo.xml 91a048eedb Declare event parameters for in/out events in statechart interface. Simplify interpreter: Events no longer have integer ID's, use string compare instead. Implemented event parameters in Rust. 4 سال پیش
test_20_chemplant_combo.xml 91a048eedb Declare event parameters for in/out events in statechart interface. Simplify interpreter: Events no longer have integer ID's, use string compare instead. Implemented event parameters in Rust. 4 سال پیش
test_21_counter_combo.xml 7be18b138b Move and remove some stuff 4 سال پیش
test_22_invar_combo_one.xml 7be18b138b Move and remove some stuff 4 سال پیش
todo_04_counter_many_srcdstortho.xml 7be18b138b Move and remove some stuff 4 سال پیش

README.txt

The test files in this directory are based on the examples from the 2010 Journal paper "Deconstructing the semantics of big-step modelling languages" by Shahram Esmaeilsabzali, Nancy A. Day, Jo Atlee and Jianwei Niu.