Issues

• Installation instructions refer to non-existent file

  rems-project/cn-tutorial#129 · Filter by author langston-barrett opened on Apr 9, 2025
  2

• Almost all of my initial feedback

  rems-project/cn-tutorial#126 · Filter by author dimecon opened on Mar 26, 2025

• Finding the examples

  rems-project/cn-tutorial#125 · Filter by author PeterSewell opened on Mar 21, 2025
  2

• Add more detailed instructions on how to write predicates

  rems-project/cn-tutorial#121 · Filter by author dc-mak opened on Mar 6, 2025
  5

• Array of arrays example

  rems-project/cn-tutorial#113 · Filter by author lwli11 opened on Feb 10, 2025

• Nested loop example

  rems-project/cn-tutorial#112 · Filter by author lwli11 opened on Feb 5, 2025
  1

• Possibly incorrect lemma in example-archive (src/example-archive/simple-examples/working/list_2.c)

  rems-project/cn-tutorial#111 · Filter by author kiranandcode opened on Jan 27, 2025
  6

• Calling add

  rems-project/cn-tutorial#107 · Filter by author lwli11 opened on Dec 10, 2024
  4

• Extend safety to include portability issues

  rems-project/cn-tutorial#102 · Filter by author r-ross opened on Nov 20, 2024
  3

• Specify the C language version

  rems-project/cn-tutorial#101 · Filter by author r-ross opened on Nov 20, 2024
  3

• Add text/section explaining VIP

  rems-project/cn-tutorial#91 · Filter by author dc-mak opened on Sep 30, 2024
  

• Integrate cn-runtime-testing branch into main

  rems-project/cn-tutorial#70 · Filter by author septract opened on Aug 8, 2024
  6

  

• Integrate comments from old tutorial drafts

  rems-project/cn-tutorial#59 · Filter by author septract opened on Jul 23, 2024
  

• Collect timing information in CI scripts, & detect regressions

  rems-project/cn-tutorial#54 · Filter by author septract opened on Jul 21, 2024
  7

• Reconsider the use/explanation of extract in the tutorial's "Second loop example"

  rems-project/cn-tutorial#51 · Filter by author samcowger opened on Jul 20, 2024
  7

• Directory structure rationalization

  rems-project/cn-tutorial#43 · Filter by author septract opened on Jul 15, 2024
  7

• Integrate examples from the example-archive into the tutorial

  rems-project/cn-tutorial#39 · Filter by author septract opened on Jul 9, 2024
  9

• Make CI scripts more uniform

  rems-project/cn-tutorial#38 · Filter by author septract opened on Jul 5, 2024
  1

• RHEL8 Install

  rems-project/cn-tutorial#35 · Filter by author lwli11 opened on Jun 19, 2024
  9

• Clean up the naming of examples

  rems-project/cn-tutorial#26 · Filter by author podhrmic opened on Jun 7, 2024
  1

• Different error report from first example

  rems-project/cn-tutorial#16 · Filter by author tlringer opened on May 22, 2024
  4

• Some parts of the language are not discussed in the tutorial

  rems-project/cn-tutorial#4 · Filter by author peterohanley opened on Apr 26, 2024
  8