Code

Updated naming conventions#84

Code

Open

bcpierce00 wants to merge 65 commits intomainrems-project/cn-tutorial:mainfrom naming-conventions-2rems-project/cn-tutorial:naming-conventions-2Copy head branch name to clipboard

+2,716-1,922

Commits

Commits on Jul 31, 2024

• Try new naming conventions on lists

  elaustell

  committed
  d38fd06

  Copy full SHA for d38fd06

• add rev

  elaustell

  committed
  281a31c

  Copy full SHA for 281a31c

• Polishing, tidying, renaming, some comments

  

  Benjamin Pierce

  committed
  5d3a937

  Copy full SHA for 5d3a937

• Summary of proposed naming conventions

  

  Benjamin Pierce

  committed
  5934f2d

  Copy full SHA for 5934f2d

Commits on Aug 1, 2024

• rename list_cn_types to Seq.h

  elaustell

  committed
  c8b4bd8

  Copy full SHA for c8b4bd8

• Tidying

  

  Benjamin Pierce

  committed
  7e65961

  Copy full SHA for 7e65961

• Merge branch 'naming_conventions' of https://github.com/rems-project/cn-tutorial into naming_conventions

  

  Benjamin Pierce

  committed
  92751b8

  Copy full SHA for 92751b8

• Instructions

  

  Benjamin Pierce

  committed
  fb6c311

  Copy full SHA for fb6c311

• Rename Seq.h back to list_cn_types.h (lighter)

  

  Benjamin Pierce

  committed
  1eeb5ef

  Copy full SHA for 1eeb5ef

• Better proposal for conventions

  

  Benjamin Pierce

  committed
  c3bded0

  Copy full SHA for c3bded0

• add Liz opinions

  elaustell

  committed
  32e5a6b

  Copy full SHA for 32e5a6b

Commits on Aug 2, 2024

• Responses to Liz and some more polishing

  

  Benjamin Pierce

  committed
  fa952aa

  Copy full SHA for fa952aa

Commits on Aug 8, 2024

• Updated naming convention recommendations (WIP)

  

  Benjamin Pierce

  committed
  d21f25f

  Copy full SHA for d21f25f

Commits on Aug 12, 2024

• Tiny bit of renaming in progress

  

  Benjamin Pierce

  committed
  1f903e1

  Copy full SHA for 1f903e1

Commits on Aug 14, 2024

• Checkpoint renaming in progress

  

  Benjamin Pierce

  committed
  2dd9ed0

  Copy full SHA for 2dd9ed0

• Checkpoint further progress -- not ready for review yet

  

  Benjamin Pierce

  committed
  8861f70

  Copy full SHA for 8861f70

• Makefile nit

  

  Benjamin Pierce

  committed
  3f803d4

  Copy full SHA for 3f803d4

• 'nother round of renaming

  

  Benjamin Pierce

  committed
  a76ec94

  Copy full SHA for a76ec94

• Merge remote-tracking branch 'origin/main' into naming_conventions

  

  Benjamin Pierce

  committed
  346078f

  Copy full SHA for 346078f

Commits on Aug 16, 2024

• WIP tutorial polishing

  

  Benjamin Pierce

  committed
  9094b86

  Copy full SHA for 9094b86

• More WIP on tutorial

  

  Benjamin Pierce

  committed
  a048a72

  Copy full SHA for a048a72

• More tutorial WIP

  

  Benjamin Pierce

  committed
  3907502

  Copy full SHA for 3907502

• WIP on tutorial

  

  Benjamin Pierce

  committed
  b0e8343

  Copy full SHA for b0e8343

• WIP renaming

  

  Benjamin Pierce

  committed
  17ea167

  Copy full SHA for 17ea167

Commits on Aug 18, 2024

• WIP more renaming and polishing

  

  Benjamin Pierce

  committed
  6b3f3d1

  Copy full SHA for 6b3f3d1

Commits on Aug 19, 2024

• change cn invocation instructions to cn verify

  dsainati1

  committed
  e943a95

  Copy full SHA for e943a95

• add sentence about ternary operator precdence

  dsainati1

  committed
  6f032b8

  Copy full SHA for 6f032b8

• WIP more renaming and polishing

  

  Benjamin Pierce

  committed
  b7733b9

  Copy full SHA for b7733b9

• place exercises for resources after the section on linear ownership

  dsainati1

  committed
  06863c3

  Copy full SHA for 06863c3

• add comment on second extract argument

  dsainati1

  committed
  0bd03d9

  Copy full SHA for 0bd03d9

• add explanation about unfold

  dsainati1

  committed
  ccba8b3

  Copy full SHA for ccba8b3

