root

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Rev Chgset Date Author Log Message
(edit) @3081:e788e015af8c [3081:e788e015af8c] 4 weeks Etienne Millon <etienne.millon@…> ptrtype: parse type annotations for external functions
(edit) @3080:c1d58efa1f98 [3080:c1d58efa1f98] 4 weeks Etienne Millon <etienne.millon@…> ptrtype: remove dead code
(edit) @3079:7da6b915b954 [3079:7da6b915b954] 4 weeks Etienne Millon <etienne.millon@…> ptrtype: printer now rename generalised variables (_a12 * _a15 becomes a * …
(edit) @3078:d2d2816d3d98 [3078:d2d2816d3d98] 4 weeks Etienne Millon <etienne.millon@…> ptrtype: made printer monomorphic in Types.simple
(edit) @3077:18b9db7772b9 [3077:18b9db7772b9] 4 weeks Etienne Millon <etienne.millon@…> ptrtype: split Printer into a module
(edit) @3076:7bfc83144753 [3076:7bfc83144753] 4 weeks Etienne Millon <etienne.millon@…> ptrtype: move common functor instanciations to Utils
(edit) @3075:e1bf9204223b [3075:e1bf9204223b] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: topological sort - use incidence list
(edit) @3074:d2e5e58a653a [3074:d2e5e58a653a] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: clean a bit topological sort
(edit) @3073:68cb3a8eb352 [3073:68cb3a8eb352] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: Env : use Sets and Maps instead of association lists
(edit) @3072:0d1c32b10dab [3072:0d1c32b10dab] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: add test for polymorphic functions
(edit) @3071:1623ece73800 [3071:1623ece73800] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: generalization works \o/
(edit) @3070:d2fa48032823 [3070:d2fa48032823] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: invoking ptrtype on a .c makes it compile through c2n first
(edit) @3069:e0e4773faaf9 [3069:e0e4773faaf9] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: use variable sets instead of lists to remove duplicates
(edit) @3068:28d1f3dd373a [3068:28d1f3dd373a] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: do eager unification by default (but add --lazy-unification to …
(edit) @3067:9c2267489ca5 [3067:9c2267489ca5] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: add generalization (not yet working)
(edit) @3066:6f1930f17948 [3066:6f1930f17948] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: update type schemes during inference (starting from leaves, not …
(edit) @3065:9c151e4369c9 [3065:9c151e4369c9] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: make type scheme environment mutable
(edit) @3064:c42691b2588b [3064:c42691b2588b] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: remove VFuns completely to force instanciation instead of …
(edit) @3063:71892e8f47c5 [3063:71892e8f47c5] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: move type instanciation to Unification and type variable …
(edit) @3062:4a7e16f2a5d5 [3062:4a7e16f2a5d5] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: remove VFun symbols from inference algorithm
(edit) @3061:5ebb00610525 [3061:5ebb00610525] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: fix topological sort initialization & enable it
(edit) @3060:37dd00446dbd [3060:37dd00446dbd] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: add depgraph generation
(edit) @3059:2d0b4a66a1a1 [3059:2d0b4a66a1a1] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: add topological sort implementation
(edit) @3058:bb78759b3001 [3058:bb78759b3001] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: run the inference order in a deterministic order
(edit) @3057:711821229152 [3057:711821229152] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: slightly simplify infer_fdec
(edit) @3056:bb533bd33feb [3056:bb533bd33feb] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: remove instanciation from unification module
(edit) @3055:10aacf822da2 [3055:10aacf822da2] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: use type_instance at function call site
(edit) @3054:d23abfdf62e4 [3054:d23abfdf62e4] 5 weeks Etienne Millon <etienne.millon@…> ptrtype: start of instanciation
(edit) @3053:374c6dd71df2 [3053:374c6dd71df2] 5 weeks Etienne Millon <etienne . millon AT eads . net> ptrtype : error & warning can now take format strings directly
(edit) @3052:6bfbf42f391c [3052:6bfbf42f391c] 6 weeks Etienne Millon <etienne . millon AT eads . net> merge
(edit) @3051:13ba53aed677 [3051:13ba53aed677] 6 weeks Etienne Millon <etienne . millon AT eads . net> Fix error messages from last commit
(edit) @3050:fd9b9a4e979f [3050:fd9b9a4e979f] 6 weeks Etienne Millon <etienne . millon AT eads . net> c2newspeak : bump bounds so that tests still fail on 32 AND 64 bit systems
(edit) @3049:b178e1bcbb86 [3049:b178e1bcbb86] 7 weeks Etienne Millon <etienne . millon AT eads . net> typedC2cir : update error messages (Firstpass does not exist anymore)
(edit) @3048:f08acedfa0eb [3048:f08acedfa0eb] 6 weeks "Sarah Zennou <sarah.zennou(at)eads.net>" fixing bug in re-computation of struct definition
(edit) @3047:1e14581667a7 [3047:1e14581667a7] 2 months "Sarah Zennou <sarah.zennou(at)eads.net>" slight change in lib/features.h
(edit) @3046:cc5d20ad956f [3046:cc5d20ad956f] 2 months "Sarah Zennou <sarah.zennou(at)eads.net>" adding dietlibc headers
(edit) @3045:714028cdbbe2 [3045:714028cdbbe2] 2 months "Sarah Zennou <sarah.zennou(at)eads.net>" libc: adding socket.h
(edit) @3044:19000785de49 [3044:19000785de49] 2 months "Sarah Zennou <sarah.zennou(at)eads.net>" adding header in libc
(edit) @3043:a984c012807d [3043:a984c012807d] 2 months "Sarah Zennou <sarah.zennou(at)eads.net>" adding uio.h to libc
(edit) @3042:6e9cbaa2984f [3042:6e9cbaa2984f] 2 months "Sarah Zennou <sarah.zennou(at)eads.net>" update of non regression tests
(edit) @3041:f6246414424c [3041:f6246414424c] 2 months "Sarah Zennou <sarah.zennou(at)eads.net>" merge
(edit) @3040:7092f300bb61 [3040:7092f300bb61] 2 months "Sarah Zennou <sarah.zennou(at)eads.net>" adding size_t to sys/types.h
(edit) @3039:a26db38f87ad [3039:a26db38f87ad] 2 months Etienne Millon <etienne . millon AT eads . net> replace IntMap?.bindings by a custom implementation
(edit) @3038:3bb411b16c78 [3038:3bb411b16c78] 2 months Etienne Millon <etienne . millon AT eads . net> ptrtype: remove duplicate dead code
(edit) @3037:36fae55458aa [3037:36fae55458aa] 2 months Etienne Millon <etienne . millon AT eads . net> Refresh bisect interface
(edit) @3036:cb6cb713fe23 [3036:cb6cb713fe23] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: slight refactoring of unification
(edit) @3035:6aeb9880a961 [3035:6aeb9880a961] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: with a test case it's better
(edit) @3034:fc34f377cbfc [3034:fc34f377cbfc] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: nontrivial structure unification
(edit) @3033:18596ca53d17 [3033:18596ca53d17] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: struct unification (trivial case when offsets are equal)
(edit) @3032:ee12b6d3909b [3032:ee12b6d3909b] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: add structures
(edit) @3031:249c8cd461bf [3031:249c8cd461bf] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: add newspeak types to help inference
(edit) @3030:8e24d088ab7a [3030:8e24d088ab7a] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: handle functions like other variables in environment
(edit) @3029:b96f26e5aff6 [3029:b96f26e5aff6] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: simplify a bit of constructs
(edit) @3028:797a6fcc74d3 [3028:797a6fcc74d3] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: display loc on error
(edit) @3027:3deb767a9206 [3027:3deb767a9206] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: improve error reporting when variables are not found
(edit) @3026:2b7d000e795c [3026:2b7d000e795c] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: accept intToPtr with a warning
(edit) @3025:ed91911391ad [3025:ed91911391ad] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: add location tracking
(edit) @3024:387b2e26126d [3024:387b2e26126d] 3 months Etienne Millon <etienne . millon AT eads . net> remove dead code
(edit) @3023:604e19595093 [3023:604e19595093] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: introduce type schemes
(edit) @3022:22a4ffd6d3f2 [3022:22a4ffd6d3f2] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: remove dead code
(edit) @3021:0229cd866c89 [3021:0229cd866c89] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: print type of functions
(edit) @3020:c2b585796771 [3020:c2b585796771] 3 months Etienne Millon <etienne . millon AT eads . net> c2newspeak: add C99-style array initializers ( { [5] = 3 } )
(edit) @3019:49a8e6fd7f19 [3019:49a8e6fd7f19] 3 months Etienne Millon <etienne . millon AT eads . net> c2newspeak: replace "string option" by the new "init_designator" type
(edit) @3018:e71cd880cb25 [3018:e71cd880cb25] 3 months Etienne Millon <etienne . millon AT eads . net> c2newspeak: the condition of for loop can be a sequence : …
(edit) @3017:bed46bd36b82 [3017:bed46bd36b82] 3 months Etienne Millon <etienne . millon AT eads . net> c2newspeak: refactor typeof code to add typeof (int[10])
(edit) @3016:3958d040f16b [3016:3958d040f16b] 3 months Etienne Millon <etienne . millon AT eads . net> c2newspeak : add attribute((warning("text")))
(edit) @3015:b7bbca99529a [3015:b7bbca99529a] 3 months Etienne Millon <etienne . millon AT eads . net> c2newspeak: add attribute((aligned(sizeof(long))))
(edit) @3014:80d02f26b894 [3014:80d02f26b894] 3 months Etienne Millon <etienne . millon AT eads . net> c2newspeak: fix recursive C99-style struct initializers
(edit) @3013:de9156b88f2e [3013:de9156b88f2e] 3 months Etienne Millon <etienne . millon AT eads . net> c2newspeak : adding first-class labels (GNU C)
(edit) @3012:3d11988deea6 [3012:3d11988deea6] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: yet another aligned syntax
(edit) @3011:6eea899fe9da [3011:6eea899fe9da] 3 months Etienne Millon <etienne . millon AT eads . net> c2newspeak : add slight variation on aligned
(edit) @3010:1f37205f7ada [3010:1f37205f7ada] 3 months Etienne Millon <etienne . millon AT eads . net> c2newspeak: add attribute used
(edit) @3009:1381c1a26e85 [3009:1381c1a26e85] 3 months Etienne Millon <etienne . millon AT eads . net> c2newspeak : refactor the whole Typeof code
(edit) @3008:a08240708f75 [3008:a08240708f75] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: new test for a slightly different case of typeof (GNU)
(edit) @3007:e1c9d748fde4 [3007:e1c9d748fde4] 3 months Etienne Millon <etienne . millon AT eads . net> c2newspeak: Add typeof(a->b) (GNU)
(edit) @3006:77e03216bec1 [3006:77e03216bec1] 3 months Etienne Millon <etienne . millon AT eads . net> c2newspeak: add new kinds of "typeof" expressions (GNU)
(edit) @3005:80e24211a325 [3005:80e24211a325] 3 months Etienne Millon <etienne . millon AT eads . net> c2newspeak: add "asm goto" construct (GNU)
(edit) @3004:e3a4b31d77f7 [3004:e3a4b31d77f7] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: refactor is_atomic_type
(edit) @3003:65ddebc253c7 [3003:65ddebc253c7] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: add a test for "occurs check failed"
(edit) @3002:bd3ada787c52 [3002:bd3ada787c52] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: fix test on function pointers (call f through the pointer)
(edit) @3001:fce9ee85bdb0 [3001:fce9ee85bdb0] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: type globals
(edit) @3000:9222fb865bf4 [3000:9222fb865bf4] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: remove "Simple" prefix
(edit) @2999:09164a73f6f0 [2999:09164a73f6f0] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: split options into a new module
(edit) @2998:445d1d8d5e49 [2998:445d1d8d5e49] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: split into several modules
(edit) @2997:6184382c04ba [2997:6184382c04ba] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: new test (monomorphized memcpy)
(edit) @2996:00ca6a344422 [2996:00ca6a344422] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: can type memcpy with correct data polymorphism
(edit) @2995:46ec5e4f42a7 [2995:46ec5e4f42a7] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: add forgotten check_exp calls
(edit) @2994:bd7cb58f5ec2 [2994:bd7cb58f5ec2] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: add arrays
(edit) @2993:84519ec96202 [2993:84519ec96202] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: add --show-steps to show unification in slow motion
(edit) @2992:20669b62f72a [2992:20669b62f72a] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: type clash when a void* is assigned two different types
(edit) @2991:1e5ea91e5cfe [2991:1e5ea91e5cfe] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: functions can return an arbitrary number of values
(edit) @2990:9b5a326c4563 [2990:9b5a326c4563] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: Void is printed as "()" for consistency
(edit) @2989:6b7045a43b27 [2989:6b7045a43b27] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: replace "assert false" with correct error messages
(edit) @2988:819f31f05533 [2988:819f31f05533] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: documentation doesn't hurt
(edit) @2987:5ced731d73e2 [2987:5ced731d73e2] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: add function pointers
(edit) @2986:4f79b1afdb70 [2986:4f79b1afdb70] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: forgot to add .spec …
(edit) @2985:515c5e85f188 [2985:515c5e85f188] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: new --no-check flag to disable typechecking (for debugging)
(edit) @2984:9d9c4294d0d3 [2984:9d9c4294d0d3] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: fix stupid bug (reset_unknowns called too late)
(edit) @2983:1cb818daa473 [2983:1cb818daa473] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype: Typecheck functions and calls
(edit) @2982:cfb5bae12e33 [2982:cfb5bae12e33] 3 months Etienne Millon <etienne . millon AT eads . net> ptrtype : enable checking of inferred types
Note: See TracRevisionLog for help on using the revision log.