Commits

Breadcrumbs

History for

onf98dcea

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 3, 2025

• Further remove references to concurrent

  leeyi45

  committedMar 3, 2025
  623a6c6

  Copy full SHA for 623a6c6

• Relocate svmc repl prompt

  leeyi45

  committedMar 3, 2025
  8fef11f

  Copy full SHA for 8fef11f

• Remove lazy (#1743)

  Show description for e35223f
  

  leeyi45

  and

  martin-henz

  authoredMar 3, 2025
  e35223f

  Copy full SHA for e35223f

Commits on Feb 27, 2025

• Remove Non-Det Interpreter (#1725)

  Show description for a50f7dc
  

  leeyi45

  and

  s-kybound

  authoredFeb 27, 2025
  a50f7dc

  Copy full SHA for a50f7dc

Commits on Mar 29, 2024

• bumping; also: undoing accidental removal of ev3 tooltips (#1618)

  martin-henz

  authoredMar 29, 2024
  4dc8671

  Copy full SHA for 4dc8671

Commits on Mar 28, 2024

• Library cleanup (#1614)

  Show description for 53efa69
  martin-henz

  authoredMar 28, 2024
  53efa69

  Copy full SHA for 53efa69

• add documentation for Explicit-Control and Continuations (#1611)

  NhatMinh0208

  authoredMar 28, 2024
  f54f761

  Copy full SHA for f54f761

Commits on Mar 5, 2024

• Fix broken Source specification PDF on documentation website (#1573)

  Show description for fa17dc7
  sayomaki

  authoredMar 5, 2024
  fa17dc7

  Copy full SHA for fa17dc7

Commits on Feb 23, 2024

• Typed Source: Enable autocompletion for standard Source functions (#1560)

  Show description for a7ed77d
  Zenkoh1

  authoredFeb 23, 2024
  a7ed77d

  Copy full SHA for a7ed77d

Commits on Apr 18, 2023

• Add documentation for AUXILIARY functions (#1410)

  ianyong

  authoredApr 18, 2023
  2e4c010

  Copy full SHA for 2e4c010

Commits on Mar 11, 2023

• Add Windows support to autocomplete.sh (#1373)

  Show description for efafb0c
  

  Fidget-Spinner

  and

  martin-henz

  authoredMar 11, 2023
  efafb0c

  Copy full SHA for efafb0c

Commits on Feb 22, 2023

• Add parse tree types to Source 4 Typed (#1360)

  Show description for 4a7fd7e
  zhaojj2209

  authoredFeb 22, 2023
  4a7fd7e

  Copy full SHA for 4a7fd7e

Commits on Jan 3, 2023

• Add documentation and specs for Source 3 Typed (#1328)

  Show description for 30baa08
  

  zhaojj2209

  and

  martin-henz

  authoredJan 3, 2023
  30baa08

  Copy full SHA for 30baa08

Commits on Dec 29, 2022

• Add documentation and specs for Source 1 & 2 Typed (#1323)

  Show description for bc17193
  

  zhaojj2209

  and

  martin-henz

  authoredDec 29, 2022
  bc17193

  Copy full SHA for bc17193

Commits on Sep 26, 2022

• Fixing sicp package (#1302)

  Show description for b088ffa
  

  martin-henz

  and

  martin-henz

  authoredSep 26, 2022
  b088ffa

  Copy full SHA for b088ffa

• Modify SICP to use ES6 imports (#1299)

  zhaojj2209

  authoredSep 26, 2022
  fdf150c

  Copy full SHA for fdf150c

Commits on Apr 23, 2022

• Fix sicp package build (#1245)

  Show description for 142c393
  

  algtan

  and

  martin-henz

  authoredApr 23, 2022
  142c393

  Copy full SHA for 142c393

Commits on Jan 23, 2022

• Add Validator module (#1200)

  hungkhoaitay

  authoredJan 23, 2022
  79bd36d

  Copy full SHA for 79bd36d

Commits on Jun 26, 2021

• favicon added (#1022)

  martin-henz

  authoredJun 26, 2021
  23ca00e

  Copy full SHA for 23ca00e

Commits on Jun 16, 2021

• Fix SICP (#1013)

  hungkhoaitay

  authoredJun 16, 2021
  fe2c598

  Copy full SHA for fe2c598

• Make SICP compact and resolve conflict (#1011)

  Show description for 09a740e
  hungkhoaitay

  authoredJun 16, 2021
  09a740e

  Copy full SHA for 09a740e

Commits on Jun 3, 2021

• SICP package (#974)

  Show description for ba5d4ed
  

  hungkhoaitay

  and

  martin-henz

  authoredJun 3, 2021
  ba5d4ed

  Copy full SHA for ba5d4ed

Commits on Jan 18, 2021

• Update jsdoc.sh (#842)

  thomastanck

  authoredJan 18, 2021
  91a169a

  Copy full SHA for 91a169a

Commits on Dec 11, 2020

• Update coveralls (#826)

  openorclose

  authoredDec 11, 2020
  ce7c957

  Copy full SHA for ce7c957

Commits on Oct 12, 2020

• pixnflix renamed and docs updated (#791)

  martin-henz

  authoredOct 12, 2020
  bf309b6

  Copy full SHA for bf309b6

Commits on Oct 1, 2020

• ev3 part of external (#779)

  martin-henz

  authoredOct 1, 2020
  fb892ab

  Copy full SHA for fb892ab

• Add EV3 documentation (#777)

  angelsl

  authoredOct 1, 2020
  b9f3332

  Copy full SHA for b9f3332

Commits on Aug 26, 2020

• support for game documentation (#744)

  martin-henz

  authoredAug 26, 2020
  c1d582a

  Copy full SHA for c1d582a

Commits on Aug 23, 2020

• Implement display_list (#738)

  Show description for d6c141f
  thomastanck

  authoredAug 23, 2020
  d6c141f

  Copy full SHA for d6c141f

Commits on Jul 30, 2020

• My first PR (#696)

  Show description for 686c911
  dtlay

  authoredJul 30, 2020
  686c911

  Copy full SHA for 686c911

Commits on Jun 12, 2020

• Upgrade dependencies (#628)

  Show description for ec0245e
  angelsl

  authoredJun 12, 2020
  ec0245e

  Copy full SHA for ec0245e

Commits on Apr 29, 2020

• Add Source §4 GPU (#576)

  Show description for 3ba3c3f
  

  rrtheonlyone

  and

  martin-henz

  authoredApr 29, 2020
  3ba3c3f

  Copy full SHA for 3ba3c3f

Commits on Apr 24, 2020

• bump (#573)

  martin-henz

  authoredApr 24, 2020
  a584347

  Copy full SHA for a584347

• Add Source 3 Non-Det documentation (#555)

  Show description for 1e637b3
  

  3 peopleauthoredApr 24, 2020
  1e637b3

  Copy full SHA for 1e637b3

Commits on Apr 23, 2020

• bump (#570)

  martin-henz

  authoredApr 23, 2020
  066d74e

  Copy full SHA for 066d74e

Pagination

Previous

Next