Commit Graph

Select branches

Hide Pull Requests

chameneos-random

def-typed-var-stx

infer-poly-4-rebase

master

mlish-subtyping

occurrence-orig-binding

one-env

peano

rosette3

var-assign-parameter

var-macro

Mono Color

• dea93ab603 Fixed another test infer-poly-4-rebase Georges Dupéron 2017-09-29 17:59:46 +0200
• 9d812c08b7 Hopefully not unsound fix for the (Cons (λ ([x : Y]) x) Nil) bug. Georges Dupéron 2017-09-29 17:15:10 +0200
• 6247b62d24 Adjusted some tests for https://bitbucket.org/stchang/macrotypes/pull-requests/21 . Georges Dupéron 2017-09-28 18:12:28 +0200
• 2261861b55 infer instantiations for polymorphic arguments to polymorphic functions AlexKnauth 2016-05-09 11:51:32 -0400
• a51608ecd3 Make sure chameneos.mlish tests do not rely on the scheduler's fairness chameneos-random Georges Dupéron 2017-09-29 00:51:34 +0200
• dbafd4e955 lift nested foralls from function result types AlexKnauth 2016-05-04 17:00:55 -0400
• c871a36d8d Remove contract mlish-subtyping Georges Dupéron 2017-09-26 19:34:23 +0200
• d709704cd7 Cleanup Georges Dupéron 2017-09-26 18:54:29 +0200
• bdbf4561dc Bugfix Georges Dupéron 2017-09-26 18:48:15 +0200
• 8db58e1782 Debug Georges Dupéron 2017-09-26 18:39:04 +0200
• 7f911c3da7 Rollback improvements to typecheck-fail, as they cause errors (due to scoping issues, most likely) Georges Dupéron 2017-09-26 13:48:02 +0200
• c115b497c0 Attempt to fix extra level of let for typecheck-fail Georges Dupéron 2017-09-26 13:18:33 +0200
• 6fd94fab24 Fixed free-vars issue Georges Dupéron 2017-09-26 12:43:24 +0200
• 44d7866687 Fixed bug, improved error reporting for typecheck-fail Georges Dupéron 2017-09-26 12:24:44 +0200
• 147536c9e7 Fixed error messages Georges Dupéron 2017-09-26 11:52:58 +0200
• 3c1d336b62 Fixed the "couldn't unify …" error message so that it matches the original one. Georges Dupéron 2017-09-25 17:47:49 +0200
• eb65d1a2b7 Remove dependency Georges Dupéron 2017-09-25 17:12:35 +0200
• 68c24e4ded Fixed some bugs and typos, added a contract on add-constraints/variance Georges Dupéron 2017-09-25 17:07:35 +0200
• 3b2d3eb96f Cleanup Georges Dupéron 2017-09-25 15:44:38 +0200
• 64d506f579 Implemented add-constraints2 Georges Dupéron 2017-09-25 15:34:04 +0200
• 6e15e6a05b Starting to add support for subtyping to mlish Georges Dupéron 2017-09-20 15:50:15 +0200
• 84108c7300 start some eq tests; fix dep-ind (in dep-ind-fixed) so indices can depend on params peano Stephen Chang 2017-09-19 16:03:07 -0400
• 8eb637af0e add universes where Type n : Type n+1 Stephen Chang 2017-08-31 15:31:54 -0400
• 6d496741c6 created fabUL-like langauge using lin + ext-stlc master Milo Turner 2017-08-24 14:56:34 -0400
• 5d412504fb add linear language examples Milo Turner 2017-08-23 14:22:11 -0400
• 3ea1f05c51 added keywords #:mode/#:submode + module turnstile/mode Milo Turner 2017-08-23 14:10:04 -0400
• 1042a27b62 code cleanup Stephen Chang 2017-08-23 14:09:07 -0400
• c6b315742c restore some lost types after reductions Stephen Chang 2017-08-23 12:45:12 -0400
• 47dc16e68a Vect and vappend working! Stephen Chang 2017-08-22 17:17:05 -0400
• 98327386ae indexed vectors basic example working Stephen Chang 2017-08-18 16:04:46 -0400
• 24d694cf46 for tycons, make all args explicit (eg tyvars) for all elim args Stephen Chang 2017-08-17 19:13:59 -0400
• f7b90e0473 define-datatype supports tycons, eg lists Stephen Chang 2017-08-17 18:17:33 -0400
• 804c82bf24 add dep-ind example with define-datatype Stephen Chang 2017-08-16 12:39:28 -0400
• 7fc8bd8c15 rename dep2 requires -> dep Stephen Chang 2017-08-14 13:51:41 -0400
• fcc9429932 rename dep2 -> dep Stephen Chang 2017-08-14 13:50:50 -0400
• 441ec0e5d7 remove dep example Stephen Chang 2017-08-14 13:48:53 -0400
• 7c841dc750 omit dep-tests from tests Stephen Chang 2017-08-04 15:18:07 -0400
• eae7e14c44 add dep2-assist Stephen Chang 2017-08-04 14:31:29 -0400
• bbb6b0a694 add nat-ind, nat-rec, right/left plus id examples Stephen Chang 2017-08-04 12:15:32 -0400
• 3fd22a9058 add eq-elim and more equality proof examples Stephen Chang 2017-08-02 14:58:27 -0400
• 79e84d6fd5 add eq-refl; app/eval seems to work Stephen Chang 2017-08-01 17:08:30 -0400
• 31bc8cebec add bool and nat examples; start eq-refl; need to fix app/eval Stephen Chang 2017-07-31 19:37:04 -0400
• 4e80959d12 start over with dep2; basic lam/app working; no instantiation Stephen Chang 2017-07-31 16:35:33 -0400
• ac832bced0 inst args Stephen Chang 2017-03-13 17:22:43 -0400
• 05f65c13d8 add nat tests; start peano nums; nat-ind not working Stephen Chang 2017-03-13 17:06:25 -0400
• fe5adac3db add define-typed-variable-syntax Milo Turner 2017-07-10 13:09:08 -0400
• 3a02510a0f add define-typed-variable-syntax def-typed-var-stx Milo Turner 2017-07-10 13:09:08 -0400
• 39be2ef904 fix #16 Stephen Chang 2017-07-24 12:01:40 -0400
• 2d6ecae8c4 added #:mode and #:modes premise syntax (#16) Milo 2017-07-24 11:11:56 -0400
• 61ad998c7a simplified and documented linear language (#15) Milo 2017-07-21 17:57:00 -0400
• e9c4b61db8 Added keyword in premises to allow parameterized call to infer (#14) Milo 2017-07-21 15:04:50 -0400
• 9d3c55d02b add current-var-assign parameter (#12) Alex Knauth 2017-07-07 02:20:36 -0400
• f5e0ceebfe add example of linear language + tests var-assign-parameter AlexKnauth 2017-06-13 16:51:59 -0400
• ddbac9cb5b add current-var-assign parameter AlexKnauth 2017-06-12 18:48:52 -0400
• 06d3d7338b use a #%var-assign-macro for orig-binding var-macro AlexKnauth 2017-06-12 16:30:06 -0400
• d90dbbfd57 attach orig-binding property (used for occurrence typing) occurrence-orig-binding AlexKnauth 2017-04-20 22:44:12 -0700
• 7acbcbb0cc add source location AlexKnauth 2017-04-27 21:21:49 -0700
• e92156e78a provide more pattern expanders for stlc+union base types AlexKnauth 2017-04-25 13:06:40 -0700
• 095c47c6cb fix union collapsing (#9) Alex Knauth 2017-04-25 13:35:47 -0700
• bbcdfaf9cf add ~typecheck and ~⊢ pattern expanders (#6) Alex Knauth 2017-04-17 12:41:02 -0700
• f9199f6e37 Use filter-maximal for pruning redundant elements in unions AlexKnauth 2017-04-10 20:55:23 -0700
• 2e03856589 Listed #:as keyword available in define-primop Milo Turner 2017-03-23 17:29:47 +0000
• 02fbf9f6d5 Listed the syntax class attributes for type-bind, type-ctx, type-ann Milo Turner 2017-03-23 17:06:43 +0000
• 881912d1fd change some docs to adhere to the behavior of the code Milo Turner 2017-03-23 12:30:19 +0000
• 33db7ad092 add missing syntax/loc AlexKnauth 2017-04-03 15:15:19 -0700
• 713eec89ea provide ~True and ~False from stlc+union.rkt AlexKnauth 2017-04-03 11:21:24 -0700
• d6012a7472 fix typo in stx-datum-equal? (from last commit) Stephen Chang 2017-03-31 16:00:03 -0400
• 28f6d782ec generalize stx-member Stephen Chang 2017-03-31 15:15:04 -0400
• 7e3a21ba6f extends form supports non-strs and allows explicit prefix Stephen Chang 2017-03-30 19:01:56 -0400
• 84b5a8759f add stx-length>=? and stx-length<=? AlexKnauth 2017-03-30 10:16:59 -0700
• 28fa4dfb48 do not reprovide rackunit in rackunit-typechecking Stephen Chang 2017-03-24 10:59:52 -0400
• 2643d7c8f8 exclude rackunit-typechecking from compile Stephen Chang 2017-03-23 16:38:54 -0400
• 72bd18cd1a exclude rackunit-typechecking from test Stephen Chang 2017-03-23 16:23:35 -0400
• 11551ee860 add turnstile/rackunit-typechecking abbrev Stephen Chang 2017-03-23 15:43:34 -0400
• 31c3bba5c9 add current-host-lang; fix reuse to work with non-strs Stephen Chang 2017-03-22 17:04:48 -0400
• a8f908ff19 more fail/toplvl in tests rosette3 Stephen Chang 2017-03-21 19:44:14 -0400
• bff10f9f03 use typecheck-fail/toplvl in tests Stephen Chang 2017-03-21 19:16:31 -0400
• 9e3c2c2866 more stx -> this-syntax Stephen Chang 2017-03-21 19:16:15 -0400
• 7968d6346c replace some stx stx-params with this-syntax Stephen Chang 2017-03-21 17:52:50 -0400
• f0646f300b more synthcl3 code cleanup Stephen Chang 2016-12-08 16:04:40 -0500
• 25a66ae60e add macro to define int and float types; other cleanup Stephen Chang 2016-12-08 15:13:08 -0500
• f0cf86e9bd add memset, sqrt, convert_X fns; add sobel filter tests Stephen Chang 2016-12-07 16:53:19 -0500
• f2c6b581fe add walsh transform verify tests Stephen Chang 2016-12-07 16:16:58 -0500
• 21c77d7e61 add base/else grammar form; walsh synth tests passing Stephen Chang 2016-12-07 16:08:13 -0500
• e0a2900c77 synthcl3: fix pointer deref assignment bug; all matrix mult tests passing! Stephen Chang 2016-12-02 16:25:35 -0500
• 57bf9a5543 some file renaming Stephen Chang 2016-12-02 12:32:47 -0500
• b5e8a7bceb fix some bugs; matrix synth tests working Stephen Chang 2016-12-02 12:25:51 -0500
• f1f43697f9 support array decls; fix procedure to support local decls Stephen Chang 2016-11-30 16:52:14 -0500
• 5e0acd3f9b synthcl3: add choose, synth, verify; finish more-snippets tests Stephen Chang 2016-11-23 14:37:07 -0500
• 13ef7c8b72 start using expand/ro; fix define-synthax, woo! Stephen Chang 2016-11-22 15:37:44 -0500
• 8949a9fbf1 synthcl3: add separate void and Pointer type Stephen Chang 2016-11-18 14:11:36 -0500
• d20a238961 synthcl3: add macros to abstract definition of common forms and types Stephen Chang 2016-11-15 15:00:39 -0500
• cdedc4b556 working with app snippet tests: assignment, vectors, pointers, selectors, procedures Stephen Chang 2016-11-09 17:03:46 -0500
• 8e2710e133 synth3: start assignment Stephen Chang 2016-11-04 17:14:22 -0400
• 56b8b52ea6 start synthcl3: snippets up to int16 working (float3 and ?: selection) Stephen Chang 2016-11-04 15:36:35 -0400
• 5d8557bbca clean up ifc tests Stephen Chang 2016-11-03 10:53:50 -0400
• 6d33532aab add more ifc3 tests Stephen Chang 2016-11-03 10:36:50 -0400
• fd8a59a45f add ifc3, ifc3-tests Stephen Chang 2016-11-02 23:33:52 -0400
• ad6978a432 add fsm3 Stephen Chang 2016-11-02 13:27:11 -0400
• 0c1635e984 rosette3: add tests checking displayed output Stephen Chang 2016-10-31 16:41:54 -0400