Historie revizí

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