| 2021-07-06 02:51 | Added GitHub Actions CI script | Suzanne Soy | 1 | +72 | -0 |
| 2021-03-05 04:49 | Turn off coverage in older versions | Suzanne Soy | 1 | +7 | -7 |
| 2021-03-04 21:11 | Changed my name :) | Suzanne Soy | 5 | +9 | -9 |
| 2017-06-01 14:47 | Sketched a "def" form, which implicitly does pattern matching and defines functions and macros alike. | Georges Dupéron | 1 | +59 | -0 |
| 2017-06-01 14:46 | More literate explanations | Georges Dupéron | 1 | +72 | -30 |
| 2017-05-31 11:39 | Improved literate programming | Georges Dupéron | 4 | +329 | -107 |
| 2017-05-25 16:23 | WIP on row types | Georges Dupéron | 6 | +263 | -63 |
| 2017-05-22 02:44 | Cleanup, separated the list-of-indices-to-tree generation code, so that it can be re-used in other macros. | Georges Dupéron | 2 | +261 | -48 |
| 2017-05-20 13:22 | Switched to ꩜ character, fixed a typo | Georges Dupéron | 1 | +48 | -43 |
| 2017-05-20 00:46 | Put type within the use of define-pure/stateless | Georges Dupéron | 3 | +116 | -85 |
| 2017-05-18 13:10 | Cleaned up flexible structures implementation. The problem is that compiling the definitions is rather slow (~4 minutes for 10/128 fields), although those can be pre-compiled in advance, and using the functions is rather slow to typecheck (about 0.4s to use a 10/32 constructor), which is more of a problem. | Georges Dupéron | 3 | +62 | -40 |
| 2017-05-17 14:31 | Implemented builder-f, cleanup. | Georges Dupéron | 2 | +67 | -129 |
| 2017-05-16 23:48 | Writeup | Georges Dupéron | 3 | +287 | -163 |
| 2017-05-15 22:08 | Moved examples for hyper-literate's added/removed/dimmed highlighting facility to the hyper-literate library. | Georges Dupéron | 2 | +0 | -302 |
| 2017-05-15 22:08 | Last versions of tests for hyper-literate's added/removed/dimmed highlighting facility. These examples will be moved to the hyper-literate library. | Georges Dupéron | 2 | +276 | -261 |
| 2017-05-15 00:59 | added/removed/original higlighting | Georges Dupéron | 1 | +287 | -0 |
| 2017-05-14 01:50 | Implementation for a version of the poly constructor | Georges Dupéron | 2 | +107 | -22 |
| 2017-05-14 00:24 | WIP | Georges Dupéron | 2 | +52 | -40 |
| 2017-05-12 20:05 | Managed to force TR to propagate Nothing types (by intersecting with a (∀) type which has the same shape as the desired one, deep enough to cause the containers of Nothing types to be re-examined | Georges Dupéron | 2 | +56 | -72 |
| 2017-05-12 16:40 | Fixed flexible-with-generalized-ctor.hl.rkt, but TR does not refine the intersections after an (inst f τ …), or after applying a ∀ type. | Georges Dupéron | 1 | +64 | -8 |
| 2017-05-11 23:08 | TR Bug in flexible-with-generalized-ctor.hl.rkt: typed-racket-lib/typed-racket/types/overlap.rkt:40:0: mask-accessor: contract violation expected: mask? given: #f | Georges Dupéron | 9 | +582 | -2 |
| 2017-05-03 10:57 | Draft now compiles again. | Georges Dupéron | 3 | +27 | -12 |
| 2017-04-28 13:35 | Checked that having many polymorphic arguments to a function is (no longer?) a problem. Things start getting slow above 200 polymorphic variables, but currying the function allows more arguments without a significant performance impact. | Georges Dupéron | 2 | +73 | -0 |
| 2017-04-27 00:02 | WIP on the graph draft | Georges Dupéron | 5 | +183 | -76 |
| 2017-04-26 00:24 | Draft of the main graph generation macro. | Georges Dupéron | 1 | +80 | -0 |
| 2017-04-26 00:22 | Use dotlambda's λ. notation instead of #λ. | Georges Dupéron | 3 | +49 | -48 |
| 2017-04-11 20:06 | Closes #62: Encoding of relations as types (≡, ∈, = length, < length) | Georges Dupéron | 2 | +85 | -89 |
| 2017-04-11 12:06 | WIP on #62: Encoding of relations as types (≡, ∈, = length, < length) — finished most of the type-level encoding, fixed tests | Georges Dupéron | 4 | +194 | -136 |
| 2017-04-06 19:44 | WIP on #62: Encoding of relations as types (≡, ∈, = length, < length) | Georges Dupéron | 2 | +114 | -83 |
| 2017-04-06 14:10 | Added an extra test. | Georges Dupéron | 1 | +19 | -0 |
| 2017-04-06 08:40 | Cleaned up tests | Georges Dupéron | 3 | +57 | -10 |
| 2017-04-06 07:07 | Fixed some bugs with the encoding of paths | Georges Dupéron | 3 | +54 | -23 |
| 2017-04-05 13:46 | Drafter the transformation of paths into types. | Georges Dupéron | 1 | +38 | -8 |
| 2017-04-03 17:24 | Wrote parser for paths | Georges Dupéron | 2 | +140 | -6 |
| 2017-04-01 22:17 | Explanations on paths | Georges Dupéron | 1 | +27 | -3 |
| 2017-04-01 21:43 | Work on invariants. | Georges Dupéron | 5 | +107 | -68 |
| 2017-03-26 22:39 | Fixed bug in invariants implementation (phantom type Target had no fields, and therefore its polymorphic argument was ignored). Used more precise tests (test that a ⊏ b rather than a ⊑ b for the invariant types.) | Georges Dupéron | 1 | +24 | -20 |
| 2017-03-21 23:26 | Added key for auto-push | Georges Dupéron | 2 | +2 | -2 |
| 2017-03-21 23:24 | make the openssl line easier to substitue (move the decrypted file to its destination after the command, not as part of it) | Georges Dupéron | 1 | +2 | -1 |
| 2017-03-21 23:04 | Auto-push to master successful builds on the dev branch. | Georges Dupéron | 2 | +51 | -0 |
| 2017-03-20 15:13 | Added a few notes to the .vue file | Georges Dupéron | 1 | +64 | -17 |
| 2017-03-20 15:11 | Small bug fixes in traversal.hl.rkt and free-identifier-tree-equal.rkt | Georges Dupéron | 2 | +5 | -3 |
| 2017-02-06 05:55 | More cleanup | Georges Dupéron | 5 | +51 | -48 |
| 2017-02-05 20:20 | Cleanup of traversal.hl.rkt (still needs a lot of prose) | Georges Dupéron | 1 | +33 | -28 |
| 2017-02-04 01:44 | Cosmetic changes in traversal.hl.rkt | Georges Dupéron | 3 | +63 | -26 |
| 2017-01-26 20:20 | Closes FB case 190 Rename λ-replace-in-instance to !λ-replace-in-instance | Georges Dupéron | 2 | +29 | -29 |
| 2017-01-26 18:32 | Closes FB case 189 Switch phc-graph to the packaged subtemplate | Georges Dupéron | 13 | +18 | -1257 |
| 2017-01-26 16:18 | Timing info on test-graph-type. | Georges Dupéron | 1 | +12 | -9 |
| 2017-01-22 04:05 | Improvements on subtemplate | Georges Dupéron | 1 | +15 | -38 |
| 2017-01-20 17:28 | Closes FB case 176 Fix the type of nodes for (non-)polymorphic graph types | Georges Dupéron | 5 | +137 | -35 |
| 2017-01-20 15:31 | Added missing require | Georges Dupéron | 1 | +2 | -1 |
| 2017-01-20 15:04 | Closes FB case 169 invariant-info should override equality because it is used in a set-equal? and contains syntax objects | Georges Dupéron | 3 | +85 | -42 |
| 2017-01-20 14:24 | Use master branch of phc-toolkit, phc-adt and type-expander | Georges Dupéron | 1 | +3 | -3 |
| 2017-01-20 14:18 | Closes FB case 168 Don't use /top-loc in graph-info, as the macro and its use are within the same file | Georges Dupéron | 2 | +12 | -8 |
| 2017-01-19 23:28 | Closes FB case 167 Catch the errors when first calling compute-graph-info. If there are any, parameterize check-remembered-node! to not lift errors | Georges Dupéron | 4 | +12 | -7 |
| 2017-01-19 13:48 | Closes FB case #165 Use syntax? instead of identifier? in the graph-info types | Georges Dupéron | 1 | +6 | -5 |
| 2017-01-19 13:26 | Closes FB case #166 Check that the contracts for graph-info are flat | Georges Dupéron | 2 | +35 | -6 |
| 2017-01-18 10:44 | Cleanup | Georges Dupéron | 1 | +0 | -21 |
| 2017-01-18 03:45 | Remove output, incomplete types should not be in the main graph type, as wrappers may add/remove fields in the incomplete type in the graph transform or creation code. | Georges Dupéron | 3 | +12 | -9 |
| 2017-01-18 03:11 | Fixed storage of graph-info | Georges Dupéron | 4 | +130 | -102 |
| 2017-01-18 02:37 | Found source of the "ill-formed code (unexpected graph structure)" error (https://github.com/racket/racket/issues/1580) | Georges Dupéron | 2 | +48 | -14 |
| 2017-01-18 01:27 | Fixed 3D syntax issues by using prefabs. | Georges Dupéron | 2 | +83 | -37 |
| 2017-01-17 23:25 | Remove older versions from Travis build, they seem to have issues with phc-graph/subtemplate-override and with some of the types used in thoughts.rkt | Georges Dupéron | 1 | +2 | -2 |
| 2017-01-17 23:23 | Remove output so that Travis build succeeds. | Georges Dupéron | 1 | +3 | -3 |
| 2017-01-17 23:01 | Re-enable building HEAD with Travis | Georges Dupéron | 1 | +1 | -1 |
| 2017-01-17 23:01 | Revert "Attempt to fix build on Travis" | Georges Dupéron | 1 | +3 | -6 |
| 2017-01-17 23:00 | Attempt to fix build on Travis | Georges Dupéron | 1 | +6 | -3 |
| 2017-01-17 22:03 | Got printing of the graph-info working | Georges Dupéron | 3 | +34 | -41 |
| 2017-01-17 18:12 | Printing bug when printing the set. | Georges Dupéron | 9 | +420 | -1165 |
| 2017-01-16 02:11 | More work on the invariants | Georges Dupéron | 10 | +466 | -66 |
| 2017-01-10 22:02 | Preliminary tests to compare stronger and weaker sets of predicates (for now just super/sub-set) | Georges Dupéron | 1 | +22 | -5 |
| 2017-01-09 18:44 | Started drafting the ≡ invariant representation as a type | Georges Dupéron | 1 | +17 | -5 |
| 2017-01-06 18:05 | Added checks for the assumptions I made on the behaviour of TR concerning phantom types, covariance, contravariance and its ability to recognize different formulations of the same type (or of a subtype or supertype). Updated the mindmap notes. | Georges Dupéron | 3 | +116 | -3 |
| 2017-01-04 19:24 | Added 6.7 in Travis build | Georges Dupéron | 1 | +2 | -1 |
| 2017-01-04 18:50 | Rough solutions for refinement types as witnesses of run-time checks | Georges Dupéron | 1 | +206 | -12 |
| 2017-01-01 20:03 | Started writing on phantom types as witnesses for invariants | Georges Dupéron | 6 | +129 | -41 |
| 2016-12-30 03:12 | More optimisation. | Georges Dupéron | 3 | +111 | -98 |
| 2016-12-30 01:25 | Started writing phantom invariants representation, optimized flex records. | Georges Dupéron | 6 | +480 | -107 |
| 2016-12-28 16:41 | Switched flex records from thunks to delay/pure/stateless promises | Georges Dupéron | 3 | +380 | -146 |
| 2016-12-28 01:17 | Field deletion in flex structs, stronger type (actually checks whether fields are present or not), tests | Georges Dupéron | 4 | +252 | -96 |
| 2016-12-27 18:18 | Fixed rendering issues with Scribble | Georges Dupéron | 5 | +358 | -316 |
| 2016-12-22 22:13 | . | Georges Dupéron | 1 | +67 | -32 |
| 2016-12-22 18:54 | . | Georges Dupéron | 1 | +6 | -6 |
| 2016-12-22 18:16 | . | Georges Dupéron | 1 | +42 | -53 |
| 2016-12-22 17:58 | Migrated some files from the old graph implementation | Georges Dupéron | 3 | +156 | -1 |
| 2016-12-22 17:57 | Working draft of a flexible implementation of (with tagged-instance [field val] …) | Georges Dupéron | 2 | +290 | -0 |
| 2016-12-16 16:34 | Old mindmap files | Georges Dupéron | 2 | +1114 | -0 |
| 2016-12-16 16:34 | notes | Georges Dupéron | 3 | +283 | -0 |
| 2016-12-16 16:33 | Changes to mindmap | Georges Dupéron | 1 | +1714 | -494 |
| 2016-12-16 16:33 | Changes to mindmap | Georges Dupéron | 1 | +2153 | -0 |
| 2016-11-10 16:57 | Cleanup | Georges Dupéron | 4 | +47 | -48 |
| 2016-11-10 16:37 | Attempt to make it work without metafunctions, but I think it's going to be difficult to use | Georges Dupéron | 4 | +26 | -3 |
| 2016-11-10 16:45 | Used backport-template-pr1514 | Georges Dupéron | 3 | +16 | -11 |
| 2016-11-05 01:55 | Cleanup | Georges Dupéron | 1 | +10 | -15 |
| 2016-11-05 01:53 | Second template metafunction works too. The scopes issue is a bit fishy, but it will do until I tackle the task of having a propper, powerfull and expressive templating library. | Georges Dupéron | 2 | +35 | -31 |
| 2016-11-05 01:46 | First metafunction works, with a bit of a hack to remove the annoying scope. | Georges Dupéron | 3 | +81 | -54 |
| 2016-11-04 22:48 | Renamed subtemplate and quasisubtemplate as #' and #` for conciseness | Georges Dupéron | 1 | +90 | -108 |
| 2016-11-04 22:30 | Needs cleanup, but works! | Georges Dupéron | 1 | +18 | -25 |
| 2016-11-04 21:38 | WIP: have to separate function definition from its type with :, due to recursive functions. | Georges Dupéron | 5 | +58 | -39 |
| 2016-11-04 18:19 | TR-bug | Georges Dupéron | 1 | +108 | -108 |
| 2016-11-04 16:38 | Problem with local-expand and definitions. TODO: convert fold-τ and fold-f into for-syntax functions, instead of being a type expander and macro. | Georges Dupéron | 1 | +51 | -210 |
| 2016-11-04 01:30 | Partial rewrite of traversal.hl.rkt, ready to add the caching mechanism. | Georges Dupéron | 7 | +337 | -70 |
| 2016-10-10 23:56 | Removed duplicate dependency on phc-adt | Georges Dupéron | 1 | +0 | -1 |
| 2016-10-10 23:55 | Fixed #%plain-app vs #%app and #%plain-lambda vs lambda issue in fully-expanded-grammar.rkt | Georges Dupéron | 1 | +2 | -2 |
| 2016-10-10 22:55 | Use path within git repository for phc-adt dependency. | Georges Dupéron | 1 | +4 | -2 |
| 2016-10-10 22:23 | Remove -x option on raco test in .travis.yml, so that all modules are run, including those without a test submodule. | Georges Dupéron | 1 | +1 | -1 |
| 2016-10-08 15:19 | Added tests for different orders of types in the union for traversal.hl.rkt | Georges Dupéron | 1 | +44 | -12 |
| 2016-10-08 12:53 | Hopefully fixed order of union elements in the cond | Georges Dupéron | 2 | +36 | -270 |
| 2016-10-08 01:10 | Added support for type-to-replaceᵢ directly within a union. | Georges Dupéron | 4 | +316 | -22 |
| 2016-10-07 20:42 | dispatch-union seems to work | Georges Dupéron | 3 | +12 | -13 |
| 2016-10-07 11:43 | Small fix on traversal of unions (doesn't work yet). | Georges Dupéron | 1 | +1 | -3 |
| 2016-10-07 11:42 | Ported traversal code to use subtemplate, fixed scope issue with subtemplate | Georges Dupéron | 3 | +30 | -31 |
| 2016-10-07 09:58 | Finished tests for subtemplate | Georges Dupéron | 1 | +26 | -1 |
| 2016-10-07 02:46 | Arrows for subtemplate derived ids work in DrRacket | Georges Dupéron | 6 | +636 | -257 |
| 2016-10-06 15:35 | Depend on the #dev versions of the phc-adt and phc-toolkit, for faster build cycles | Georges Dupéron | 1 | +2 | -2 |
| 2016-10-06 15:30 | Tests for subtemplate | Georges Dupéron | 1 | +251 | -37 |
| 2016-10-06 14:56 | Hopefully fixed scope issues with subtemplate | Georges Dupéron | 2 | +120 | -175 |
| 2016-10-06 12:25 | WIP. | Georges Dupéron | 2 | +125 | -41 |
| 2016-10-06 00:02 | WIP | Georges Dupéron | 2 | +264 | -64 |
| 2016-10-05 16:54 | Nearly finished subtemplate. | Georges Dupéron | 3 | +373 | -1 |
| 2016-10-04 11:23 | Union of two tagged structures works | Georges Dupéron | 4 | +65 | -25 |
| 2016-10-03 21:55 | Preliminary support for tagged structures, early draft for unions | Georges Dupéron | 5 | +152 | -24 |
| 2016-10-03 01:38 | Cosmetic changes on the literate program | Georges Dupéron | 1 | +26 | -26 |
| 2016-10-03 01:34 | Added tests for more complex to-replace types. | Georges Dupéron | 1 | +32 | -2 |
| 2016-10-03 01:25 | First draft for define-fold, all tests pass. | Georges Dupéron | 3 | +183 | -25 |
| 2016-10-02 23:29 | Run Travis on 2 threads only, to avoid OOM when compiling phc-adt. Added and used check-equal?-values: form. | Georges Dupéron | 4 | +41 | -8 |
| 2016-10-02 23:03 | Use full URL for th phc-adt dependency, as the catalogs did not get updated yet. | Georges Dupéron | 1 | +1 | -1 |
| 2016-10-02 21:48 | Build the hyper-literate document. | Georges Dupéron | 6 | +176 | -49 |
| 2016-10-02 19:25 | Started describing define-fold | Georges Dupéron | 1 | +98 | -0 |
| 2016-10-02 01:58 | Removed from Travis build the Racket versions which are not compatible with phc-adt. | Georges Dupéron | 1 | +8 | -6 |
| 2016-10-02 01:57 | Added some basic dependencies | Georges Dupéron | 1 | +7 | -2 |
| 2016-08-17 12:09 | raco pkg new phc-graph | Georges Dupéron | 7 | +129 | -0 |
