更新历史

2024/8/16 first commit

---

markdown and highlight test

以下是markdown与highlight测试

首先是一个可以收起的目录

<details open markdown="block">
  <summary>
    Table of contents
  </summary>
  {: .text-delta }
1. TOC
{:toc}
</details>

Table of contents

1. 更新历史
2. markdown and highlight test
3. You can find the source code for Minima at GitHub
   1. You can find the source code for Jekyll at GitHub
4. Header 1
   1. Header 2
      1. Header 3
         1. Header 4 with code not transformed
            1. Header 5
               1. Header 6
      2. There’s a horizontal rule below this
      3. Here is an unordered list
      4. And an ordered list
      5. And an ordered list, continued
      6. And an ordered list starting from 42
      7. And a nested list
      8. Nesting an ol in ul in an ol
      9. And a task list
      10. Nesting task lists
      11. Nesting a ul in a task list
      12. Nesting a task list in a ul
      13. Small image
      14. Large image
      15. Labels
      16. Definition lists can be used with HTML syntax
          1. Multiple description terms and values
      17. More code
      18. Mermaid Diagrams
      19. Collapsed Section

---

This is the base Jekyll theme. You can find out more info about customizing your Jekyll theme, as well as basic Jekyll usage documentation at jekyllrb.com

You can find the source code for Minima at GitHub

jekyll / minima

You can find the source code for Jekyll at GitHub

jekyll / jekyll

---

// 定义一个泛型函数，实现一个n位逐级传递加法器，输入参数是两个n位数和一个进位位
function Bit#(n+1) addN(Bit#(n) x, Bit#(n) y, Bit#(1) c0); 
  Bit#(n) s = 0; // 定义一个n位的和数变量，初始化为0
  Bit#(n+1) c = 0; // 定义一个(n+1)位的进位变量，初始化为0
  c[0] = c0; // 将输入的进位位赋给进位变量的最低位
  // 循环n次，每次处理一位加法，并处理进位
  for (Integer i=0; i<n; i=i+1) begin
    let cs = fa(x[i],y[i],c[i]); // 调用全加器函数fa处理当前位的加法和进位
    c[i+1] = cs[1]; // 将全加器返回的进位存储到进位变量的下一位
    s[i] = cs[0]; // 将全加器返回的和存储到和数变量的当前位
  end
  return {c[n],s}; // 返回一个(n+1)位的结果，最高位是最终的进位，其余位是和数
endfunction

module mkExample(Example);
    Reg#(Bit#(1)) some_state <- mkRegU;

    rule tick;
        some_state <= ~some_state;
    endrule
endmodule

module mkExample(Example);
    Reg#(Bit#(1)) some_state <- mkRegU;

    rule tick;
        some_state <= ~some_state;
    endrule
endmodule

module mkExample(Example);

Your Title Here

This is the content of your card. You can place any text or HTML elements here. The card is full-width, has a gray background, and uses larger fonts.

这是一个红色字体的div块内容。

---

Text can be bold, italic, or strikethrough.

Link to another page.

There should be whitespace between paragraphs.

There should be whitespace between paragraphs. We recommend including a README, or a file with information about your project.

Header 1

This is a normal paragraph following a header. GitHub is a code hosting platform for version control and collaboration. It lets you and others work together on projects from anywhere.

Header 2

This is a blockquote following a header.

When something is important enough, you do it even if the odds are not in your favor.

Header 3

// Javascript code with syntax highlighting.
var fun = function lang(l) {
  dateformat.i18n = require('./lang/' + l)
  return true;
}

# Ruby code with syntax highlighting
GitHubPages::Dependencies.gems.each do |gem, version|
  s.add_dependency(gem, "= #{version}")
end

为了使网站的字体更加适合显示中文内容，我们可以调整 $body-font-family 和 $mono-font-family 变量，包含一些更适合中文显示的字体选项。下面是修改后的字体设置，增加了一些常见的中文字体，如 Microsoft YaHei（微软雅黑）和 PingFang SC（苹方）等，同时保留了一些原有的西文字体以保证兼容性和备选：

Header 4 with code not transformed

• This is an unordered list following a header.
• This is an unordered list following a header.
• This is an unordered list following a header.

Header 5

1. This is an ordered list following a header.
2. This is an ordered list following a header.
3. This is an ordered list following a header.

