├── src ├── test2 │ ├── v7.1 │ │ ├── differ │ │ ├── a1.aobj │ │ ├── a2.aobj │ │ ├── a3.aobj │ │ ├── ex1.aobj │ │ ├── ex10.aobj │ │ ├── ex11.aobj │ │ ├── ex12.aobj │ │ ├── ex14.aobj │ │ ├── ex15.aobj │ │ ├── ex16.aobj │ │ ├── ex17.aobj │ │ ├── ex18.aobj │ │ ├── ex2.aobj │ │ ├── ex20.aobj │ │ ├── ex21.aobj │ │ ├── ex22.aobj │ │ ├── ex23.aobj │ │ ├── ex24.aobj │ │ ├── ex25.aobj │ │ ├── ex4.aobj │ │ ├── ex5.aobj │ │ ├── ex6.aobj │ │ ├── ex9.aobj │ │ ├── rb2.aobj │ │ ├── rb3.aobj │ │ ├── rb4.aobj │ │ ├── rb6.aobj │ │ ├── rb7.aobj │ │ ├── rb8.aobj │ │ ├── t11.aobj │ │ ├── t12.aobj │ │ ├── t6.aobj │ │ ├── t7.aobj │ │ ├── t8.aobj │ │ ├── t9.aobj │ │ ├── abug2.aobj │ │ ├── allan.aobj │ │ ├── abugbig.aobj │ │ ├── ex13.mod │ │ ├── rb5.mod │ │ ├── rbx.mod │ │ ├── t10.mod │ │ ├── t1.mod │ │ ├── t3.mod │ │ ├── t4.mod │ │ ├── abug2.mod │ │ ├── ex26.mod │ │ ├── ex8.mod │ │ ├── ex6.mod │ │ ├── ex19.mod │ │ ├── t5.mod │ │ ├── allan.mod │ │ ├── allan2.mod │ │ ├── a3.mod │ │ ├── ex7.mod │ │ ├── t7.mod │ │ ├── t2.mod │ │ ├── rb2.mod │ │ ├── ex23.mod │ │ ├── a2.mod │ │ ├── ex15.mod │ │ ├── rb7.mod │ │ ├── ex21.mod │ │ ├── ex24.mod │ │ ├── ex18.mod │ │ ├── a3.alog │ │ ├── abugbig.mod │ │ ├── a1.mod │ │ ├── rb4.alog │ │ ├── rb4.mod │ │ ├── rb7.alog │ │ ├── rb8.mod │ │ ├── ex13.alog │ │ ├── rb8.alog │ │ ├── ex22.mod │ │ ├── t6.mod │ │ ├── t9.mod │ │ ├── rb6.alog │ │ ├── t8.alog │ │ ├── t3.alog │ │ ├── t6.alog │ │ ├── ex22.alog │ │ ├── t7.alog │ │ └── ex20.alog │ ├── chk │ ├── ex13.ast │ ├── ex13.mod │ ├── rb5.mod │ ├── rbx.mod │ ├── v7.4 │ │ ├── ex13.mod │ │ ├── rb5.mod │ │ ├── rbx.mod │ │ ├── t10.mod │ │ ├── t1.mod │ │ ├── t3.mod │ │ ├── t4.mod │ │ ├── abug2.mod │ │ ├── ex26.mod │ │ ├── ex8.mod │ │ ├── ex6.mod │ │ ├── ex19.mod │ │ ├── t5.mod │ │ ├── allan.mod │ │ ├── allan2.mod │ │ ├── a3.mod │ │ ├── ex7.mod │ │ ├── t7.mod │ │ ├── t2.mod │ │ ├── rb2.mod │ │ ├── ex23.mod │ │ ├── a2.mod │ │ ├── ex15.mod │ │ ├── rb7.mod │ │ ├── ex21.mod │ │ ├── ex24.mod │ │ ├── ex18.mod │ │ ├── a3.alog │ │ ├── abugbig.mod │ │ ├── a1.mod │ │ ├── rb4.alog │ │ ├── rb4.mod │ │ ├── rb7.alog │ │ ├── rb8.mod │ │ ├── ex13.alog │ │ ├── rb8.alog │ │ ├── ex22.mod │ │ ├── t6.mod │ │ ├── t9.mod │ │ ├── rb6.alog │ │ ├── t8.alog │ │ ├── t3.alog │ │ ├── t6.alog │ │ ├── ex22.alog │ │ ├── t7.alog │ │ ├── ex20.alog │ │ └── ex24.alog │ ├── v8.0 │ │ ├── ex13.mod │ │ ├── rb5.mod │ │ ├── rbx.mod │ │ ├── t10.mod │ │ ├── t1.mod │ │ ├── t3.mod │ │ ├── t4.mod │ │ ├── abug2.mod │ │ ├── ex26.mod │ │ ├── ex8.mod │ │ ├── ex6.mod │ │ ├── ex19.mod │ │ ├── t5.mod │ │ ├── allan.mod │ │ ├── allan2.mod │ │ ├── a3.mod │ │ ├── ex7.mod │ │ ├── t7.mod │ │ ├── t2.mod │ │ ├── rb2.mod │ │ ├── ex23.mod │ │ ├── a2.mod │ │ ├── ex15.mod │ │ ├── rb7.mod │ │ ├── ex21.mod │ │ ├── ex18.mod │ │ ├── ex24.mod │ │ ├── a3.alog │ │ ├── abugbig.mod │ │ ├── a1.mod │ │ ├── rb4.alog │ │ ├── rb4.mod │ │ ├── rb7.alog │ │ ├── rb8.mod │ │ ├── ex13.alog │ │ ├── rb8.alog │ │ ├── ex22.mod │ │ ├── t6.mod │ │ ├── t9.mod │ │ ├── rb6.alog │ │ ├── t3.alog │ │ ├── t8.alog │ │ ├── t6.alog │ │ ├── t7.alog │ │ ├── ex22.alog │ │ └── ex20.alog │ ├── rb4.ast │ ├── rb6.ast │ ├── t10.mod │ ├── a3.ast │ ├── t1.mod │ ├── t3.mod │ ├── t4.mod │ ├── abug2.mod │ ├── ex26.mod │ ├── ex8.mod │ ├── ex6.mod │ ├── rbx.ast │ ├── ex23.ast │ ├── rb7.ast │ ├── ex19.mod │ ├── rb2.ast │ ├── t5.mod │ ├── rb3.ast │ ├── rb8.ast │ ├── rb5.ast │ ├── allan.mod │ ├── allan2.mod │ ├── a3.mod │ ├── ex7.mod │ ├── t7.mod │ ├── ex21.ast │ ├── t2.mod │ ├── rb2.mod │ ├── t8.ast │ ├── t6.ast │ ├── ex20.ast │ ├── ex22.ast │ ├── ex23.mod │ ├── t7.ast │ ├── ex24.ast │ ├── ex17.dat │ ├── t9.ast │ ├── a2.mod │ ├── a1.ast │ ├── ex10.ast │ ├── ex15.mod │ ├── rb7.mod │ ├── t3.ast │ ├── ex15.ast │ ├── ex21.mod │ ├── a2.ast │ ├── ex16.ast │ ├── ex5.ast │ ├── ex8.ast │ ├── ex24.mod │ ├── ex18.mod │ ├── ex1.ast │ ├── t4.ast │ ├── ex11.ast │ ├── ex4.ast │ ├── t1.ast │ ├── ex6.ast │ ├── ex14.ast │ ├── abugbig.mod │ ├── ex7.ast │ ├── ex19.ast │ ├── ex9.ast │ ├── t10.ast │ ├── a1.mod │ ├── rb4.mod │ ├── t11.ast │ ├── t2.ast │ ├── t12.ast │ ├── rb8.mod │ ├── t5.ast │ ├── ex22.mod │ ├── t6.mod │ ├── t9.mod │ ├── ex12.ast │ └── t11.mod ├── test │ ├── v7.1 │ │ ├── vold │ │ │ ├── abug.mod │ │ │ ├── assist.mod │ │ │ └── lee1.mod │ │ ├── f7.mod │ │ ├── sp.mod │ │ ├── t1.mod │ │ ├── t11.mod │ │ ├── t2.mod │ │ ├── t4.mod │ │ ├── t6.mod │ │ ├── t8.mod │ │ ├── iapsa.mod │ │ ├── manualy.mod │ │ ├── t12.mod │ │ ├── z1.mod │ │ ├── z2.mod │ │ ├── abug2.mod │ │ ├── abug.mod │ │ ├── foo.mod │ │ ├── f3.mod │ │ ├── z3.mod │ │ ├── t3.mod │ │ ├── t5.mod │ │ ├── f4.mod │ │ ├── f5.mod │ │ ├── test.mod │ │ ├── fast.mod │ │ ├── billee.mod │ │ ├── lee1.mod │ │ ├── t7.mod │ │ ├── fast.alog │ │ ├── t3.alog │ │ ├── test2.mod │ │ ├── t5.alog │ │ ├── f4.alog │ │ ├── f6.mod │ │ ├── f7.alog │ │ ├── t1.alog │ │ ├── t2.alog │ │ ├── t4.alog │ │ ├── lee1.alog │ │ ├── f2.alog │ │ ├── t7.alog │ │ ├── t9.alog │ │ ├── t12.alog │ │ ├── t8.alog │ │ ├── t10.alog │ │ ├── f5.alog │ │ ├── t13.alog │ │ └── t9.mod │ ├── chk │ ├── check │ ├── f7.mod │ ├── sp.mod │ ├── t1.mod │ ├── t11.mod │ ├── t2.mod │ ├── t4.mod │ ├── t6.mod │ ├── t8.mod │ ├── iapsa.mod │ ├── v7.2 │ │ ├── f7.mod │ │ ├── sp.mod │ │ ├── t1.mod │ │ ├── t11.mod │ │ ├── t2.mod │ │ ├── t4.mod │ │ ├── t6.mod │ │ ├── t8.mod │ │ ├── iapsa.mod │ │ ├── manualy.mod │ │ ├── t12.mod │ │ ├── z1.mod │ │ ├── z2.mod │ │ ├── abug2.mod │ │ ├── abug.mod │ │ ├── f3.mod │ │ ├── z3.mod │ │ ├── t3.mod │ │ ├── t5.mod │ │ ├── f4.mod │ │ ├── f5.mod │ │ ├── test.mod │ │ ├── fast.mod │ │ ├── billee.mod │ │ ├── lee1.mod │ │ ├── t7.mod │ │ ├── test2.mod │ │ ├── fast.alog │ │ ├── t3.alog │ │ ├── t5.alog │ │ ├── f4.alog │ │ ├── f6.mod │ │ ├── f7.alog │ │ ├── t1.alog │ │ ├── t2.alog │ │ ├── t4.alog │ │ ├── lee1.alog │ │ ├── f2.alog │ │ ├── t7.alog │ │ ├── t12.alog │ │ ├── t9.alog │ │ ├── t8.alog │ │ ├── t10.alog │ │ ├── f5.alog │ │ └── t9.mod │ ├── v7.4 │ │ ├── f7.mod │ │ ├── sp.mod │ │ ├── t1.mod │ │ ├── t11.mod │ │ ├── t2.mod │ │ ├── t4.mod │ │ ├── t6.mod │ │ ├── t8.mod │ │ ├── iapsa.mod │ │ ├── manualy.mod │ │ ├── t12.mod │ │ ├── z1.mod │ │ ├── z2.mod │ │ ├── abug2.mod │ │ ├── abug.mod │ │ ├── f3.mod │ │ ├── z3.mod │ │ ├── t3.mod │ │ ├── t5.mod │ │ ├── f4.mod │ │ ├── f5.mod │ │ ├── test.mod │ │ ├── fast.mod │ │ ├── billee.mod │ │ ├── lee1.mod │ │ ├── t7.mod │ │ ├── fast.alog │ │ ├── t3.alog │ │ ├── test2.mod │ │ ├── t5.alog │ │ ├── f4.alog │ │ ├── f6.mod │ │ ├── f7.alog │ │ ├── t1.alog │ │ ├── t2.alog │ │ ├── t4.alog │ │ ├── lee1.alog │ │ ├── f2.alog │ │ ├── t7.alog │ │ ├── t9.alog │ │ ├── t12.alog │ │ ├── t8.alog │ │ ├── t10.alog │ │ ├── f5.alog │ │ ├── t13.alog │ │ └── t9.mod │ ├── fast.ast │ ├── t3.ast │ ├── t7.ast │ ├── t1.ast │ ├── t4.ast │ ├── t5.ast │ ├── z1.ast │ ├── manualy.mod │ ├── t12.mod │ ├── t2.ast │ ├── z1.mod │ ├── z2.mod │ ├── abug2.mod │ ├── f5.ast │ ├── f4.ast │ ├── abug.mod │ ├── lee1.ast │ ├── t12.ast │ ├── f3.ast │ ├── t8.ast │ ├── t11.ast │ ├── f3.mod │ ├── f2.ast │ ├── z3.mod │ ├── z3.ast │ ├── t3.mod │ ├── t5.mod │ ├── f4.mod │ ├── f7.ast │ ├── t6.ast │ ├── t9.ast │ ├── f5.mod │ ├── t13.ast │ ├── t10.ast │ ├── test.mod │ ├── z2.ast │ ├── fast.mod │ ├── billee.mod │ ├── lee1.mod │ ├── ex1.ast │ ├── t7.mod │ ├── test2.mod │ ├── x9.ast │ ├── ex9.ast │ ├── f6.mod │ ├── f6.ast │ ├── f1.ast │ ├── big2.ast │ ├── big2-com.ast │ ├── t9.mod │ └── abug2.ast ├── assist ├── bc2.aob ├── iolib.o ├── assist.o ├── astgen.o ├── astlex.o ├── astprs.o ├── aststr.o ├── bc2.aobj ├── fixlib.o ├── indcolcmp ├── macprs.o ├── objlib.o ├── bin │ ├── Mac │ │ └── assist │ ├── Linux │ │ └── assist │ └── Windows │ │ ├── assist.exe │ │ └── WinASSIST.exe ├── common │ ├── gamma.o │ ├── lexlib.o │ ├── prslib.o │ ├── strlib.o │ ├── syslib.o │ ├── clinelib.o │ ├── commonio.o │ ├── factlib.o │ ├── lowiolib.o │ ├── prseval.o │ ├── prsiolib.o │ ├── fact_ext.h │ ├── x_time.h │ ├── lib_def.h │ ├── pass.h │ ├── gamma.h │ ├── x_header.h │ ├── perrdefs.h │ ├── main_def.h │ ├── common.h │ └── safeeval.h ├── test3 │ ├── check │ ├── last │ │ ├── dan.aobj │ │ ├── dan2.aobj │ │ ├── dan3.aobj │ │ ├── dan4.aobj │ │ ├── dan5.aobj │ │ ├── dan6.aobj │ │ ├── dan7.aobj │ │ └── danw.aobj │ ├── t13od.ast │ ├── t13x.ast │ ├── check-all │ ├── run-all │ └── big2od.ast ├── extra │ └── many_ind2coll ├── clean.sh ├── ast │ └── runem ├── uprs_ext.h ├── astoptfig.h ├── booldefs.h ├── objtypes.h ├── translations.dat └── macvars.h └── README.md /src/test2/v7.1/differ: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/test/v7.1/vold/abug.mod: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/test/v7.1/vold/assist.mod: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/test/chk: -------------------------------------------------------------------------------- 1 | diff $1.alog v80/$1.alog 2 | diff $1.mod v80/$1.mod 3 | -------------------------------------------------------------------------------- /src/assist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/assist -------------------------------------------------------------------------------- /src/bc2.aob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/bc2.aob -------------------------------------------------------------------------------- /src/iolib.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/iolib.o -------------------------------------------------------------------------------- /src/test2/chk: -------------------------------------------------------------------------------- 1 | diff $1.alog v80/$1.alog 2 | diff $1.mod v80/$1.mod 3 | -------------------------------------------------------------------------------- /src/assist.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/assist.o -------------------------------------------------------------------------------- /src/astgen.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/astgen.o -------------------------------------------------------------------------------- /src/astlex.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/astlex.o -------------------------------------------------------------------------------- /src/astprs.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/astprs.o -------------------------------------------------------------------------------- /src/aststr.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/aststr.o -------------------------------------------------------------------------------- /src/bc2.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/bc2.aobj -------------------------------------------------------------------------------- /src/fixlib.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/fixlib.o -------------------------------------------------------------------------------- /src/indcolcmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/indcolcmp -------------------------------------------------------------------------------- /src/macprs.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/macprs.o -------------------------------------------------------------------------------- /src/objlib.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/objlib.o -------------------------------------------------------------------------------- /src/test/check: -------------------------------------------------------------------------------- 1 | # 2 | diff $1.alog v7.2/$1.alog 3 | diff $1.mod v7.2/$1.mod 4 | -------------------------------------------------------------------------------- /src/test/f7.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0001 ERROR *) 5 | -------------------------------------------------------------------------------- /src/test/sp.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0010 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/t1.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/t11.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0005 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/t2.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/t4.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/t6.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0008 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/t8.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/bin/Mac/assist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/bin/Mac/assist -------------------------------------------------------------------------------- /src/common/gamma.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/common/gamma.o -------------------------------------------------------------------------------- /src/common/lexlib.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/common/lexlib.o -------------------------------------------------------------------------------- /src/common/prslib.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/common/prslib.o -------------------------------------------------------------------------------- /src/common/strlib.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/common/strlib.o -------------------------------------------------------------------------------- /src/common/syslib.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/common/syslib.o -------------------------------------------------------------------------------- /src/test/iapsa.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0003 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.1/f7.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0001 ERROR *) 5 | -------------------------------------------------------------------------------- /src/test/v7.1/sp.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0010 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.1/t1.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.1/t11.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0005 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.1/t2.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.1/t4.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.1/t6.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0008 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.1/t8.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.2/f7.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0001 ERROR *) 5 | -------------------------------------------------------------------------------- /src/test/v7.2/sp.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0010 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.2/t1.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.2/t11.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0005 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.2/t2.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.2/t4.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.2/t6.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0008 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.2/t8.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.4/f7.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0001 ERROR *) 5 | -------------------------------------------------------------------------------- /src/test/v7.4/sp.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0010 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.4/t1.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.4/t11.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0005 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.4/t2.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.4/t4.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.4/t6.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0008 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.4/t8.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/bin/Linux/assist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/bin/Linux/assist -------------------------------------------------------------------------------- /src/common/clinelib.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/common/clinelib.o -------------------------------------------------------------------------------- /src/common/commonio.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/common/commonio.o -------------------------------------------------------------------------------- /src/common/factlib.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/common/factlib.o -------------------------------------------------------------------------------- /src/common/lowiolib.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/common/lowiolib.o -------------------------------------------------------------------------------- /src/common/prseval.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/common/prseval.o -------------------------------------------------------------------------------- /src/common/prsiolib.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/common/prsiolib.o -------------------------------------------------------------------------------- /src/test/v7.1/iapsa.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0003 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.2/iapsa.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0003 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test/v7.4/iapsa.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0003 ERRORS *) 5 | -------------------------------------------------------------------------------- /src/test2/ex13.ast: -------------------------------------------------------------------------------- 1 | SPACE = (X); 2 | IF X > 2 TRANTO (1) BY 12 * (* 1; 3 | (* COMMENT * 4 | -------------------------------------------------------------------------------- /src/test3/check: -------------------------------------------------------------------------------- 1 | # 2 | echo $1 3 | diff $1.alog v7.4/$1.alog 4 | diff $1.mod v7.4/$1.mod 5 | -------------------------------------------------------------------------------- /src/extra/many_ind2coll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/extra/many_ind2coll -------------------------------------------------------------------------------- /src/test2/v7.1/a1.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/a1.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/a2.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/a2.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/a3.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/a3.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex1.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex1.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex10.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex10.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex11.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex11.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex12.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex12.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex14.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex14.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex15.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex15.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex16.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex16.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex17.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex17.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex18.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex18.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex2.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex2.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex20.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex20.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex21.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex21.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex22.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex22.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex23.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex23.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex24.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex24.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex25.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex25.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex4.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex4.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex5.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex5.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex6.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex6.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex9.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/ex9.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/rb2.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/rb2.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/rb3.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/rb3.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/rb4.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/rb4.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/rb6.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/rb6.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/rb7.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/rb7.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/rb8.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/rb8.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/t11.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/t11.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/t12.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/t12.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/t6.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/t6.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/t7.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/t7.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/t8.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/t8.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/t9.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/t9.aobj -------------------------------------------------------------------------------- /src/test3/last/dan.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test3/last/dan.aobj -------------------------------------------------------------------------------- /src/test3/last/dan2.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test3/last/dan2.aobj -------------------------------------------------------------------------------- /src/test3/last/dan3.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test3/last/dan3.aobj -------------------------------------------------------------------------------- /src/test3/last/dan4.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test3/last/dan4.aobj -------------------------------------------------------------------------------- /src/test3/last/dan5.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test3/last/dan5.aobj -------------------------------------------------------------------------------- /src/test3/last/dan6.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test3/last/dan6.aobj -------------------------------------------------------------------------------- /src/test3/last/dan7.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test3/last/dan7.aobj -------------------------------------------------------------------------------- /src/test3/last/danw.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test3/last/danw.aobj -------------------------------------------------------------------------------- /src/bin/Windows/assist.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/bin/Windows/assist.exe -------------------------------------------------------------------------------- /src/test/fast.ast: -------------------------------------------------------------------------------- 1 | 2 | space = (a); 3 | start = (0); 4 | deathif a>2; 5 | if a<5 tranto (a+1) by FAST a; -------------------------------------------------------------------------------- /src/test2/v7.1/abug2.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/abug2.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/allan.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/allan.aobj -------------------------------------------------------------------------------- /src/bin/Windows/WinASSIST.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/bin/Windows/WinASSIST.exe -------------------------------------------------------------------------------- /src/test2/ex13.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | (* 0001 WARNING *) 6 | -------------------------------------------------------------------------------- /src/test2/rb5.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0002 ERRORS *) 5 | (* 0001 WARNING *) 6 | -------------------------------------------------------------------------------- /src/test2/rbx.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0007 ERRORS *) 5 | (* 0001 WARNING *) 6 | -------------------------------------------------------------------------------- /src/test2/v7.1/abugbig.aobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nasa/WinASSIST/HEAD/src/test2/v7.1/abugbig.aobj -------------------------------------------------------------------------------- /src/test2/v7.1/ex13.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | (* 0001 WARNING *) 6 | -------------------------------------------------------------------------------- /src/test2/v7.1/rb5.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0002 ERRORS *) 5 | (* 0001 WARNING *) 6 | -------------------------------------------------------------------------------- /src/test2/v7.1/rbx.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0007 ERRORS *) 5 | (* 0001 WARNING *) 6 | -------------------------------------------------------------------------------- /src/test2/v7.4/ex13.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | (* 0001 WARNING *) 6 | -------------------------------------------------------------------------------- /src/test2/v7.4/rb5.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0002 ERRORS *) 5 | (* 0001 WARNING *) 6 | -------------------------------------------------------------------------------- /src/test2/v7.4/rbx.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0007 ERRORS *) 5 | (* 0001 WARNING *) 6 | -------------------------------------------------------------------------------- /src/test2/v8.0/ex13.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0004 ERRORS *) 5 | (* 0001 WARNING *) 6 | -------------------------------------------------------------------------------- /src/test2/v8.0/rb5.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0002 ERRORS *) 5 | (* 0001 WARNING *) 6 | -------------------------------------------------------------------------------- /src/test2/v8.0/rbx.mod: -------------------------------------------------------------------------------- 1 | 2 | CANNOT RUN DUE TO ERRORS !!!!! 3 | 4 | (* 0007 ERRORS *) 5 | (* 0001 WARNING *) 6 | -------------------------------------------------------------------------------- /src/test/t3.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A,B,C); 2 | START = (1,2,3); 3 | DEATHIF A+B<>C; 4 | IF A < 10 TRANTO A = A+1 BY FOOBAR; 5 | -------------------------------------------------------------------------------- /src/test/t7.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A:2..5); 2 | START = (2); 3 | DEATHIF A > 7;; 4 | IF A < 10 TRANTO A = A+1 BY FOOBAR; 5 | -------------------------------------------------------------------------------- /src/test/t1.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A,B,C); 2 | START = (1,2,3); 3 | DEATHIF NOT A+B=C; 4 | IF A < 10 TRANTO A = A+1 BY FOOBAR; 5 | -------------------------------------------------------------------------------- /src/test/t4.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A,B,C); 2 | START = (1,2,3); 3 | DEATHIF AND(A+B=C); 4 | IF A < 10 TRANTO A = A+1 BY FOOBAR; 5 | -------------------------------------------------------------------------------- /src/test/t5.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A,B,C); 2 | START = (1,2,3); 3 | DEATHIF NOT (A+B=C); 4 | IF 1+2 =3 TRANTO A = A+1 BY FOOBAR; 5 | -------------------------------------------------------------------------------- /src/test/z1.ast: -------------------------------------------------------------------------------- 1 | lambda = 1e-5; 2 | gamma = 10 * lambda; 3 | space = (a); 4 | start = (1); 5 | deathif (a > 1 + a < 5); 6 | -------------------------------------------------------------------------------- /src/test2/rb4.ast: -------------------------------------------------------------------------------- 1 | SPACE = (X:0..4); 2 | START = (0); 3 | IF X<4 TRANTO (X+1) BY X+1; 4 | IF X>0 TRANTO (X-1) BY X/2; 5 | -------------------------------------------------------------------------------- /src/test2/rb6.ast: -------------------------------------------------------------------------------- 1 | SPACE = (AN:1..10000,ANM1:1..10000); 2 | START = (1,1); 3 | IF AN<10000 TRANTO (AN+ANM1,AN) BY AN; 4 | -------------------------------------------------------------------------------- /src/test2/t10.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-4; 2 | DELTA = 3.6E3; 3 | 4 | CANNOT RUN DUE TO ERRORS !!!!! 5 | 6 | (* 0001 ERROR *) 7 | -------------------------------------------------------------------------------- /src/test/manualy.mod: -------------------------------------------------------------------------------- 1 | C1 = ???; 2 | 3 | CANNOT RUN DUE TO ERRORS !!!!! 4 | 5 | (* 0007 ERRORS *) 6 | (* 0009 WARNINGS *) 7 | -------------------------------------------------------------------------------- /src/test/t12.mod: -------------------------------------------------------------------------------- 1 | LAMOUT = 561.0E-6; 2 | LAMOUTS = 561; 3 | 4 | CANNOT RUN DUE TO ERRORS !!!!! 5 | 6 | (* 0004 ERRORS *) 7 | -------------------------------------------------------------------------------- /src/test/t2.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A,B,C); 2 | START = (1,2,3); 3 | DEATHIF NOT A+B=C AND C=3; 4 | IF A < 10 TRANTO A = A+1 BY FOOBAR; 5 | -------------------------------------------------------------------------------- /src/test/z1.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-5; 2 | GAMMA = 10*LAMBDA; 3 | 4 | CANNOT RUN DUE TO ERRORS !!!!! 5 | 6 | (* 0006 ERRORS *) 7 | -------------------------------------------------------------------------------- /src/test/z2.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-5; 2 | GAMMA = 10*LAMBDA; 3 | 4 | CANNOT RUN DUE TO ERRORS !!!!! 5 | 6 | (* 0009 ERRORS *) 7 | -------------------------------------------------------------------------------- /src/test2/a3.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A,B,C,D); 2 | START = (2 OF 3,1 OF 2,1); 3 | IF C = 2 TRANTO C = C+1 BY A+B+C+D; 4 | DEATHIF C>2; 5 | -------------------------------------------------------------------------------- /src/test2/v7.1/t10.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-4; 2 | DELTA = 3.6E3; 3 | 4 | CANNOT RUN DUE TO ERRORS !!!!! 5 | 6 | (* 0001 ERROR *) 7 | -------------------------------------------------------------------------------- /src/test2/v7.4/t10.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-4; 2 | DELTA = 3.6E3; 3 | 4 | CANNOT RUN DUE TO ERRORS !!!!! 5 | 6 | (* 0001 ERROR *) 7 | -------------------------------------------------------------------------------- /src/test2/v8.0/t10.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-4; 2 | DELTA = 3.6E3; 3 | 4 | CANNOT RUN DUE TO ERRORS !!!!! 5 | 6 | (* 0001 ERROR *) 7 | -------------------------------------------------------------------------------- /src/test/v7.1/manualy.mod: -------------------------------------------------------------------------------- 1 | C1 = ???; 2 | 3 | CANNOT RUN DUE TO ERRORS !!!!! 4 | 5 | (* 0007 ERRORS *) 6 | (* 0009 WARNINGS *) 7 | -------------------------------------------------------------------------------- /src/test/v7.1/t12.mod: -------------------------------------------------------------------------------- 1 | LAMOUT = 561.0E-6; 2 | LAMOUTS = 561; 3 | 4 | CANNOT RUN DUE TO ERRORS !!!!! 5 | 6 | (* 0004 ERRORS *) 7 | -------------------------------------------------------------------------------- /src/test/v7.1/z1.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-5; 2 | GAMMA = 10*LAMBDA; 3 | 4 | CANNOT RUN DUE TO ERRORS !!!!! 5 | 6 | (* 0006 ERRORS *) 7 | -------------------------------------------------------------------------------- /src/test/v7.1/z2.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-5; 2 | GAMMA = 10*LAMBDA; 3 | 4 | CANNOT RUN DUE TO ERRORS !!!!! 5 | 6 | (* 0009 ERRORS *) 7 | -------------------------------------------------------------------------------- /src/test/v7.2/manualy.mod: -------------------------------------------------------------------------------- 1 | C1 = ???; 2 | 3 | CANNOT RUN DUE TO ERRORS !!!!! 4 | 5 | (* 0007 ERRORS *) 6 | (* 0009 WARNINGS *) 7 | -------------------------------------------------------------------------------- /src/test/v7.2/t12.mod: -------------------------------------------------------------------------------- 1 | LAMOUT = 561.0E-6; 2 | LAMOUTS = 561; 3 | 4 | CANNOT RUN DUE TO ERRORS !!!!! 5 | 6 | (* 0004 ERRORS *) 7 | -------------------------------------------------------------------------------- /src/test/v7.2/z1.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-5; 2 | GAMMA = 10*LAMBDA; 3 | 4 | CANNOT RUN DUE TO ERRORS !!!!! 5 | 6 | (* 0006 ERRORS *) 7 | -------------------------------------------------------------------------------- /src/test/v7.2/z2.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-5; 2 | GAMMA = 10*LAMBDA; 3 | 4 | CANNOT RUN DUE TO ERRORS !!!!! 5 | 6 | (* 0009 ERRORS *) 7 | -------------------------------------------------------------------------------- /src/test/v7.4/manualy.mod: -------------------------------------------------------------------------------- 1 | C1 = ???; 2 | 3 | CANNOT RUN DUE TO ERRORS !!!!! 4 | 5 | (* 0007 ERRORS *) 6 | (* 0009 WARNINGS *) 7 | -------------------------------------------------------------------------------- /src/test/v7.4/t12.mod: -------------------------------------------------------------------------------- 1 | LAMOUT = 561.0E-6; 2 | LAMOUTS = 561; 3 | 4 | CANNOT RUN DUE TO ERRORS !!!!! 5 | 6 | (* 0004 ERRORS *) 7 | -------------------------------------------------------------------------------- /src/test/v7.4/z1.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-5; 2 | GAMMA = 10*LAMBDA; 3 | 4 | CANNOT RUN DUE TO ERRORS !!!!! 5 | 6 | (* 0006 ERRORS *) 7 | -------------------------------------------------------------------------------- /src/test/v7.4/z2.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-5; 2 | GAMMA = 10*LAMBDA; 3 | 4 | CANNOT RUN DUE TO ERRORS !!!!! 5 | 6 | (* 0009 ERRORS *) 7 | -------------------------------------------------------------------------------- /src/test2/t1.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0001 ERROR *) 8 | -------------------------------------------------------------------------------- /src/test2/t3.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0001 ERROR *) 8 | -------------------------------------------------------------------------------- /src/test2/t4.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0001 ERROR *) 8 | -------------------------------------------------------------------------------- /src/test/abug2.mod: -------------------------------------------------------------------------------- 1 | NP = -6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0003 ERRORS *) 8 | -------------------------------------------------------------------------------- /src/test2/abug2.mod: -------------------------------------------------------------------------------- 1 | NP = 1+1; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0008 ERRORS *) 8 | -------------------------------------------------------------------------------- /src/test2/ex26.mod: -------------------------------------------------------------------------------- 1 | NP = -6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0003 ERRORS *) 8 | -------------------------------------------------------------------------------- /src/test2/v7.1/t1.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0001 ERROR *) 8 | -------------------------------------------------------------------------------- /src/test2/v7.1/t3.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0001 ERROR *) 8 | -------------------------------------------------------------------------------- /src/test2/v7.1/t4.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0001 ERROR *) 8 | -------------------------------------------------------------------------------- /src/test2/v7.4/t1.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0001 ERROR *) 8 | -------------------------------------------------------------------------------- /src/test2/v7.4/t3.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0001 ERROR *) 8 | -------------------------------------------------------------------------------- /src/test2/v7.4/t4.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0001 ERROR *) 8 | -------------------------------------------------------------------------------- /src/test2/v8.0/t1.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0001 ERROR *) 8 | -------------------------------------------------------------------------------- /src/test2/v8.0/t3.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0001 ERROR *) 8 | -------------------------------------------------------------------------------- /src/test2/v8.0/t4.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0001 ERROR *) 8 | -------------------------------------------------------------------------------- /src/test/v7.1/abug2.mod: -------------------------------------------------------------------------------- 1 | NP = -6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0003 ERRORS *) 8 | -------------------------------------------------------------------------------- /src/test/v7.2/abug2.mod: -------------------------------------------------------------------------------- 1 | NP = -6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0003 ERRORS *) 8 | -------------------------------------------------------------------------------- /src/test/v7.4/abug2.mod: -------------------------------------------------------------------------------- 1 | NP = -6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0003 ERRORS *) 8 | -------------------------------------------------------------------------------- /src/test2/v7.1/abug2.mod: -------------------------------------------------------------------------------- 1 | NP = 1+1; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0008 ERRORS *) 8 | -------------------------------------------------------------------------------- /src/test2/v7.1/ex26.mod: -------------------------------------------------------------------------------- 1 | NP = -6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0003 ERRORS *) 8 | -------------------------------------------------------------------------------- /src/test2/v7.4/abug2.mod: -------------------------------------------------------------------------------- 1 | NP = 1+1; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0008 ERRORS *) 8 | -------------------------------------------------------------------------------- /src/test2/v7.4/ex26.mod: -------------------------------------------------------------------------------- 1 | NP = -6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0003 ERRORS *) 8 | -------------------------------------------------------------------------------- /src/test2/v8.0/abug2.mod: -------------------------------------------------------------------------------- 1 | NP = 1+1; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0008 ERRORS *) 8 | -------------------------------------------------------------------------------- /src/test2/v8.0/ex26.mod: -------------------------------------------------------------------------------- 1 | NP = -6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0003 ERRORS *) 8 | -------------------------------------------------------------------------------- /src/test/f5.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A,B,C, D); 2 | START = (1,2,0,1); 3 | 4 | deathif b > 2; 5 | IF A = 1 TRANTO a = 2, b = 2, C = 1, D = 0 BY A+(B+C)+D; 6 | -------------------------------------------------------------------------------- /src/test2/ex8.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | ET = -2; 3 | LAMBDA = 1E-4; 4 | DELTA = 3.6E3; 5 | 6 | CANNOT RUN DUE TO ERRORS !!!!! 7 | 8 | (* 0001 ERROR *) 9 | -------------------------------------------------------------------------------- /src/test/f4.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A,B,c: 0..1, d: 0..1); 2 | START = (1,2,0,1); 3 | 4 | deathif b > 2; 5 | IF A = 1 TRANTO (A + 2, B + 1, 1, 0) BY a+b+C+D; 6 | -------------------------------------------------------------------------------- /src/test2/v7.1/ex8.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | ET = -2; 3 | LAMBDA = 1E-4; 4 | DELTA = 3.6E3; 5 | 6 | CANNOT RUN DUE TO ERRORS !!!!! 7 | 8 | (* 0001 ERROR *) 9 | -------------------------------------------------------------------------------- /src/test2/v7.4/ex8.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | ET = -2; 3 | LAMBDA = 1E-4; 4 | DELTA = 3.6E3; 5 | 6 | CANNOT RUN DUE TO ERRORS !!!!! 7 | 8 | (* 0001 ERROR *) 9 | -------------------------------------------------------------------------------- /src/test2/v8.0/ex8.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | ET = -2; 3 | LAMBDA = 1E-4; 4 | DELTA = 3.6E3; 5 | 6 | CANNOT RUN DUE TO ERRORS !!!!! 7 | 8 | (* 0001 ERROR *) 9 | -------------------------------------------------------------------------------- /src/test/abug.mod: -------------------------------------------------------------------------------- 1 | NSI = 1; 2 | LAMBDA = 5E-4; 3 | GAMMA = 5E-4; 4 | MU = .400/3600; 5 | 6 | CANNOT RUN DUE TO ERRORS !!!!! 7 | 8 | (* 0025 ERRORS *) 9 | -------------------------------------------------------------------------------- /src/test2/ex6.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0008 ERRORS *) 8 | (* 0001 WARNING *) 9 | -------------------------------------------------------------------------------- /src/test2/rbx.ast: -------------------------------------------------------------------------------- 1 | DEBUG ALL; 2 | SPACE = (A:0..1,B:0..1,C:0..1); 3 | START = (1,1,0); 4 | IF (A=1) AND ((B=1) AND (C=A-B)) THEN TRANTO (1,0,1) BY 100; 5 | -------------------------------------------------------------------------------- /src/test/v7.1/abug.mod: -------------------------------------------------------------------------------- 1 | NSI = 1; 2 | LAMBDA = 5E-4; 3 | GAMMA = 5E-4; 4 | MU = .400/3600; 5 | 6 | CANNOT RUN DUE TO ERRORS !!!!! 7 | 8 | (* 0025 ERRORS *) 9 | -------------------------------------------------------------------------------- /src/test/v7.2/abug.mod: -------------------------------------------------------------------------------- 1 | NSI = 1; 2 | LAMBDA = 5E-4; 3 | GAMMA = 5E-4; 4 | MU = .400/3600; 5 | 6 | CANNOT RUN DUE TO ERRORS !!!!! 7 | 8 | (* 0025 ERRORS *) 9 | -------------------------------------------------------------------------------- /src/test/v7.4/abug.mod: -------------------------------------------------------------------------------- 1 | NSI = 1; 2 | LAMBDA = 5E-4; 3 | GAMMA = 5E-4; 4 | MU = .400/3600; 5 | 6 | CANNOT RUN DUE TO ERRORS !!!!! 7 | 8 | (* 0025 ERRORS *) 9 | -------------------------------------------------------------------------------- /src/test2/v7.1/ex6.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0008 ERRORS *) 8 | (* 0001 WARNING *) 9 | -------------------------------------------------------------------------------- /src/test2/v7.4/ex6.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0008 ERRORS *) 8 | (* 0001 WARNING *) 9 | -------------------------------------------------------------------------------- /src/test2/v8.0/ex6.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | CANNOT RUN DUE TO ERRORS !!!!! 6 | 7 | (* 0008 ERRORS *) 8 | (* 0001 WARNING *) 9 | -------------------------------------------------------------------------------- /src/test/lee1.ast: -------------------------------------------------------------------------------- 1 | space = (a,b,c); 2 | start = (5,5,5); 3 | deathif a < 5; 4 | pruneif a < 5; 5 | if a=5 tranto a=a-1 by foo; 6 | if a=5 tranto a=a-1,b=b-1 by foo; 7 | -------------------------------------------------------------------------------- /src/test/t12.ast: -------------------------------------------------------------------------------- 1 | LAMOUT = 561.0E-6; 2 | LAMOUTS = 561; 3 | SPACE = (A,B,C); 4 | START = (1,2,3); 5 | DEATHIF NOT A+B=C; 6 | IF A < 10 TRANTO (A+1,B,C) BY LAMOUT; 7 | -------------------------------------------------------------------------------- /src/test2/ex23.ast: -------------------------------------------------------------------------------- 1 | I = 4; 2 | LAMBDA = 3E-4; 3 | SPACE = (NF:ARRAY[1..3]); 4 | START = (6,5,4); 5 | DEATHIF NF[I] > 5; 6 | IF NF[I]<6 TRANTO NF[I] = NF[I]+1 BY I*LAMBDA; 7 | -------------------------------------------------------------------------------- /src/test2/rb7.ast: -------------------------------------------------------------------------------- 1 | SPACE = (X:0..1,Y:0..1,Z:0..1); 2 | START = (0,0,0); 3 | IF (X=Y+Z) AND (X=Y-Z) TRANTO (X*Y,1,0) BY 1; 4 | IF (X=Y-1) OR (X=Y+1) TRANTO (1,X,Y*Y) BY 2; 5 | -------------------------------------------------------------------------------- /src/test/f3.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A: ARRAY[1..1] OF 0..1, 2 | B: ARRAY[1..3] OF 0..1); 3 | START = (4 OF 1); 4 | 5 | IF A[1] = 1 TRANTO A[1] = 0 BY A[1] + B[1]+B[2]+B[3]; 6 | -------------------------------------------------------------------------------- /src/test/v7.1/foo.mod: -------------------------------------------------------------------------------- 1 | ABCDEFGHIJ = 0; 2 | NP = 6; 3 | LAMBDA = 1E-4; 4 | DELTA = 3.6E3; 5 | RUN; 6 | 7 | CANNOT RUN DUE TO ERRORS !!!!! 8 | 9 | (* 0001 ERROR *) 10 | -------------------------------------------------------------------------------- /src/test2/ex19.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | NA = 3; 3 | MINUSTEN = -10; 4 | LAMBDA = 1E-4; 5 | DELTA = 3.6E3; 6 | 7 | CANNOT RUN DUE TO ERRORS !!!!! 8 | 9 | (* 0002 ERRORS *) 10 | -------------------------------------------------------------------------------- /src/test2/rb2.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A:0..1,B:0..1,C:0..1); 2 | START = (0,0,0); 3 | IF A+B+C < 1 TRANTO (1,A+1,B+A) BY A+B+C+1; 4 | IF (A=1) AND ((B=1) AND (C=A-B)) TRANTO (1,0,1) BY 100; 5 | -------------------------------------------------------------------------------- /src/test2/t5.mod: -------------------------------------------------------------------------------- 1 | N_P = 6; 2 | FOO_1_ = 1; 3 | FOO_2_ = 2; 4 | LAMB_D_A = 1E-4; 5 | DEL_TA_ = 3.6E3; 6 | 7 | CANNOT RUN DUE TO ERRORS !!!!! 8 | 9 | (* 0001 ERROR *) 10 | -------------------------------------------------------------------------------- /src/test2/v7.1/ex19.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | NA = 3; 3 | MINUSTEN = -10; 4 | LAMBDA = 1E-4; 5 | DELTA = 3.6E3; 6 | 7 | CANNOT RUN DUE TO ERRORS !!!!! 8 | 9 | (* 0002 ERRORS *) 10 | -------------------------------------------------------------------------------- /src/test2/v7.4/ex19.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | NA = 3; 3 | MINUSTEN = -10; 4 | LAMBDA = 1E-4; 5 | DELTA = 3.6E3; 6 | 7 | CANNOT RUN DUE TO ERRORS !!!!! 8 | 9 | (* 0002 ERRORS *) 10 | -------------------------------------------------------------------------------- /src/test2/v8.0/ex19.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | NA = 3; 3 | MINUSTEN = -10; 4 | LAMBDA = 1E-4; 5 | DELTA = 3.6E3; 6 | 7 | CANNOT RUN DUE TO ERRORS !!!!! 8 | 9 | (* 0002 ERRORS *) 10 | -------------------------------------------------------------------------------- /src/test/t8.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A,B,C); 2 | START = (1,2,3); 3 | DEATHIF NOT A+B=C; 4 | PRUNEIF C > 3; 5 | IF A < 10 TRANTO A = A+1 BY FOOBAR; 6 | IF A < 10 TRANTO A = A+1,C = C+1 BY FOO; 7 | -------------------------------------------------------------------------------- /src/test2/v7.1/t5.mod: -------------------------------------------------------------------------------- 1 | N_P = 6; 2 | FOO_1_ = 1; 3 | FOO_2_ = 2; 4 | LAMB_D_A = 1E-4; 5 | DEL_TA_ = 3.6E3; 6 | 7 | CANNOT RUN DUE TO ERRORS !!!!! 8 | 9 | (* 0001 ERROR *) 10 | -------------------------------------------------------------------------------- /src/test2/v7.4/t5.mod: -------------------------------------------------------------------------------- 1 | N_P = 6; 2 | FOO_1_ = 1; 3 | FOO_2_ = 2; 4 | LAMB_D_A = 1E-4; 5 | DEL_TA_ = 3.6E3; 6 | 7 | CANNOT RUN DUE TO ERRORS !!!!! 8 | 9 | (* 0001 ERROR *) 10 | -------------------------------------------------------------------------------- /src/test2/v8.0/t5.mod: -------------------------------------------------------------------------------- 1 | N_P = 6; 2 | FOO_1_ = 1; 3 | FOO_2_ = 2; 4 | LAMB_D_A = 1E-4; 5 | DEL_TA_ = 3.6E3; 6 | 7 | CANNOT RUN DUE TO ERRORS !!!!! 8 | 9 | (* 0001 ERROR *) 10 | -------------------------------------------------------------------------------- /src/test/t11.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A,B,C); 2 | START = (0,0,0); 3 | DEATHIF (A>B>C); 4 | DEATHIF (A>0) AND (B>0) OR (C>0); 5 | IF A < 10 TRANTO A = A+1 BY FOOBAR; 6 | IF B < 5 TRANTO B = B+1 BY FOOBAR; 7 | -------------------------------------------------------------------------------- /src/test2/rb3.ast: -------------------------------------------------------------------------------- 1 | SPACE = (X:0..10000,Y:0..10000,Z:0..10000); 2 | START = (0,0,0); 3 | IF X=0 TRANTO (10000,Y,Z) BY 1; 4 | IF Y=0 TRANTO (X,10000,Z) BY 2; 5 | IF Z=0 TRANTO (X,Y,10000) BY 3; 6 | -------------------------------------------------------------------------------- /src/test2/rb8.ast: -------------------------------------------------------------------------------- 1 | SPACE = (X:0..5,Y:0..5); 2 | START = (0,0); 3 | IF X=0 TRANTO (1,Y) BY 1; 4 | IF X>0 TRANTO (1,0) BY 2; 5 | IF X=1 AND Y<3 TRANTO (X,Y+1) BY 3; 6 | IF X=0 TRANTO (1,Y) BY 4; 7 | -------------------------------------------------------------------------------- /src/test/f3.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 1,1,1,1 *), 2(* 0,1,1,1 *) = 1+1+1+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 0002 WARNINGS *) 8 | -------------------------------------------------------------------------------- /src/test/f2.ast: -------------------------------------------------------------------------------- 1 | SPACE = ( 2 | B: ARRAY[1..3],A); 3 | START = (1,2,3,4); 4 | 5 | IF B[1] = 1 TRANTO A = 3 BY B[1]+B[2]+B[3]+A; 6 | IF B[2] < 50 TRANTO B[2] = B[2]+1 BY B[2]; 7 | DEATHIF B[2] > 4; 8 | -------------------------------------------------------------------------------- /src/test/v7.1/f3.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 1,1,1,1 *), 2(* 0,1,1,1 *) = 1+1+1+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 0002 WARNINGS *) 8 | -------------------------------------------------------------------------------- /src/test/v7.2/f3.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 1,1,1,1 *), 2(* 0,1,1,1 *) = 1+1+1+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 0002 WARNINGS *) 8 | -------------------------------------------------------------------------------- /src/test/v7.4/f3.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 1,1,1,1 *), 2(* 0,1,1,1 *) = 1+1+1+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 0002 WARNINGS *) 8 | -------------------------------------------------------------------------------- /src/test/z3.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-5; 2 | GAMMA = 10*LAMBDA; 3 | F1 = 7.85623E-12; 4 | F2 = F1*LAMBDA; 5 | F3 = ???; 6 | F4 = ???; 7 | 8 | CANNOT RUN DUE TO ERRORS !!!!! 9 | 10 | (* 0005 ERRORS *) 11 | -------------------------------------------------------------------------------- /src/test/v7.1/z3.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-5; 2 | GAMMA = 10*LAMBDA; 3 | F1 = 7.85623E-12; 4 | F2 = F1*LAMBDA; 5 | F3 = ???; 6 | F4 = ???; 7 | 8 | CANNOT RUN DUE TO ERRORS !!!!! 9 | 10 | (* 0005 ERRORS *) 11 | -------------------------------------------------------------------------------- /src/test/v7.2/z3.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-5; 2 | GAMMA = 10*LAMBDA; 3 | F1 = 7.85623E-12; 4 | F2 = F1*LAMBDA; 5 | F3 = ???; 6 | F4 = ???; 7 | 8 | CANNOT RUN DUE TO ERRORS !!!!! 9 | 10 | (* 0005 ERRORS *) 11 | -------------------------------------------------------------------------------- /src/test/v7.4/z3.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-5; 2 | GAMMA = 10*LAMBDA; 3 | F1 = 7.85623E-12; 4 | F2 = F1*LAMBDA; 5 | F3 = ???; 6 | F4 = ???; 7 | 8 | CANNOT RUN DUE TO ERRORS !!!!! 9 | 10 | (* 0005 ERRORS *) 11 | -------------------------------------------------------------------------------- /src/test2/rb5.ast: -------------------------------------------------------------------------------- 1 | SPACE = (XX:-1000..0,YY:-1..1); 2 | START = (0,0); 3 | IF XX*YY=0 TRANTO (YY,XX+1) BY (XX+1)*(YY+1); 4 | IF XX+YY=0 TRANTO (-100,XX+YY) BY 100-XX; 5 | IF XX*YY=0 TRANTO (0,XX+100) BY 3.14159; 6 | -------------------------------------------------------------------------------- /src/test/z3.ast: -------------------------------------------------------------------------------- 1 | lambda = 1e-5; 2 | gamma = 10 * lambda; 3 | F1 = 7.85623E-12; 4 | F2 = F1*LAMBDA; 5 | space = (a); 6 | F3 = A*LAMBDA; 7 | F4 = A*LAMBDA + GAMMA; 8 | start = (1); 9 | deathif (a > 1 + a); 10 | -------------------------------------------------------------------------------- /src/test2/allan.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1; 2 | TAU = 3600*24*365; 3 | DELTA = 36000*24*365; 4 | EPSILON = 730; 5 | ALPHA = 10**8; 6 | BETA = 10**8; 7 | 8 | CANNOT RUN DUE TO ERRORS !!!!! 9 | 10 | (* 0009 ERRORS *) 11 | -------------------------------------------------------------------------------- /src/test2/allan2.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1; 2 | TAU = 3600*24*365; 3 | DELTA = 36000*24*365; 4 | EPSILON = 730; 5 | ALPHA = 10**8; 6 | BETA = 10**8; 7 | 8 | CANNOT RUN DUE TO ERRORS !!!!! 9 | 10 | (* 0001 ERROR *) 11 | -------------------------------------------------------------------------------- /src/clean.sh: -------------------------------------------------------------------------------- 1 | # 2 | rm *.o common/*.o 3 | cd test 4 | rm *.aobj *.alog *.alg *.aob 5 | cd .. 6 | cd test2 7 | rm *.aobj *.alog *.alg *.aob 8 | cd .. 9 | cd test3 10 | rm *.aobj *.alog *.alg *.aob 11 | cd .. 12 | -------------------------------------------------------------------------------- /src/test/t3.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,2,3 *), 1(* 2,2,3 DEATH *) = FOOBAR; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test/t5.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,2,3 *), 1(* 2,2,3 DEATH *) = FOOBAR; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test2/v7.1/allan.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1; 2 | TAU = 3600*24*365; 3 | DELTA = 36000*24*365; 4 | EPSILON = 730; 5 | ALPHA = 10**8; 6 | BETA = 10**8; 7 | 8 | CANNOT RUN DUE TO ERRORS !!!!! 9 | 10 | (* 0009 ERRORS *) 11 | -------------------------------------------------------------------------------- /src/test2/v7.1/allan2.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1; 2 | TAU = 3600*24*365; 3 | DELTA = 36000*24*365; 4 | EPSILON = 730; 5 | ALPHA = 10**8; 6 | BETA = 10**8; 7 | 8 | CANNOT RUN DUE TO ERRORS !!!!! 9 | 10 | (* 0001 ERROR *) 11 | -------------------------------------------------------------------------------- /src/test2/v7.4/allan.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1; 2 | TAU = 3600*24*365; 3 | DELTA = 36000*24*365; 4 | EPSILON = 730; 5 | ALPHA = 10**8; 6 | BETA = 10**8; 7 | 8 | CANNOT RUN DUE TO ERRORS !!!!! 9 | 10 | (* 0009 ERRORS *) 11 | -------------------------------------------------------------------------------- /src/test2/v7.4/allan2.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1; 2 | TAU = 3600*24*365; 3 | DELTA = 36000*24*365; 4 | EPSILON = 730; 5 | ALPHA = 10**8; 6 | BETA = 10**8; 7 | 8 | CANNOT RUN DUE TO ERRORS !!!!! 9 | 10 | (* 0001 ERROR *) 11 | -------------------------------------------------------------------------------- /src/test2/v8.0/allan.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1; 2 | TAU = 3600*24*365; 3 | DELTA = 36000*24*365; 4 | EPSILON = 730; 5 | ALPHA = 10**8; 6 | BETA = 10**8; 7 | 8 | CANNOT RUN DUE TO ERRORS !!!!! 9 | 10 | (* 0009 ERRORS *) 11 | -------------------------------------------------------------------------------- /src/test2/v8.0/allan2.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1; 2 | TAU = 3600*24*365; 3 | DELTA = 36000*24*365; 4 | EPSILON = 730; 5 | ALPHA = 10**8; 6 | BETA = 10**8; 7 | 8 | CANNOT RUN DUE TO ERRORS !!!!! 9 | 10 | (* 0001 ERROR *) 11 | -------------------------------------------------------------------------------- /src/test/f4.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,2,0,1 *), 1(* 3,3,1,0 DEATH *) = 1+2+0+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test/f7.ast: -------------------------------------------------------------------------------- 1 | 2 | SPACE = (AF: ARRAY[1..3] OF 0..1, (* Actuators failed *) 3 | NF: 0..15, 4 | foo); (* Number of component failures *) 5 | 6 | START = (5 OF 0); 7 | 8 | deathIF NF > 6; 9 | 10 | -------------------------------------------------------------------------------- /src/test/t6.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A,B,C); 2 | START = (1,2,3); 3 | 4 | IF 1+2 TRANTO A = A+1=2 BY FOOBAR; 5 | IF 1+2=3 TRANTO A = A+1=2 BY FOOBAR; 6 | IF 1+2=3 TRANTO A = A+1 BY FOOBAR+3=4; 7 | DEATHIF A+B; 8 | DEATHIF NOT(A+B); 9 | -------------------------------------------------------------------------------- /src/test/v7.1/t3.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,2,3 *), 1(* 2,2,3 DEATH *) = FOOBAR; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test/v7.1/t5.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,2,3 *), 1(* 2,2,3 DEATH *) = FOOBAR; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test/v7.2/t3.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,2,3 *), 1(* 2,2,3 DEATH *) = FOOBAR; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test/v7.2/t5.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,2,3 *), 1(* 2,2,3 DEATH *) = FOOBAR; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test/v7.4/t3.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,2,3 *), 1(* 2,2,3 DEATH *) = FOOBAR; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test/v7.4/t5.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,2,3 *), 1(* 2,2,3 DEATH *) = FOOBAR; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test2/a3.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 3,3,2,1 *), 1(* 3,3,3,1 DEATH *) = 3+3+2+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test2/ex7.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | TWICENP = NP*2; 5 | DELTASQ = DELTA*DELTA; 6 | FRED = ???; 7 | LUCY = ???; 8 | 9 | CANNOT RUN DUE TO ERRORS !!!!! 10 | 11 | (* 0006 ERRORS *) 12 | -------------------------------------------------------------------------------- /src/test/t9.ast: -------------------------------------------------------------------------------- 1 | foo1 = array (27,28,29,30,31); 2 | foo2 = array (25,26,27,28,29,30,31); 3 | space = (a,b); 4 | start = (0,0); 5 | deathif b>0; 6 | for i = 1,5; 7 | if b = 0 tranto b = b+foo1[i] by foo2[I+1]*lambda; 8 | endfor; 9 | -------------------------------------------------------------------------------- /src/test/v7.1/f4.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,2,0,1 *), 1(* 3,3,1,0 DEATH *) = 1+2+0+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test/v7.2/f4.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,2,0,1 *), 1(* 3,3,1,0 DEATH *) = 1+2+0+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test/v7.4/f4.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,2,0,1 *), 1(* 3,3,1,0 DEATH *) = 1+2+0+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test2/v7.1/a3.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 3,3,2,1 *), 1(* 3,3,3,1 DEATH *) = 3+3+2+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test2/v7.1/ex7.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | TWICENP = NP*2; 5 | DELTASQ = DELTA*DELTA; 6 | FRED = ???; 7 | LUCY = ???; 8 | 9 | CANNOT RUN DUE TO ERRORS !!!!! 10 | 11 | (* 0006 ERRORS *) 12 | -------------------------------------------------------------------------------- /src/test2/v7.4/a3.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 3,3,2,1 *), 1(* 3,3,3,1 DEATH *) = 3+3+2+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test2/v7.4/ex7.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | TWICENP = NP*2; 5 | DELTASQ = DELTA*DELTA; 6 | FRED = ???; 7 | LUCY = ???; 8 | 9 | CANNOT RUN DUE TO ERRORS !!!!! 10 | 11 | (* 0006 ERRORS *) 12 | -------------------------------------------------------------------------------- /src/test2/v8.0/a3.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 3,3,2,1 *), 1(* 3,3,3,1 DEATH *) = 3+3+2+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test2/v8.0/ex7.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | TWICENP = NP*2; 5 | DELTASQ = DELTA*DELTA; 6 | FRED = ???; 7 | LUCY = ???; 8 | 9 | CANNOT RUN DUE TO ERRORS !!!!! 10 | 11 | (* 0006 ERRORS *) 12 | -------------------------------------------------------------------------------- /src/test2/t7.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 0,1,2,3,4,5 *), 1(* 20,0,0,1,1,1 DEATH *) = (0*3)+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test2/ex21.ast: -------------------------------------------------------------------------------- 1 | SPACE = (NC, NF); 2 | START = (6,0); 3 | DEATHIF NC < 6; 4 | IF NC > 0 TRANTO (NC-1,NF*2) BY (NC-NF)*LAMBDA; (* fault arrivals *) 5 | IF NC > 0+0+1+1 TRANTO (NC-1-1-1, NF-1-1-1) 6 | BY <1/(NF*DELTA),1/(NF*DELTA)>; 7 | -------------------------------------------------------------------------------- /src/test2/t2.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | X = 1 TO 50 BY 5; 3 | LAMBDA = 1E-4; 4 | DELTA = 3.6E3; 5 | (* THIS QUOTE IS A COMMENT *) (* THIS IS THE SECOND LINE OF THE COMMENT *) 6 | 7 | CANNOT RUN DUE TO ERRORS !!!!! 8 | 9 | (* 0001 ERROR *) 10 | -------------------------------------------------------------------------------- /src/test2/v7.1/t7.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 0,1,2,3,4,5 *), 1(* 20,0,0,1,1,1 DEATH *) = (0*3)+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test2/v7.4/t7.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 0,1,2,3,4,5 *), 1(* 20,0,0,1,1,1 DEATH *) = (0*3)+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test2/v8.0/t7.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 0,1,2,3,4,5 *), 1(* 20,0,0,1,1,1 DEATH *) = (0*3)+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 2 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | -------------------------------------------------------------------------------- /src/test2/v7.1/t2.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | X = 1 TO 50 BY 5; 3 | LAMBDA = 1E-4; 4 | DELTA = 3.6E3; 5 | (* THIS QUOTE IS A COMMENT *) (* THIS IS THE SECOND LINE OF THE COMMENT *) 6 | 7 | CANNOT RUN DUE TO ERRORS !!!!! 8 | 9 | (* 0001 ERROR *) 10 | -------------------------------------------------------------------------------- /src/test2/v7.4/t2.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | X = 1 TO 50 BY 5; 3 | LAMBDA = 1E-4; 4 | DELTA = 3.6E3; 5 | (* THIS QUOTE IS A COMMENT *) (* THIS IS THE SECOND LINE OF THE COMMENT *) 6 | 7 | CANNOT RUN DUE TO ERRORS !!!!! 8 | 9 | (* 0001 ERROR *) 10 | -------------------------------------------------------------------------------- /src/test2/v8.0/t2.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | X = 1 TO 50 BY 5; 3 | LAMBDA = 1E-4; 4 | DELTA = 3.6E3; 5 | (* THIS QUOTE IS A COMMENT *) (* THIS IS THE SECOND LINE OF THE COMMENT *) 6 | 7 | CANNOT RUN DUE TO ERRORS !!!!! 8 | 9 | (* 0001 ERROR *) 10 | -------------------------------------------------------------------------------- /src/test/f5.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,2,0,1 *), 3(* 2,2,1,0 *) = 1+(2+0)+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 3 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | (* 0001 WARNING *) 9 | -------------------------------------------------------------------------------- /src/test2/rb2.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 0,0,0 *), 2(* 1,1,0 *) = 0+0+0+1; 4 | 2(* 1,1,0 *), 3(* 1,0,1 *) = 100; 5 | 6 | (* NUMBER OF STATES IN MODEL = 3 *) 7 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 8 | (* 0002 WARNINGS *) 9 | -------------------------------------------------------------------------------- /src/test/v7.1/f5.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,2,0,1 *), 3(* 2,2,1,0 *) = 1+(2+0)+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 3 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | (* 0001 WARNING *) 9 | -------------------------------------------------------------------------------- /src/test/v7.2/f5.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,2,0,1 *), 3(* 2,2,1,0 *) = 1+(2+0)+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 3 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | (* 0001 WARNING *) 9 | -------------------------------------------------------------------------------- /src/test/v7.4/f5.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,2,0,1 *), 3(* 2,2,1,0 *) = 1+(2+0)+1; 4 | 5 | (* NUMBER OF STATES IN MODEL = 3 *) 6 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 7 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 8 | (* 0001 WARNING *) 9 | -------------------------------------------------------------------------------- /src/test2/v7.1/rb2.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 0,0,0 *), 2(* 1,1,0 *) = 0+0+0+1; 4 | 2(* 1,1,0 *), 3(* 1,0,1 *) = 100; 5 | 6 | (* NUMBER OF STATES IN MODEL = 3 *) 7 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 8 | (* 0002 WARNINGS *) 9 | -------------------------------------------------------------------------------- /src/test2/v7.4/rb2.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 0,0,0 *), 2(* 1,1,0 *) = 0+0+0+1; 4 | 2(* 1,1,0 *), 3(* 1,0,1 *) = 100; 5 | 6 | (* NUMBER OF STATES IN MODEL = 3 *) 7 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 8 | (* 0002 WARNINGS *) 9 | -------------------------------------------------------------------------------- /src/test2/v8.0/rb2.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 0,0,0 *), 2(* 1,1,0 *) = 0+0+0+1; 4 | 2(* 1,1,0 *), 3(* 1,0,1 *) = 100; 5 | 6 | (* NUMBER OF STATES IN MODEL = 3 *) 7 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 8 | (* 0002 WARNINGS *) 9 | -------------------------------------------------------------------------------- /src/test/t13.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A,B,C); 2 | START = (1,1,1); 3 | DEATHIF C = 10; 4 | PRUNEIF A > 5; 5 | PRUNEIF A + B > 6; 6 | PRUNEIF C = B+A; 7 | IF A < 10 TRANTO A = A+1 BY FOOBAR; 8 | IF B < 20 TRANTO B = B+1 BY FOOBAR; 9 | IF C < 20 TRANTO C = C+1 BY FOOBAR; 10 | -------------------------------------------------------------------------------- /src/test/t10.ast: -------------------------------------------------------------------------------- 1 | foo1 = array (27,28,29,30,31); 2 | foo2 = array (25.5E3,26.6,27.112+(3E7-6)/(3+7),28.987,29.876,30.35824,31.2E15); 3 | space = (a,b); 4 | start = (0,0); 5 | deathif b>0; 6 | for i = 1,5; 7 | if b = 0 tranto b = b+foo1[i] by foo2[I+1]*lambda; 8 | endfor; 9 | -------------------------------------------------------------------------------- /src/test/test.mod: -------------------------------------------------------------------------------- 1 | TIME = 3.0; 2 | LIST = 2; 3 | LAMSEN = 10.0E-6; 4 | LAMCOM = 15.0E-6; 5 | LAMOUT = 56.1E-7; 6 | LAMDIU = 15.0E-6; 7 | LAMELEC = 20.0E-6; 8 | RECMEAN = 3.0E-4; 9 | RECSTD = 1.0E-4; 10 | 11 | CANNOT RUN DUE TO ERRORS !!!!! 12 | 13 | (* 0001 ERROR *) 14 | -------------------------------------------------------------------------------- /src/test/z2.ast: -------------------------------------------------------------------------------- 1 | lambda = 1e-5; 2 | gamma = 10 * lambda; 3 | space = (a); 4 | start = (1); 5 | DEATHIF A+3+43+4; 7 | DEATHIF A+14 OR A=5; 8 | deathif (a > 1 + a < 5); 9 | DEATHIF A+7 OR A>5; 10 | DEATHIF A>5 OR A+7 ; 11 | -------------------------------------------------------------------------------- /src/test2/t8.ast: -------------------------------------------------------------------------------- 1 | SPACE = (NC: ARRAY[1..6]); 2 | START = (0,0,4 OF 0); 3 | DEATHIF NC[1] > 10; 4 | FOR I = 1,3; 5 | FOR J = 0,1; 6 | IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 7 | ENDFOR; 8 | IF NC[1] < 10 TRANTO NC[1] = NC[1]+5 BY I; 9 | ENDFOR; 10 | -------------------------------------------------------------------------------- /src/test/v7.1/test.mod: -------------------------------------------------------------------------------- 1 | TIME = 3.0; 2 | LIST = 2; 3 | LAMSEN = 10.0E-6; 4 | LAMCOM = 15.0E-6; 5 | LAMOUT = 56.1E-7; 6 | LAMDIU = 15.0E-6; 7 | LAMELEC = 20.0E-6; 8 | RECMEAN = 3.0E-4; 9 | RECSTD = 1.0E-4; 10 | 11 | CANNOT RUN DUE TO ERRORS !!!!! 12 | 13 | (* 0001 ERROR *) 14 | -------------------------------------------------------------------------------- /src/test/v7.2/test.mod: -------------------------------------------------------------------------------- 1 | TIME = 3.0; 2 | LIST = 2; 3 | LAMSEN = 10.0E-6; 4 | LAMCOM = 15.0E-6; 5 | LAMOUT = 56.1E-7; 6 | LAMDIU = 15.0E-6; 7 | LAMELEC = 20.0E-6; 8 | RECMEAN = 3.0E-4; 9 | RECSTD = 1.0E-4; 10 | 11 | CANNOT RUN DUE TO ERRORS !!!!! 12 | 13 | (* 0001 ERROR *) 14 | -------------------------------------------------------------------------------- /src/test/v7.4/test.mod: -------------------------------------------------------------------------------- 1 | TIME = 3.0; 2 | LIST = 2; 3 | LAMSEN = 10.0E-6; 4 | LAMCOM = 15.0E-6; 5 | LAMOUT = 56.1E-7; 6 | LAMDIU = 15.0E-6; 7 | LAMELEC = 20.0E-6; 8 | RECMEAN = 3.0E-4; 9 | RECSTD = 1.0E-4; 10 | 11 | CANNOT RUN DUE TO ERRORS !!!!! 12 | 13 | (* 0001 ERROR *) 14 | -------------------------------------------------------------------------------- /src/ast/runem: -------------------------------------------------------------------------------- 1 | assist deg_imit_faults.ast 2 | assist dualtriad_better.ast 3 | assist dualtriad_w_ps.ast 4 | assist intermittent_faults.ast 5 | assist manytriads.ast 6 | assist monsensor.ast 7 | assist quad_tsien.ast 8 | assist tertiary_spare_pools.ast 9 | assist triadcold.ast 10 | -------------------------------------------------------------------------------- /src/common/fact_ext.h: -------------------------------------------------------------------------------- 1 | #if !defined(_ZZ_q_fact_ext_DEFINED) 2 | #define _ZZ_q_ZZ_q_fact_ext_DEFINED 3 | 4 | #include "cm_sys.h" 5 | 6 | extern int_type ifact(int_type); 7 | extern int_type icomb(int_type,int_type); 8 | extern int_type iperm(int_type,int_type); 9 | 10 | #endif 11 | -------------------------------------------------------------------------------- /src/test2/t6.ast: -------------------------------------------------------------------------------- 1 | SPACE = (NC: ARRAY[1..6]); 2 | START = (6 OF 0); 3 | DEATHIF NC[1] > 10; 4 | FOR I = 1,3; 5 | FOR J = 0,1; 6 | IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 7 | ENDFOR; 8 | (* IF NC[1] < 10 TRANTO NC[1] = NC[1]+2,NC[I]=NC[I]+2; *) 9 | ENDFOR; 10 | -------------------------------------------------------------------------------- /src/test2/ex20.ast: -------------------------------------------------------------------------------- 1 | SPACE = (NC: ARRAY[1..6]); 2 | START = (0,0,0,0,0,0); 3 | DEATHIF NC[1] > 10; 4 | FOR I = 1,3; 5 | FOR J = 0,1; 6 | IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 7 | ENDFOR; 8 | IF NC[1] < 10 TRANTO NC[1] = NC[1]+2,NC[I]=NC[I]+2 BY I; 9 | ENDFOR; 10 | -------------------------------------------------------------------------------- /src/test2/ex22.ast: -------------------------------------------------------------------------------- 1 | SPACE = (NC: ARRAY[1..6]); 2 | START = (0,0,0,0,0,0); 3 | DEATHIF NC[1] > 10; 4 | FOR I = 1,3; 5 | FOR J = 0,1; 6 | IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 7 | ENDFOR; 8 | (* IF NC[1] < 10 TRANTO NC[1] = NC[1]+2,NC[I]=NC[I]+2; *) 9 | ENDFOR; 10 | -------------------------------------------------------------------------------- /src/test2/ex23.mod: -------------------------------------------------------------------------------- 1 | I = 4; 2 | LAMBDA = 3E-4; 3 | 4 | 5 | *** ERROR *** model file is erroneous. 6 | 7 | (* NUMBER OF STATES IN MODEL = 1 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 0 *) 9 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | (* 0001 ERROR *) 11 | (* 0001 WARNING *) 12 | -------------------------------------------------------------------------------- /src/test2/t7.ast: -------------------------------------------------------------------------------- 1 | SPACE = (NC: ARRAY[1..6]); 2 | START = (0,1,2,3,4,5); 3 | DEATHIF NC[1] > 10; 4 | FOR I = 1,3; 5 | FOR J = 0,1; 6 | IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 7 | ENDFOR; 8 | (* IF NC[1] < 10 TRANTO NC[1] = NC[1]+2,NC[I]=NC[I]+2; *) 9 | ENDFOR; 10 | -------------------------------------------------------------------------------- /src/test/v7.1/vold/lee1.mod: -------------------------------------------------------------------------------- 1 | prunestate = 2; 2 | 3 | 4 | 3(* 5,5,5 *), 1(* 4,5,5 *) = FOO; 5 | 3(* 5,5,5 *), 1(* 4,4,5 *) = FOO; 6 | 7 | (* number of states in model = 3 *) 8 | (* number of transitions in model = 2 *) 9 | (* 2 death states aggregated states 1 - 1 *) 10 | -------------------------------------------------------------------------------- /src/test2/v7.1/ex23.mod: -------------------------------------------------------------------------------- 1 | I = 4; 2 | LAMBDA = 3E-4; 3 | 4 | 5 | *** ERROR *** model file is erroneous. 6 | 7 | (* NUMBER OF STATES IN MODEL = 1 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 0 *) 9 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | (* 0001 ERROR *) 11 | (* 0001 WARNING *) 12 | -------------------------------------------------------------------------------- /src/test2/v7.4/ex23.mod: -------------------------------------------------------------------------------- 1 | I = 4; 2 | LAMBDA = 3E-4; 3 | 4 | 5 | *** ERROR *** model file is erroneous. 6 | 7 | (* NUMBER OF STATES IN MODEL = 1 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 0 *) 9 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | (* 0001 ERROR *) 11 | (* 0001 WARNING *) 12 | -------------------------------------------------------------------------------- /src/test2/v8.0/ex23.mod: -------------------------------------------------------------------------------- 1 | I = 5; 2 | LAMBDA = 3E-4; 3 | 4 | 5 | *** ERROR *** model file is erroneous. 6 | 7 | (* NUMBER OF STATES IN MODEL = 1 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 0 *) 9 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | (* 0001 ERROR *) 11 | (* 0001 WARNING *) 12 | -------------------------------------------------------------------------------- /src/test2/ex24.ast: -------------------------------------------------------------------------------- 1 | I=4; 2 | ONEDEATH = 1; 3 | LAMBDA = 3E-4; 4 | SPACE = (NF:ARRAY[1..I]); 5 | START = (I OF 6); 6 | DEATHIF NF[1] < 6; 7 | IF NF[I]=6 TRANTO NF[1] = NF[1]-1 BY I*LAMBDA; 8 | IF NF[I]>5 TRANTO NF[1] = NF[1]-1 BY I*LAMBDA; 9 | IF NF[I]<10 TRANTO NF[1] = NF[1]-1 BY I*LAMBDA; 10 | -------------------------------------------------------------------------------- /src/test2/ex17.dat: -------------------------------------------------------------------------------- 1 | MODEL FILE = EX17.MOD 2 | 3 | 4 | 5 | LOWERBOUND UPPERBOUND COMMENTS RUN #1 6 | ----------- ----------- ----------- ---------------------- 7 | -------------------------------------------------------------------------------- /src/uprs_ext.h: -------------------------------------------------------------------------------- 1 | #if !defined(_ZZ_q_uprs_ext_DEFINED) 2 | #define _ZZ_q_uprs_ext_DEFINED 3 | /*===========================================================================*/ 4 | extern void show_prs_sizes_on_both(void); 5 | /*===========================================================================*/ 6 | #endif 7 | -------------------------------------------------------------------------------- /src/test/fast.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 0 *), 3(* 1 *) = FAST 0; 4 | 3(* 1 *), 4(* 2 *) = FAST 1; 5 | 4(* 2 *), 1(* 3 DEATH *) = FAST 2; 6 | 7 | (* NUMBER OF STATES IN MODEL = 4 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 3 *) 9 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | -------------------------------------------------------------------------------- /src/test/v7.1/fast.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 0 *), 3(* 1 *) = FAST 0; 4 | 3(* 1 *), 4(* 2 *) = FAST 1; 5 | 4(* 2 *), 1(* 3 DEATH *) = FAST 2; 6 | 7 | (* NUMBER OF STATES IN MODEL = 4 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 3 *) 9 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | -------------------------------------------------------------------------------- /src/test/v7.2/fast.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 0 *), 3(* 1 *) = FAST 0; 4 | 3(* 1 *), 4(* 2 *) = FAST 1; 5 | 4(* 2 *), 1(* 3 DEATH *) = FAST 2; 6 | 7 | (* NUMBER OF STATES IN MODEL = 4 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 3 *) 9 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | -------------------------------------------------------------------------------- /src/test/v7.4/fast.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 0 *), 3(* 1 *) = FAST 0; 4 | 3(* 1 *), 4(* 2 *) = FAST 1; 5 | 4(* 2 *), 1(* 3 DEATH *) = FAST 2; 6 | 7 | (* NUMBER OF STATES IN MODEL = 4 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 3 *) 9 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | -------------------------------------------------------------------------------- /src/test2/t9.ast: -------------------------------------------------------------------------------- 1 | (* ECHO = 0; *) 2 | SIX = 6; 3 | SPACE = (NC: ARRAY[1..6]); 4 | START = (SIX OF 0); 5 | DEATHIF NC[1] > 10; 6 | FOR I = 1,3; 7 | FOR J = 0,1; 8 | (* IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY NC[(J*3)+I]; *) 9 | ENDFOR; 10 | IF NC[1] < 10 TRANTO NC[1] = NC[1]+5 BY NC[I]+I; 11 | ENDFOR; 12 | -------------------------------------------------------------------------------- /src/test2/a2.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,1,1,1,1,0,0,0,0,0,1,1,1,1,1,0,1,1,1,1,1 *), 4 | 1(* 1,1,1,1,1,0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,1 DEATH *) 5 | = 1+1+0+0+1+1+0+1+1; 6 | 7 | (* NUMBER OF STATES IN MODEL = 2 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 9 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | -------------------------------------------------------------------------------- /src/test3/t13od.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A,B,C); 2 | START = (1,1,1); 3 | 4 | 5 | ONEDEATH OFF; 6 | 7 | DEATHIF C = 10; 8 | 9 | PRUNEIF A > 5; 10 | PRUNEIF A + B > 6; 11 | PRUNEIF C = B+A; 12 | 13 | IF A < 10 TRANTO A = A+1 BY FOOBAR; 14 | IF B < 20 TRANTO B = B+1 BY FOOBAR; 15 | IF C < 20 TRANTO C = C+1 BY FOOBAR; 16 | 17 | -------------------------------------------------------------------------------- /src/test2/v7.1/a2.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,1,1,1,1,0,0,0,0,0,1,1,1,1,1,0,1,1,1,1,1 *), 4 | 1(* 1,1,1,1,1,0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,1 DEATH *) 5 | = 1+1+0+0+1+1+0+1+1; 6 | 7 | (* NUMBER OF STATES IN MODEL = 2 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 9 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | -------------------------------------------------------------------------------- /src/test2/v7.4/a2.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,1,1,1,1,0,0,0,0,0,1,1,1,1,1,0,1,1,1,1,1 *), 4 | 1(* 1,1,1,1,1,0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,1 DEATH *) 5 | = 1+1+0+0+1+1+0+1+1; 6 | 7 | (* NUMBER OF STATES IN MODEL = 2 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 9 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | -------------------------------------------------------------------------------- /src/test2/v8.0/a2.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,1,1,1,1,0,0,0,0,0,1,1,1,1,1,0,1,1,1,1,1 *), 4 | 1(* 1,1,1,1,1,0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,1 DEATH *) 5 | = 1+1+0+0+1+1+0+1+1; 6 | 7 | (* NUMBER OF STATES IN MODEL = 2 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 9 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | -------------------------------------------------------------------------------- /src/test3/t13x.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A,B,C); 2 | START = (1,1,1); 3 | LL = 1E-4; 4 | 5 | ONEDEATH OFF; 6 | 7 | DEATHIF C = 10; 8 | 9 | PRUNEIF A > 10; 10 | PRUNEIF A + B > 20; 11 | PRUNEIF C = B+A; 12 | 13 | 14 | IF A < 100 TRANTO A = A+1 BY LL; 15 | IF B < 200 TRANTO B = B+1 BY LL; 16 | IF C < 200 TRANTO C = C+1 BY LL; 17 | 18 | -------------------------------------------------------------------------------- /src/common/x_time.h: -------------------------------------------------------------------------------- 1 | /* 2 | Definitions which are missing from "time.h" on archaic systems such 3 | as SUN and ULTRIX 4 | */ 5 | 6 | #if !defined(_ZZ_q_x_time_DEFINED) 7 | #define _ZZ_q_x_time_DEFINED 8 | 9 | #include "cm_sys.h" 10 | 11 | extern time_t time(time_t *); 12 | extern clock_t clock(void); 13 | 14 | #endif 15 | -------------------------------------------------------------------------------- /src/test/billee.mod: -------------------------------------------------------------------------------- 1 | LIST = 3; 2 | TIME = 3.0; 3 | PRUNE = 1.0E-15; 4 | LAMC = 50.0E-6; 5 | COVC = 0.95; 6 | LAMDIU = 37.5E-6; 7 | DIUACT = 0.05; 8 | LAMNODE = 37.5E-6; 9 | LAMHYD = 43.0E-6; 10 | LAMSD = 30.0E-6; 11 | LAMV = 15.0E-6; 12 | RAMJAM = 3.33E-5; 13 | 14 | CANNOT RUN DUE TO ERRORS !!!!! 15 | 16 | (* 0013 ERRORS *) 17 | -------------------------------------------------------------------------------- /src/test2/a1.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A:ARRAY[1..20] OF 0..1, 2 | B:ARRAY[1..20] OF 0..1, 3 | C:ARRAY[1..5] OF 0..1, 4 | D:0..1, 5 | E:ARRAY[1..10] OF 0..1); 6 | START = (45 OF 1,11 OF 0); 7 | DEATHIF D=1; 8 | IF E[8]=0 TRANTO D=1 BY D+E[1]+E[2]+E[3]+E[4]+E[5]+E[6]; 9 | (* RATE IS ALL 0'S *) 10 | -------------------------------------------------------------------------------- /src/test2/ex10.ast: -------------------------------------------------------------------------------- 1 | NP = 6; (* number of processors initially *) 2 | E = 3.6E3; (* recovery rate *) 3 | SPACE = (NC: 0..NP, NF: 0..NP); 4 | START = (NP,0); 5 | DEATHIF 2*NF >= NC; 6 | IF NC > 0 TRANTO (NC,NF+1) BY (NC-NF)*1E-4; (* fault arrivals *) 7 | IF NF > 0 TRANTO (NC-1, NF-1) BY <1/(NF*3.6E3),1/(NF*E)>; (* system recovery*) 8 | -------------------------------------------------------------------------------- /src/astoptfig.h: -------------------------------------------------------------------------------- 1 | #if !defined(_ZZ_q_astoptfig_DEFINED) 2 | #define _ZZ_q_astoptfig_DEFINED 3 | /*===========================================================================*/ 4 | 5 | #define OPTIONS_CONFIG_FILE ".assist_options" 6 | 7 | 8 | /*===========================================================================*/ 9 | #endif 10 | -------------------------------------------------------------------------------- /src/common/lib_def.h: -------------------------------------------------------------------------------- 1 | /* 2 | To be included as the first local include of all library files. 3 | For example: 4 | 5 | #include "lib_def.h" 6 | #include "....." 7 | .... 8 | */ 9 | #if !defined(EXKW_DEFINED) 10 | #define EXKW_DEFINED 11 | #define EXKW extern 12 | #endif 13 | -------------------------------------------------------------------------------- /src/test/v7.1/billee.mod: -------------------------------------------------------------------------------- 1 | LIST = 3; 2 | TIME = 3.0; 3 | PRUNE = 1.0E-15; 4 | LAMC = 50.0E-6; 5 | COVC = 0.95; 6 | LAMDIU = 37.5E-6; 7 | DIUACT = 0.05; 8 | LAMNODE = 37.5E-6; 9 | LAMHYD = 43.0E-6; 10 | LAMSD = 30.0E-6; 11 | LAMV = 15.0E-6; 12 | RAMJAM = 3.33E-5; 13 | 14 | CANNOT RUN DUE TO ERRORS !!!!! 15 | 16 | (* 0013 ERRORS *) 17 | -------------------------------------------------------------------------------- /src/test/v7.2/billee.mod: -------------------------------------------------------------------------------- 1 | LIST = 3; 2 | TIME = 3.0; 3 | PRUNE = 1.0E-15; 4 | LAMC = 50.0E-6; 5 | COVC = 0.95; 6 | LAMDIU = 37.5E-6; 7 | DIUACT = 0.05; 8 | LAMNODE = 37.5E-6; 9 | LAMHYD = 43.0E-6; 10 | LAMSD = 30.0E-6; 11 | LAMV = 15.0E-6; 12 | RAMJAM = 3.33E-5; 13 | 14 | CANNOT RUN DUE TO ERRORS !!!!! 15 | 16 | (* 0013 ERRORS *) 17 | -------------------------------------------------------------------------------- /src/test/v7.4/billee.mod: -------------------------------------------------------------------------------- 1 | LIST = 3; 2 | TIME = 3.0; 3 | PRUNE = 1.0E-15; 4 | LAMC = 50.0E-6; 5 | COVC = 0.95; 6 | LAMDIU = 37.5E-6; 7 | DIUACT = 0.05; 8 | LAMNODE = 37.5E-6; 9 | LAMHYD = 43.0E-6; 10 | LAMSD = 30.0E-6; 11 | LAMV = 15.0E-6; 12 | RAMJAM = 3.33E-5; 13 | 14 | CANNOT RUN DUE TO ERRORS !!!!! 15 | 16 | (* 0013 ERRORS *) 17 | -------------------------------------------------------------------------------- /src/test3/check-all: -------------------------------------------------------------------------------- 1 | # 2 | check dan 3 | check dan2 4 | check dan3 5 | check dan4 6 | #check dan5 7 | #check dan6 8 | #check dan7 9 | check danw 10 | 11 | check bg 12 | check bg3 13 | check sm 14 | check sm3 15 | check dan2od 16 | 17 | check manual1od 18 | check manual4od 19 | check big2od 20 | check bc3od 21 | check t13x 22 | 23 | -------------------------------------------------------------------------------- /src/test/lee1.mod: -------------------------------------------------------------------------------- 1 | PRUNESTATES = 2; 2 | 3 | 4 | 3(* 5,5,5 *), 1(* 4,5,5 DEATH *) = FOO; 5 | 3(* 5,5,5 *), 1(* 4,4,5 DEATH *) = FOO; 6 | 7 | (* NUMBER OF STATES IN MODEL = 3 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 9 | (* 2 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | (* 0 PRUNE STATES AGGREGATED INTO STATE 2 *) 11 | -------------------------------------------------------------------------------- /src/test2/ex15.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | 6 | 2(* 6,6,0 *), 1(* 5,6,1 DEATH *) = (6+0)*LAMBDA; 7 | 2(* 6,6,0 *), 1(* 5,6,1 DEATH *) = (6+0)*LAMBDA; 8 | 9 | (* NUMBER OF STATES IN MODEL = 2 *) 10 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 11 | (* 2 DEATH STATES AGGREGATED INTO STATE 1 *) 12 | -------------------------------------------------------------------------------- /src/test/v7.1/lee1.mod: -------------------------------------------------------------------------------- 1 | PRUNESTATES = 2; 2 | 3 | 4 | 3(* 5,5,5 *), 1(* 4,5,5 DEATH *) = FOO; 5 | 3(* 5,5,5 *), 1(* 4,4,5 DEATH *) = FOO; 6 | 7 | (* NUMBER OF STATES IN MODEL = 3 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 9 | (* 2 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | (* 0 PRUNE STATES AGGREGATED INTO STATE 2 *) 11 | -------------------------------------------------------------------------------- /src/test/v7.2/lee1.mod: -------------------------------------------------------------------------------- 1 | PRUNESTATES = 2; 2 | 3 | 4 | 3(* 5,5,5 *), 1(* 4,5,5 DEATH *) = FOO; 5 | 3(* 5,5,5 *), 1(* 4,4,5 DEATH *) = FOO; 6 | 7 | (* NUMBER OF STATES IN MODEL = 3 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 9 | (* 2 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | (* 0 PRUNE STATES AGGREGATED INTO STATE 2 *) 11 | -------------------------------------------------------------------------------- /src/test/v7.4/lee1.mod: -------------------------------------------------------------------------------- 1 | PRUNESTATES = 2; 2 | 3 | 4 | 3(* 5,5,5 *), 1(* 4,5,5 DEATH *) = FOO; 5 | 3(* 5,5,5 *), 1(* 4,4,5 DEATH *) = FOO; 6 | 7 | (* NUMBER OF STATES IN MODEL = 3 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 9 | (* 2 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | (* 0 PRUNE STATES AGGREGATED INTO STATE 2 *) 11 | -------------------------------------------------------------------------------- /src/test2/rb7.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 0,0,0 *), 2(* 0,1,0 *) = 1; 4 | 2(* 0,1,0 *), 3(* 1,0,1 *) = 2; 5 | 3(* 1,0,1 *), 4(* 1,1,0 *) = 2; 6 | 4(* 1,1,0 *), 4(* 1,1,0 *) = 1; 7 | 8 | (* NUMBER OF STATES IN MODEL = 4 *) 9 | (* NUMBER OF TRANSITIONS IN MODEL = 4 *) 10 | (* 0001 WARNING *) 11 | -------------------------------------------------------------------------------- /src/test2/v7.1/ex15.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | 6 | 2(* 6,6,0 *), 1(* 5,6,1 DEATH *) = (6+0)*LAMBDA; 7 | 2(* 6,6,0 *), 1(* 5,6,1 DEATH *) = (6+0)*LAMBDA; 8 | 9 | (* NUMBER OF STATES IN MODEL = 2 *) 10 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 11 | (* 2 DEATH STATES AGGREGATED INTO STATE 1 *) 12 | -------------------------------------------------------------------------------- /src/test2/v7.4/ex15.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | 6 | 2(* 6,6,0 *), 1(* 5,6,1 DEATH *) = (6+0)*LAMBDA; 7 | 2(* 6,6,0 *), 1(* 5,6,1 DEATH *) = (6+0)*LAMBDA; 8 | 9 | (* NUMBER OF STATES IN MODEL = 2 *) 10 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 11 | (* 2 DEATH STATES AGGREGATED INTO STATE 1 *) 12 | -------------------------------------------------------------------------------- /src/test2/v8.0/ex15.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | LAMBDA = 1E-4; 3 | DELTA = 3.6E3; 4 | 5 | 6 | 2(* 6,6,0 *), 1(* 5,6,1 DEATH *) = (6+0)*LAMBDA; 7 | 2(* 6,6,0 *), 1(* 5,6,1 DEATH *) = (6+0)*LAMBDA; 8 | 9 | (* NUMBER OF STATES IN MODEL = 2 *) 10 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 11 | (* 2 DEATH STATES AGGREGATED INTO STATE 1 *) 12 | -------------------------------------------------------------------------------- /src/booldefs.h: -------------------------------------------------------------------------------- 1 | #if !defined(_ZZ_q_booldefs_DEFINED) 2 | #define _ZZ_q_booldefs_DEFINED 3 | /*===========================================================================*/ 4 | typedef unsigned char Boolean; 5 | #define FALSE ((Boolean) 0) 6 | #define TRUE ((Boolean) 1) 7 | /*===========================================================================*/ 8 | #endif 9 | -------------------------------------------------------------------------------- /src/test2/t3.ast: -------------------------------------------------------------------------------- 1 | NP=6; (* number of processors initially *) 2 | LAMBDA = 1E-4; (* fault arrival rate *) 3 | DELTA = 3.6E3; (* recovery rate *) 4 | SPACE = (A:0..1,B:0..1,C:0..1,D,E,F,G); 5 | START = (7 OF 1); 6 | DEATHIF A=B; 7 | ONEDEATH = 1; 8 | IF A > 0 TRANTO A = A+1 BY LAMBDA; (* fault arrivals *) 9 | (* START STATE SHOULD BE A DEATH STATE *) 10 | -------------------------------------------------------------------------------- /src/test2/v7.1/rb7.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 0,0,0 *), 2(* 0,1,0 *) = 1; 4 | 2(* 0,1,0 *), 3(* 1,0,1 *) = 2; 5 | 3(* 1,0,1 *), 4(* 1,1,0 *) = 2; 6 | 4(* 1,1,0 *), 4(* 1,1,0 *) = 1; 7 | 8 | (* NUMBER OF STATES IN MODEL = 4 *) 9 | (* NUMBER OF TRANSITIONS IN MODEL = 4 *) 10 | (* 0001 WARNING *) 11 | -------------------------------------------------------------------------------- /src/test2/v7.4/rb7.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 0,0,0 *), 2(* 0,1,0 *) = 1; 4 | 2(* 0,1,0 *), 3(* 1,0,1 *) = 2; 5 | 3(* 1,0,1 *), 4(* 1,1,0 *) = 2; 6 | 4(* 1,1,0 *), 4(* 1,1,0 *) = 1; 7 | 8 | (* NUMBER OF STATES IN MODEL = 4 *) 9 | (* NUMBER OF TRANSITIONS IN MODEL = 4 *) 10 | (* 0001 WARNING *) 11 | -------------------------------------------------------------------------------- /src/test2/v8.0/rb7.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 0,0,0 *), 2(* 0,1,0 *) = 1; 4 | 2(* 0,1,0 *), 3(* 1,0,1 *) = 2; 5 | 3(* 1,0,1 *), 4(* 1,1,0 *) = 2; 6 | 4(* 1,1,0 *), 4(* 1,1,0 *) = 1; 7 | 8 | (* NUMBER OF STATES IN MODEL = 4 *) 9 | (* NUMBER OF TRANSITIONS IN MODEL = 4 *) 10 | (* 0001 WARNING *) 11 | -------------------------------------------------------------------------------- /src/common/pass.h: -------------------------------------------------------------------------------- 1 | #if !defined(_ZZ_q_pass_DEFINED) 2 | #define _ZZ_q_pass_DEFINED 3 | 4 | #include "cm_types.h" 5 | 6 | extern char encoded_state_string[]; 7 | extern reserved_word_lookup_type reserved_word_lookup_table[]; 8 | extern char tempnam_buffer[]; 9 | 10 | extern char encoded_aux_val[]; 11 | extern char enk_5_or_more_str[]; 12 | 13 | #endif 14 | -------------------------------------------------------------------------------- /src/objtypes.h: -------------------------------------------------------------------------------- 1 | #if !defined(_ZZ_q_objtypes_DEFINED) 2 | #define _ZZ_q_objtypes_DEFINED 3 | /*===========================================================================*/ 4 | #include "objdefs.h" 5 | #include "cm_types.h" 6 | typedef unsigned_255_type object_table_type; 7 | /*===========================================================================*/ 8 | #endif 9 | -------------------------------------------------------------------------------- /src/test2/ex15.ast: -------------------------------------------------------------------------------- 1 | NP = 6; (* number of processors initially *) 2 | LAMBDA = 1E-4; (* fault arrival rate *) 3 | DELTA = 3.6E3; (* recovery rate *) 4 | SPACE = (NC: ARRAY[1..2] OF 0..NP, NF: 0..NP); 5 | START = (6,6,0); 6 | DEATHIF NC[1] < 6; 7 | FOR I = 1,2; 8 | IF (NC[1] = 6) AND (NF = 0) TRANTO (NC[1]-1,NC[2],1) BY (NC[1]+NF)*LAMBDA; 9 | ENDFOR; 10 | -------------------------------------------------------------------------------- /src/test2/ex21.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 6,0 *), 1(* 3,0 DEATH *) = <1/(0*DELTA),1/(0*DELTA)>; 4 | 2(* 6,0 *), 1(* 5,0 DEATH *) = (6-0)*LAMBDA; 5 | *** ERROR *** model file is erroneous. 6 | 7 | (* NUMBER OF STATES IN MODEL = 2 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 9 | (* 2 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | (* 0001 ERROR *) 11 | -------------------------------------------------------------------------------- /src/test2/a2.ast: -------------------------------------------------------------------------------- 1 | SPACE = (A:ARRAY[1..5] OF 0..1, 2 | B:ARRAY[1..5] OF 0..1, 3 | C:ARRAY[1..5] OF 0..1, 4 | D:0..1, 5 | E:ARRAY[1..5] OF 0..1); 6 | START = (5 OF 1, 5 OF 0, 5 OF 1, 0, 5 OF 1); 7 | DEATHIF D=1; 8 | IF E[1]=1 TRANTO D=1 BY A[1]+A[5]+B[1]+B[5]+C[1]+C[5]+D+E[1]+E[5]; 9 | (* RATE IS 1+1+0+0+1+1+0+1+1 *) 10 | -------------------------------------------------------------------------------- /src/test2/v7.1/ex21.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 6,0 *), 1(* 3,0 DEATH *) = <1/(0*DELTA),1/(0*DELTA)>; 4 | 2(* 6,0 *), 1(* 5,0 DEATH *) = (6-0)*LAMBDA; 5 | *** ERROR *** model file is erroneous. 6 | 7 | (* NUMBER OF STATES IN MODEL = 2 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 9 | (* 2 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | (* 0001 ERROR *) 11 | -------------------------------------------------------------------------------- /src/test2/v7.4/ex21.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 6,0 *), 1(* 3,0 DEATH *) = <1/(0*DELTA),1/(0*DELTA)>; 4 | 2(* 6,0 *), 1(* 5,0 DEATH *) = (6-0)*LAMBDA; 5 | *** ERROR *** model file is erroneous. 6 | 7 | (* NUMBER OF STATES IN MODEL = 2 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 9 | (* 2 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | (* 0001 ERROR *) 11 | -------------------------------------------------------------------------------- /src/test2/v8.0/ex21.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 6,0 *), 1(* 3,0 DEATH *) = <1/(0*DELTA),1/(0*DELTA)>; 4 | 2(* 6,0 *), 1(* 5,0 DEATH *) = (6-0)*LAMBDA; 5 | *** ERROR *** model file is erroneous. 6 | 7 | (* NUMBER OF STATES IN MODEL = 2 *) 8 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 9 | (* 2 DEATH STATES AGGREGATED INTO STATE 1 *) 10 | (* 0001 ERROR *) 11 | -------------------------------------------------------------------------------- /src/test2/ex16.ast: -------------------------------------------------------------------------------- 1 | NP = 6; (* number of processors initially *) 2 | LAMBDA = 1E-4; (* fault arrival rate *) 3 | DELTA = 3.6E3; (* recovery rate *) 4 | SPACE = (NC: 0..NP, NF: 0..NP); 5 | START = (NP,0); 6 | DEATHIF NC < 6; 7 | FOR I = 5,10; 8 | FOR J = 1,2; 9 | FOR K = 1,3; 10 | ENDFOR; 11 | IF NC = 6 TRANTO (1,1) BY (1+1)*LAMBDA; 12 | ENDFOR; 13 | ENDFOR; 14 | -------------------------------------------------------------------------------- /src/test2/ex5.ast: -------------------------------------------------------------------------------- 1 | NP = 6; (* number of processors initially *) 2 | LAMBDA = 1E-4; (* fault arrival rate *) 3 | DELTA = 3.6E3; (* recovery rate *) 4 | SPACE = (NC: 0..NP, NF: 0..NP); 5 | START = (NP,0); 6 | DEATHIF 2*NF >= NC; 7 | IF NC > 0 TRANTO NF = NF + 1 BY (NC-NF)*LAMBDA; (* fault arrivals *) 8 | IF NF > 0 TRANTO (NC-1, NF-1) BY NF*DELTA; (* system recovery*) 9 | -------------------------------------------------------------------------------- /src/test2/ex8.ast: -------------------------------------------------------------------------------- 1 | NP = 6; (* number of processors initially *) 2 | ET = -2; 3 | LAMBDA = 1E-4; (* fault arrival rate *) 4 | DELTA = 3.6E3; (* recovery rate *) 5 | SPACE = (NC,NF); 6 | START = (7,ET); 7 | DEATHIF 2*NF >= NC; 8 | IF NC > 0 TRANTO (NC,NF+1) BY (NC-NF)*LAMBDA; (* fault arrivals *) 9 | IF NF > 0 TRANTO (NC-1, NF-1) BY NF*DELTA; (* systen recovery*) 10 | -------------------------------------------------------------------------------- /src/test2/ex24.mod: -------------------------------------------------------------------------------- 1 | I = 4; 2 | LAMBDA = 3E-4; 3 | 4 | 5 | 2(* 6,6,6,6 *), 1(* 5,6,6,6 DEATH *) = I*LAMBDA; 6 | 2(* 6,6,6,6 *), 1(* 5,6,6,6 DEATH *) = I*LAMBDA; 7 | 2(* 6,6,6,6 *), 1(* 5,6,6,6 DEATH *) = I*LAMBDA; 8 | 9 | (* NUMBER OF STATES IN MODEL = 2 *) 10 | (* NUMBER OF TRANSITIONS IN MODEL = 3 *) 11 | (* 3 DEATH STATES AGGREGATED INTO STATE 1 *) 12 | -------------------------------------------------------------------------------- /src/test3/run-all: -------------------------------------------------------------------------------- 1 | ../assist dan.ast 2 | ../assist dan2.ast 3 | ../assist dan3.ast 4 | ../assist dan4.ast 5 | ../assist danw.ast 6 | ../assist dan4od.ast 7 | ../assist bg.ast 8 | ../assist bg3.ast 9 | ../assist sm.ast 10 | ../assist sm3.ast 11 | ../assist dan2od 12 | 13 | ../assist manual1od 14 | ../assist manual4od 15 | ../assist big2od 16 | ../assist bc3od 17 | ../assist t13x 18 | -------------------------------------------------------------------------------- /src/test2/v7.1/ex24.mod: -------------------------------------------------------------------------------- 1 | I = 4; 2 | LAMBDA = 3E-4; 3 | 4 | 5 | 2(* 6,6,6,6 *), 1(* 5,6,6,6 DEATH *) = I*LAMBDA; 6 | 2(* 6,6,6,6 *), 1(* 5,6,6,6 DEATH *) = I*LAMBDA; 7 | 2(* 6,6,6,6 *), 1(* 5,6,6,6 DEATH *) = I*LAMBDA; 8 | 9 | (* NUMBER OF STATES IN MODEL = 2 *) 10 | (* NUMBER OF TRANSITIONS IN MODEL = 3 *) 11 | (* 3 DEATH STATES AGGREGATED INTO STATE 1 *) 12 | -------------------------------------------------------------------------------- /src/test2/v7.4/ex24.mod: -------------------------------------------------------------------------------- 1 | I = 4; 2 | LAMBDA = 3E-4; 3 | 4 | 5 | 2(* 6,6,6,6 *), 1(* 5,6,6,6 DEATH *) = I*LAMBDA; 6 | 2(* 6,6,6,6 *), 1(* 5,6,6,6 DEATH *) = I*LAMBDA; 7 | 2(* 6,6,6,6 *), 1(* 5,6,6,6 DEATH *) = I*LAMBDA; 8 | 9 | (* NUMBER OF STATES IN MODEL = 2 *) 10 | (* NUMBER OF TRANSITIONS IN MODEL = 3 *) 11 | (* 3 DEATH STATES AGGREGATED INTO STATE 1 *) 12 | -------------------------------------------------------------------------------- /src/common/gamma.h: -------------------------------------------------------------------------------- 1 | #if !defined(_ZZ_q_gamma_DEFINED) 2 | #define _ZZ_q_gamma_DEFINED 3 | 4 | #include "commonio.h" 5 | #include "cm_sys.h" 6 | 7 | extern int cgamma(real_type,real_type *); 8 | extern int lngamma(real_type,real_type *); 9 | extern int qq_gamma(real_type,real_type *,Boolean); 10 | extern int igamma(real_type,real_type,real_type *,real_type *,real_type *); 11 | 12 | #endif 13 | -------------------------------------------------------------------------------- /src/test2/ex18.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | NA = 3; 3 | LAMBDA = 1E-4; 4 | DELTA = 3.6E3; 5 | 6 | 7 | 2(* 6,5,4,0,0,0 *), 3(* 6,5,4,1,2,3 *) = (6+5+4+0+0+0)*LAMBDA; 8 | 3(* 6,5,4,1,2,3 *), 1(* 6,5,4,2,4,6 DEATH *) = (6+5+4+1+2+3)*LAMBDA; 9 | 10 | (* NUMBER OF STATES IN MODEL = 3 *) 11 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 12 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 13 | -------------------------------------------------------------------------------- /src/test2/ex1.ast: -------------------------------------------------------------------------------- 1 | NP=6; (* number of processors initially *) 2 | LAMBDA = 1E-4; (* fault arrival rate *) 3 | DELTA = 3.6E3; (* recovery rate *) 4 | SPACE = (NC: 0..NP, NF: 0..NP); 5 | START = (NP,0); 6 | DEATHIF 2*NF >= NC; 7 | IF NC > 0 TRANTO (NC,NF+1) BY (NC-NF)*LAMBDA; (* fault arrivals *) 8 | IF NF > 0 TRANTO (NC-1, NF-1) BY <1/(NF*DELTA),1/(NF*DELTA)>; 9 | (* systen recovery *) 10 | -------------------------------------------------------------------------------- /src/test2/t4.ast: -------------------------------------------------------------------------------- 1 | NP=6; (* number of processors initially *) 2 | LAMBDA = 1E-4; (* fault arrival rate *) 3 | DELTA = 3.6E3; (* recovery rate *) 4 | SPACE = (A,B,C,D,E,F,G); 5 | START = (7 OF 1); 6 | (* DEBUG ALL; *) 7 | DEATHIF (F=G OR A>B) AND A>C; 8 | ONEDEATH = 1; 9 | IF A > 0 TRANTO A = A+1 BY (NC-NF)*LAMBDA; (* fault arrivals *) 10 | (* ONE TRANSITION, 1,1,1,1,1,1,1 TO 2,1,1,1,1,1,1* *) 11 | -------------------------------------------------------------------------------- /src/test2/v7.1/ex18.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | NA = 3; 3 | LAMBDA = 1E-4; 4 | DELTA = 3.6E3; 5 | 6 | 7 | 2(* 6,5,4,0,0,0 *), 3(* 6,5,4,1,2,3 *) = (6+5+4+0+0+0)*LAMBDA; 8 | 3(* 6,5,4,1,2,3 *), 1(* 6,5,4,2,4,6 DEATH *) = (6+5+4+1+2+3)*LAMBDA; 9 | 10 | (* NUMBER OF STATES IN MODEL = 3 *) 11 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 12 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 13 | -------------------------------------------------------------------------------- /src/test2/v7.4/ex18.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | NA = 3; 3 | LAMBDA = 1E-4; 4 | DELTA = 3.6E3; 5 | 6 | 7 | 2(* 6,5,4,0,0,0 *), 3(* 6,5,4,1,2,3 *) = (6+5+4+0+0+0)*LAMBDA; 8 | 3(* 6,5,4,1,2,3 *), 1(* 6,5,4,2,4,6 DEATH *) = (6+5+4+1+2+3)*LAMBDA; 9 | 10 | (* NUMBER OF STATES IN MODEL = 3 *) 11 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 12 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 13 | -------------------------------------------------------------------------------- /src/test2/v8.0/ex18.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | NA = 3; 3 | LAMBDA = 1E-4; 4 | DELTA = 3.6E3; 5 | 6 | 7 | 2(* 6,5,4,0,0,0 *), 3(* 6,5,4,1,2,3 *) = (6+5+4+0+0+0)*LAMBDA; 8 | 3(* 6,5,4,1,2,3 *), 1(* 6,5,4,2,4,6 DEATH *) = (6+5+4+1+2+3)*LAMBDA; 9 | 10 | (* NUMBER OF STATES IN MODEL = 3 *) 11 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 12 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 13 | -------------------------------------------------------------------------------- /src/test2/v8.0/ex24.mod: -------------------------------------------------------------------------------- 1 | I = 5; 2 | LAMBDA = 3E-4; 3 | 4 | 5 | 2(* 6,6,6,6,6 *), 1(* 5,6,6,6,6 DEATH *) = I*LAMBDA; 6 | 2(* 6,6,6,6,6 *), 1(* 5,6,6,6,6 DEATH *) = I*LAMBDA; 7 | 2(* 6,6,6,6,6 *), 1(* 5,6,6,6,6 DEATH *) = I*LAMBDA; 8 | 9 | (* NUMBER OF STATES IN MODEL = 2 *) 10 | (* NUMBER OF TRANSITIONS IN MODEL = 3 *) 11 | (* 3 DEATH STATES AGGREGATED INTO STATE 1 *) 12 | -------------------------------------------------------------------------------- /src/common/x_header.h: -------------------------------------------------------------------------------- 1 | /* 2 | Definitions which are missing from header files on archaic 3 | systems such as SUN and ULTRIX 4 | 5 | */ 6 | #if !defined(_ZZ_q_x_header_DEFINED) 7 | #define _ZZ_q_x_header_DEFINED 8 | 9 | #ifdef _NO_PROTO 10 | extern void usleep(); 11 | extern void perror(); 12 | #else 13 | extern void usleep(unsigned); 14 | extern void perror(char *); 15 | #endif 16 | 17 | #endif 18 | -------------------------------------------------------------------------------- /src/test2/ex11.ast: -------------------------------------------------------------------------------- 1 | NP = 6; (* number of processors initially *) 2 | E = 3.6E3; (* recovery rate *) 3 | SPACE = (NC: 0..NP, NF: 0..NP); 4 | START = (NP,0); 5 | DEATHIF 2*NF >= NC; 6 | IF NC > 0 TRANTO (NC,NF+1) BY (* comment *) 7 | (NC-NF)*1E-4; 8 | IF NF > 0 TRANTO (NC-1, NF-1) BY <1/(NF*3.6E3),(* MEAN *) 9 | 1/(NF*E) (* STANDARD DEVIATION *) >; (* COMMENT *) 10 | -------------------------------------------------------------------------------- /src/test2/ex4.ast: -------------------------------------------------------------------------------- 1 | NP = 6; (* number of processors initially *) 2 | ET = -2; 3 | LAMBDA = 1E-4; (* fault arrival rate *) 4 | DELTA = 3.6E3; (* recovery rate *) 5 | SPACE = (NC:0..NP,NF); 6 | (* START = (7,ET); *) 7 | START = (6,0); 8 | DEATHIF 2*NF >= NC; 9 | IF NC > 0 TRANTO (NC,NF+1) BY (NC-NF)*LAMBDA; (* fault arrivals *) 10 | IF NF > 0 TRANTO (NC-1, NF-1) BY NF*DELTA; (* systen recovery*) 11 | -------------------------------------------------------------------------------- /src/test/ex1.ast: -------------------------------------------------------------------------------- 1 | NP=6; (* number of processors initially *) 2 | "LAMBDA = 1E-8 TO* 1E-4;" (* fault arrival rate *) 3 | "INPUT DELTA;" (* recovery rate *) 4 | SPACE = (NC: 0..NP, NF: 0..NP); 5 | START = (NP,0); 6 | DEATHIF 2*NF >= NC; 7 | IF NC <> 0 TRANTO (NC,NF+1) BY (NC-NF)*LAMBDA; (* fault arrivals *) 8 | IF NF <> 0 TRANTO (NC-1, NF-1) BY <1/(NF*DELTA),1/(NF*DELTA)>; 9 | (* systen recovery *) 10 | -------------------------------------------------------------------------------- /src/translations.dat: -------------------------------------------------------------------------------- 1 | (NI_TRIAD-3),0 2 | (NI_TRIAD-2),1 3 | (NI_TRIAD-1),2 4 | (NI_TRIAD-0),3 5 | (NI_TRIAD1-3),0 6 | (NI_TRIAD1-2),1 7 | (NI_TRIAD1-1),2 8 | (NI_TRIAD1-0),3 9 | (NI_TRIAD2-3),0 10 | (NI_TRIAD2-2),1 11 | (NI_TRIAD2-1),2 12 | (NI_TRIAD2-0),3 13 | (0),0 14 | (1),1 15 | (2),2 16 | (3),3 17 | (1/1),1 18 | (2/2),1 19 | (3/3),1 20 | (4/4),1 21 | (1.0/1),1 22 | (2.0/2),1 23 | (3.0/3),1 24 | (4.0/4),1 25 | -------------------------------------------------------------------------------- /src/test2/t1.ast: -------------------------------------------------------------------------------- 1 | NP=6; (* number of processors initially *) 2 | LAMBDA = 1E-4; (* fault arrival rate *) 3 | DELTA = 3.6E3; (* recovery rate *) 4 | SPACE = (NC: 0..NP, NF: 0..NP); 5 | START = (NP,0); 6 | DEATHIF 2*NF >= NC; 7 | INPUT ONEDEATH; 8 | IF NC > 0 TRANTO (NC,NF+1) BY (NC-NF)*LAMBDA; (* fault arrivals *) 9 | IF NF > 0 TRANTO (NC-1, NF-1) BY <1/(NF*DELTA),1/(NF*DELTA)>; 10 | (* system recovery *) 11 | -------------------------------------------------------------------------------- /src/test/t7.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 2 *), 3(* 3 *) = FOOBAR; 4 | 3(* 3 *), 4(* 4 *) = FOOBAR; 5 | 4(* 4 *), 5(* 5 *) = FOOBAR; 6 | 5(* 5 *), 4(* 4 *) = FOOBAR; 7 | *** ERROR *** model file is erroneous. 8 | 9 | (* NUMBER OF STATES IN MODEL = 5 *) 10 | (* NUMBER OF TRANSITIONS IN MODEL = 4 *) 11 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 12 | (* 0001 ERROR *) 13 | -------------------------------------------------------------------------------- /src/common/perrdefs.h: -------------------------------------------------------------------------------- 1 | #if !defined(_ZZ_q_perrdefs_DEFINED) 2 | #define _ZZ_q_perrdefs_DEFINED 3 | 4 | #define E_MOD0 23 5 | #define E_CYC0 23 6 | #define E_DVD0 23 7 | #define E_RDVD0 23 8 | #define E_NEGROOT 31 9 | #define E_LNOFNEG 31 10 | #define E_NEGTOREAL 31 11 | #define E_EXPOVF 32 12 | #define E_INTEGEROVF 32001 13 | #define E_REALOVF 32002 14 | #define E_NEGVALUE 32003 15 | #define E_KVSN 32004 16 | 17 | #endif 18 | -------------------------------------------------------------------------------- /src/test/v7.1/t7.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 2 *), 3(* 3 *) = FOOBAR; 4 | 3(* 3 *), 4(* 4 *) = FOOBAR; 5 | 4(* 4 *), 5(* 5 *) = FOOBAR; 6 | 5(* 5 *), 4(* 4 *) = FOOBAR; 7 | *** ERROR *** model file is erroneous. 8 | 9 | (* NUMBER OF STATES IN MODEL = 5 *) 10 | (* NUMBER OF TRANSITIONS IN MODEL = 4 *) 11 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 12 | (* 0001 ERROR *) 13 | -------------------------------------------------------------------------------- /src/test/v7.2/t7.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 2 *), 3(* 3 *) = FOOBAR; 4 | 3(* 3 *), 4(* 4 *) = FOOBAR; 5 | 4(* 4 *), 5(* 5 *) = FOOBAR; 6 | 5(* 5 *), 4(* 4 *) = FOOBAR; 7 | *** ERROR *** model file is erroneous. 8 | 9 | (* NUMBER OF STATES IN MODEL = 5 *) 10 | (* NUMBER OF TRANSITIONS IN MODEL = 4 *) 11 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 12 | (* 0001 ERROR *) 13 | -------------------------------------------------------------------------------- /src/test/v7.4/t7.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 2 *), 3(* 3 *) = FOOBAR; 4 | 3(* 3 *), 4(* 4 *) = FOOBAR; 5 | 4(* 4 *), 5(* 5 *) = FOOBAR; 6 | 5(* 5 *), 4(* 4 *) = FOOBAR; 7 | *** ERROR *** model file is erroneous. 8 | 9 | (* NUMBER OF STATES IN MODEL = 5 *) 10 | (* NUMBER OF TRANSITIONS IN MODEL = 4 *) 11 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 12 | (* 0001 ERROR *) 13 | -------------------------------------------------------------------------------- /src/test2/ex6.ast: -------------------------------------------------------------------------------- 1 | NP = 6; (* number of processors initially *) 2 | LAMBDA = 1E-4; (* fault arrival rate *) 3 | DELTA = 3.6E3; (* recovery rate *) 4 | SPACE = (NC: 0..NP, NF: 0..NP); 5 | START = (NP,0); 6 | DEATHIF 2*NF >= NC; 7 | IF NC > 0 TRANTO NC = NC BY (NC-NF)*LAMBDA; (* fault arrivals *) 8 | IF NC > 0 TRANTO NC , NF = ,NC = BY (NC-NF)*LAMBDA; (* fault arrivals *) 9 | IF NF > 0 TRANTO BY 1 ; (* system recovery*) 10 | -------------------------------------------------------------------------------- /src/test/test2.mod: -------------------------------------------------------------------------------- 1 | TIME = 3.0; 2 | LIST = 2; 3 | LAMSEN = 10.0E-6; 4 | LAMOUT = 561.E-6; 5 | LAMCOM = 15.0E-6; 6 | LAMDIU = 15.0E-6; 7 | LAMELEC = 20.0E-6; 8 | RECMEAN = 3.0E-4; 9 | RECSTD = 1.0E-4; 10 | 11 | 12 | 2, 3 = LAMCOM; 13 | 2, 3 = LAMOUT; 14 | 15 | (* NUMBER OF STATES IN MODEL = 3 *) 16 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 17 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 18 | (* 0001 WARNING *) 19 | -------------------------------------------------------------------------------- /src/test2/ex14.ast: -------------------------------------------------------------------------------- 1 | NP = 6; (* number of processors initially *) 2 | LAMBDA = 1E-4; (* fault arrival rate *) 3 | DELTA = 3.6E3; (* recovery rate *) 4 | SPACE = (NC: 0..NP, NF: 0..NP); 5 | START = (NP,0); 6 | DEATHIF 2*NF >= NC; 7 | FOR I = 1,5; 8 | IF NC > 0 TRANTO (NC,NF+1) BY (NC-NF)*LAMBDA; (* fault arrivals *) 9 | IF NF > 0 TRANTO (NC-1, NF-1) BY <1/(NF*DELTA),1/(NF*DELTA)>; 10 | ENDFOR; 11 | (* systen recovery *) 12 | -------------------------------------------------------------------------------- /src/test/v7.1/fast.alog: -------------------------------------------------------------------------------- 1 | fast.ast 9/03/97 9:44:37 a.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): 4 | (0002): space = (a); 5 | (0003): start = (0); 6 | (0004): deathif a>2; 7 | (0005): if a<5 tranto (a+1) by FAST a; 8 | 9 | PARSING TIME = 0.01 sec. 10 | RULE GENERATION TIME = 0.00 sec. 11 | NUMBER OF STATES IN MODEL = 4 12 | NUMBER OF TRANSITIONS IN MODEL = 3 13 | 1 DEATH STATES AGGREGATED INTO STATE 1 14 | 15 | -------------------------------------------------------------------------------- /src/test/v7.1/t3.alog: -------------------------------------------------------------------------------- 1 | t3.ast 9/03/97 9:44:42 a.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF A+B<>C; 6 | (0004): IF A < 10 TRANTO A = A+1 BY FOOBAR; 7 | 8 | PARSING TIME = 0.01 sec. 9 | RULE GENERATION TIME = 0.00 sec. 10 | NUMBER OF STATES IN MODEL = 2 11 | NUMBER OF TRANSITIONS IN MODEL = 1 12 | 1 DEATH STATES AGGREGATED INTO STATE 1 13 | 14 | -------------------------------------------------------------------------------- /src/test/v7.1/test2.mod: -------------------------------------------------------------------------------- 1 | TIME = 3.0; 2 | LIST = 2; 3 | LAMSEN = 10.0E-6; 4 | LAMOUT = 561.E-6; 5 | LAMCOM = 15.0E-6; 6 | LAMDIU = 15.0E-6; 7 | LAMELEC = 20.0E-6; 8 | RECMEAN = 3.0E-4; 9 | RECSTD = 1.0E-4; 10 | 11 | 12 | 2, 3 = LAMCOM; 13 | 2, 3 = LAMOUT; 14 | 15 | (* NUMBER OF STATES IN MODEL = 3 *) 16 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 17 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 18 | (* 0001 WARNING *) 19 | -------------------------------------------------------------------------------- /src/test/v7.2/test2.mod: -------------------------------------------------------------------------------- 1 | TIME = 3.0; 2 | LIST = 2; 3 | LAMSEN = 10.0E-6; 4 | LAMOUT = 561.E-6; 5 | LAMCOM = 15.0E-6; 6 | LAMDIU = 15.0E-6; 7 | LAMELEC = 20.0E-6; 8 | RECMEAN = 3.0E-4; 9 | RECSTD = 1.0E-4; 10 | 11 | 12 | 2, 3 = LAMCOM; 13 | 2, 3 = LAMOUT; 14 | 15 | (* NUMBER OF STATES IN MODEL = 3 *) 16 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 17 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 18 | (* 0001 WARNING *) 19 | -------------------------------------------------------------------------------- /src/test/v7.4/fast.alog: -------------------------------------------------------------------------------- 1 | fast.ast 11/16/15 9:20:17 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): 4 | (0002): space = (a); 5 | (0003): start = (0); 6 | (0004): deathif a>2; 7 | (0005): if a<5 tranto (a+1) by FAST a; 8 | 9 | PARSING TIME = 0.00 sec. 10 | RULE GENERATION TIME = 0.00 sec. 11 | NUMBER OF STATES IN MODEL = 4 12 | NUMBER OF TRANSITIONS IN MODEL = 3 13 | 1 DEATH STATES AGGREGATED INTO STATE 1 14 | 15 | -------------------------------------------------------------------------------- /src/test/v7.4/t3.alog: -------------------------------------------------------------------------------- 1 | t3.ast 11/16/15 9:20:17 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF A+B<>C; 6 | (0004): IF A < 10 TRANTO A = A+1 BY FOOBAR; 7 | 8 | PARSING TIME = 0.00 sec. 9 | RULE GENERATION TIME = 0.00 sec. 10 | NUMBER OF STATES IN MODEL = 2 11 | NUMBER OF TRANSITIONS IN MODEL = 1 12 | 1 DEATH STATES AGGREGATED INTO STATE 1 13 | 14 | -------------------------------------------------------------------------------- /src/test/v7.4/test2.mod: -------------------------------------------------------------------------------- 1 | TIME = 3.0; 2 | LIST = 2; 3 | LAMSEN = 10.0E-6; 4 | LAMOUT = 561.E-6; 5 | LAMCOM = 15.0E-6; 6 | LAMDIU = 15.0E-6; 7 | LAMELEC = 20.0E-6; 8 | RECMEAN = 3.0E-4; 9 | RECSTD = 1.0E-4; 10 | 11 | 12 | 2, 3 = LAMCOM; 13 | 2, 3 = LAMOUT; 14 | 15 | (* NUMBER OF STATES IN MODEL = 3 *) 16 | (* NUMBER OF TRANSITIONS IN MODEL = 2 *) 17 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 18 | (* 0001 WARNING *) 19 | -------------------------------------------------------------------------------- /src/test/v7.1/t5.alog: -------------------------------------------------------------------------------- 1 | t5.ast 9/03/97 9:44:42 a.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF NOT (A+B=C); 6 | (0004): IF 1+2 =3 TRANTO A = A+1 BY FOOBAR; 7 | 8 | PARSING TIME = 0.01 sec. 9 | RULE GENERATION TIME = 0.00 sec. 10 | NUMBER OF STATES IN MODEL = 2 11 | NUMBER OF TRANSITIONS IN MODEL = 1 12 | 1 DEATH STATES AGGREGATED INTO STATE 1 13 | 14 | -------------------------------------------------------------------------------- /src/test/v7.2/fast.alog: -------------------------------------------------------------------------------- 1 | fast.ast 10/12/99 11:29:36 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): 4 | (0002): space = (a); 5 | (0003): start = (0); 6 | (0004): deathif a>2; 7 | (0005): if a<5 tranto (a+1) by FAST a; 8 | 9 | PARSING TIME = 0.00 sec. 10 | RULE GENERATION TIME = 200.00 sec. 11 | NUMBER OF STATES IN MODEL = 4 12 | NUMBER OF TRANSITIONS IN MODEL = 3 13 | 1 DEATH STATES AGGREGATED INTO STATE 1 14 | 15 | -------------------------------------------------------------------------------- /src/test/v7.2/t3.alog: -------------------------------------------------------------------------------- 1 | t3.ast 10/12/99 11:29:40 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF A+B<>C; 6 | (0004): IF A < 10 TRANTO A = A+1 BY FOOBAR; 7 | 8 | PARSING TIME = 0.00 sec. 9 | RULE GENERATION TIME = 200.00 sec. 10 | NUMBER OF STATES IN MODEL = 2 11 | NUMBER OF TRANSITIONS IN MODEL = 1 12 | 1 DEATH STATES AGGREGATED INTO STATE 1 13 | 14 | -------------------------------------------------------------------------------- /src/test/v7.4/t5.alog: -------------------------------------------------------------------------------- 1 | t5.ast 11/16/15 9:20:17 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF NOT (A+B=C); 6 | (0004): IF 1+2 =3 TRANTO A = A+1 BY FOOBAR; 7 | 8 | PARSING TIME = 0.00 sec. 9 | RULE GENERATION TIME = 0.00 sec. 10 | NUMBER OF STATES IN MODEL = 2 11 | NUMBER OF TRANSITIONS IN MODEL = 1 12 | 1 DEATH STATES AGGREGATED INTO STATE 1 13 | 14 | -------------------------------------------------------------------------------- /src/test/v7.2/t5.alog: -------------------------------------------------------------------------------- 1 | t5.ast 10/12/99 11:29:40 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF NOT (A+B=C); 6 | (0004): IF 1+2 =3 TRANTO A = A+1 BY FOOBAR; 7 | 8 | PARSING TIME = 0.00 sec. 9 | RULE GENERATION TIME = 200.00 sec. 10 | NUMBER OF STATES IN MODEL = 2 11 | NUMBER OF TRANSITIONS IN MODEL = 1 12 | 1 DEATH STATES AGGREGATED INTO STATE 1 13 | 14 | -------------------------------------------------------------------------------- /src/test2/v7.1/a3.alog: -------------------------------------------------------------------------------- 1 | a3.ast 9/02/97 2:46:22 p.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C,D); 4 | (0002): START = (2 OF 3,1 OF 2,1); 5 | (0003): IF C = 2 TRANTO C = C+1 BY A+B+C+D; 6 | (0004): DEATHIF C>2; 7 | 8 | PARSING TIME = 0.05 sec. 9 | RULE GENERATION TIME = 0.00 sec. 10 | NUMBER OF STATES IN MODEL = 2 11 | NUMBER OF TRANSITIONS IN MODEL = 1 12 | 1 DEATH STATES AGGREGATED INTO STATE 1 13 | 14 | -------------------------------------------------------------------------------- /src/test2/v7.4/a3.alog: -------------------------------------------------------------------------------- 1 | a3.ast 11/16/15 9:26:00 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C,D); 4 | (0002): START = (2 OF 3,1 OF 2,1); 5 | (0003): IF C = 2 TRANTO C = C+1 BY A+B+C+D; 6 | (0004): DEATHIF C>2; 7 | 8 | PARSING TIME = 0.00 sec. 9 | RULE GENERATION TIME = 0.00 sec. 10 | NUMBER OF STATES IN MODEL = 2 11 | NUMBER OF TRANSITIONS IN MODEL = 1 12 | 1 DEATH STATES AGGREGATED INTO STATE 1 13 | 14 | -------------------------------------------------------------------------------- /src/test2/abugbig.mod: -------------------------------------------------------------------------------- 1 | RHO1 = 30E-6; 2 | RHO2 = 30E-6; 3 | RHO3 = 30E-6; 4 | ALP1 = 15E-6; 5 | ALP2 = 15E-6; 6 | ALP3 = 15E-6; 7 | DEL1 = 7.0E-6; 8 | DEL2 = 7.0E-6; 9 | CHI1 = 3.3E-5; 10 | CHI2 = 3.3E-5; 11 | CHI3 = 3.3E-5; 12 | MU1 = 1E-5; 13 | MU2 = 1E-5; 14 | MU3 = 1E-5; 15 | OMEGA1 = 3E-6; 16 | OMEGA2 = 3E-6; 17 | OMEGA3 = 3E-6; 18 | GAM1 = 5E-6; 19 | GAM2 = 5E-6; 20 | GAM3 = 5E-6; 21 | 22 | CANNOT RUN DUE TO ERRORS !!!!! 23 | 24 | (* 0008 ERRORS *) 25 | -------------------------------------------------------------------------------- /src/test2/ex7.ast: -------------------------------------------------------------------------------- 1 | NP = 6; (* number of processors initially *) 2 | LAMBDA = 1E-4; (* fault arrival rate *) 3 | DELTA = 3.6E3; (* recovery rate *) 4 | TWICENP = NP * 2; 5 | DELTASQ = DELTA * DELTA; 6 | SPACE = (NC: 0..NP, NF: 0..NP); 7 | START = (NP,0); 8 | DEATHIF 2*NF >= NC; 9 | FRED = NF; 10 | LUCY = NC; 11 | IF NC > 0 TRANTO (NC,NF+1) BY (NC-NF)*LAMBDA; (* fault arrivals *) 12 | IF NF > 0 TRANTO (NC-1, NF-1) BY NF*DELTA; (* systen recovery*) 13 | -------------------------------------------------------------------------------- /src/test2/v8.0/a3.alog: -------------------------------------------------------------------------------- 1 | a3.ast 10/12/99 11:38:29 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C,D); 4 | (0002): START = (2 OF 3,1 OF 2,1); 5 | (0003): IF C = 2 TRANTO C = C+1 BY A+B+C+D; 6 | (0004): DEATHIF C>2; 7 | 8 | PARSING TIME = 100.00 sec. 9 | RULE GENERATION TIME = 300.00 sec. 10 | NUMBER OF STATES IN MODEL = 2 11 | NUMBER OF TRANSITIONS IN MODEL = 1 12 | 1 DEATH STATES AGGREGATED INTO STATE 1 13 | 14 | -------------------------------------------------------------------------------- /src/test2/ex19.ast: -------------------------------------------------------------------------------- 1 | NP=6; (* number of processors initially *) 2 | NA=3; 3 | MINUSTEN=-10; 4 | LAMBDA = 1E-4; (* fault arrival rate *) 5 | DELTA = 3.6E3; (* recovery rate *) 6 | SPACE = (NC: ARRAY[1..NA] OF MINUSTEN..NP, NF: ARRAY[1..NA] OF MINUSTEN..NP); 7 | START = (6,6,6,0,0,0); 8 | DEATHIF NC[1] <= 0; 9 | DEATHIF NC[2] <= 0; 10 | DEATHIF NC[3] <= 0; 11 | FOR I = 1,3; 12 | IF NC[I] > 0 TRANTO 13 | (NC[1]-I,NC[2]-I,NC[3]-I,I,I,I) BY I; 14 | ENDFOR; 15 | -------------------------------------------------------------------------------- /src/test2/v7.1/abugbig.mod: -------------------------------------------------------------------------------- 1 | RHO1 = 30E-6; 2 | RHO2 = 30E-6; 3 | RHO3 = 30E-6; 4 | ALP1 = 15E-6; 5 | ALP2 = 15E-6; 6 | ALP3 = 15E-6; 7 | DEL1 = 7.0E-6; 8 | DEL2 = 7.0E-6; 9 | CHI1 = 3.3E-5; 10 | CHI2 = 3.3E-5; 11 | CHI3 = 3.3E-5; 12 | MU1 = 1E-5; 13 | MU2 = 1E-5; 14 | MU3 = 1E-5; 15 | OMEGA1 = 3E-6; 16 | OMEGA2 = 3E-6; 17 | OMEGA3 = 3E-6; 18 | GAM1 = 5E-6; 19 | GAM2 = 5E-6; 20 | GAM3 = 5E-6; 21 | 22 | CANNOT RUN DUE TO ERRORS !!!!! 23 | 24 | (* 0008 ERRORS *) 25 | -------------------------------------------------------------------------------- /src/test2/v7.4/abugbig.mod: -------------------------------------------------------------------------------- 1 | RHO1 = 30E-6; 2 | RHO2 = 30E-6; 3 | RHO3 = 30E-6; 4 | ALP1 = 15E-6; 5 | ALP2 = 15E-6; 6 | ALP3 = 15E-6; 7 | DEL1 = 7.0E-6; 8 | DEL2 = 7.0E-6; 9 | CHI1 = 3.3E-5; 10 | CHI2 = 3.3E-5; 11 | CHI3 = 3.3E-5; 12 | MU1 = 1E-5; 13 | MU2 = 1E-5; 14 | MU3 = 1E-5; 15 | OMEGA1 = 3E-6; 16 | OMEGA2 = 3E-6; 17 | OMEGA3 = 3E-6; 18 | GAM1 = 5E-6; 19 | GAM2 = 5E-6; 20 | GAM3 = 5E-6; 21 | 22 | CANNOT RUN DUE TO ERRORS !!!!! 23 | 24 | (* 0008 ERRORS *) 25 | -------------------------------------------------------------------------------- /src/test2/v8.0/abugbig.mod: -------------------------------------------------------------------------------- 1 | RHO1 = 30E-6; 2 | RHO2 = 30E-6; 3 | RHO3 = 30E-6; 4 | ALP1 = 15E-6; 5 | ALP2 = 15E-6; 6 | ALP3 = 15E-6; 7 | DEL1 = 7.0E-6; 8 | DEL2 = 7.0E-6; 9 | CHI1 = 3.3E-5; 10 | CHI2 = 3.3E-5; 11 | CHI3 = 3.3E-5; 12 | MU1 = 1E-5; 13 | MU2 = 1E-5; 14 | MU3 = 1E-5; 15 | OMEGA1 = 3E-6; 16 | OMEGA2 = 3E-6; 17 | OMEGA3 = 3E-6; 18 | GAM1 = 5E-6; 19 | GAM2 = 5E-6; 20 | GAM3 = 5E-6; 21 | 22 | CANNOT RUN DUE TO ERRORS !!!!! 23 | 24 | (* 0008 ERRORS *) 25 | -------------------------------------------------------------------------------- /src/test/x9.ast: -------------------------------------------------------------------------------- 1 | NP = 6; (* number of processors initially *) 2 | ONE = 1; 3 | LAMBDA = 1E-4; (* fault arrival rate *) 4 | DELTA = 3.6E3; (* recovery rate *) 5 | SPACE = (NC: ARRAY [ONE..2] OF 0..NP, NF: ARRAY [1..2] OF 0..NP); 6 | START = (NP,5,0,6); 7 | DEATHIF 2*NF[1] >= NC[1]; 8 | IF NC[1] > 0 TRANTO (NC[1],1,NF[1]+1,1) BY (NC[1]-NF[1])*LAMBDA; (* fault arrivals *) 9 | IF NF[1] > 0 TRANTO (NC[1]-1,2, NF[1]-1,2) BY NF[1]*DELTA; (* system recovery*) 10 | -------------------------------------------------------------------------------- /src/test2/ex9.ast: -------------------------------------------------------------------------------- 1 | NP = 6; (* number of processors initially *) 2 | ONE = 1; 3 | LAMBDA = 1E-4; (* fault arrival rate *) 4 | DELTA = 3.6E3; (* recovery rate *) 5 | SPACE = (NC: ARRAY [ONE..2] OF 0..NP, NF: ARRAY [1..2] OF 0..NP); 6 | START = (NP,5,0,6); 7 | DEATHIF 2*NF[1] >= NC[1]; 8 | IF NC[1] > 0 TRANTO (NC[1],1,NF[1]+1,1) BY (NC[1]-NF[1])*LAMBDA; (* fault arrivals *) 9 | IF NF[1] > 0 TRANTO (NC[1]-1,2, NF[1]-1,2) BY NF[1]*DELTA; (* system recovery*) 10 | -------------------------------------------------------------------------------- /src/test/ex9.ast: -------------------------------------------------------------------------------- 1 | NP = 6; (* number of processors initially *) 2 | ONE = 1; 3 | LAMBDA = 1E-4; (* fault arrival rate *) 4 | DELTA = 3.6E3; (* recovery rate *) 5 | SPACE = (NC: ARRAY [ONE..2] OF 0..NP, NF: ARRAY [1..2] OF 0..NP); 6 | START = (NP,5,0,6); 7 | DEATHIF 2*NF[1] >= NC[1]; 8 | IF NC[1] > 0 TRANTO (NC[1],1,NF[1]+1,1) BY (NC[21-20]-NF[1])*LAMBDA; (* fault arrivals *) 9 | IF NF[1] > 0 TRANTO (NC[1]-1,2, NF[1]-1,2) BY NF[1]*DELTA; (* system recovery*) 10 | -------------------------------------------------------------------------------- /src/test2/t10.ast: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-4; (* fault arrival rate *) 2 | DELTA = 3.6E3; (* recovery rate *) 3 | SPACE = (A,B,C,D,E); 4 | START = (6,6,6,6,6); 5 | ONEDEATH = 1; 6 | DEATHIF A < 5; 7 | IF A = 6 TRANTO (A-1,B,C,D,200) BY FOONESS; 8 | IF A=6 THEN 9 | IF B=6 THEN 10 | TRANTO A=A-1 BY FOO1; 11 | TRANTO A=A-1,B=B-1 BY FOO2; 12 | ENDIF 13 | ELSE 14 | IF B < 6 TRANTO A=A-2,C=C-1 BY FOO3; 15 | TRANTO A=A-3,D=D-1 BY FOO4; 16 | ENDIF; 17 | (* FOONESS *) 18 | -------------------------------------------------------------------------------- /src/common/main_def.h: -------------------------------------------------------------------------------- 1 | /* 2 | To be included as the first local include of the main program. 3 | For example: 4 | 5 | #include "main_def.h" 6 | #include "....." 7 | .... 8 | int main(int argc,char **argv) 9 | { 10 | .... 11 | } 12 | */ 13 | #if !defined(EXKW_DEFINED) 14 | #define EXKW_DEFINED 15 | #define EXKW 16 | #define STORAGE 17 | #endif 18 | -------------------------------------------------------------------------------- /src/test2/a1.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, 4 | 1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0 *), 5 | 1(* 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, 6 | 1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0 DEATH *) 7 | = 0+0+0+0+0+0+0; 8 | 9 | (* NUMBER OF STATES IN MODEL = 2 *) 10 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 11 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 12 | -------------------------------------------------------------------------------- /src/test/v7.1/f4.alog: -------------------------------------------------------------------------------- 1 | f4.ast 9/03/97 9:44:37 a.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,c: 0..1, d: 0..1); 4 | (0002): START = (1,2,0,1); 5 | (0003): 6 | (0004): deathif b > 2; 7 | (0005): IF A = 1 TRANTO (A + 2, B + 1, 1, 0) BY a+b+C+D; 8 | 9 | PARSING TIME = 0.01 sec. 10 | RULE GENERATION TIME = 0.00 sec. 11 | NUMBER OF STATES IN MODEL = 2 12 | NUMBER OF TRANSITIONS IN MODEL = 1 13 | 1 DEATH STATES AGGREGATED INTO STATE 1 14 | 15 | -------------------------------------------------------------------------------- /src/test/v7.4/f4.alog: -------------------------------------------------------------------------------- 1 | f4.ast 11/16/15 9:20:17 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,c: 0..1, d: 0..1); 4 | (0002): START = (1,2,0,1); 5 | (0003): 6 | (0004): deathif b > 2; 7 | (0005): IF A = 1 TRANTO (A + 2, B + 1, 1, 0) BY a+b+C+D; 8 | 9 | PARSING TIME = 0.00 sec. 10 | RULE GENERATION TIME = 0.00 sec. 11 | NUMBER OF STATES IN MODEL = 2 12 | NUMBER OF TRANSITIONS IN MODEL = 1 13 | 1 DEATH STATES AGGREGATED INTO STATE 1 14 | 15 | -------------------------------------------------------------------------------- /src/test2/v7.1/a1.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, 4 | 1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0 *), 5 | 1(* 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, 6 | 1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0 DEATH *) 7 | = 0+0+0+0+0+0+0; 8 | 9 | (* NUMBER OF STATES IN MODEL = 2 *) 10 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 11 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 12 | -------------------------------------------------------------------------------- /src/test2/v7.4/a1.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, 4 | 1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0 *), 5 | 1(* 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, 6 | 1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0 DEATH *) 7 | = 0+0+0+0+0+0+0; 8 | 9 | (* NUMBER OF STATES IN MODEL = 2 *) 10 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 11 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 12 | -------------------------------------------------------------------------------- /src/test2/v8.0/a1.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, 4 | 1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0 *), 5 | 1(* 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, 6 | 1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0 DEATH *) 7 | = 0+0+0+0+0+0+0; 8 | 9 | (* NUMBER OF STATES IN MODEL = 2 *) 10 | (* NUMBER OF TRANSITIONS IN MODEL = 1 *) 11 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 12 | -------------------------------------------------------------------------------- /src/macvars.h: -------------------------------------------------------------------------------- 1 | #if !defined(_ZZ_q_macvars_DEFINED) 2 | #define _ZZ_q_macvars_DEFINED 3 | /*===========================================================================*/ 4 | #include "lib_def.h" 5 | #include "prstypes.h" 6 | EXKW token_info_type *function_body_storage; 7 | EXKW macro_expansion_info_type *macro_stack; 8 | /**/ 9 | EXKW Memix function_body_count; 10 | EXKW Stacktop macro_stack_top; 11 | /*===========================================================================*/ 12 | #endif 13 | -------------------------------------------------------------------------------- /src/test/f6.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | FOOBAR_1 = 5; 3 | FOOBAR_2 = 1; 4 | FOOBAR_3 = 6; 5 | ONE = 1; 6 | LAMBDA = 1E-4; 7 | DELTA = 3.6E3; 8 | 9 | 10 | 2(* 6,5,0,6 *), 3(* 6,1,1,1 *) = (6-0)*5*LAMBDA; 11 | 3(* 6,1,1,1 *), 4(* 6,1,2,1 *) = (6-1)*5*LAMBDA; 12 | 4(* 6,1,2,1 *), 1(* 6,1,3,1 DEATH *) = (6-2)*5*LAMBDA; 13 | 14 | (* NUMBER OF STATES IN MODEL = 4 *) 15 | (* NUMBER OF TRANSITIONS IN MODEL = 3 *) 16 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 17 | -------------------------------------------------------------------------------- /src/test/v7.2/f4.alog: -------------------------------------------------------------------------------- 1 | f4.ast 10/12/99 11:29:36 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,c: 0..1, d: 0..1); 4 | (0002): START = (1,2,0,1); 5 | (0003): 6 | (0004): deathif b > 2; 7 | (0005): IF A = 1 TRANTO (A + 2, B + 1, 1, 0) BY a+b+C+D; 8 | 9 | PARSING TIME = 100.00 sec. 10 | RULE GENERATION TIME = 300.00 sec. 11 | NUMBER OF STATES IN MODEL = 2 12 | NUMBER OF TRANSITIONS IN MODEL = 1 13 | 1 DEATH STATES AGGREGATED INTO STATE 1 14 | 15 | -------------------------------------------------------------------------------- /src/test/v7.1/f6.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | FOOBAR_1 = 5; 3 | FOOBAR_2 = 1; 4 | FOOBAR_3 = 6; 5 | ONE = 1; 6 | LAMBDA = 1E-4; 7 | DELTA = 3.6E3; 8 | 9 | 10 | 2(* 6,5,0,6 *), 3(* 6,1,1,1 *) = (6-0)*5*LAMBDA; 11 | 3(* 6,1,1,1 *), 4(* 6,1,2,1 *) = (6-1)*5*LAMBDA; 12 | 4(* 6,1,2,1 *), 1(* 6,1,3,1 DEATH *) = (6-2)*5*LAMBDA; 13 | 14 | (* NUMBER OF STATES IN MODEL = 4 *) 15 | (* NUMBER OF TRANSITIONS IN MODEL = 3 *) 16 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 17 | -------------------------------------------------------------------------------- /src/test/v7.2/f6.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | FOOBAR_1 = 5; 3 | FOOBAR_2 = 1; 4 | FOOBAR_3 = 6; 5 | ONE = 1; 6 | LAMBDA = 1E-4; 7 | DELTA = 3.6E3; 8 | 9 | 10 | 2(* 6,5,0,6 *), 3(* 6,1,1,1 *) = (6-0)*5*LAMBDA; 11 | 3(* 6,1,1,1 *), 4(* 6,1,2,1 *) = (6-1)*5*LAMBDA; 12 | 4(* 6,1,2,1 *), 1(* 6,1,3,1 DEATH *) = (6-2)*5*LAMBDA; 13 | 14 | (* NUMBER OF STATES IN MODEL = 4 *) 15 | (* NUMBER OF TRANSITIONS IN MODEL = 3 *) 16 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 17 | -------------------------------------------------------------------------------- /src/test/v7.4/f6.mod: -------------------------------------------------------------------------------- 1 | NP = 6; 2 | FOOBAR_1 = 5; 3 | FOOBAR_2 = 1; 4 | FOOBAR_3 = 6; 5 | ONE = 1; 6 | LAMBDA = 1E-4; 7 | DELTA = 3.6E3; 8 | 9 | 10 | 2(* 6,5,0,6 *), 3(* 6,1,1,1 *) = (6-0)*5*LAMBDA; 11 | 3(* 6,1,1,1 *), 4(* 6,1,2,1 *) = (6-1)*5*LAMBDA; 12 | 4(* 6,1,2,1 *), 1(* 6,1,3,1 DEATH *) = (6-2)*5*LAMBDA; 13 | 14 | (* NUMBER OF STATES IN MODEL = 4 *) 15 | (* NUMBER OF TRANSITIONS IN MODEL = 3 *) 16 | (* 1 DEATH STATES AGGREGATED INTO STATE 1 *) 17 | -------------------------------------------------------------------------------- /src/test2/v7.1/rb4.alog: -------------------------------------------------------------------------------- 1 | rb4.ast 9/02/97 2:46:41 p.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (X:0..4); 4 | (0002): START = (0); 5 | (0003): IF X<4 TRANTO (X+1) BY X+1; 6 | (0004): IF X>0 TRANTO (X-1) BY X/2; 7 | ^ [WARNING] PROGRAM DOES NOT CONTAIN ANY DEATHIF STATEMENTS. 8 | 9 | PARSING TIME = 0.07 sec. 10 | RULE GENERATION TIME = 0.00 sec. 11 | NUMBER OF STATES IN MODEL = 5 12 | NUMBER OF TRANSITIONS IN MODEL = 8 13 | 14 | 0001 WARNING. 15 | -------------------------------------------------------------------------------- /src/test2/v7.4/rb4.alog: -------------------------------------------------------------------------------- 1 | rb4.ast 11/16/15 9:26:00 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (X:0..4); 4 | (0002): START = (0); 5 | (0003): IF X<4 TRANTO (X+1) BY X+1; 6 | (0004): IF X>0 TRANTO (X-1) BY X/2; 7 | ^ [WARNING] PROGRAM DOES NOT CONTAIN ANY DEATHIF STATEMENTS. 8 | 9 | PARSING TIME = 0.00 sec. 10 | RULE GENERATION TIME = 0.00 sec. 11 | NUMBER OF STATES IN MODEL = 5 12 | NUMBER OF TRANSITIONS IN MODEL = 8 13 | 14 | 0001 WARNING. 15 | -------------------------------------------------------------------------------- /src/test2/v8.0/rb4.alog: -------------------------------------------------------------------------------- 1 | rb4.ast 10/12/99 11:38:40 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (X:0..4); 4 | (0002): START = (0); 5 | (0003): IF X<4 TRANTO (X+1) BY X+1; 6 | (0004): IF X>0 TRANTO (X-1) BY X/2; 7 | ^ [WARNING] PROGRAM DOES NOT CONTAIN ANY DEATHIF STATEMENTS. 8 | 9 | PARSING TIME = 100.00 sec. 10 | RULE GENERATION TIME = 200.00 sec. 11 | NUMBER OF STATES IN MODEL = 5 12 | NUMBER OF TRANSITIONS IN MODEL = 8 13 | 14 | 0001 WARNING. 15 | -------------------------------------------------------------------------------- /src/test2/rb4.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 0 *), 2(* 1 *) = 0+1; 4 | 2(* 1 *), 3(* 2 *) = 1+1; 5 | 2(* 1 *), 1(* 0 *) = 1/2; 6 | 3(* 2 *), 4(* 3 *) = 2+1; 7 | 3(* 2 *), 2(* 1 *) = 2/2; 8 | 4(* 3 *), 5(* 4 *) = 3+1; 9 | 4(* 3 *), 3(* 2 *) = 3/2; 10 | 5(* 4 *), 4(* 3 *) = 4/2; 11 | 12 | (* NUMBER OF STATES IN MODEL = 5 *) 13 | (* NUMBER OF TRANSITIONS IN MODEL = 8 *) 14 | (* 0001 WARNING *) 15 | -------------------------------------------------------------------------------- /src/test/v7.1/f7.alog: -------------------------------------------------------------------------------- 1 | f7.ast 9/03/97 9:44:37 a.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): 4 | (0002): SPACE = (AF: ARRAY[1..3] OF 0..1, (* Actuators failed *) 5 | (0003): NF: 0..15, 6 | (0004): foo); (* Number of component failures *) 7 | (0005): 8 | (0006): START = (5 OF 0); 9 | (0007): 10 | (0008): deathIF NF > 6; 11 | (0009): 12 | ^ [ERROR] PROGRAM MUST CONTAIN AT LEAST ONE TRANSITION. 13 | 14 | 15 | 0001 ERROR. 16 | -------------------------------------------------------------------------------- /src/test/v7.2/f7.alog: -------------------------------------------------------------------------------- 1 | f7.ast 10/12/99 11:29:36 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): 4 | (0002): SPACE = (AF: ARRAY[1..3] OF 0..1, (* Actuators failed *) 5 | (0003): NF: 0..15, 6 | (0004): foo); (* Number of component failures *) 7 | (0005): 8 | (0006): START = (5 OF 0); 9 | (0007): 10 | (0008): deathIF NF > 6; 11 | (0009): 12 | ^ [ERROR] PROGRAM MUST CONTAIN AT LEAST ONE TRANSITION. 13 | 14 | 15 | 0001 ERROR. 16 | -------------------------------------------------------------------------------- /src/test/v7.4/f7.alog: -------------------------------------------------------------------------------- 1 | f7.ast 11/16/15 9:20:17 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): 4 | (0002): SPACE = (AF: ARRAY[1..3] OF 0..1, (* Actuators failed *) 5 | (0003): NF: 0..15, 6 | (0004): foo); (* Number of component failures *) 7 | (0005): 8 | (0006): START = (5 OF 0); 9 | (0007): 10 | (0008): deathIF NF > 6; 11 | (0009): 12 | ^ [ERROR] PROGRAM MUST CONTAIN AT LEAST ONE TRANSITION. 13 | 14 | 15 | 0001 ERROR. 16 | -------------------------------------------------------------------------------- /src/test2/v7.1/rb4.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 0 *), 2(* 1 *) = 0+1; 4 | 2(* 1 *), 3(* 2 *) = 1+1; 5 | 2(* 1 *), 1(* 0 *) = 1/2; 6 | 3(* 2 *), 4(* 3 *) = 2+1; 7 | 3(* 2 *), 2(* 1 *) = 2/2; 8 | 4(* 3 *), 5(* 4 *) = 3+1; 9 | 4(* 3 *), 3(* 2 *) = 3/2; 10 | 5(* 4 *), 4(* 3 *) = 4/2; 11 | 12 | (* NUMBER OF STATES IN MODEL = 5 *) 13 | (* NUMBER OF TRANSITIONS IN MODEL = 8 *) 14 | (* 0001 WARNING *) 15 | -------------------------------------------------------------------------------- /src/test2/v7.4/rb4.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 0 *), 2(* 1 *) = 0+1; 4 | 2(* 1 *), 3(* 2 *) = 1+1; 5 | 2(* 1 *), 1(* 0 *) = 1/2; 6 | 3(* 2 *), 4(* 3 *) = 2+1; 7 | 3(* 2 *), 2(* 1 *) = 2/2; 8 | 4(* 3 *), 5(* 4 *) = 3+1; 9 | 4(* 3 *), 3(* 2 *) = 3/2; 10 | 5(* 4 *), 4(* 3 *) = 4/2; 11 | 12 | (* NUMBER OF STATES IN MODEL = 5 *) 13 | (* NUMBER OF TRANSITIONS IN MODEL = 8 *) 14 | (* 0001 WARNING *) 15 | -------------------------------------------------------------------------------- /src/test2/v8.0/rb4.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 0 *), 2(* 1 *) = 0+1; 4 | 2(* 1 *), 3(* 2 *) = 1+1; 5 | 2(* 1 *), 1(* 0 *) = 1/2; 6 | 3(* 2 *), 4(* 3 *) = 2+1; 7 | 3(* 2 *), 2(* 1 *) = 2/2; 8 | 4(* 3 *), 5(* 4 *) = 3+1; 9 | 4(* 3 *), 3(* 2 *) = 3/2; 10 | 5(* 4 *), 4(* 3 *) = 4/2; 11 | 12 | (* NUMBER OF STATES IN MODEL = 5 *) 13 | (* NUMBER OF TRANSITIONS IN MODEL = 8 *) 14 | (* 0001 WARNING *) 15 | -------------------------------------------------------------------------------- /src/test/f6.ast: -------------------------------------------------------------------------------- 1 | 2 | NP = 6; (* number of processors initially *) 3 | FOOBAR = ARRAY (5,1,6); 4 | ONE = 1; 5 | LAMBDA = 1E-4; (* fault arrival rate *) 6 | DELTA = 3.6E3; (* recovery rate *) 7 | SPACE = (NC: ARRAY [ONE..2] OF 0..NP, NF: ARRAY [1..2] OF 0..NP); 8 | START = (NP,5,0,6); 9 | DEATHIF 2*NF[1] >= NC[1]; 10 | IF NC[1] > 0 TRANTO (NC[1],1,NF[1]+1,1) BY 11 | (NC[1]-NF[1])*5*LAMBDA; (* fault arrivals *) 12 | (*IF NF[1] > 0 TRANTO (NC[1]-1,2, NF[1]-1,2) BY NF[1]*DELTA;*) (* system recovery*) 13 | -------------------------------------------------------------------------------- /src/test2/t11.ast: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-4; (* fault arrival rate *) 2 | DELTA = 3.6E3; (* recovery rate *) 3 | SPACE = (A,B,C,D,E); 4 | START = (6,6,6,6,6); 5 | ONEDEATH = 1; 6 | DEATHIF A < 5; 7 | IF A = 6 TRANTO (A-1,B,C,D,200) BY FOONESS; 8 | IF A = 10 TRANTO A=A+1 BY FOO; 9 | IF A=6 THEN; 10 | IF B=6 THEN; 11 | TRANTO A=A-1 BY FOO1; 12 | TRANTO A=A-1,B=B-1 BY FOO2; 13 | ENDIF; 14 | ELSE; 15 | IF B < 6 TRANTO A=A-2,C=C-1 BY FOO3; 16 | TRANTO A=A-3,D=D-1 BY FOO4; 17 | ENDIF; 18 | (* FOONESS *) 19 | -------------------------------------------------------------------------------- /src/common/common.h: -------------------------------------------------------------------------------- 1 | #include "lib_def.h" 2 | #include "cm_sys.h" 3 | #include "cm_defs.h" 4 | #include "cm_types.h" 5 | #include "cm_vars.h" 6 | #include "cm_prsvars.h" 7 | #include "tokdefs.h" 8 | #include "errdefs.h" 9 | #include "rwdefs.h" 10 | #include "prsdefs.h" 11 | #include "prstypes.h" 12 | #include "prsvars.h" 13 | #include "sys_ext.h" 14 | #include "str_ext.h" 15 | #include "lio_ext.h" 16 | #include "pio_ext.h" 17 | #include "lex_ext.h" 18 | #include "prs_ext.h" 19 | #include "eval_ext.h" 20 | #include "pass.h" 21 | -------------------------------------------------------------------------------- /src/test2/t2.ast: -------------------------------------------------------------------------------- 1 | NP=6; (* number of processors initially *) 2 | "X = 1 TO 50 BY 5;" 3 | LAMBDA = 1E-4; (* fault arrival rate *) 4 | DELTA = 3.6E3; (* recovery rate *) 5 | "(* THIS QUOTE IS A COMMENT *) 6 | (* THIS IS THE SECOND LINE OF THE COMMENT *)" 7 | SPACE = (NC: 0..NP, NF: 0..NP); 8 | START = (NP,0); 9 | DEATHIF 2*NF >= NC; 10 | ONEDEATH = 1; 11 | IF NC > 0 TRANTO (NC,NF+1) BY (NC-NF)*LAMBDA; (* fault arrivals *) 12 | IF NF > 0 TRANTO (NC-1, NF-1) BY <1/(NF*DELTA),1/(NF*DELTA)>; 13 | (* system recovery *) 14 | -------------------------------------------------------------------------------- /src/test/v7.1/t1.alog: -------------------------------------------------------------------------------- 1 | t1.ast 9/03/97 9:44:42 a.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF NOT A+B=C; 6 | ^ [ERROR] TYPE MISMATCH: A 7 | ^ [ERROR] EXPRESSION REQUIRED BUT WAS OMITTED: A 8 | ^ [ERROR] SEMICOLON EXPECTED: A 9 | ^ [ERROR] SKIPPING EXTRANEOUS TOKENS: + 10 | 11 | (0004): IF A < 10 TRANTO A = A+1 BY FOOBAR; 12 | 13 | 14 | 0004 ERRORS. 15 | -------------------------------------------------------------------------------- /src/test/v7.2/t1.alog: -------------------------------------------------------------------------------- 1 | t1.ast 10/12/99 11:29:39 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF NOT A+B=C; 6 | ^ [ERROR] TYPE MISMATCH: A 7 | ^ [ERROR] EXPRESSION REQUIRED BUT WAS OMITTED: A 8 | ^ [ERROR] SEMICOLON EXPECTED: A 9 | ^ [ERROR] SKIPPING EXTRANEOUS TOKENS: + 10 | 11 | (0004): IF A < 10 TRANTO A = A+1 BY FOOBAR; 12 | 13 | 14 | 0004 ERRORS. 15 | -------------------------------------------------------------------------------- /src/test/v7.4/t1.alog: -------------------------------------------------------------------------------- 1 | t1.ast 11/16/15 9:20:17 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF NOT A+B=C; 6 | ^ [ERROR] TYPE MISMATCH: A 7 | ^ [ERROR] EXPRESSION REQUIRED BUT WAS OMITTED: A 8 | ^ [ERROR] SEMICOLON EXPECTED: A 9 | ^ [ERROR] SKIPPING EXTRANEOUS TOKENS: + 10 | 11 | (0004): IF A < 10 TRANTO A = A+1 BY FOOBAR; 12 | 13 | 14 | 0004 ERRORS. 15 | -------------------------------------------------------------------------------- /src/test/v7.1/t2.alog: -------------------------------------------------------------------------------- 1 | t2.ast 9/03/97 9:47:35 a.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF NOT A+B=C AND C=3; 6 | ^ [ERROR] TYPE MISMATCH: A 7 | ^ [ERROR] EXPRESSION REQUIRED BUT WAS OMITTED: A 8 | ^ [ERROR] SEMICOLON EXPECTED: A 9 | ^ [ERROR] SKIPPING EXTRANEOUS TOKENS: + 10 | 11 | (0004): IF A < 10 TRANTO A = A+1 BY FOOBAR; 12 | 13 | 14 | 0004 ERRORS. 15 | -------------------------------------------------------------------------------- /src/test/v7.2/t2.alog: -------------------------------------------------------------------------------- 1 | t2.ast 10/12/99 11:29:40 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF NOT A+B=C AND C=3; 6 | ^ [ERROR] TYPE MISMATCH: A 7 | ^ [ERROR] EXPRESSION REQUIRED BUT WAS OMITTED: A 8 | ^ [ERROR] SEMICOLON EXPECTED: A 9 | ^ [ERROR] SKIPPING EXTRANEOUS TOKENS: + 10 | 11 | (0004): IF A < 10 TRANTO A = A+1 BY FOOBAR; 12 | 13 | 14 | 0004 ERRORS. 15 | -------------------------------------------------------------------------------- /src/test/v7.4/t2.alog: -------------------------------------------------------------------------------- 1 | t2.ast 11/16/15 9:20:17 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF NOT A+B=C AND C=3; 6 | ^ [ERROR] TYPE MISMATCH: A 7 | ^ [ERROR] EXPRESSION REQUIRED BUT WAS OMITTED: A 8 | ^ [ERROR] SEMICOLON EXPECTED: A 9 | ^ [ERROR] SKIPPING EXTRANEOUS TOKENS: + 10 | 11 | (0004): IF A < 10 TRANTO A = A+1 BY FOOBAR; 12 | 13 | 14 | 0004 ERRORS. 15 | -------------------------------------------------------------------------------- /src/test2/t12.ast: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-4; (* fault arrival rate *) 2 | DELTA = 3.6E3; (* recovery rate *) 3 | FOOBAR = 2; 4 | SPACE = (A,B,C,D,E); 5 | START = (FOOBAR OF 6,6,2 OF 6); 6 | ONEDEATH = 1; 7 | DEATHIF A < 5; 8 | IF A = 6 TRANTO (A-1,B,C,D,200) BY FOONESS; 9 | IF A = 10 TRANTO A=A+1 BY FOO; 10 | IF A=6 THEN; 11 | IF B=6 THEN; 12 | TRANTO A=A-1 BY FOO1; 13 | TRANTO A=A-1,B=B-1 BY FOO2; 14 | ENDIF; 15 | ELSE; 16 | IF B < 6 TRANTO A=A-2,C=C-1 BY FOO3; 17 | TRANTO A=A-3,D=D-1 BY FOO4; 18 | ENDIF; 19 | (* FOONESS *) 20 | -------------------------------------------------------------------------------- /src/test/v7.1/t4.alog: -------------------------------------------------------------------------------- 1 | t4.ast 9/03/97 9:44:42 a.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF AND(A+B=C); 6 | ^ [ERROR] IDENTIFIER OR LITERAL EXPECTED: AND 7 | ^ [ERROR] EXPRESSION REQUIRED BUT WAS OMITTED: ( 8 | ^ [ERROR] SEMICOLON EXPECTED: ( 9 | ^ [ERROR] SKIPPING EXTRANEOUS TOKENS: ( 10 | 11 | (0004): IF A < 10 TRANTO A = A+1 BY FOOBAR; 12 | 13 | 14 | 0004 ERRORS. 15 | -------------------------------------------------------------------------------- /src/test/v7.2/t4.alog: -------------------------------------------------------------------------------- 1 | t4.ast 10/12/99 11:29:40 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF AND(A+B=C); 6 | ^ [ERROR] IDENTIFIER OR LITERAL EXPECTED: AND 7 | ^ [ERROR] EXPRESSION REQUIRED BUT WAS OMITTED: ( 8 | ^ [ERROR] SEMICOLON EXPECTED: ( 9 | ^ [ERROR] SKIPPING EXTRANEOUS TOKENS: ( 10 | 11 | (0004): IF A < 10 TRANTO A = A+1 BY FOOBAR; 12 | 13 | 14 | 0004 ERRORS. 15 | -------------------------------------------------------------------------------- /src/test/v7.4/t4.alog: -------------------------------------------------------------------------------- 1 | t4.ast 11/16/15 9:20:17 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF AND(A+B=C); 6 | ^ [ERROR] IDENTIFIER OR LITERAL EXPECTED: AND 7 | ^ [ERROR] EXPRESSION REQUIRED BUT WAS OMITTED: ( 8 | ^ [ERROR] SEMICOLON EXPECTED: ( 9 | ^ [ERROR] SKIPPING EXTRANEOUS TOKENS: ( 10 | 11 | (0004): IF A < 10 TRANTO A = A+1 BY FOOBAR; 12 | 13 | 14 | 0004 ERRORS. 15 | -------------------------------------------------------------------------------- /src/test2/v7.1/rb7.alog: -------------------------------------------------------------------------------- 1 | rb7.ast 9/02/97 2:46:42 p.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (X:0..1,Y:0..1,Z:0..1); 4 | (0002): START = (0,0,0); 5 | (0003): IF (X=Y+Z) AND (X=Y-Z) TRANTO (X*Y,1,0) BY 1; 6 | (0004): IF (X=Y-1) OR (X=Y+1) TRANTO (1,X,Y*Y) BY 2; 7 | ^ [WARNING] PROGRAM DOES NOT CONTAIN ANY DEATHIF STATEMENTS. 8 | 9 | PARSING TIME = 0.06 sec. 10 | RULE GENERATION TIME = 0.00 sec. 11 | NUMBER OF STATES IN MODEL = 4 12 | NUMBER OF TRANSITIONS IN MODEL = 4 13 | 14 | 0001 WARNING. 15 | -------------------------------------------------------------------------------- /src/test2/v7.4/rb7.alog: -------------------------------------------------------------------------------- 1 | rb7.ast 11/16/15 9:26:00 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (X:0..1,Y:0..1,Z:0..1); 4 | (0002): START = (0,0,0); 5 | (0003): IF (X=Y+Z) AND (X=Y-Z) TRANTO (X*Y,1,0) BY 1; 6 | (0004): IF (X=Y-1) OR (X=Y+1) TRANTO (1,X,Y*Y) BY 2; 7 | ^ [WARNING] PROGRAM DOES NOT CONTAIN ANY DEATHIF STATEMENTS. 8 | 9 | PARSING TIME = 0.00 sec. 10 | RULE GENERATION TIME = 0.00 sec. 11 | NUMBER OF STATES IN MODEL = 4 12 | NUMBER OF TRANSITIONS IN MODEL = 4 13 | 14 | 0001 WARNING. 15 | -------------------------------------------------------------------------------- /src/test2/v8.0/rb7.alog: -------------------------------------------------------------------------------- 1 | rb7.ast 10/12/99 11:38:41 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (X:0..1,Y:0..1,Z:0..1); 4 | (0002): START = (0,0,0); 5 | (0003): IF (X=Y+Z) AND (X=Y-Z) TRANTO (X*Y,1,0) BY 1; 6 | (0004): IF (X=Y-1) OR (X=Y+1) TRANTO (1,X,Y*Y) BY 2; 7 | ^ [WARNING] PROGRAM DOES NOT CONTAIN ANY DEATHIF STATEMENTS. 8 | 9 | PARSING TIME = 0.00 sec. 10 | RULE GENERATION TIME = 200.00 sec. 11 | NUMBER OF STATES IN MODEL = 4 12 | NUMBER OF TRANSITIONS IN MODEL = 4 13 | 14 | 0001 WARNING. 15 | -------------------------------------------------------------------------------- /src/test/v7.1/lee1.alog: -------------------------------------------------------------------------------- 1 | lee1.ast 9/03/97 9:44:37 a.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): space = (a,b,c); 4 | (0002): start = (5,5,5); 5 | (0003): deathif a < 5; 6 | (0004): pruneif a < 5; 7 | (0005): if a=5 tranto a=a-1 by foo; 8 | (0006): if a=5 tranto a=a-1,b=b-1 by foo; 9 | 10 | PARSING TIME = 0.01 sec. 11 | RULE GENERATION TIME = 0.00 sec. 12 | NUMBER OF STATES IN MODEL = 3 13 | NUMBER OF TRANSITIONS IN MODEL = 2 14 | 2 DEATH STATES AGGREGATED INTO STATE 1 15 | 0 PRUNE STATES AGGREGATED INTO STATE 2 16 | 17 | -------------------------------------------------------------------------------- /src/test/v7.4/lee1.alog: -------------------------------------------------------------------------------- 1 | lee1.ast 11/16/15 9:20:17 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): space = (a,b,c); 4 | (0002): start = (5,5,5); 5 | (0003): deathif a < 5; 6 | (0004): pruneif a < 5; 7 | (0005): if a=5 tranto a=a-1 by foo; 8 | (0006): if a=5 tranto a=a-1,b=b-1 by foo; 9 | 10 | PARSING TIME = 0.00 sec. 11 | RULE GENERATION TIME = 0.00 sec. 12 | NUMBER OF STATES IN MODEL = 3 13 | NUMBER OF TRANSITIONS IN MODEL = 2 14 | 2 DEATH STATES AGGREGATED INTO STATE 1 15 | 0 PRUNE STATES AGGREGATED INTO STATE 2 16 | 17 | -------------------------------------------------------------------------------- /src/test/v7.1/f2.alog: -------------------------------------------------------------------------------- 1 | f2.ast 9/03/97 9:44:37 a.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = ( 4 | (0002): B: ARRAY[1..3],A); 5 | (0003): START = (1,2,3,4); 6 | (0004): 7 | (0005): IF B[1] = 1 TRANTO A = 3 BY B[1]+B[2]+B[3]+A; 8 | (0006): IF B[2] < 50 TRANTO B[2] = B[2]+1 BY B[2]; 9 | (0007): DEATHIF B[2] > 4; 10 | 11 | PARSING TIME = 0.01 sec. 12 | RULE GENERATION TIME = 0.01 sec. 13 | NUMBER OF STATES IN MODEL = 7 14 | NUMBER OF TRANSITIONS IN MODEL = 12 15 | 2 DEATH STATES AGGREGATED INTO STATE 1 16 | 17 | -------------------------------------------------------------------------------- /src/test/v7.2/lee1.alog: -------------------------------------------------------------------------------- 1 | lee1.ast 10/12/99 11:29:36 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): space = (a,b,c); 4 | (0002): start = (5,5,5); 5 | (0003): deathif a < 5; 6 | (0004): pruneif a < 5; 7 | (0005): if a=5 tranto a=a-1 by foo; 8 | (0006): if a=5 tranto a=a-1,b=b-1 by foo; 9 | 10 | PARSING TIME = 100.00 sec. 11 | RULE GENERATION TIME = 300.00 sec. 12 | NUMBER OF STATES IN MODEL = 3 13 | NUMBER OF TRANSITIONS IN MODEL = 2 14 | 2 DEATH STATES AGGREGATED INTO STATE 1 15 | 0 PRUNE STATES AGGREGATED INTO STATE 2 16 | 17 | -------------------------------------------------------------------------------- /src/test/v7.4/f2.alog: -------------------------------------------------------------------------------- 1 | f2.ast 11/16/15 9:20:17 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = ( 4 | (0002): B: ARRAY[1..3],A); 5 | (0003): START = (1,2,3,4); 6 | (0004): 7 | (0005): IF B[1] = 1 TRANTO A = 3 BY B[1]+B[2]+B[3]+A; 8 | (0006): IF B[2] < 50 TRANTO B[2] = B[2]+1 BY B[2]; 9 | (0007): DEATHIF B[2] > 4; 10 | 11 | PARSING TIME = 0.00 sec. 12 | RULE GENERATION TIME = 0.00 sec. 13 | NUMBER OF STATES IN MODEL = 7 14 | NUMBER OF TRANSITIONS IN MODEL = 12 15 | 2 DEATH STATES AGGREGATED INTO STATE 1 16 | 17 | -------------------------------------------------------------------------------- /src/test/v7.2/f2.alog: -------------------------------------------------------------------------------- 1 | f2.ast 10/12/99 11:29:35 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = ( 4 | (0002): B: ARRAY[1..3],A); 5 | (0003): START = (1,2,3,4); 6 | (0004): 7 | (0005): IF B[1] = 1 TRANTO A = 3 BY B[1]+B[2]+B[3]+A; 8 | (0006): IF B[2] < 50 TRANTO B[2] = B[2]+1 BY B[2]; 9 | (0007): DEATHIF B[2] > 4; 10 | 11 | PARSING TIME = 100.00 sec. 12 | RULE GENERATION TIME = 400.00 sec. 13 | NUMBER OF STATES IN MODEL = 7 14 | NUMBER OF TRANSITIONS IN MODEL = 12 15 | 2 DEATH STATES AGGREGATED INTO STATE 1 16 | 17 | -------------------------------------------------------------------------------- /src/test2/rb8.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 0,0 *), 2(* 1,0 *) = 1; 4 | 1(* 0,0 *), 2(* 1,0 *) = 4; 5 | 2(* 1,0 *), 2(* 1,0 *) = 2; 6 | 2(* 1,0 *), 3(* 1,1 *) = 3; 7 | 3(* 1,1 *), 2(* 1,0 *) = 2; 8 | 3(* 1,1 *), 4(* 1,2 *) = 3; 9 | 4(* 1,2 *), 2(* 1,0 *) = 2; 10 | 4(* 1,2 *), 5(* 1,3 *) = 3; 11 | 5(* 1,3 *), 2(* 1,0 *) = 2; 12 | 13 | (* NUMBER OF STATES IN MODEL = 5 *) 14 | (* NUMBER OF TRANSITIONS IN MODEL = 9 *) 15 | (* 0001 WARNING *) 16 | -------------------------------------------------------------------------------- /src/test/v7.1/t7.alog: -------------------------------------------------------------------------------- 1 | t7.ast 9/03/97 9:44:42 a.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A:2..5); 4 | (0002): START = (2); 5 | (0003): DEATHIF A > 7;; 6 | (0004): IF A < 10 TRANTO A = A+1 BY FOOBAR; 7 | 8 | PARSING TIME = 0.01 sec. 9 | [ERROR] STATE-SPACE VARIABLE VALUE IS OUT OF RANGE: 6 (2 to 5) 10 | A=6, (TRANTO on line 4) 11 | RULE GENERATION TIME = 0.00 sec. 12 | NUMBER OF STATES IN MODEL = 5 13 | NUMBER OF TRANSITIONS IN MODEL = 4 14 | 0 DEATH STATES AGGREGATED INTO STATE 1 15 | 16 | 0001 ERROR. 17 | -------------------------------------------------------------------------------- /src/test/v7.4/t7.alog: -------------------------------------------------------------------------------- 1 | t7.ast 11/16/15 9:20:17 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A:2..5); 4 | (0002): START = (2); 5 | (0003): DEATHIF A > 7;; 6 | (0004): IF A < 10 TRANTO A = A+1 BY FOOBAR; 7 | 8 | PARSING TIME = 0.00 sec. 9 | [ERROR] STATE-SPACE VARIABLE VALUE IS OUT OF RANGE: 6 (2 to 5) 10 | A=6, (TRANTO on line 4) 11 | RULE GENERATION TIME = 0.00 sec. 12 | NUMBER OF STATES IN MODEL = 5 13 | NUMBER OF TRANSITIONS IN MODEL = 4 14 | 0 DEATH STATES AGGREGATED INTO STATE 1 15 | 16 | 0001 ERROR. 17 | -------------------------------------------------------------------------------- /src/test2/t5.ast: -------------------------------------------------------------------------------- 1 | N_P=6; (* number of processors initially *) 2 | foo_1_=1; 3 | foo_2_=2; 4 | INPUT LAMB_D_A; (* fault arrival rate *) 5 | DEL_TA_ = 3.6E3; (* recovery rate *) 6 | SPACE = (N_C: array[1..2] of 0..N_P, N_F: 0..N_P); 7 | START = (N_P,n_p,0); 8 | DEATHIF 2*N_F >= N_C[foo_1_]; 9 | ONEDEATH = 1; 10 | IF N_C[foo_2_] > 0 TRANTO (N_C[foo_1_],n_c[foo_2_],N_F+1) 11 | BY (N_C[foo_1_]-N_F)*LAMB_D_A; (* fault arrivals *) 12 | IF N_F > 0 TRANTO (N_C[foo_1_]-1,n_c[foo_2_]-1, N_F-1) 13 | BY <1/(N_F*DEL_TA_),1/(N_F*DEL_TA_)>; 14 | (* system recovery *) 15 | -------------------------------------------------------------------------------- /src/test2/v7.1/rb8.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 0,0 *), 2(* 1,0 *) = 1; 4 | 1(* 0,0 *), 2(* 1,0 *) = 4; 5 | 2(* 1,0 *), 2(* 1,0 *) = 2; 6 | 2(* 1,0 *), 3(* 1,1 *) = 3; 7 | 3(* 1,1 *), 2(* 1,0 *) = 2; 8 | 3(* 1,1 *), 4(* 1,2 *) = 3; 9 | 4(* 1,2 *), 2(* 1,0 *) = 2; 10 | 4(* 1,2 *), 5(* 1,3 *) = 3; 11 | 5(* 1,3 *), 2(* 1,0 *) = 2; 12 | 13 | (* NUMBER OF STATES IN MODEL = 5 *) 14 | (* NUMBER OF TRANSITIONS IN MODEL = 9 *) 15 | (* 0001 WARNING *) 16 | -------------------------------------------------------------------------------- /src/test2/v7.4/rb8.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 0,0 *), 2(* 1,0 *) = 1; 4 | 1(* 0,0 *), 2(* 1,0 *) = 4; 5 | 2(* 1,0 *), 2(* 1,0 *) = 2; 6 | 2(* 1,0 *), 3(* 1,1 *) = 3; 7 | 3(* 1,1 *), 2(* 1,0 *) = 2; 8 | 3(* 1,1 *), 4(* 1,2 *) = 3; 9 | 4(* 1,2 *), 2(* 1,0 *) = 2; 10 | 4(* 1,2 *), 5(* 1,3 *) = 3; 11 | 5(* 1,3 *), 2(* 1,0 *) = 2; 12 | 13 | (* NUMBER OF STATES IN MODEL = 5 *) 14 | (* NUMBER OF TRANSITIONS IN MODEL = 9 *) 15 | (* 0001 WARNING *) 16 | -------------------------------------------------------------------------------- /src/test2/v8.0/rb8.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 1(* 0,0 *), 2(* 1,0 *) = 1; 4 | 1(* 0,0 *), 2(* 1,0 *) = 4; 5 | 2(* 1,0 *), 2(* 1,0 *) = 2; 6 | 2(* 1,0 *), 3(* 1,1 *) = 3; 7 | 3(* 1,1 *), 2(* 1,0 *) = 2; 8 | 3(* 1,1 *), 4(* 1,2 *) = 3; 9 | 4(* 1,2 *), 2(* 1,0 *) = 2; 10 | 4(* 1,2 *), 5(* 1,3 *) = 3; 11 | 5(* 1,3 *), 2(* 1,0 *) = 2; 12 | 13 | (* NUMBER OF STATES IN MODEL = 5 *) 14 | (* NUMBER OF TRANSITIONS IN MODEL = 9 *) 15 | (* 0001 WARNING *) 16 | -------------------------------------------------------------------------------- /src/test/v7.2/t7.alog: -------------------------------------------------------------------------------- 1 | t7.ast 10/12/99 11:29:40 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A:2..5); 4 | (0002): START = (2); 5 | (0003): DEATHIF A > 7;; 6 | (0004): IF A < 10 TRANTO A = A+1 BY FOOBAR; 7 | 8 | PARSING TIME = 100.00 sec. 9 | [ERROR] STATE-SPACE VARIABLE VALUE IS OUT OF RANGE: 6 (2 to 5) 10 | A=6, (TRANTO on line 4) 11 | RULE GENERATION TIME = 300.00 sec. 12 | NUMBER OF STATES IN MODEL = 5 13 | NUMBER OF TRANSITIONS IN MODEL = 4 14 | 0 DEATH STATES AGGREGATED INTO STATE 1 15 | 16 | 0001 ERROR. 17 | -------------------------------------------------------------------------------- /src/test2/v7.1/ex13.alog: -------------------------------------------------------------------------------- 1 | ex13.ast 9/02/97 2:46:25 p.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (X); 4 | (0002): IF X > 2 TRANTO (1) BY 12 * (* 1; 5 | ^ [ERROR] START STATEMENT IS MISSING. 6 | 7 | (0003)X (* COMMENT * 8 | ^ [ERROR] EOF REACHED BEFORE COMMENT TERMINATED: ("(*" on line#2) 9 | ^ [ERROR] IDENTIFIER OR LITERAL EXPECTED. 10 | ^ [ERROR] SEMICOLON EXPECTED: (end-of-file) 11 | ^ [WARNING] PROGRAM DOES NOT CONTAIN ANY DEATHIF STATEMENTS. 12 | 13 | 14 | 0004 ERRORS. 15 | 0001 WARNING. 16 | -------------------------------------------------------------------------------- /src/test2/v7.4/ex13.alog: -------------------------------------------------------------------------------- 1 | ex13.ast 11/16/15 9:26:00 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (X); 4 | (0002): IF X > 2 TRANTO (1) BY 12 * (* 1; 5 | ^ [ERROR] START STATEMENT IS MISSING. 6 | 7 | (0003)X (* COMMENT * 8 | ^ [ERROR] EOF REACHED BEFORE COMMENT TERMINATED: ("(*" on line#2) 9 | ^ [ERROR] IDENTIFIER OR LITERAL EXPECTED. 10 | ^ [ERROR] SEMICOLON EXPECTED: (end-of-file) 11 | ^ [WARNING] PROGRAM DOES NOT CONTAIN ANY DEATHIF STATEMENTS. 12 | 13 | 14 | 0004 ERRORS. 15 | 0001 WARNING. 16 | -------------------------------------------------------------------------------- /src/test2/v8.0/ex13.alog: -------------------------------------------------------------------------------- 1 | ex13.ast 10/12/99 11:38:29 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (X); 4 | (0002): IF X > 2 TRANTO (1) BY 12 * (* 1; 5 | ^ [ERROR] START STATEMENT IS MISSING. 6 | 7 | (0003)X (* COMMENT * 8 | ^ [ERROR] EOF REACHED BEFORE COMMENT TERMINATED: ("(*" on line#2) 9 | ^ [ERROR] IDENTIFIER OR LITERAL EXPECTED. 10 | ^ [ERROR] SEMICOLON EXPECTED: (end-of-file) 11 | ^ [WARNING] PROGRAM DOES NOT CONTAIN ANY DEATHIF STATEMENTS. 12 | 13 | 14 | 0004 ERRORS. 15 | 0001 WARNING. 16 | -------------------------------------------------------------------------------- /src/test2/v7.1/rb8.alog: -------------------------------------------------------------------------------- 1 | rb8.ast 9/02/97 2:46:43 p.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (X:0..5,Y:0..5); 4 | (0002): START = (0,0); 5 | (0003): IF X=0 TRANTO (1,Y) BY 1; 6 | (0004): IF X>0 TRANTO (1,0) BY 2; 7 | (0005): IF X=1 AND Y<3 TRANTO (X,Y+1) BY 3; 8 | (0006): IF X=0 TRANTO (1,Y) BY 4; 9 | ^ [WARNING] PROGRAM DOES NOT CONTAIN ANY DEATHIF STATEMENTS. 10 | 11 | PARSING TIME = 0.07 sec. 12 | RULE GENERATION TIME = 0.01 sec. 13 | NUMBER OF STATES IN MODEL = 5 14 | NUMBER OF TRANSITIONS IN MODEL = 9 15 | 16 | 0001 WARNING. 17 | -------------------------------------------------------------------------------- /src/test2/v7.4/rb8.alog: -------------------------------------------------------------------------------- 1 | rb8.ast 11/16/15 9:26:01 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (X:0..5,Y:0..5); 4 | (0002): START = (0,0); 5 | (0003): IF X=0 TRANTO (1,Y) BY 1; 6 | (0004): IF X>0 TRANTO (1,0) BY 2; 7 | (0005): IF X=1 AND Y<3 TRANTO (X,Y+1) BY 3; 8 | (0006): IF X=0 TRANTO (1,Y) BY 4; 9 | ^ [WARNING] PROGRAM DOES NOT CONTAIN ANY DEATHIF STATEMENTS. 10 | 11 | PARSING TIME = 0.00 sec. 12 | RULE GENERATION TIME = 0.00 sec. 13 | NUMBER OF STATES IN MODEL = 5 14 | NUMBER OF TRANSITIONS IN MODEL = 9 15 | 16 | 0001 WARNING. 17 | -------------------------------------------------------------------------------- /src/test/v7.1/t9.alog: -------------------------------------------------------------------------------- 1 | t9.ast 9/03/97 9:44:42 a.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): foo1 = array (27,28,29,30,31); 4 | (0002): foo2 = array (25,26,27,28,29,30,31); 5 | (0003): space = (a,b); 6 | (0004): start = (0,0); 7 | (0005): deathif b>0; 8 | (0006): for i = 1,5; 9 | (0007): if b = 0 tranto b = b+foo1[i] by foo2[I+1]*lambda; 10 | (0008): endfor; 11 | 12 | PARSING TIME = 0.01 sec. 13 | RULE GENERATION TIME = 0.00 sec. 14 | NUMBER OF STATES IN MODEL = 2 15 | NUMBER OF TRANSITIONS IN MODEL = 5 16 | 5 DEATH STATES AGGREGATED INTO STATE 1 17 | 18 | -------------------------------------------------------------------------------- /src/test/v7.4/t9.alog: -------------------------------------------------------------------------------- 1 | t9.ast 11/16/15 9:20:17 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): foo1 = array (27,28,29,30,31); 4 | (0002): foo2 = array (25,26,27,28,29,30,31); 5 | (0003): space = (a,b); 6 | (0004): start = (0,0); 7 | (0005): deathif b>0; 8 | (0006): for i = 1,5; 9 | (0007): if b = 0 tranto b = b+foo1[i] by foo2[I+1]*lambda; 10 | (0008): endfor; 11 | 12 | PARSING TIME = 0.00 sec. 13 | RULE GENERATION TIME = 0.00 sec. 14 | NUMBER OF STATES IN MODEL = 2 15 | NUMBER OF TRANSITIONS IN MODEL = 5 16 | 5 DEATH STATES AGGREGATED INTO STATE 1 17 | 18 | -------------------------------------------------------------------------------- /src/test2/ex22.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,1,1,1 DEATH *) = (0*3)+1; 4 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,1,1,1 DEATH *) = (1*3)+1; 5 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,2,2,2 DEATH *) = (0*3)+2; 6 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,2,2,2 DEATH *) = (1*3)+2; 7 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,3,3,3 DEATH *) = (0*3)+3; 8 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,3,3,3 DEATH *) = (1*3)+3; 9 | 10 | (* NUMBER OF STATES IN MODEL = 2 *) 11 | (* NUMBER OF TRANSITIONS IN MODEL = 6 *) 12 | (* 6 DEATH STATES AGGREGATED INTO STATE 1 *) 13 | -------------------------------------------------------------------------------- /src/test2/t6.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,1,1,1 DEATH *) = (0*3)+1; 4 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,1,1,1 DEATH *) = (1*3)+1; 5 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,2,2,2 DEATH *) = (0*3)+2; 6 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,2,2,2 DEATH *) = (1*3)+2; 7 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,3,3,3 DEATH *) = (0*3)+3; 8 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,3,3,3 DEATH *) = (1*3)+3; 9 | 10 | (* NUMBER OF STATES IN MODEL = 2 *) 11 | (* NUMBER OF TRANSITIONS IN MODEL = 6 *) 12 | (* 6 DEATH STATES AGGREGATED INTO STATE 1 *) 13 | -------------------------------------------------------------------------------- /src/test2/v8.0/rb8.alog: -------------------------------------------------------------------------------- 1 | rb8.ast 10/12/99 11:38:41 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (X:0..5,Y:0..5); 4 | (0002): START = (0,0); 5 | (0003): IF X=0 TRANTO (1,Y) BY 1; 6 | (0004): IF X>0 TRANTO (1,0) BY 2; 7 | (0005): IF X=1 AND Y<3 TRANTO (X,Y+1) BY 3; 8 | (0006): IF X=0 TRANTO (1,Y) BY 4; 9 | ^ [WARNING] PROGRAM DOES NOT CONTAIN ANY DEATHIF STATEMENTS. 10 | 11 | PARSING TIME = 100.00 sec. 12 | RULE GENERATION TIME = 200.00 sec. 13 | NUMBER OF STATES IN MODEL = 5 14 | NUMBER OF TRANSITIONS IN MODEL = 9 15 | 16 | 0001 WARNING. 17 | -------------------------------------------------------------------------------- /src/test/v7.1/t12.alog: -------------------------------------------------------------------------------- 1 | t12.ast 9/03/97 9:44:42 a.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): LAMOUT = 561.0E-6; 4 | (0002): LAMOUTS = 561; 5 | (0003): SPACE = (A,B,C); 6 | (0004): START = (1,2,3); 7 | (0005): DEATHIF NOT A+B=C; 8 | ^ [ERROR] TYPE MISMATCH: A 9 | ^ [ERROR] EXPRESSION REQUIRED BUT WAS OMITTED: A 10 | ^ [ERROR] SEMICOLON EXPECTED: A 11 | ^ [ERROR] SKIPPING EXTRANEOUS TOKENS: + 12 | 13 | (0006): IF A < 10 TRANTO (A+1,B,C) BY LAMOUT; 14 | 15 | 16 | 0004 ERRORS. 17 | -------------------------------------------------------------------------------- /src/test/v7.2/t12.alog: -------------------------------------------------------------------------------- 1 | t12.ast 10/12/99 11:29:40 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): LAMOUT = 561.0E-6; 4 | (0002): LAMOUTS = 561; 5 | (0003): SPACE = (A,B,C); 6 | (0004): START = (1,2,3); 7 | (0005): DEATHIF NOT A+B=C; 8 | ^ [ERROR] TYPE MISMATCH: A 9 | ^ [ERROR] EXPRESSION REQUIRED BUT WAS OMITTED: A 10 | ^ [ERROR] SEMICOLON EXPECTED: A 11 | ^ [ERROR] SKIPPING EXTRANEOUS TOKENS: + 12 | 13 | (0006): IF A < 10 TRANTO (A+1,B,C) BY LAMOUT; 14 | 15 | 16 | 0004 ERRORS. 17 | -------------------------------------------------------------------------------- /src/test/v7.2/t9.alog: -------------------------------------------------------------------------------- 1 | t9.ast 10/12/99 11:29:40 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): foo1 = array (27,28,29,30,31); 4 | (0002): foo2 = array (25,26,27,28,29,30,31); 5 | (0003): space = (a,b); 6 | (0004): start = (0,0); 7 | (0005): deathif b>0; 8 | (0006): for i = 1,5; 9 | (0007): if b = 0 tranto b = b+foo1[i] by foo2[I+1]*lambda; 10 | (0008): endfor; 11 | 12 | PARSING TIME = 100.00 sec. 13 | RULE GENERATION TIME = 200.00 sec. 14 | NUMBER OF STATES IN MODEL = 2 15 | NUMBER OF TRANSITIONS IN MODEL = 5 16 | 5 DEATH STATES AGGREGATED INTO STATE 1 17 | 18 | -------------------------------------------------------------------------------- /src/test/v7.4/t12.alog: -------------------------------------------------------------------------------- 1 | t12.ast 11/16/15 9:20:17 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): LAMOUT = 561.0E-6; 4 | (0002): LAMOUTS = 561; 5 | (0003): SPACE = (A,B,C); 6 | (0004): START = (1,2,3); 7 | (0005): DEATHIF NOT A+B=C; 8 | ^ [ERROR] TYPE MISMATCH: A 9 | ^ [ERROR] EXPRESSION REQUIRED BUT WAS OMITTED: A 10 | ^ [ERROR] SEMICOLON EXPECTED: A 11 | ^ [ERROR] SKIPPING EXTRANEOUS TOKENS: + 12 | 13 | (0006): IF A < 10 TRANTO (A+1,B,C) BY LAMOUT; 14 | 15 | 16 | 0004 ERRORS. 17 | -------------------------------------------------------------------------------- /src/test2/v7.1/ex22.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,1,1,1 DEATH *) = (0*3)+1; 4 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,1,1,1 DEATH *) = (1*3)+1; 5 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,2,2,2 DEATH *) = (0*3)+2; 6 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,2,2,2 DEATH *) = (1*3)+2; 7 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,3,3,3 DEATH *) = (0*3)+3; 8 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,3,3,3 DEATH *) = (1*3)+3; 9 | 10 | (* NUMBER OF STATES IN MODEL = 2 *) 11 | (* NUMBER OF TRANSITIONS IN MODEL = 6 *) 12 | (* 6 DEATH STATES AGGREGATED INTO STATE 1 *) 13 | -------------------------------------------------------------------------------- /src/test2/v7.1/t6.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,1,1,1 DEATH *) = (0*3)+1; 4 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,1,1,1 DEATH *) = (1*3)+1; 5 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,2,2,2 DEATH *) = (0*3)+2; 6 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,2,2,2 DEATH *) = (1*3)+2; 7 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,3,3,3 DEATH *) = (0*3)+3; 8 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,3,3,3 DEATH *) = (1*3)+3; 9 | 10 | (* NUMBER OF STATES IN MODEL = 2 *) 11 | (* NUMBER OF TRANSITIONS IN MODEL = 6 *) 12 | (* 6 DEATH STATES AGGREGATED INTO STATE 1 *) 13 | -------------------------------------------------------------------------------- /src/test2/v7.4/ex22.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,1,1,1 DEATH *) = (0*3)+1; 4 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,1,1,1 DEATH *) = (1*3)+1; 5 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,2,2,2 DEATH *) = (0*3)+2; 6 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,2,2,2 DEATH *) = (1*3)+2; 7 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,3,3,3 DEATH *) = (0*3)+3; 8 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,3,3,3 DEATH *) = (1*3)+3; 9 | 10 | (* NUMBER OF STATES IN MODEL = 2 *) 11 | (* NUMBER OF TRANSITIONS IN MODEL = 6 *) 12 | (* 6 DEATH STATES AGGREGATED INTO STATE 1 *) 13 | -------------------------------------------------------------------------------- /src/test2/v7.4/t6.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,1,1,1 DEATH *) = (0*3)+1; 4 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,1,1,1 DEATH *) = (1*3)+1; 5 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,2,2,2 DEATH *) = (0*3)+2; 6 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,2,2,2 DEATH *) = (1*3)+2; 7 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,3,3,3 DEATH *) = (0*3)+3; 8 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,3,3,3 DEATH *) = (1*3)+3; 9 | 10 | (* NUMBER OF STATES IN MODEL = 2 *) 11 | (* NUMBER OF TRANSITIONS IN MODEL = 6 *) 12 | (* 6 DEATH STATES AGGREGATED INTO STATE 1 *) 13 | -------------------------------------------------------------------------------- /src/test2/v8.0/ex22.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,1,1,1 DEATH *) = (0*3)+1; 4 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,1,1,1 DEATH *) = (1*3)+1; 5 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,2,2,2 DEATH *) = (0*3)+2; 6 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,2,2,2 DEATH *) = (1*3)+2; 7 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,3,3,3 DEATH *) = (0*3)+3; 8 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,3,3,3 DEATH *) = (1*3)+3; 9 | 10 | (* NUMBER OF STATES IN MODEL = 2 *) 11 | (* NUMBER OF TRANSITIONS IN MODEL = 6 *) 12 | (* 6 DEATH STATES AGGREGATED INTO STATE 1 *) 13 | -------------------------------------------------------------------------------- /src/test2/v8.0/t6.mod: -------------------------------------------------------------------------------- 1 | 2 | 3 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,1,1,1 DEATH *) = (0*3)+1; 4 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,1,1,1 DEATH *) = (1*3)+1; 5 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,2,2,2 DEATH *) = (0*3)+2; 6 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,2,2,2 DEATH *) = (1*3)+2; 7 | 2(* 0,0,0,0,0,0 *), 1(* 20,0,0,3,3,3 DEATH *) = (0*3)+3; 8 | 2(* 0,0,0,0,0,0 *), 1(* 20,1,1,3,3,3 DEATH *) = (1*3)+3; 9 | 10 | (* NUMBER OF STATES IN MODEL = 2 *) 11 | (* NUMBER OF TRANSITIONS IN MODEL = 6 *) 12 | (* 6 DEATH STATES AGGREGATED INTO STATE 1 *) 13 | -------------------------------------------------------------------------------- /src/test2/t9.mod: -------------------------------------------------------------------------------- 1 | SIX = 6; 2 | 3 | 4 | 2(* 0,0,0,0,0,0 *), 3(* 5,0,0,0,0,0 *) = 0+1; 5 | 2(* 0,0,0,0,0,0 *), 3(* 5,0,0,0,0,0 *) = 0+2; 6 | 2(* 0,0,0,0,0,0 *), 3(* 5,0,0,0,0,0 *) = 0+3; 7 | 3(* 5,0,0,0,0,0 *), 4(* 10,0,0,0,0,0 *) = 5+1; 8 | 3(* 5,0,0,0,0,0 *), 4(* 10,0,0,0,0,0 *) = 0+2; 9 | 3(* 5,0,0,0,0,0 *), 4(* 10,0,0,0,0,0 *) = 0+3; 10 | 11 | (* NUMBER OF STATES IN MODEL = 4 *) 12 | (* NUMBER OF TRANSITIONS IN MODEL = 6 *) 13 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 14 | (* 0001 WARNING *) 15 | -------------------------------------------------------------------------------- /src/test2/v7.1/t9.mod: -------------------------------------------------------------------------------- 1 | SIX = 6; 2 | 3 | 4 | 2(* 0,0,0,0,0,0 *), 3(* 5,0,0,0,0,0 *) = 0+1; 5 | 2(* 0,0,0,0,0,0 *), 3(* 5,0,0,0,0,0 *) = 0+2; 6 | 2(* 0,0,0,0,0,0 *), 3(* 5,0,0,0,0,0 *) = 0+3; 7 | 3(* 5,0,0,0,0,0 *), 4(* 10,0,0,0,0,0 *) = 5+1; 8 | 3(* 5,0,0,0,0,0 *), 4(* 10,0,0,0,0,0 *) = 0+2; 9 | 3(* 5,0,0,0,0,0 *), 4(* 10,0,0,0,0,0 *) = 0+3; 10 | 11 | (* NUMBER OF STATES IN MODEL = 4 *) 12 | (* NUMBER OF TRANSITIONS IN MODEL = 6 *) 13 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 14 | (* 0001 WARNING *) 15 | -------------------------------------------------------------------------------- /src/test2/v7.4/t9.mod: -------------------------------------------------------------------------------- 1 | SIX = 6; 2 | 3 | 4 | 2(* 0,0,0,0,0,0 *), 3(* 5,0,0,0,0,0 *) = 0+1; 5 | 2(* 0,0,0,0,0,0 *), 3(* 5,0,0,0,0,0 *) = 0+2; 6 | 2(* 0,0,0,0,0,0 *), 3(* 5,0,0,0,0,0 *) = 0+3; 7 | 3(* 5,0,0,0,0,0 *), 4(* 10,0,0,0,0,0 *) = 5+1; 8 | 3(* 5,0,0,0,0,0 *), 4(* 10,0,0,0,0,0 *) = 0+2; 9 | 3(* 5,0,0,0,0,0 *), 4(* 10,0,0,0,0,0 *) = 0+3; 10 | 11 | (* NUMBER OF STATES IN MODEL = 4 *) 12 | (* NUMBER OF TRANSITIONS IN MODEL = 6 *) 13 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 14 | (* 0001 WARNING *) 15 | -------------------------------------------------------------------------------- /src/test2/v8.0/t9.mod: -------------------------------------------------------------------------------- 1 | SIX = 6; 2 | 3 | 4 | 2(* 0,0,0,0,0,0 *), 3(* 5,0,0,0,0,0 *) = 0+1; 5 | 2(* 0,0,0,0,0,0 *), 3(* 5,0,0,0,0,0 *) = 0+2; 6 | 2(* 0,0,0,0,0,0 *), 3(* 5,0,0,0,0,0 *) = 0+3; 7 | 3(* 5,0,0,0,0,0 *), 4(* 10,0,0,0,0,0 *) = 5+1; 8 | 3(* 5,0,0,0,0,0 *), 4(* 10,0,0,0,0,0 *) = 0+2; 9 | 3(* 5,0,0,0,0,0 *), 4(* 10,0,0,0,0,0 *) = 0+3; 10 | 11 | (* NUMBER OF STATES IN MODEL = 4 *) 12 | (* NUMBER OF TRANSITIONS IN MODEL = 6 *) 13 | (* 0 DEATH STATES AGGREGATED INTO STATE 1 *) 14 | (* 0001 WARNING *) 15 | -------------------------------------------------------------------------------- /src/test/v7.1/t8.alog: -------------------------------------------------------------------------------- 1 | t8.ast 9/03/97 9:44:42 a.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF NOT A+B=C; 6 | ^ [ERROR] TYPE MISMATCH: A 7 | ^ [ERROR] EXPRESSION REQUIRED BUT WAS OMITTED: A 8 | ^ [ERROR] SEMICOLON EXPECTED: A 9 | ^ [ERROR] SKIPPING EXTRANEOUS TOKENS: + 10 | 11 | (0004): PRUNEIF C > 3; 12 | (0005): IF A < 10 TRANTO A = A+1 BY FOOBAR; 13 | (0006): IF A < 10 TRANTO A = A+1,C = C+1 BY FOO; 14 | 15 | 16 | 0004 ERRORS. 17 | -------------------------------------------------------------------------------- /src/test/v7.2/t8.alog: -------------------------------------------------------------------------------- 1 | t8.ast 10/12/99 11:29:40 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF NOT A+B=C; 6 | ^ [ERROR] TYPE MISMATCH: A 7 | ^ [ERROR] EXPRESSION REQUIRED BUT WAS OMITTED: A 8 | ^ [ERROR] SEMICOLON EXPECTED: A 9 | ^ [ERROR] SKIPPING EXTRANEOUS TOKENS: + 10 | 11 | (0004): PRUNEIF C > 3; 12 | (0005): IF A < 10 TRANTO A = A+1 BY FOOBAR; 13 | (0006): IF A < 10 TRANTO A = A+1,C = C+1 BY FOO; 14 | 15 | 16 | 0004 ERRORS. 17 | -------------------------------------------------------------------------------- /src/test/v7.4/t8.alog: -------------------------------------------------------------------------------- 1 | t8.ast 11/16/15 9:20:17 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,2,3); 5 | (0003): DEATHIF NOT A+B=C; 6 | ^ [ERROR] TYPE MISMATCH: A 7 | ^ [ERROR] EXPRESSION REQUIRED BUT WAS OMITTED: A 8 | ^ [ERROR] SEMICOLON EXPECTED: A 9 | ^ [ERROR] SKIPPING EXTRANEOUS TOKENS: + 10 | 11 | (0004): PRUNEIF C > 3; 12 | (0005): IF A < 10 TRANTO A = A+1 BY FOOBAR; 13 | (0006): IF A < 10 TRANTO A = A+1,C = C+1 BY FOO; 14 | 15 | 16 | 0004 ERRORS. 17 | -------------------------------------------------------------------------------- /src/common/safeeval.h: -------------------------------------------------------------------------------- 1 | #if !defined(_ZZ_q_safeeval_DEFINED) 2 | #define _ZZ_q_safeeval_DEFINED 3 | 4 | #include "cm_sys.h" 5 | 6 | #ifdef _NO_PROTO 7 | extern void eval_err(); 8 | extern real_type real_eval_err(); 9 | extern int_type int_eval_err(); 10 | extern int_type ixtoy(); 11 | extern real_type rtoi(); 12 | #else 13 | extern void eval_err(short,char *); 14 | extern real_type real_eval_err(short,real_type,char *,real_type); 15 | extern int_type int_eval_err(short,int_type,char *,int_type); 16 | extern int_type ixtoy(int_type,int_type); 17 | extern real_type rtoi(real_type,int_type); 18 | #endif 19 | 20 | #endif 21 | -------------------------------------------------------------------------------- /src/test/f1.ast: -------------------------------------------------------------------------------- 1 | NP = 6; (* number of processors initially *) 2 | FOOBAR = ARRAY (5,1,6); 3 | ONE = 1; 4 | LAMBDA = 1E-4; (* fault arrival rate *) 5 | DELTA = 3.6E3; (* recovery rate *) 6 | SPACE = (NC: ARRAY [ONE..2] OF 0..NP, NF: ARRAY [1..2] OF 0..NP); 7 | START = (NP,5,0,6); 8 | DEATHIF 2*NF[1] >= NC[1]; 9 | (* IF NC[FOOBAR[2]] > 0 TRANTO (NC[1],1,NF[1]+1,1) BY 10 | (NC[1]-NF[1])*FOOBAR[1]*LAMBDA; *)(* fault arrivals *) 11 | IF NC[1] > 0 TRANTO (NC[1],1,NF[1]+1,1) BY 12 | (NC[1]-NF[1])*FOOBAR[1]*LAMBDA; (* fault arrivals *) 13 | IF NF[1] > 0 TRANTO (NC[1]-1,2, NF[1]-1,2) BY NF[1]*DELTA; (* system recovery*) -------------------------------------------------------------------------------- /src/test/v7.1/t10.alog: -------------------------------------------------------------------------------- 1 | t10.ast 9/03/97 9:44:42 a.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): foo1 = array (27,28,29,30,31); 4 | (0002): foo2 = array (25.5E3,26.6,27.112+(3E7-6)/(3+7),28.987,29.876,30.35824,31.2E15); 5 | (0003): space = (a,b); 6 | (0004): start = (0,0); 7 | (0005): deathif b>0; 8 | (0006): for i = 1,5; 9 | (0007): if b = 0 tranto b = b+foo1[i] by foo2[I+1]*lambda; 10 | (0008): endfor; 11 | 12 | PARSING TIME = 0.01 sec. 13 | RULE GENERATION TIME = 0.00 sec. 14 | NUMBER OF STATES IN MODEL = 2 15 | NUMBER OF TRANSITIONS IN MODEL = 5 16 | 5 DEATH STATES AGGREGATED INTO STATE 1 17 | 18 | -------------------------------------------------------------------------------- /src/test/v7.4/t10.alog: -------------------------------------------------------------------------------- 1 | t10.ast 11/16/15 9:20:17 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): foo1 = array (27,28,29,30,31); 4 | (0002): foo2 = array (25.5E3,26.6,27.112+(3E7-6)/(3+7),28.987,29.876,30.35824,31.2E15); 5 | (0003): space = (a,b); 6 | (0004): start = (0,0); 7 | (0005): deathif b>0; 8 | (0006): for i = 1,5; 9 | (0007): if b = 0 tranto b = b+foo1[i] by foo2[I+1]*lambda; 10 | (0008): endfor; 11 | 12 | PARSING TIME = 0.00 sec. 13 | RULE GENERATION TIME = 0.00 sec. 14 | NUMBER OF STATES IN MODEL = 2 15 | NUMBER OF TRANSITIONS IN MODEL = 5 16 | 5 DEATH STATES AGGREGATED INTO STATE 1 17 | 18 | -------------------------------------------------------------------------------- /src/test/v7.2/t10.alog: -------------------------------------------------------------------------------- 1 | t10.ast 10/12/99 11:29:39 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): foo1 = array (27,28,29,30,31); 4 | (0002): foo2 = array (25.5E3,26.6,27.112+(3E7-6)/(3+7),28.987,29.876,30.35824,31.2E15); 5 | (0003): space = (a,b); 6 | (0004): start = (0,0); 7 | (0005): deathif b>0; 8 | (0006): for i = 1,5; 9 | (0007): if b = 0 tranto b = b+foo1[i] by foo2[I+1]*lambda; 10 | (0008): endfor; 11 | 12 | PARSING TIME = 100.00 sec. 13 | RULE GENERATION TIME = 300.00 sec. 14 | NUMBER OF STATES IN MODEL = 2 15 | NUMBER OF TRANSITIONS IN MODEL = 5 16 | 5 DEATH STATES AGGREGATED INTO STATE 1 17 | 18 | -------------------------------------------------------------------------------- /src/test2/v7.1/rb6.alog: -------------------------------------------------------------------------------- 1 | rb6.ast 9/02/97 2:46:42 p.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (AN:1..10000,ANM1:1..10000); 4 | (0002): START = (1,1); 5 | (0003): IF AN<10000 TRANTO (AN+ANM1,AN) BY AN; 6 | ^ [WARNING] PROGRAM DOES NOT CONTAIN ANY DEATHIF STATEMENTS. 7 | 8 | PARSING TIME = 0.08 sec. 9 | [ERROR] STATE-SPACE VARIABLE VALUE IS OUT OF RANGE: 10946 (1 to 10000) 10 | AN=10946, (TRANTO on line 3) 11 | RULE GENERATION TIME = 0.02 sec. 12 | NUMBER OF STATES IN MODEL = 19 13 | NUMBER OF TRANSITIONS IN MODEL = 19 14 | 15 | 0001 ERROR. 16 | 0001 WARNING. 17 | -------------------------------------------------------------------------------- /src/test2/v7.1/t8.alog: -------------------------------------------------------------------------------- 1 | t8.ast 9/02/97 2:46:56 p.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (NC: ARRAY[1..6]); 4 | (0002): START = (0,0,4 OF 0); 5 | (0003): DEATHIF NC[1] > 10; 6 | (0004): FOR I = 1,3; 7 | (0005): FOR J = 0,1; 8 | (0006): IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 9 | (0007): ENDFOR; 10 | (0008): IF NC[1] < 10 TRANTO NC[1] = NC[1]+5 BY I; 11 | (0009): ENDFOR; 12 | 13 | PARSING TIME = 0.07 sec. 14 | RULE GENERATION TIME = 0.01 sec. 15 | NUMBER OF STATES IN MODEL = 4 16 | NUMBER OF TRANSITIONS IN MODEL = 22 17 | 16 DEATH STATES AGGREGATED INTO STATE 1 18 | 19 | -------------------------------------------------------------------------------- /src/test2/v7.4/rb6.alog: -------------------------------------------------------------------------------- 1 | rb6.ast 11/16/15 9:26:00 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (AN:1..10000,ANM1:1..10000); 4 | (0002): START = (1,1); 5 | (0003): IF AN<10000 TRANTO (AN+ANM1,AN) BY AN; 6 | ^ [WARNING] PROGRAM DOES NOT CONTAIN ANY DEATHIF STATEMENTS. 7 | 8 | PARSING TIME = 0.00 sec. 9 | [ERROR] STATE-SPACE VARIABLE VALUE IS OUT OF RANGE: 10946 (1 to 10000) 10 | AN=10946, (TRANTO on line 3) 11 | RULE GENERATION TIME = 0.00 sec. 12 | NUMBER OF STATES IN MODEL = 19 13 | NUMBER OF TRANSITIONS IN MODEL = 19 14 | 15 | 0001 ERROR. 16 | 0001 WARNING. 17 | -------------------------------------------------------------------------------- /src/test2/v7.4/t8.alog: -------------------------------------------------------------------------------- 1 | t8.ast 11/16/15 9:26:05 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (NC: ARRAY[1..6]); 4 | (0002): START = (0,0,4 OF 0); 5 | (0003): DEATHIF NC[1] > 10; 6 | (0004): FOR I = 1,3; 7 | (0005): FOR J = 0,1; 8 | (0006): IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 9 | (0007): ENDFOR; 10 | (0008): IF NC[1] < 10 TRANTO NC[1] = NC[1]+5 BY I; 11 | (0009): ENDFOR; 12 | 13 | PARSING TIME = 0.00 sec. 14 | RULE GENERATION TIME = 0.01 sec. 15 | NUMBER OF STATES IN MODEL = 4 16 | NUMBER OF TRANSITIONS IN MODEL = 22 17 | 16 DEATH STATES AGGREGATED INTO STATE 1 18 | 19 | -------------------------------------------------------------------------------- /src/test2/v8.0/rb6.alog: -------------------------------------------------------------------------------- 1 | rb6.ast 10/12/99 11:38:41 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (AN:1..10000,ANM1:1..10000); 4 | (0002): START = (1,1); 5 | (0003): IF AN<10000 TRANTO (AN+ANM1,AN) BY AN; 6 | ^ [WARNING] PROGRAM DOES NOT CONTAIN ANY DEATHIF STATEMENTS. 7 | 8 | PARSING TIME = 0.00 sec. 9 | [ERROR] STATE-SPACE VARIABLE VALUE IS OUT OF RANGE: 10946 (1 to 10000) 10 | AN=10946, (TRANTO on line 3) 11 | RULE GENERATION TIME = 300.00 sec. 12 | NUMBER OF STATES IN MODEL = 19 13 | NUMBER OF TRANSITIONS IN MODEL = 19 14 | 15 | 0001 ERROR. 16 | 0001 WARNING. 17 | -------------------------------------------------------------------------------- /src/test/big2.ast: -------------------------------------------------------------------------------- 1 | echo=0; 2 | comment=0; 3 | list=2; 4 | prune=1.0e-30; 5 | rec=3.0e-4; 6 | recover=1.0/rec; 7 | lambda=1.0e-4; 8 | 9 | 10 | 11 | space=(a:0..4,b:0..4,c:0..4,abad:0..2,bbad:0..2,cbad:0..2,n); 12 | 13 | start=(4,4,4,0,0,0,0); 14 | 15 | deathif abad>1; 16 | deathif bbad>1; 17 | deathif cbad>1; 18 | 19 | pruneif n=5; 20 | 21 | if a>0 tranto a=a-1,abad=abad+1,n=n+1 by lambda; 22 | if b>0 tranto b=b-1,bbad=bbad+1,n=n+1 by lambda; 23 | if c>0 tranto c=c-1,cbad=cbad+1,n=n+1 by lambda; 24 | 25 | if abad>0 tranto abad=0 by fast recover; 26 | if bbad>0 tranto bbad=0 by fast recover; 27 | if cbad>0 tranto cbad=0 by fast recover; 28 | -------------------------------------------------------------------------------- /src/test/v7.1/f5.alog: -------------------------------------------------------------------------------- 1 | f5.ast 9/03/97 9:44:37 a.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C, D); 4 | (0002): START = (1,2,0,1); 5 | (0003): 6 | (0004): deathif b > 2; 7 | (0005): IF A = 1 TRANTO a = 2, b = 2, C = 1, D = 0 BY A+(B+C)+D; 8 | 9 | PARSING TIME = 0.01 sec. 10 | [WARNING] NO TRANSITIONS OUT OF A NON-DEATHIF STATE. THIS STATE IS THEREFORE 11 | IMPLICITLY A DEATH STATE: 3 12 | RULE GENERATION TIME = 0.00 sec. 13 | NUMBER OF STATES IN MODEL = 3 14 | NUMBER OF TRANSITIONS IN MODEL = 1 15 | 0 DEATH STATES AGGREGATED INTO STATE 1 16 | 17 | 0001 WARNING. 18 | -------------------------------------------------------------------------------- /src/test/v7.2/f5.alog: -------------------------------------------------------------------------------- 1 | f5.ast 10/12/99 11:29:36 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C, D); 4 | (0002): START = (1,2,0,1); 5 | (0003): 6 | (0004): deathif b > 2; 7 | (0005): IF A = 1 TRANTO a = 2, b = 2, C = 1, D = 0 BY A+(B+C)+D; 8 | 9 | PARSING TIME = 100.00 sec. 10 | [WARNING] NO TRANSITIONS OUT OF A NON-DEATHIF STATE. THIS STATE IS THEREFORE 11 | IMPLICITLY A DEATH STATE: 3 12 | RULE GENERATION TIME = 300.00 sec. 13 | NUMBER OF STATES IN MODEL = 3 14 | NUMBER OF TRANSITIONS IN MODEL = 1 15 | 0 DEATH STATES AGGREGATED INTO STATE 1 16 | 17 | 0001 WARNING. 18 | -------------------------------------------------------------------------------- /src/test/v7.4/f5.alog: -------------------------------------------------------------------------------- 1 | f5.ast 11/16/15 9:20:17 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C, D); 4 | (0002): START = (1,2,0,1); 5 | (0003): 6 | (0004): deathif b > 2; 7 | (0005): IF A = 1 TRANTO a = 2, b = 2, C = 1, D = 0 BY A+(B+C)+D; 8 | 9 | PARSING TIME = 0.00 sec. 10 | [WARNING] NO TRANSITIONS OUT OF A NON-DEATHIF STATE. THIS STATE IS THEREFORE 11 | IMPLICITLY A DEATH STATE: 3 12 | RULE GENERATION TIME = 0.00 sec. 13 | NUMBER OF STATES IN MODEL = 3 14 | NUMBER OF TRANSITIONS IN MODEL = 1 15 | 0 DEATH STATES AGGREGATED INTO STATE 1 16 | 17 | 0001 WARNING. 18 | -------------------------------------------------------------------------------- /src/test2/v7.1/t3.alog: -------------------------------------------------------------------------------- 1 | t3.ast 9/02/97 2:46:51 p.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): NP=6; (* number of processors initially *) 4 | (0002): LAMBDA = 1E-4; (* fault arrival rate *) 5 | (0003): DELTA = 3.6E3; (* recovery rate *) 6 | (0004): SPACE = (A:0..1,B:0..1,C:0..1,D,E,F,G); 7 | (0005): START = (7 OF 1); 8 | (0006): DEATHIF A=B; 9 | (0007): ONEDEATH = 1; 10 | ^ [ERROR] STATEMENT OUT OF SEQUENCE ... NOT ALLOWED IN RULE SECTION. 11 | 12 | (0008): IF A > 0 TRANTO A = A+1 BY LAMBDA; (* fault arrivals *) 13 | (0009): (* START STATE SHOULD BE A DEATH STATE *) 14 | 15 | 16 | 0001 ERROR. 17 | -------------------------------------------------------------------------------- /src/test2/v7.4/t3.alog: -------------------------------------------------------------------------------- 1 | t3.ast 11/16/15 9:26:03 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): NP=6; (* number of processors initially *) 4 | (0002): LAMBDA = 1E-4; (* fault arrival rate *) 5 | (0003): DELTA = 3.6E3; (* recovery rate *) 6 | (0004): SPACE = (A:0..1,B:0..1,C:0..1,D,E,F,G); 7 | (0005): START = (7 OF 1); 8 | (0006): DEATHIF A=B; 9 | (0007): ONEDEATH = 1; 10 | ^ [ERROR] STATEMENT OUT OF SEQUENCE ... NOT ALLOWED IN RULE SECTION. 11 | 12 | (0008): IF A > 0 TRANTO A = A+1 BY LAMBDA; (* fault arrivals *) 13 | (0009): (* START STATE SHOULD BE A DEATH STATE *) 14 | 15 | 16 | 0001 ERROR. 17 | -------------------------------------------------------------------------------- /src/test2/v8.0/t3.alog: -------------------------------------------------------------------------------- 1 | t3.ast 10/12/99 11:38:44 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): NP=6; (* number of processors initially *) 4 | (0002): LAMBDA = 1E-4; (* fault arrival rate *) 5 | (0003): DELTA = 3.6E3; (* recovery rate *) 6 | (0004): SPACE = (A:0..1,B:0..1,C:0..1,D,E,F,G); 7 | (0005): START = (7 OF 1); 8 | (0006): DEATHIF A=B; 9 | (0007): ONEDEATH = 1; 10 | ^ [ERROR] STATEMENT OUT OF SEQUENCE ... NOT ALLOWED IN RULE SECTION. 11 | 12 | (0008): IF A > 0 TRANTO A = A+1 BY LAMBDA; (* fault arrivals *) 13 | (0009): (* START STATE SHOULD BE A DEATH STATE *) 14 | 15 | 16 | 0001 ERROR. 17 | -------------------------------------------------------------------------------- /src/test2/v8.0/t8.alog: -------------------------------------------------------------------------------- 1 | t8.ast 10/12/99 11:38:46 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (NC: ARRAY[1..6]); 4 | (0002): START = (0,0,4 OF 0); 5 | (0003): DEATHIF NC[1] > 10; 6 | (0004): FOR I = 1,3; 7 | (0005): FOR J = 0,1; 8 | (0006): IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 9 | (0007): ENDFOR; 10 | (0008): IF NC[1] < 10 TRANTO NC[1] = NC[1]+5 BY I; 11 | (0009): ENDFOR; 12 | 13 | PARSING TIME = 100.00 sec. 14 | RULE GENERATION TIME = 400.00 sec. 15 | NUMBER OF STATES IN MODEL = 4 16 | NUMBER OF TRANSITIONS IN MODEL = 22 17 | 16 DEATH STATES AGGREGATED INTO STATE 1 18 | 19 | -------------------------------------------------------------------------------- /src/test3/big2od.ast: -------------------------------------------------------------------------------- 1 | onedeath off; 2 | 3 | list=2; 4 | prune=1.0e-30; 5 | rec=3.0e-4; 6 | recover=1.0/rec; 7 | lambda=1.0e-4; 8 | 9 | 10 | 11 | space=(a:0..4,b:0..4,c:0..4,abad:0..2,bbad:0..2,cbad:0..2,n); 12 | 13 | start=(4,4,4,0,0,0,0); 14 | 15 | deathif abad>1; 16 | deathif bbad>1; 17 | deathif cbad>1; 18 | 19 | pruneif n=5; 20 | 21 | if a>0 tranto a=a-1,abad=abad+1,n=n+1 by lambda; 22 | if b>0 tranto b=b-1,bbad=bbad+1,n=n+1 by lambda; 23 | if c>0 tranto c=c-1,cbad=cbad+1,n=n+1 by lambda; 24 | 25 | if abad>0 tranto abad=0 by fast recover; 26 | if bbad>0 tranto bbad=0 by fast recover; 27 | if cbad>0 tranto cbad=0 by fast recover; 28 | -------------------------------------------------------------------------------- /src/test/big2-com.ast: -------------------------------------------------------------------------------- 1 | echo=0; 2 | comment=1; 3 | list=2; 4 | prune=1.0e-30; 5 | rec=3.0e-4; 6 | recover=1.0/rec; 7 | lambda=1.0e-4; 8 | 9 | 10 | 11 | space=(a:0..4,b:0..4,c:0..4,abad:0..2,bbad:0..2,cbad:0..2,n); 12 | 13 | start=(4,4,4,0,0,0,0); 14 | 15 | deathif abad>1; 16 | deathif bbad>1; 17 | deathif cbad>1; 18 | 19 | pruneif n=5; 20 | 21 | if a>0 tranto a=a-1,abad=abad+1,n=n+1 by lambda; 22 | if b>0 tranto b=b-1,bbad=bbad+1,n=n+1 by lambda; 23 | if c>0 tranto c=c-1,cbad=cbad+1,n=n+1 by lambda; 24 | 25 | if abad>0 tranto abad=0 by fast recover; 26 | if bbad>0 tranto bbad=0 by fast recover; 27 | if cbad>0 tranto cbad=0 by fast recover; 28 | -------------------------------------------------------------------------------- /src/test2/v7.1/t6.alog: -------------------------------------------------------------------------------- 1 | t6.ast 9/02/97 2:46:55 p.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (NC: ARRAY[1..6]); 4 | (0002): START = (6 OF 0); 5 | (0003): DEATHIF NC[1] > 10; 6 | (0004): FOR I = 1,3; 7 | (0005): FOR J = 0,1; 8 | (0006): IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 9 | (0007): ENDFOR; 10 | (0008): (* IF NC[1] < 10 TRANTO NC[1] = NC[1]+2,NC[I]=NC[I]+2; *) 11 | (0009): ENDFOR; 12 | 13 | PARSING TIME = 0.08 sec. 14 | RULE GENERATION TIME = 0.01 sec. 15 | NUMBER OF STATES IN MODEL = 2 16 | NUMBER OF TRANSITIONS IN MODEL = 6 17 | 6 DEATH STATES AGGREGATED INTO STATE 1 18 | 19 | -------------------------------------------------------------------------------- /src/test2/v7.4/t6.alog: -------------------------------------------------------------------------------- 1 | t6.ast 11/16/15 9:26:05 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (NC: ARRAY[1..6]); 4 | (0002): START = (6 OF 0); 5 | (0003): DEATHIF NC[1] > 10; 6 | (0004): FOR I = 1,3; 7 | (0005): FOR J = 0,1; 8 | (0006): IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 9 | (0007): ENDFOR; 10 | (0008): (* IF NC[1] < 10 TRANTO NC[1] = NC[1]+2,NC[I]=NC[I]+2; *) 11 | (0009): ENDFOR; 12 | 13 | PARSING TIME = 0.00 sec. 14 | RULE GENERATION TIME = 0.00 sec. 15 | NUMBER OF STATES IN MODEL = 2 16 | NUMBER OF TRANSITIONS IN MODEL = 6 17 | 6 DEATH STATES AGGREGATED INTO STATE 1 18 | 19 | -------------------------------------------------------------------------------- /src/test2/v8.0/t6.alog: -------------------------------------------------------------------------------- 1 | t6.ast 10/12/99 11:38:46 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (NC: ARRAY[1..6]); 4 | (0002): START = (6 OF 0); 5 | (0003): DEATHIF NC[1] > 10; 6 | (0004): FOR I = 1,3; 7 | (0005): FOR J = 0,1; 8 | (0006): IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 9 | (0007): ENDFOR; 10 | (0008): (* IF NC[1] < 10 TRANTO NC[1] = NC[1]+2,NC[I]=NC[I]+2; *) 11 | (0009): ENDFOR; 12 | 13 | PARSING TIME = 0.00 sec. 14 | RULE GENERATION TIME = 500.00 sec. 15 | NUMBER OF STATES IN MODEL = 2 16 | NUMBER OF TRANSITIONS IN MODEL = 6 17 | 6 DEATH STATES AGGREGATED INTO STATE 1 18 | 19 | -------------------------------------------------------------------------------- /src/test2/v7.1/ex22.alog: -------------------------------------------------------------------------------- 1 | ex22.ast 9/02/97 2:46:29 p.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (NC: ARRAY[1..6]); 4 | (0002): START = (0,0,0,0,0,0); 5 | (0003): DEATHIF NC[1] > 10; 6 | (0004): FOR I = 1,3; 7 | (0005): FOR J = 0,1; 8 | (0006): IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 9 | (0007): ENDFOR; 10 | (0008): (* IF NC[1] < 10 TRANTO NC[1] = NC[1]+2,NC[I]=NC[I]+2; *) 11 | (0009): ENDFOR; 12 | 13 | PARSING TIME = 0.09 sec. 14 | RULE GENERATION TIME = 0.00 sec. 15 | NUMBER OF STATES IN MODEL = 2 16 | NUMBER OF TRANSITIONS IN MODEL = 6 17 | 6 DEATH STATES AGGREGATED INTO STATE 1 18 | 19 | -------------------------------------------------------------------------------- /src/test2/v7.1/t7.alog: -------------------------------------------------------------------------------- 1 | t7.ast 9/02/97 2:46:56 p.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (NC: ARRAY[1..6]); 4 | (0002): START = (0,1,2,3,4,5); 5 | (0003): DEATHIF NC[1] > 10; 6 | (0004): FOR I = 1,3; 7 | (0005): FOR J = 0,1; 8 | (0006): IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 9 | (0007): ENDFOR; 10 | (0008): (* IF NC[1] < 10 TRANTO NC[1] = NC[1]+2,NC[I]=NC[I]+2; *) 11 | (0009): ENDFOR; 12 | 13 | PARSING TIME = 0.07 sec. 14 | RULE GENERATION TIME = 0.01 sec. 15 | NUMBER OF STATES IN MODEL = 2 16 | NUMBER OF TRANSITIONS IN MODEL = 1 17 | 1 DEATH STATES AGGREGATED INTO STATE 1 18 | 19 | -------------------------------------------------------------------------------- /src/test2/v7.4/ex22.alog: -------------------------------------------------------------------------------- 1 | ex22.ast 11/16/15 9:26:00 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (NC: ARRAY[1..6]); 4 | (0002): START = (0,0,0,0,0,0); 5 | (0003): DEATHIF NC[1] > 10; 6 | (0004): FOR I = 1,3; 7 | (0005): FOR J = 0,1; 8 | (0006): IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 9 | (0007): ENDFOR; 10 | (0008): (* IF NC[1] < 10 TRANTO NC[1] = NC[1]+2,NC[I]=NC[I]+2; *) 11 | (0009): ENDFOR; 12 | 13 | PARSING TIME = 0.00 sec. 14 | RULE GENERATION TIME = 0.01 sec. 15 | NUMBER OF STATES IN MODEL = 2 16 | NUMBER OF TRANSITIONS IN MODEL = 6 17 | 6 DEATH STATES AGGREGATED INTO STATE 1 18 | 19 | -------------------------------------------------------------------------------- /src/test2/v7.4/t7.alog: -------------------------------------------------------------------------------- 1 | t7.ast 11/16/15 9:26:05 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (NC: ARRAY[1..6]); 4 | (0002): START = (0,1,2,3,4,5); 5 | (0003): DEATHIF NC[1] > 10; 6 | (0004): FOR I = 1,3; 7 | (0005): FOR J = 0,1; 8 | (0006): IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 9 | (0007): ENDFOR; 10 | (0008): (* IF NC[1] < 10 TRANTO NC[1] = NC[1]+2,NC[I]=NC[I]+2; *) 11 | (0009): ENDFOR; 12 | 13 | PARSING TIME = 0.00 sec. 14 | RULE GENERATION TIME = 0.01 sec. 15 | NUMBER OF STATES IN MODEL = 2 16 | NUMBER OF TRANSITIONS IN MODEL = 1 17 | 1 DEATH STATES AGGREGATED INTO STATE 1 18 | 19 | -------------------------------------------------------------------------------- /src/test2/v8.0/t7.alog: -------------------------------------------------------------------------------- 1 | t7.ast 10/12/99 11:38:46 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (NC: ARRAY[1..6]); 4 | (0002): START = (0,1,2,3,4,5); 5 | (0003): DEATHIF NC[1] > 10; 6 | (0004): FOR I = 1,3; 7 | (0005): FOR J = 0,1; 8 | (0006): IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 9 | (0007): ENDFOR; 10 | (0008): (* IF NC[1] < 10 TRANTO NC[1] = NC[1]+2,NC[I]=NC[I]+2; *) 11 | (0009): ENDFOR; 12 | 13 | PARSING TIME = 0.00 sec. 14 | RULE GENERATION TIME = 500.00 sec. 15 | NUMBER OF STATES IN MODEL = 2 16 | NUMBER OF TRANSITIONS IN MODEL = 1 17 | 1 DEATH STATES AGGREGATED INTO STATE 1 18 | 19 | -------------------------------------------------------------------------------- /src/test2/v7.1/ex20.alog: -------------------------------------------------------------------------------- 1 | ex20.ast 9/02/97 2:46:28 p.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (NC: ARRAY[1..6]); 4 | (0002): START = (0,0,0,0,0,0); 5 | (0003): DEATHIF NC[1] > 10; 6 | (0004): FOR I = 1,3; 7 | (0005): FOR J = 0,1; 8 | (0006): IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 9 | (0007): ENDFOR; 10 | (0008): IF NC[1] < 10 TRANTO NC[1] = NC[1]+2,NC[I]=NC[I]+2 BY I; 11 | (0009): ENDFOR; 12 | 13 | PARSING TIME = 0.06 sec. 14 | RULE GENERATION TIME = 0.17 sec. 15 | NUMBER OF STATES IN MODEL = 57 16 | NUMBER OF TRANSITIONS IN MODEL = 316 17 | 211 DEATH STATES AGGREGATED INTO STATE 1 18 | 19 | -------------------------------------------------------------------------------- /src/test2/v7.4/ex20.alog: -------------------------------------------------------------------------------- 1 | ex20.ast 11/16/15 9:26:00 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (NC: ARRAY[1..6]); 4 | (0002): START = (0,0,0,0,0,0); 5 | (0003): DEATHIF NC[1] > 10; 6 | (0004): FOR I = 1,3; 7 | (0005): FOR J = 0,1; 8 | (0006): IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 9 | (0007): ENDFOR; 10 | (0008): IF NC[1] < 10 TRANTO NC[1] = NC[1]+2,NC[I]=NC[I]+2 BY I; 11 | (0009): ENDFOR; 12 | 13 | PARSING TIME = 0.00 sec. 14 | RULE GENERATION TIME = 0.01 sec. 15 | NUMBER OF STATES IN MODEL = 57 16 | NUMBER OF TRANSITIONS IN MODEL = 316 17 | 211 DEATH STATES AGGREGATED INTO STATE 1 18 | 19 | -------------------------------------------------------------------------------- /src/test2/v8.0/ex22.alog: -------------------------------------------------------------------------------- 1 | ex22.ast 10/12/99 11:38:31 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (NC: ARRAY[1..6]); 4 | (0002): START = (0,0,0,0,0,0); 5 | (0003): DEATHIF NC[1] > 10; 6 | (0004): FOR I = 1,3; 7 | (0005): FOR J = 0,1; 8 | (0006): IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 9 | (0007): ENDFOR; 10 | (0008): (* IF NC[1] < 10 TRANTO NC[1] = NC[1]+2,NC[I]=NC[I]+2; *) 11 | (0009): ENDFOR; 12 | 13 | PARSING TIME = 0.00 sec. 14 | RULE GENERATION TIME = 400.00 sec. 15 | NUMBER OF STATES IN MODEL = 2 16 | NUMBER OF TRANSITIONS IN MODEL = 6 17 | 6 DEATH STATES AGGREGATED INTO STATE 1 18 | 19 | -------------------------------------------------------------------------------- /src/test2/v7.4/ex24.alog: -------------------------------------------------------------------------------- 1 | ex24.ast 11/16/15 9:26:00 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): I=4; 4 | (0002): ONEDEATH = 1; 5 | (0003): LAMBDA = 3E-4; 6 | (0004): SPACE = (NF:ARRAY[1..I]); 7 | (0005): START = (I OF 6); 8 | (0006): DEATHIF NF[1] < 6; 9 | (0007): IF NF[I]=6 TRANTO NF[1] = NF[1]-1 BY I*LAMBDA; 10 | (0008): IF NF[I]>5 TRANTO NF[1] = NF[1]-1 BY I*LAMBDA; 11 | (0009): IF NF[I]<10 TRANTO NF[1] = NF[1]-1 BY I*LAMBDA; 12 | 13 | PARSING TIME = 0.00 sec. 14 | RULE GENERATION TIME = 0.01 sec. 15 | NUMBER OF STATES IN MODEL = 2 16 | NUMBER OF TRANSITIONS IN MODEL = 3 17 | 3 DEATH STATES AGGREGATED INTO STATE 1 18 | 19 | -------------------------------------------------------------------------------- /src/test2/v8.0/ex20.alog: -------------------------------------------------------------------------------- 1 | ex20.ast 10/12/99 11:38:30 a.m. ASSIST 7.2, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (NC: ARRAY[1..6]); 4 | (0002): START = (0,0,0,0,0,0); 5 | (0003): DEATHIF NC[1] > 10; 6 | (0004): FOR I = 1,3; 7 | (0005): FOR J = 0,1; 8 | (0006): IF NC[(J*3)+I] = 0 TRANTO (20,J,J,I,I,I) BY (J*3)+I; 9 | (0007): ENDFOR; 10 | (0008): IF NC[1] < 10 TRANTO NC[1] = NC[1]+2,NC[I]=NC[I]+2 BY I; 11 | (0009): ENDFOR; 12 | 13 | PARSING TIME = 100.00 sec. 14 | RULE GENERATION TIME = 700.00 sec. 15 | NUMBER OF STATES IN MODEL = 57 16 | NUMBER OF TRANSITIONS IN MODEL = 316 17 | 211 DEATH STATES AGGREGATED INTO STATE 1 18 | 19 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # WinASSIST 2 | 3 | 4 | The WinASSIST program uses a rule-oriented language to automatically generate input files for the SURE/WinSURE program. 5 | The user describes the failure behavior and recovery behavior of a fault-tolerant computer system in an abstract language. 6 | The WinASSIST program then automatically generates a corresponding semi-Markov model. The abstract language allows efficient description of large, complex systems. A one-page WinASSIST-language description may result in a semi-Markov model with thousands of states and transitions. The WinASSIST program also provides model-reduction techniques to facilitate efficient modeling of large systems. 7 | -------------------------------------------------------------------------------- /src/test/t9.mod: -------------------------------------------------------------------------------- 1 | FOO1_1 = 27; 2 | FOO1_2 = 28; 3 | FOO1_3 = 29; 4 | FOO1_4 = 30; 5 | FOO1_5 = 31; 6 | FOO2_1 = 25; 7 | FOO2_2 = 26; 8 | FOO2_3 = 27; 9 | FOO2_4 = 28; 10 | FOO2_5 = 29; 11 | FOO2_6 = 30; 12 | FOO2_7 = 31; 13 | 14 | 15 | 2(* 0,0 *), 1(* 0,27 DEATH *) = FOO2_2*LAMBDA; 16 | 2(* 0,0 *), 1(* 0,28 DEATH *) = FOO2_3*LAMBDA; 17 | 2(* 0,0 *), 1(* 0,29 DEATH *) = FOO2_4*LAMBDA; 18 | 2(* 0,0 *), 1(* 0,30 DEATH *) = FOO2_5*LAMBDA; 19 | 2(* 0,0 *), 1(* 0,31 DEATH *) = FOO2_6*LAMBDA; 20 | 21 | (* NUMBER OF STATES IN MODEL = 2 *) 22 | (* NUMBER OF TRANSITIONS IN MODEL = 5 *) 23 | (* 5 DEATH STATES AGGREGATED INTO STATE 1 *) 24 | -------------------------------------------------------------------------------- /src/test2/ex12.ast: -------------------------------------------------------------------------------- 1 | NP = 6; (* number of processors initially *) 2 | ONE = 1; 3 | LAMBDA = 1E-4; (* fault arrival rate *) 4 | DELTA = 3.6E3; (* recovery rate *) 5 | SPACE = (Nc: ARRAY [ONE..3] OF 0..NP, Nf: ARRAY [1..3] OF 0..NP); 6 | START = (NP,5,6,0,1,2); 7 | DEATHIF 2*Nf[1] >= Nc[1]; 8 | IF Nc[1] > 0 TRANTO (Nc[1],1,Nf[1]+1,1,1,2) BY 9 | (Nc[1]-Nf[1]) (* stuff *) *LAMBDA; (* fault arrivals *) 10 | IF Nc[1] > 0 TRANTO (Nc[1],1,Nf[1]+1,1,1,2) BY 11 | (Nc[2]-Nf[2]) (* stuff *) *LAMBDA; (* fault arrivals *) 12 | IF Nf[1] > 0 TRANTO (Nc[1]-1,2, Nf[1]-1,2,1,2) BY 13 | Nf[1]*DELTA; (* system recovery*) 14 | -------------------------------------------------------------------------------- /src/test2/t11.mod: -------------------------------------------------------------------------------- 1 | LAMBDA = 1E-4; 2 | DELTA = 3.6E3; 3 | 4 | 5 | 2(* 6,6,6,6,6 *), 3(* 5,6,6,6,200 *) = FOONESS; 6 | 2(* 6,6,6,6,6 *), 4(* 5,6,6,6,6 *) = FOO1; 7 | 2(* 6,6,6,6,6 *), 5(* 5,5,6,6,6 *) = FOO2; 8 | 3(* 5,6,6,6,200 *), 1(* 2,6,6,5,200 DEATH *) = FOO4; 9 | 4(* 5,6,6,6,6 *), 1(* 2,6,6,5,6 DEATH *) = FOO4; 10 | 5(* 5,5,6,6,6 *), 1(* 3,5,5,6,6 DEATH *) = FOO3; 11 | 5(* 5,5,6,6,6 *), 1(* 2,5,6,5,6 DEATH *) = FOO4; 12 | 13 | (* NUMBER OF STATES IN MODEL = 5 *) 14 | (* NUMBER OF TRANSITIONS IN MODEL = 7 *) 15 | (* 4 DEATH STATES AGGREGATED INTO STATE 1 *) 16 | (* 0001 WARNING *) 17 | -------------------------------------------------------------------------------- /src/test/abug2.ast: -------------------------------------------------------------------------------- 1 | (* THIS FILE POINTS OUT TWO BUGS IN ASSIST -- 2 | A3 WON'T TAKE THE -6 IN THE START STATEMENT, (LOOPS FOREVER!!) 3 | AND WHEN THE -6 IS REPLACED BY NP, IT SAYS NOT IN DEFINED SPACE, 4 | BUT, IF THE DEFAULT SPACE IS USED, THEN THE BUGS WORK OUT OKAY. *) 5 | 6 | NP = -6; (* number of processors initially *) 7 | LAMBDA = 1E-4; (* fault arrival rate *) 8 | DELTA = 3.6E3; (* recovery rate *) 9 | SPACE = (NC: -6..0, NF: -6..0); 10 | START = (-6,0); 11 | DEATHIF 2*NF <= NC; 12 | IF NC < 0 TRANTO (NC,NF-1) BY (NF-(NC))*LAMBDA; (* fault arrivals *) 13 | IF NF < 0 TRANTO (NC+1, NF+1) BY <1/(-(NF)*DELTA),1/(-(NF)*DELTA)>; 14 | (* systen recovery *) 15 | -------------------------------------------------------------------------------- /src/test/v7.1/t13.alog: -------------------------------------------------------------------------------- 1 | t13.ast 9/03/97 9:44:42 a.m. ASSIST 7.1, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,1,1); 5 | (0003): DEATHIF C = 10; 6 | (0004): PRUNEIF A > 5; 7 | (0005): PRUNEIF A + B > 6; 8 | (0006): PRUNEIF C = B+A; 9 | (0007): IF A < 10 TRANTO A = A+1 BY FOOBAR; 10 | (0008): IF B < 20 TRANTO B = B+1 BY FOOBAR; 11 | (0009): IF C < 20 TRANTO C = C+1 BY FOOBAR; 12 | 13 | PARSING TIME = 0.01 sec. 14 | RULE GENERATION TIME = 0.02 sec. 15 | NUMBER OF STATES IN MODEL = 59 16 | NUMBER OF TRANSITIONS IN MODEL = 165 17 | 0 DEATH STATES AGGREGATED INTO STATE 1 18 | 65 PRUNE STATES AGGREGATED INTO STATES 2 - 4 19 | 20 | -------------------------------------------------------------------------------- /src/test/v7.1/t9.mod: -------------------------------------------------------------------------------- 1 | FOO1_1 = 27; 2 | FOO1_2 = 28; 3 | FOO1_3 = 29; 4 | FOO1_4 = 30; 5 | FOO1_5 = 31; 6 | FOO2_1 = 25; 7 | FOO2_2 = 26; 8 | FOO2_3 = 27; 9 | FOO2_4 = 28; 10 | FOO2_5 = 29; 11 | FOO2_6 = 30; 12 | FOO2_7 = 31; 13 | 14 | 15 | 2(* 0,0 *), 1(* 0,27 DEATH *) = FOO2_2*LAMBDA; 16 | 2(* 0,0 *), 1(* 0,28 DEATH *) = FOO2_3*LAMBDA; 17 | 2(* 0,0 *), 1(* 0,29 DEATH *) = FOO2_4*LAMBDA; 18 | 2(* 0,0 *), 1(* 0,30 DEATH *) = FOO2_5*LAMBDA; 19 | 2(* 0,0 *), 1(* 0,31 DEATH *) = FOO2_6*LAMBDA; 20 | 21 | (* NUMBER OF STATES IN MODEL = 2 *) 22 | (* NUMBER OF TRANSITIONS IN MODEL = 5 *) 23 | (* 5 DEATH STATES AGGREGATED INTO STATE 1 *) 24 | -------------------------------------------------------------------------------- /src/test/v7.2/t9.mod: -------------------------------------------------------------------------------- 1 | FOO1_1 = 27; 2 | FOO1_2 = 28; 3 | FOO1_3 = 29; 4 | FOO1_4 = 30; 5 | FOO1_5 = 31; 6 | FOO2_1 = 25; 7 | FOO2_2 = 26; 8 | FOO2_3 = 27; 9 | FOO2_4 = 28; 10 | FOO2_5 = 29; 11 | FOO2_6 = 30; 12 | FOO2_7 = 31; 13 | 14 | 15 | 2(* 0,0 *), 1(* 0,27 DEATH *) = FOO2_2*LAMBDA; 16 | 2(* 0,0 *), 1(* 0,28 DEATH *) = FOO2_3*LAMBDA; 17 | 2(* 0,0 *), 1(* 0,29 DEATH *) = FOO2_4*LAMBDA; 18 | 2(* 0,0 *), 1(* 0,30 DEATH *) = FOO2_5*LAMBDA; 19 | 2(* 0,0 *), 1(* 0,31 DEATH *) = FOO2_6*LAMBDA; 20 | 21 | (* NUMBER OF STATES IN MODEL = 2 *) 22 | (* NUMBER OF TRANSITIONS IN MODEL = 5 *) 23 | (* 5 DEATH STATES AGGREGATED INTO STATE 1 *) 24 | -------------------------------------------------------------------------------- /src/test/v7.4/t13.alog: -------------------------------------------------------------------------------- 1 | t13.ast 11/16/15 9:20:17 a.m. ASSIST ***7.4***, NASA LaRC Page 1 2 | 3 | (0001): SPACE = (A,B,C); 4 | (0002): START = (1,1,1); 5 | (0003): DEATHIF C = 10; 6 | (0004): PRUNEIF A > 5; 7 | (0005): PRUNEIF A + B > 6; 8 | (0006): PRUNEIF C = B+A; 9 | (0007): IF A < 10 TRANTO A = A+1 BY FOOBAR; 10 | (0008): IF B < 20 TRANTO B = B+1 BY FOOBAR; 11 | (0009): IF C < 20 TRANTO C = C+1 BY FOOBAR; 12 | 13 | PARSING TIME = 0.00 sec. 14 | RULE GENERATION TIME = 0.00 sec. 15 | NUMBER OF STATES IN MODEL = 59 16 | NUMBER OF TRANSITIONS IN MODEL = 165 17 | 0 DEATH STATES AGGREGATED INTO STATE 1 18 | 65 PRUNE STATES AGGREGATED INTO STATES 2 - 4 19 | 20 | -------------------------------------------------------------------------------- /src/test/v7.4/t9.mod: -------------------------------------------------------------------------------- 1 | FOO1_1 = 27; 2 | FOO1_2 = 28; 3 | FOO1_3 = 29; 4 | FOO1_4 = 30; 5 | FOO1_5 = 31; 6 | FOO2_1 = 25; 7 | FOO2_2 = 26; 8 | FOO2_3 = 27; 9 | FOO2_4 = 28; 10 | FOO2_5 = 29; 11 | FOO2_6 = 30; 12 | FOO2_7 = 31; 13 | 14 | 15 | 2(* 0,0 *), 1(* 0,27 DEATH *) = FOO2_2*LAMBDA; 16 | 2(* 0,0 *), 1(* 0,28 DEATH *) = FOO2_3*LAMBDA; 17 | 2(* 0,0 *), 1(* 0,29 DEATH *) = FOO2_4*LAMBDA; 18 | 2(* 0,0 *), 1(* 0,30 DEATH *) = FOO2_5*LAMBDA; 19 | 2(* 0,0 *), 1(* 0,31 DEATH *) = FOO2_6*LAMBDA; 20 | 21 | (* NUMBER OF STATES IN MODEL = 2 *) 22 | (* NUMBER OF TRANSITIONS IN MODEL = 5 *) 23 | (* 5 DEATH STATES AGGREGATED INTO STATE 1 *) 24 | --------------------------------------------------------------------------------