Commit Verlauf

Autor SHA1 Nachricht Datum
  metagn cad8726907 refactor to make sigmatch use LayeredIdTable for bindings (#24216) vor 1 Monat
  soonsouth b387bc49b5 chore: fix some typos (#23412) vor 8 Monaten
  Andreas Rumpf 7657a637b8 refactoring: no inheritance for PType/PSym (#23403) vor 8 Monaten
  Andreas Rumpf 91ad6a740b type refactor: part 4 (#23077) vor 11 Monaten
  Andreas Rumpf db603237c6 Types: Refactorings; step 1 (#23055) vor 11 Monaten
  Andreas Rumpf 02be027e9b IC: progress and refactorings (#22961) vor 1 Jahr
  ringabout e17237ce9d prepare for the enforcement of `std` prefix (#22873) vor 1 Jahr
  metagn e5106d1ef3 minor refactoring, move some sym/type construction to semdata (#22654) vor 1 Jahr
  ringabout 469c9cfab4 unpublic the sons field of PType; the precursor to PType refactorings (#22446) vor 1 Jahr
  ringabout 93ced31353 use strictdefs for compiler (#22365) vor 1 Jahr
  Jake Leahy 7616e6ee2b Fix concepts with doc comments (#22228) vor 1 Jahr
  Andreas Rumpf 20b011de19 refactoring in preparation for better, simpler name mangling that wor… (#21667) vor 1 Jahr
  ringabout cc08a9015e fixes #21263; consider all candidates for concept matches (#21265) vor 1 Jahr
  Andrey Makarov 3eef0491a8 fix a few "broken link" warnings (#20837) vor 2 Jahren
  konsumlamm 4491da4c4d Support doc comments in new-styled concepts (#20752) vor 2 Jahren
  flywind 7f6e800caf move assertions out of system (#19599) vor 2 Jahren
  konsumlamm ac5435ecd0 Make error message for empty new-styled concept more descriptive (#18506) vor 3 Jahren
  Timothee Cour 7e94420847 cString => cSourceString; tyCString => tyCstring so that error msgs show cstring, not cString (#17744) vor 3 Jahren
  Andreas Rumpf 6278b5d89a new-style concepts implementation, WIP (#15251) vor 3 Jahren