Header 6

This is a very long link which wraps and therefore doesn’t overflow even when it comes at the beginning of the line.

• This is a very long link which wraps and therefore doesn’t overflow the line when used first in an item in a list.

head1	head two	three
ok	good swedish fish	nice
out of stock	good and plenty	nice
ok	good oreos	hmm
ok	good zoute drop	yumm

There’s a horizontal rule below this

---

Here is an unordered list

• Item foo
• Item bar
• Item baz
• Item zip

And an ordered list

1. Item one
2. Item two
3. Item three
4. Item four

And an ordered list, continued

1. Item one
2. Item two

Some text

1. Item three
2. Item four

And an ordered list starting from 42

1. Item 42
2. Item 43
3. Item 44

And a nested list

• level 1 item
  • level 2 item
  • level 2 item
    • level 3 item
    • level 3 item
• level 1 item
  • level 2 item
  • level 2 item
  • level 2 item
• level 1 item
  • level 2 item
  • level 2 item
• level 1 item

Nesting an ol in ul in an ol

• level 1 item (ul)
  1. level 2 item (ol)
  2. level 2 item (ol)
     • level 3 item (ul)
     • level 3 item (ul)
• level 1 item (ul)
  1. level 2 item (ol)
  2. level 2 item (ol)
     • level 3 item (ul)
     • level 3 item (ul)
  3. level 4 item (ol)
  4. level 4 item (ol)
     • level 3 item (ul)
     • level 3 item (ul)
• level 1 item (ul)

And a task list

• Hello, this is a TODO item
• Hello, this is another TODO item
• Goodbye, this item is done

Nesting task lists

• level 1 item (task)
  • level 2 item (task)
  • level 2 item (task)
• level 1 item (task)
• level 1 item (task)

Nesting a ul in a task list

• level 1 item (task)
  • level 2 item (ul)
  • level 2 item (ul)
• level 1 item (task)
• level 1 item (task)

Nesting a task list in a ul

• level 1 item (ul)
  • level 2 item (task)
  • level 2 item (task)
• level 1 item (ul)
• level 1 item (ul)

Small image

Large image

“Wroclaw University Library digitizing rare archival texts” by j_cadmus is marked with CC BY 2.0.

Labels

I’m a label

blue

green

purple

yellow

red

bold

italic

bold + italic

Definition lists can be used with HTML syntax

Name

Godzilla

Born

1952

Birthplace

Japan

Color

Green

Multiple description terms and values

Term

Brief description of Term

Longer Term

Longer description of Term, possibly more than one line

Term

First description of Term, possibly more than one line

Second description of Term, possibly more than one line

Term1

Term2

Single description of Term1 and Term2, possibly more than one line

Term1

Term2

First description of Term1 and Term2, possibly more than one line

Second description of Term1 and Term2, possibly more than one line

More code

def dump_args(func):
    "This decorator dumps out the arguments passed to a function before calling it"
    argnames = func.func_code.co_varnames[:func.func_code.co_argcount]
    fname = func.func_name
    def echo_func(*args,**kwargs):
        print fname, ":", ', '.join(
            '%s=%r' % entry
            for entry in zip(argnames,args) + kwargs.items())
        return func(*args, **kwargs)
    return echo_func

@dump_args
def f1(a,b,c):
    print a + b + c

f1(1, 2, 3)

def precondition(precondition, use_conditions=DEFAULT_ON):
    return conditions(precondition, None, use_conditions)

def postcondition(postcondition, use_conditions=DEFAULT_ON):
    return conditions(None, postcondition, use_conditions)

class conditions(object):
    __slots__ = ('__precondition', '__postcondition')

    def __init__(self, pre, post, use_conditions=DEFAULT_ON):
        if not use_conditions:
            pre, post = None, None

        self.__precondition  = pre
        self.__postcondition = post

Long, single-line code blocks should not wrap. They should horizontally scroll if they are too long. This line should be long enough to demonstrate this.

Mermaid Diagrams

The following code is displayed as a diagram only when a mermaid key supplied in _config.yml.

graph TD;
    A-->B;
    A-->C;
    B-->D;
    C-->D;

Collapsed Section

The following uses the <details> tag to create a collapsed section.

Shopping list (click me!)

This is content inside a <details> dropdown.

• Apples
• Oranges
• Milk