Historique des commits

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