Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 17, 2024

• Mention that JUnit methods are only intended for use in unit tests. (#12)

  dominiquedevriese

  committedJun 17, 2024
  dbadc7c

Commits on May 14, 2024

• Clarify the two ways to write package abstract state invariants

  btj

  committedMay 14, 2024
  fb0fbb6

Commits on May 2, 2024

• Nested abstractions: clarify class-level abstract state invariants definition

  btj

  committedMay 2, 2024
  f697032

Commits on Apr 19, 2024

• entity_relationship_abstractions.md: Cannot be a teammate of self

  btj

  committedApr 19, 2024
  9f01d31

Commits on Apr 10, 2024

• Further clarified the meaning of effects clauses

  btj

  committedApr 10, 2024
  8a5a90c

Commits on Mar 23, 2024

• Fix a few errors in closed_types.md

  btj

  committedMar 23, 2024
  6a6aa12

Commits on Jan 27, 2024

• Add material on testing (#11)

  dominiquedevriese

  committedJan 27, 2024
  9bf3eec

Commits on Dec 1, 2023

• Add closed_types.md to course text

  btj

  committedDec 1, 2023
  11b7878

• Erratum

  btj

  committedDec 1, 2023
  53a6c9c

• dynamic_binding.md: add snippet on record patterns

  btj

  committedDec 1, 2023
  e3b764f

• Closed types (#9)

  btj

  committedDec 1, 2023
  550e233

Commits on Jun 25, 2023

• iterators.md: ignore NoSuchElementException requirement

  btj

  committedJun 25, 2023
  d1c308d

Commits on Apr 13, 2023

• Clarify @Creates | result on inspector methods

  btj

  committedApr 13, 2023
  58a44ec

• Clarify @Creates | O with O immutable

  btj

  committedApr 13, 2023
  57c7f2e

Commits on Apr 1, 2023

• Explain the meaning of "representation"

  btj

  committedApr 1, 2023
  e71d103

Commits on Aug 29, 2022

• Method equals and arrays

  btj

  committedAug 29, 2022
  ca0f196

• Polymorphism and arrays

  btj

  committedAug 29, 2022
  34586aa

Commits on May 20, 2022

• Clarify the default effects specification

  btj

  committedMay 20, 2022
  4151481

Commits on Mar 29, 2022

• Add comment on immutable representation objects

  btj

  committedMar 29, 2022
  1391bdf

• ArrayList: Explain amortized complexity

  btj

  committedMar 29, 2022
  1388e64

Commits on Jan 18, 2022

• Acknowledge contributors

  btj

  committedJan 18, 2022
  20bf32b

• Some minor additional notes in the chapters on iterators and generics. (#15)

  

  dominiquedevriese

  and

  btj

  committedJan 18, 2022
  b9ff5b9

• Constructor overloading: add caveat, comparison with Swift

  

  btj

  and

  dominiquedevriese

  committedJan 18, 2022
  207a537

Commits on Jan 12, 2022

• Nested abstractions: Marked as advanced material

  btj

  committedJan 12, 2022
  e297a48

Commits on Jan 11, 2022

• Further reading; About the author

  btj

  committedJan 11, 2022
  dd3b881

• Intro: add BBCollab/Chrome/Windows/HP example

  btj

  committedJan 11, 2022
  40cf3ff

• Some elaboration of the introduction

  

  dominiquedevriese

  and

  btj

  committedJan 11, 2022
  1009080

Commits on Jan 10, 2022

• Fix the sed script in make-pdf.sh on Linux. (#7)

  

  dominiquedevriese

  and

  btj

  committedJan 10, 2022
  86ccd38

• Fix some minor phrasing ambiguities

  btj

  committedJan 10, 2022
  766af23

• PDF: Add Parts; README: Move prelims before Part I

  btj

  committedJan 10, 2022
  1b0d7b2

Commits on Aug 29, 2021

• Generics.md: "Aproach" -> "Approach"

  btj

  committedAug 29, 2021
  df4157a

• Split polymorphism & dynamic binding; records

  btj

  committedAug 29, 2021
  43bea21

• Inheritance chapter: add Pattern matching section

  btj

  committedAug 29, 2021
  388c10a

Commits on Jul 29, 2021

• retake 2021: clarify getRoles

  btj

  committedJul 29, 2021
  0dece7d

Commits on Jul 15, 2021

• retake-project-2021: a further clarification

  btj

  committedJul 15, 2021
  f2cf79a

Pagination

PreviousNext