Commits

Branch selector

 main

User selector

juliabolt

Datepicker

All time

Commit History

Commits on Jun 4, 2024

• 💻 add roles of variables: stepper in for loops (hedyorg#5538)

  Show description for 0e2929b
  juliabolt

  authored
  0e2929b

  Copy full SHA for 0e2929b

Commits on May 9, 2024

• 💻 show some roles of variables (constant, input constant, walker, container) (hedyorg#5500)

  Show description for ece85e9
  juliabolt

  authored
  ece85e9

  Copy full SHA for ece85e9

Commits on Mar 3, 2024

• 💻 variable list appears automatically open instead of hidden (hedyorg#5202)

  Show description for 1afc5c6
  juliabolt

  authored
  1afc5c6

  Copy full SHA for 1afc5c6

Commits on Feb 10, 2024

• 💻 Add customize class button to teacher page (hedyorg#5122)

  Show description for 65608fd
  juliabolt

  authored
  65608fd

  Copy full SHA for 65608fd

Commits on Feb 8, 2024

• 📜 Re-add exclamation mark in question in quiz level 2 (hedyorg#5082)

  Show description for 6cf7f37
  juliabolt

  authored
  6cf7f37

  Copy full SHA for 6cf7f37

Commits on Jun 26, 2022

• files from hedyindafny repo added to hedy repo in a folder (hedyorg#2942)

  juliabolt

  authored
  561603d

  Copy full SHA for 561603d

Commits on Mar 18, 2022

• semantics change level 1 turn (hedyorg#2253)

  juliabolt

  authored
  eb3fbfb

  Copy full SHA for eb3fbfb

Commits on Feb 21, 2022

• semantics corrections in correct programs, mixing up name with naam and forgetting quotes around text from level 12 on (hedyorg#2051)

  juliabolt

  authored
  441382b

  Copy full SHA for 441382b

Commits on Feb 18, 2022

• Semantics corrections (hedyorg#1990)

  Show description for 509c463
  juliabolt

  authored
  509c463

  Copy full SHA for 509c463

Commits on Feb 15, 2022

• semantics: equality comparison with lists possible in level 14 and further (hedyorg#1967)

  juliabolt

  authored
  b66144b

  Copy full SHA for b66144b

• semantics: adds level 17 (hedyorg#1968)

  Show description for 91b6ed1
  

  juliabolt

  and

  Felienne

  authored
  91b6ed1

  Copy full SHA for 91b6ed1

Commits on Feb 14, 2022

• in semantics, remove repeat command from level 11 and further (hedyorg#1857)

  Show description for f4511db
  

  juliabolt

  and

  mergify[bot]

  authored
  f4511db

  Copy full SHA for f4511db

• Adds semantics level 16 (hedyorg#1921)

  Show description for a1ee966
  

  juliabolt

  and

  mergify[bot]

  authored
  a1ee966

  Copy full SHA for a1ee966

Commits on Jan 28, 2022

• Adds types to semantics level 15 (hedyorg#1839)

  Show description for b41edb0
  juliabolt

  authored
  b41edb0

  Copy full SHA for b41edb0

• Typo correction in text level 14 (hedyorg#1820)

  Show description for 326a7f2
  

  3 peopleauthored
  326a7f2

  Copy full SHA for 326a7f2

Commits on Jan 27, 2022

• Adds explanation <= and >= to text level 14 (hedyorg#1816)

  Show description for edda8f4
  

  juliabolt

  and

  mergify[bot]

  authored
  edda8f4

  Copy full SHA for edda8f4

• Adds types to semantics level 14 (hedyorg#1814)

  Show description for e5c8be4
  

  3 peopleauthored
  e5c8be4

  Copy full SHA for e5c8be4

Commits on Jan 20, 2022

• Adds types to semantics level 12 and 13 (hedyorg#1733)

  Show description for 1d96172
  

  juliabolt

  and

  Felienne

  authored
  1d96172

  Copy full SHA for 1d96172

Commits on Jan 18, 2022

• Adds types to level 10 and 11 in SEMANTICS (hedyorg#1707)

  Show description for d1aed7f
  

  juliabolt

  and

  Felienne

  authored
  d1aed7f

  Copy full SHA for d1aed7f

Commits on Jan 17, 2022

• Correction and additions in SEMANTICS.md (hedyorg#1700)

  Show description for b545744
  

  juliabolt

  and

  Felienne

  authored
  b545744

  Copy full SHA for b545744

Commits on Jan 14, 2022

• Adds types to level 7,8,9 in SEMANTICS description (hedyorg#1673)

  Show description for 4e5afe0
  

  juliabolt

  and

  Felienne

  authored
  4e5afe0

  Copy full SHA for 4e5afe0

Commits on Jan 13, 2022

• Adds types to level 5 and 6 in semantics description (hedyorg#1665)

  Show description for b69f5c2
  

  juliabolt

  and

  Felienne

  authored
  b69f5c2

  Copy full SHA for b69f5c2

Commits on Jan 11, 2022

• Add types to SEMANTICS description for first levels (hedyorg#1625)

  Show description for 0278ff4
  

  juliabolt

  and

  Felienne

  authored
  0278ff4

  Copy full SHA for 0278ff4

Commits on Nov 18, 2021

• natural language description of semantics up to level 4 (since level 2 is split into 2&3) (hedyorg#1322)

  Show description for d01cb53
  juliabolt

  authored
  d01cb53

  Copy full SHA for d01cb53

• semantics description in natural language additions (hedyorg#1318)

  Show description for fc9c1ae
  juliabolt

  authored
  fc9c1ae

  Copy full SHA for fc9c1ae