Historique des commits

Auteur SHA1 Message Date
  Eric Streit a3ef897134 fix: make Lower V3-legal and stop the fixpoint masking errors il y a 1 semaine
  Eric Streit 0031cfa65b m2make: adapt to the current compiler (short-circuit, --extra, dogfood build) il y a 2 semaines
  Eric Streit 2f243ed497 m2make: build-order front-end for M2/gm2 (topo-sort imports, incremental build); FileIO argv starts at 1 il y a 2 semaines