| 2021-04-04 14:36 | Switched main branch | Suzanne Soy | 1 | +18 | -17 |
| 2021-04-04 14:36 | Revert "debug" | Suzanne Soy | 1 | +17 | -18 |
| 2021-04-04 05:11 | debug | Suzanne Soy | 1 | +18 | -17 |
| 2021-03-05 14:30 | Test on more versions of Racket | Suzanne Soy | 1 | +19 | -10 |
| 2021-03-05 14:28 | Turn off coverage in older versions | Suzanne Soy | 1 | +14 | -15 |
| 2021-03-04 21:30 | Fixed syntax | Suzanne Soy | 1 | +1 | -1 |
| 2021-03-04 20:38 | Changed my name :) | Suzanne Soy | 3 | +3 | -3 |
| 2019-04-25 11:08 | Updated Racket versions in .travis.yml | Georges Dupéron | 1 | +4 | -1 |
| 2018-06-02 23:43 | Compatibility with Racket 7: template-metafunction? → metafunction? | Georges Dupéron | 1 | +8 | -0 |
| 2018-06-02 23:42 | Compatibility with Racket 7: syntax/parse/private/residual → racket/private/template | Georges Dupéron | 1 | +7 | -1 |
| 2018-06-02 23:42 | Compatibility with Racket 7: make-attribute-mapping | Georges Dupéron | 1 | +15 | -6 |
| 2018-06-02 23:41 | Compatibility with Racket 7: adjusted test | Georges Dupéron | 1 | +4 | -4 |
| 2018-05-31 17:54 | Fixed raco test command (-x -> -r) | Georges Dupéron | 1 | +1 | -1 |
| 2018-03-26 19:12 | Compatibility with Racket 7 | Georges Dupéron | 2 | +30 | -11 |
| 2018-01-27 12:02 | Updated maintenance badge for 2018 | Georges Dupéron | 1 | +1 | -1 |
| 2018-01-27 11:46 | Travis build on Racket 6.8 until 6.12 | Georges Dupéron | 1 | +4 | -0 |
| 2017-05-06 11:55 | Circumvent overzealous use of reader abbreviations by scribble for the documentation of #,, and #,@, and #,,@ | Georges Dupéron | 1 | +6 | -5 |
| 2017-05-06 11:35 | Updated badges to use website online/offline detection | Georges Dupéron | 1 | +2 | -2 |
| 2017-05-06 01:43 | Fixed test for #5 | Georges Dupéron | 1 | +11 | -9 |
| 2017-05-06 01:39 | Fixed layout (overfull hbox) | Georges Dupéron | 1 | +3 | -1 |
| 2017-05-06 01:38 | Closes #5 (?@@ + ?? within used to fail), closes #4 (add examples to the doc) | Georges Dupéron | 5 | +383 | -50 |
| 2017-05-05 20:00 | Removed compile-time debugging display, transformed it into a test. | Georges Dupéron | 1 | +13 | -9 |
| 2017-05-05 19:39 | Added tests for ~syntax-case, fixed stat-pattern in ~syntax-case: it should not escape the behaviour of _ | Georges Dupéron | 2 | +21 | -13 |
| 2017-05-05 17:51 | Fixed bug with ellipses and omitted values for (define/with-syntax foo e) … | Georges Dupéron | 8 | +292 | -37 |
| 2017-04-29 00:47 | Comments and cleanup | Georges Dupéron | 1 | +18 | -13 |
| 2017-04-28 21:28 | Comments, fixed a few small bugs, bumped version number. | Georges Dupéron | 4 | +83 | -11 |
| 2017-04-20 07:40 | Rewrote .travis.yml | Georges Dupéron | 1 | +14 | -38 |
| 2017-04-19 18:18 | Added maintenance badge (2017) | Georges Dupéron | 1 | +1 | -0 |
| 2017-03-16 14:02 | Simplified the generate-nested-ids contract so that it only checks the ellipsis counts, to get error messages without affecting performance too much. | Georges Dupéron | 3 | +58 | -21 |
| 2017-03-15 11:12 | Removed ;racket/contract commented-out require forms | Georges Dupéron | 6 | +7 | -9 |
| 2017-03-15 00:15 | Sketch for a performance test. | Georges Dupéron | 1 | +15 | -12 |
| 2017-03-15 00:04 | Cleanup, re-enabled one contract | Georges Dupéron | 3 | +5 | -4 |
| 2017-03-14 22:51 | Bugfix | Georges Dupéron | 1 | +2 | -1 |
| 2017-03-14 20:34 | Partially fixed copy-attribute, debugging. | Georges Dupéron | 5 | +40 | -26 |
| 2017-03-14 19:30 | Disable contracts for performance (a bit too aggressive, need to rollback some of these) | Georges Dupéron | 9 | +62 | -8 |
| 2017-02-10 00:02 | re-provide racket/syntax | Georges Dupéron | 1 | +5 | -1 |
| 2017-02-05 18:02 | Tests for ≠ ids, also fixed that bug for ?? | Georges Dupéron | 3 | +42 | -22 |
| 2017-02-05 08:07 | Remove display | Georges Dupéron | 1 | +1 | -4 |
| 2017-02-05 07:55 | Fixes bug: (ddd #'yᵢ) used to generate different ids each time, because the value of yᵢ was attached to the shadowed xᵢ, not to the “main” xᵢ. | Georges Dupéron | 5 | +179 | -42 |
| 2017-02-04 10:04 | A bit of cleanup. | Georges Dupéron | 1 | +67 | -58 |
| 2017-02-04 08:09 | First half of the lifted variables fix. | Georges Dupéron | 5 | +85 | -10 |
| 2017-02-04 06:45 | Fixed arrows in DrRacket, fixed bug with empty || identifier | Georges Dupéron | 2 | +12 | -7 |
| 2017-02-03 14:51 | Update raco doc-coverage incantation in Travis. | Georges Dupéron | 1 | +2 | -1 |
| 2017-02-03 14:45 | Documentation, changed (begin x ...) to produce a splicing list, not a list (and documented accordingly) | Georges Dupéron | 9 | +452 | -80 |
| 2017-02-03 11:46 | Moved files into private/ (part 2: update files) | Georges Dupéron | 18 | +44 | -44 |
| 2017-02-03 11:46 | Moved files into private/ (part 1: rename) | Georges Dupéron | 12 | +0 | -0 |
| 2017-02-03 11:39 | Provide everything | Georges Dupéron | 2 | +32 | -1 |
| 2017-02-03 11:25 | Tests for ?operations | Georges Dupéron | 4 | +195 | -20 |
| 2017-02-03 10:54 | More ?operations | Georges Dupéron | 6 | +210 | -61 |
| 2017-02-03 08:24 | Support for rest arguments to functions with (f . rest), useful for (?@ . blah) | Georges Dupéron | 1 | +6 | -5 |
| 2017-02-03 07:18 | Closes FB case 178 Attempt to allow escaping (template …) but keep the current nesting of ellipses | Georges Dupéron | 11 | +295 | -36 |
| 2017-02-02 22:45 | Closes FB case 198 override #%top to get subtemplate-like behaviour for ddd | Georges Dupéron | 11 | +684 | -510 |
| 2017-02-01 08:57 | Support for ?? and ?@ | Georges Dupéron | 3 | +146 | -30 |
| 2017-02-01 06:40 | Propper handling of omitted elements | Georges Dupéron | 4 | +74 | -47 |
| 2017-01-31 05:08 | Improved #%app support for ddd | Georges Dupéron | 3 | +83 | -15 |
| 2017-01-31 01:32 | Closes 184 body which supports ddd on define | Georges Dupéron | 7 | +367 | -65 |
| 2017-01-29 22:48 | Restored derived-valvar | Georges Dupéron | 2 | +12 | -31 |
| 2017-01-29 22:46 | . | Georges Dupéron | 9 | +703 | -61 |
| 2017-01-28 03:55 | Closes FB case 193 | Georges Dupéron | 2 | +146 | -40 |
| 2017-01-28 01:59 | Documentation | Georges Dupéron | 1 | +60 | -7 |
| 2017-01-27 20:48 | Closes FB issue 191 subtemplate: allow #f values for ~optional in syntax/parse | Georges Dupéron | 3 | +623 | -99 |
| 2017-01-26 22:25 | Closes FB case 186 Trigger error when stxparse-info is not active (use get-shadower and compare the ids) | Georges Dupéron | 2 | +145 | -44 |
| 2017-01-26 18:26 | Various fixes. Closes FB case 189 Switch phc-graph to the packaged subtemplate. | Georges Dupéron | 4 | +229 | -183 |
| 2017-01-26 16:36 | Also reprovide racket/syntax from subtemplate/override | Georges Dupéron | 1 | +7 | -4 |
| 2017-01-26 16:16 | Reprovide stxparse-info/parse and stxparse-info/case in subtemplate/override. | Georges Dupéron | 2 | +11 | -3 |
| 2017-01-26 16:14 | Closes FB case 188 Cleanup assumption tests in subtemplate | Georges Dupéron | 3 | +114 | -51 |
| 2017-01-26 05:32 | Skip raco cover, as it fails to run this library properly | Georges Dupéron | 2 | +2 | -3 |
| 2017-01-26 05:27 | README → use codecov badge and link | Georges Dupéron | 1 | +1 | -1 |
| 2017-01-26 05:24 | Remove test output | Georges Dupéron | 2 | +3 | -3 |
| 2017-01-26 05:20 | Limit CPUs to avoid OOM | Georges Dupéron | 1 | +1 | -1 |
| 2017-01-26 05:20 | Filled in README file | Georges Dupéron | 1 | +16 | -1 |
| 2017-01-26 05:17 | Fixed scribble file | Georges Dupéron | 1 | +1 | -1 |
| 2017-01-26 04:45 | Only build on 6.8, as we need that for stxparse-info | Georges Dupéron | 1 | +0 | -9 |
| 2017-01-26 04:33 | Cleanup; documentation | Georges Dupéron | 4 | +52 | -12 |
| 2017-01-26 04:11 | Switched to Public Domain / CC0 license now that I got permission from Cortus to release the packages in the Public Domain. This ensures that the code can be merged into other Racket projects, regardless of future license changes for the Racket project. | Georges Dupéron | 2 | +140 | -11 |
| 2017-01-26 03:43 | Dropped dependency on phc-graph | Georges Dupéron | 2 | +4 | -3 |
| 2017-01-26 03:41 | Changed tests to use bound-identifier=?, not free-identifier=? | Georges Dupéron | 1 | +363 | -363 |
| 2017-01-26 03:15 | Changed subtemplate to use current-pvars+unique | Georges Dupéron | 5 | +314 | -194 |
| 2017-01-26 03:15 | Added package files for the subtemplate package. | Georges Dupéron | 6 | +102 | -0 |
| 2017-01-26 04:00 | Renamed files | Georges Dupéron | 3 | +6 | -6 |
| 2017-01-26 03:55 | Extracted subtemplate from phc-graph | Georges Dupéron | 36 | +0 | -7357 |
| 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 |
