Pingguy Soowin

## AndroidManifest.xml
<?xml version="1.0" encoding="utf-8"?>
<manifest xmlns:android="http://schemas.android.com/apk/res/android"
    package="com.example.task42">

    <application
        android:allowBackup="true"
        android:icon="@mipmap/ic_launcher"
        android:label="@string/app_name"
        android:roundIcon="@mipmap/ic_launcher_round"
        android:supportsRtl="true"

## PersonalHomepage.html
<!DOCTYPE html>
<html lang="zh-CN">
<head>
    <title>GoodMorning~</title>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <meta name="theme-color" content="#272727">
    <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/bootstrap@4.6.0/dist/css/bootstrap.min.css"
          integrity="sha384-B0vP5xmATw1+K9KRQjQERJvTumQW0nPEzvF6L/Z6nronJ3oUOFUFpCjEUQouq2+l" crossorigin="anonymous">
    <link href="https://v4.bootcss.com/docs/examples/cover/cover.css" rel="stylesheet">

## exp1_stop_wait.pml
#define MAXSEQ 5
mtype={Msg,Ack,Nak,Err,Mis};
chan SenderToReceiver=[1] of {mtype,byte,byte};
chan ReceiverToSender=[1] of {mtype,byte,byte};

proctype SENDER(chan InCh,OutCh)
{
    byte SendData;
    byte SendSeq;
    byte ReceivedSeq;

## main.cpp
#include <iostream>
using namespace std;
int GPDR0,GPSR0,GPCR0,GAFR0_L,GAFR0_U;
int GPCR2,GPCR3,GPSR2,GPSR3;
int GAFR2_U,GAFR3_L,GPDR2,GPDR3;
/**
 * 核心板：D4（GPIO3）、D5（GPIO4）
 * 控制底板：D1（GPI089）、D2（GPI0107）、
 * D3（GPI0108）、D4（GPI096）
**/
	<?xml version="1.0" encoding="utf-8"?>
	<manifest xmlns:android="http://schemas.android.com/apk/res/android"
	package="com.example.task42">

	<application
	android:allowBackup="true"
	android:icon="@mipmap/ic_launcher"
	android:label="@string/app_name"
	android:roundIcon="@mipmap/ic_launcher_round"
	android:supportsRtl="true"
	<!DOCTYPE html>
	<html lang="zh-CN">
	<head>
	<title>GoodMorning~</title>
	<meta charset="utf-8">
	<meta name="viewport" content="width=device-width, initial-scale=1.0">
	<meta name="theme-color" content="#272727">
	<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/bootstrap@4.6.0/dist/css/bootstrap.min.css"
	integrity="sha384-B0vP5xmATw1+K9KRQjQERJvTumQW0nPEzvF6L/Z6nronJ3oUOFUFpCjEUQouq2+l" crossorigin="anonymous">
	<link href="https://v4.bootcss.com/docs/examples/cover/cover.css" rel="stylesheet">
	#define MAXSEQ 5
	mtype={Msg,Ack,Nak,Err,Mis};
	chan SenderToReceiver=[1] of {mtype,byte,byte};
	chan ReceiverToSender=[1] of {mtype,byte,byte};

	proctype SENDER(chan InCh,OutCh)
	{
	byte SendData;
	byte SendSeq;
	byte ReceivedSeq;
	#include <iostream>
	using namespace std;
	int GPDR0,GPSR0,GPCR0,GAFR0_L,GAFR0_U;
	int GPCR2,GPCR3,GPSR2,GPSR3;
	int GAFR2_U,GAFR3_L,GPDR2,GPDR3;
	/**
	* 核心板：D4（GPIO3）、D5（GPIO4）
	* 控制底板：D1（GPI089）、D2（GPI0107）、
	* D3（GPI0108）、D4（GPI096）
	**/