• prove pop returns the old head

  dsainati1

  committed
  5f4357f

  Copy full SHA for 5f4357f

• add some TODOs

  dsainati1

  committed
  9de0de0

  Copy full SHA for 9de0de0

• WIP bunch more renaming and polishing

  

  Benjamin Pierce

  committed
  61033a1

  Copy full SHA for 61033a1

Commits on Aug 23, 2024

• Record some conversations about TODOs

  

  Benjamin Pierce

  committed
  2c7b117

  Copy full SHA for 2c7b117

• Merge remote-tracking branch 'origin/main' into naming-conventions-2

  

  Benjamin Pierce

  committed
  9d812d1

  Copy full SHA for 9d812d1

• Merge remote-tracking branch 'origin/tutorial-feedback' into naming-conventions-2

  

  Benjamin Pierce

  committed
  1e8f59e

  Copy full SHA for 1e8f59e

• Tidy merge

  

  Benjamin Pierce

  committed
  de6d882

  Copy full SHA for de6d882

Commits on Aug 30, 2024

• Tidying per github discussion

  

  Benjamin Pierce

  committed
  da6f42e

  Copy full SHA for da6f42e

• Start fixing queue examples

  

  Benjamin Pierce

  committed
  afb8b5e

  Copy full SHA for afb8b5e

• renaming

  

  Benjamin Pierce

  committed
  2b6dce7

  Copy full SHA for 2b6dce7

• Bit more polishing on renaming

  

  Benjamin Pierce

  committed
  6429b35

  Copy full SHA for 6429b35

• Further polishing (queues)

  

  Benjamin Pierce

  committed
  c0f4575

  Copy full SHA for c0f4575

• (queues)

  

  Benjamin Pierce

  committed
  f4e9498

  Copy full SHA for f4e9498

Commits on Sep 1, 2024

• Tutorial: work on DLL example

  

  Benjamin Pierce

  committed
  f28cd4e

  Copy full SHA for f28cd4e

• Tutorial WIP

  

  Benjamin Pierce

  committed
  93a1609

  Copy full SHA for 93a1609

• Merge branch 'naming-conventions-2' of https://github.com/rems-project/cn-tutorial into naming-conventions-2

  

  Benjamin Pierce

  committed
  9bf52a7

  Copy full SHA for 9bf52a7

• Polish DLL and Runway case studies

  

  Benjamin Pierce

  committed
  5968408

  Copy full SHA for 5968408

• Queue -> Queue_At

  

  Benjamin Pierce

  committed
  5a47724

  Copy full SHA for 5a47724

• Rename most predicates P to P_At

  

  Benjamin Pierce

  committed
  088f9e9

  Copy full SHA for 088f9e9

• CP

  

  Benjamin Pierce

  committed
  46add80

  Copy full SHA for 46add80

• Remove unused example

  

  Benjamin Pierce

  committed
  e0de380

  Copy full SHA for e0de380

• Move queue files to /queue subdir

  

  Benjamin Pierce

  committed
  8096c34

  Copy full SHA for 8096c34

• Rename list_ examples

  

  Benjamin Pierce

  committed
  648d8d0

  Copy full SHA for 648d8d0

• Merge in Apol's BST example and start renaming

  

  Benjamin Pierce

  committed
  f265ca1

  Copy full SHA for f265ca1

• CP

  

  Benjamin Pierce

  committed
  2ecca6d

  Copy full SHA for 2ecca6d

• CP

  

  Benjamin Pierce

  committed
  b9141ee

  Copy full SHA for b9141ee

• CP

  

  Benjamin Pierce

  committed
  b230220

  Copy full SHA for b230220

• Polish BST naming conventions and move it out of the main tutorial (bc

  Show description for 7c0d972
  

  Benjamin Pierce

  committed
  7c0d972

  Copy full SHA for 7c0d972

• Actually move files

  

  Benjamin Pierce

  committed
  2c2155f

  Copy full SHA for 2c2155f

• Tidy

  

  Benjamin Pierce

  committed
  4bf0b12

  Copy full SHA for 4bf0b12

• Merge branch 'main' into naming-conventions-2

  bcpierce00

  authored
  e46875f

  Copy full SHA for e46875f

• Merge

  

  Benjamin Pierce

  committed
  c554f75

  Copy full SHA for c554f75

• Merge branch 'naming-conventions-2' of https://github.com/rems-project/cn-tutorial into naming-conventions-2

  

  Benjamin Pierce

  committed
  8de5497

  Copy full SHA for 8de5497

Commits on Oct 8, 2024

• Merge branch 'main' into naming-conventions-2

  

  Benjamin Pierce

  committed
  d44464b

  Copy full SHA for d44464b