Mercurialc2newspeak-ref / shortlog
summary | shortlog | changelog | tags | files
(0) -3000 -1000 -300 -100 -60 tip
 
3 weeks agoEtienne Millonptrtype: parse type annotations for external functions default tip changeset | files
3 weeks agoEtienne Millonptrtype: remove dead code changeset | files
4 weeks agoEtienne Millonptrtype: printer now rename generalised variables (_a12 * _a15 becomes a * b) changeset | files
4 weeks agoEtienne Millonptrtype: made printer monomorphic in Types.simple changeset | files
4 weeks agoEtienne Millonptrtype: split Printer into a module changeset | files
4 weeks agoEtienne Millonptrtype: move common functor instanciations to Utils changeset | files
4 weeks agoEtienne Millonptrtype: topological sort - use incidence list changeset | files
4 weeks agoEtienne Millonptrtype: clean a bit topological sort changeset | files
4 weeks agoEtienne Millonptrtype: Env : use Sets and Maps instead of association lists changeset | files
4 weeks agoEtienne Millonptrtype: add test for polymorphic functions changeset | files
4 weeks agoEtienne Millonptrtype: generalization works \o/ changeset | files
4 weeks agoEtienne Millonptrtype: invoking ptrtype on a .c makes it compile through c2n first changeset | files
4 weeks agoEtienne Millonptrtype: use variable sets instead of lists to remove duplicates changeset | files
4 weeks agoEtienne Millonptrtype: do eager unification by default (but add --lazy-unification to delay it) changeset | files
4 weeks agoEtienne Millonptrtype: add generalization (not yet working) changeset | files
4 weeks agoEtienne Millonptrtype: update type schemes during inference (starting from leaves, not root) changeset | files
4 weeks agoEtienne Millonptrtype: make type scheme environment mutable changeset | files
4 weeks agoEtienne Millonptrtype: remove VFuns completely to force instanciation instead of monomorphic type construction changeset | files
4 weeks agoEtienne Millonptrtype: move type instanciation to Unification and type variable generation to its own module changeset | files
4 weeks agoEtienne Millonptrtype: remove VFun symbols from inference algorithm changeset | files
5 weeks agoEtienne Millonptrtype: fix topological sort initialization & enable it changeset | files
5 weeks agoEtienne Millonptrtype: add depgraph generation changeset | files
5 weeks agoEtienne Millonptrtype: add topological sort implementation changeset | files
5 weeks agoEtienne Millonptrtype: run the inference order in a deterministic order changeset | files
5 weeks agoEtienne Millonptrtype: slightly simplify infer_fdec changeset | files
5 weeks agoEtienne Millonptrtype: remove instanciation from unification module changeset | files
5 weeks agoEtienne Millonptrtype: use type_instance at function call site changeset | files
5 weeks agoEtienne Millonptrtype: start of instanciation changeset | files
5 weeks agoEtienne Millonptrtype : error & warning can now take format strings directly changeset | files
5 weeks agoEtienne Millonmerge changeset | files
6 weeks agoEtienne MillonFix error messages from last commit changeset | files
6 weeks agoEtienne Millonc2newspeak : bump bounds so that tests still fail on 32 AND 64 bit systems changeset | files
6 weeks agoEtienne MillontypedC2cir : update error messages (Firstpass does not exist anymore) changeset | files
6 weeks ago"Sarah Zennoufixing bug in re-computation of struct definition changeset | files
8 weeks ago"Sarah Zennouslight change in lib/features.h changeset | files
8 weeks ago"Sarah Zennouadding dietlibc headers changeset | files
8 weeks ago"Sarah Zennoulibc: adding socket.h changeset | files
8 weeks ago"Sarah Zennouadding header in libc changeset | files
8 weeks ago"Sarah Zennouadding uio.h to libc changeset | files
8 weeks ago"Sarah Zennouupdate of non regression tests changeset | files
8 weeks ago"Sarah Zennoumerge changeset | files
8 weeks ago"Sarah Zennouadding size_t to sys/types.h changeset | files
2 months agoEtienne Millonreplace IntMap.bindings by a custom implementation changeset | files
2 months agoEtienne Millonptrtype: remove duplicate dead code changeset | files
2 months agoEtienne MillonRefresh bisect interface changeset | files
2 months agoEtienne Millonptrtype: slight refactoring of unification changeset | files
2 months agoEtienne Millonptrtype: with a test case it's better changeset | files
2 months agoEtienne Millonptrtype: nontrivial structure unification changeset | files
2 months agoEtienne Millonptrtype: struct unification (trivial case when offsets are equal) changeset | files
2 months agoEtienne Millonptrtype: add structures changeset | files
2 months agoEtienne Millonptrtype: add newspeak types to help inference changeset | files
2 months agoEtienne Millonptrtype: handle functions like other variables in environment changeset | files
2 months agoEtienne Millonptrtype: simplify a bit of constructs changeset | files
2 months agoEtienne Millonptrtype: display loc on error changeset | files
2 months agoEtienne Millonptrtype: improve error reporting when variables are not found changeset | files
2 months agoEtienne Millonptrtype: accept intToPtr with a warning changeset | files
2 months agoEtienne Millonptrtype: add location tracking changeset | files
2 months agoEtienne Millonremove dead code changeset | files
2 months agoEtienne Millonptrtype: introduce type schemes changeset | files
2 months agoEtienne Millonptrtype: remove dead code changeset | files
(0) -3000 -1000 -300 -100 -60 tip
c2newspeak-ref