Commits · master · Felix Freiberger / pseuCo Book

Jun 20, 2024
- Add source code link · bb41f8f4
  Felix Freiberger authored 10 months ago
  
  bb41f8f4
Jun 14, 2024
- Apply CC license to pseuCo Book itself · 352889ea
  Felix Freiberger authored 10 months ago
  
  352889ea
Jun 04, 2024
- Update CCS chapter status · 1e9fe88e
  Felix Freiberger authored 10 months ago
  
  1e9fe88e
May 26, 2024
- CCS workout: require finite bindings · 232cb02c
  Felix Freiberger authored 10 months ago
  
  232cb02c
May 24, 2024
- Fix typo in inference rule · 825d9e4c
  Felix Freiberger authored 11 months ago
  
  825d9e4c
May 23, 2024
- Typofix in CCS semantics definitions · 616d4521
  Felix Freiberger authored 11 months ago
  
  616d4521
May 22, 2024
- Update PSC, bump @pseuco versions accordingly · 931cafe0
  Felix Freiberger authored 11 months ago
  
  931cafe0
May 21, 2024
- FIX: Source maps are needed in production mode · 1e481438
  Felix Freiberger authored 11 months ago
  
  1e481438
May 19, 2024
- Another typofix · 38f9b2ce
  Felix Freiberger authored 11 months ago
  
  38f9b2ce
- Typofix · 680b8c87
  Felix Freiberger authored 11 months ago
  
  680b8c87
May 16, 2024
- Add explanation of Kleene star · e287b215
  Felix Freiberger authored 11 months ago
  
  e287b215
May 05, 2024
- FIX: Link from within ccsProgramming exercise did not highlight current section · 2458d3b9
  Felix Freiberger authored 11 months ago
  
  2458d3b9
- ccsSemantics: Re-initialize proof tree when switching states · 840a4981
  Felix Freiberger authored 11 months ago
  840a4981
Apr 30, 2024
- FIX: provingBisimilarity could crash when adding conflict · c5a3e690
  Felix Freiberger authored 11 months ago
  c5a3e690
Apr 29, 2024
- Res rule: α vs. a in premise · 5fe68c2f
  Felix Freiberger authored 11 months ago
  
  5fe68c2f
Apr 27, 2024
- Restrict guardedness claim to finite bindings · 08692974
  Felix Freiberger authored 11 months ago
  
  08692974
- Remove formally invalid claim on power of CCS · d9b31069
  Felix Freiberger authored 11 months ago
  
  d9b31069
Apr 24, 2024
- Typofix · 02fdc2cf
  Felix Freiberger authored 1 year ago
  02fdc2cf
Apr 09, 2024
- \coloneqq in TTraces definition · d7d61533
  Felix Freiberger authored 1 year ago
  
  d7d61533
Apr 08, 2024
- \coloneqq in definition · ce0be97a
  Felix Freiberger authored 1 year ago
  
  ce0be97a
Apr 04, 2024
- Define \bar\tau · 25115aa6
  Felix Freiberger authored 1 year ago
  
  25115aa6
- Extend guardedness term to bindings · 792cce63
  Felix Freiberger authored 1 year ago
  
  792cce63
- eliminate the term “naïve CCS semantics”, always talk about implementation · 5b2e00c7
  Felix Freiberger authored 1 year ago
  
  5b2e00c7
- Clarified guardedness · 9c91a13e
  Felix Freiberger authored 1 year ago
  
  9c91a13e
Mar 24, 2024
- Typofix in \rightarrow_\Gamma in CCS semantics · a73c7c74
  Felix Freiberger authored 1 year ago
  
  a73c7c74
Mar 23, 2024
- Use Book logo for PWA · 2b10a8fa
  Felix Freiberger authored 1 year ago
  
  2b10a8fa
Mar 21, 2024
- Merge branch 'ccs-pseuco-typescript' into 'master' · 18c2d4ce
  Felix Freiberger authored 1 year ago
  18c2d4ce
Mar 09, 2024
- Use modern pseuCo · e0bda867
  Felix Freiberger authored 1 year ago
  
  e0bda867
Feb 05, 2024
- Better pseuCoProgramming error handling · 139e54da
  Felix Freiberger authored 1 year ago
  
  139e54da
Feb 02, 2024
- Title consistency · 300223d7
  Felix Freiberger authored 1 year ago
  
  300223d7
- Update PSC · 260f1229
  Felix Freiberger authored 1 year ago
  
  260f1229
- Merge branch 'dev' · e5bf2a6f
  Felix Freiberger authored 1 year ago
  
  e5bf2a6f
Feb 01, 2024
- Update disclaimer · 7bad2991
  Felix Freiberger authored 1 year ago
  
  7bad2991
- Make defender more clever in disproving-bisimilarity-non-branching · 27be515f
  Felix Freiberger authored 1 year ago
  
  27be515f
Jan 30, 2024
- Update PSC · 376aa224
  Felix Freiberger authored 1 year ago
  
  376aa224
Jan 23, 2024
- Giving binding before ccs-vp-process-parameter exercise · f3c2987a
  Felix Freiberger authored 1 year ago
  
  f3c2987a
Jan 19, 2024
- Introduce SOS abbreviation · a00d91c9
  Felix Freiberger authored 1 year ago
  
  a00d91c9
Jan 18, 2024
- Update HDF reader · 8d54744d
  Felix Freiberger authored 1 year ago
  
  8d54744d
Jan 17, 2024
- Typofix · 9f5f72a7
  Felix Freiberger authored 1 year ago
  
  9f5f72a7
Jan 11, 2024
- Merge branch 'dev' · dd67dbaa
  Felix Freiberger authored 1 year ago
  
  dd67dbaa