suzanne.soy/phc-graph
1
0
Fork 0
Code Issues 24 Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 3f0cb6d2f9 Added GitHub Actions CI script dev Suzanne Soy 2021-07-06 03:51:25 +0100
  • 2cb6125abe Turn off coverage in older versions Suzanne Soy 2021-03-05 04:49:09 +0000
  • 65fe72e4d6 Changed my name :) Suzanne Soy 2021-03-04 21:11:02 +0000
  • 1ad9f691aa Sketched a "def" form, which implicitly does pattern matching and defines functions and macros alike. main Georges Dupéron 2017-06-01 16:47:05 +0200
  • fe3eec2b44 More literate explanations Georges Dupéron 2017-06-01 16:46:29 +0200
  • cae1d4d430 Improved literate programming Georges Dupéron 2017-05-31 13:39:23 +0200
  • ed51b52842 WIP on row types Georges Dupéron 2017-05-25 18:23:37 +0200
  • a4af75f594 Cleanup, separated the list-of-indices-to-tree generation code, so that it can be re-used in other macros. Georges Dupéron 2017-05-22 04:44:24 +0200
  • cfbcbafe92 Switched to ꩜ character, fixed a typo Georges Dupéron 2017-05-20 15:22:39 +0200
  • d211bd1154 Put type within the use of define-pure/stateless Georges Dupéron 2017-05-20 02:46:06 +0200
  • bf9d5b2328 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 2017-05-18 15:10:33 +0200
  • 8f13786bf0 Implemented builder-f, cleanup. Georges Dupéron 2017-05-17 16:31:08 +0200
  • e3074a37e4 Writeup Georges Dupéron 2017-05-17 01:48:25 +0200
  • 63e1a77ef1 Moved examples for hyper-literate's added/removed/dimmed highlighting facility to the hyper-literate library. Georges Dupéron 2017-05-16 00:08:34 +0200
  • b7d00485ad 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 2017-05-16 00:08:01 +0200
  • 928084c321 added/removed/original higlighting Georges Dupéron 2017-05-15 02:59:15 +0200
  • 6221a5db83 Implementation for a version of the poly constructor Georges Dupéron 2017-05-14 03:50:35 +0200
  • 5cc510ebf6 WIP Georges Dupéron 2017-05-14 02:24:45 +0200
  • 36d6630906 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 2017-05-12 22:05:20 +0200
  • fc7e1552ee 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 2017-05-12 18:40:44 +0200
  • 8ff2a1d267 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 2017-05-12 01:08:02 +0200
  • b6043def44 Draft now compiles again. Georges Dupéron 2017-05-03 12:57:41 +0200
  • 0977529e6b 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 2017-04-28 15:35:48 +0200
  • 35fe2e31f4 WIP on the graph draft Georges Dupéron 2017-04-27 02:02:56 +0200
  • c6002f7f98 Request to auto-push eb2aed91c1 to master auto-push Georges Dupéron (Travis CI automatic commit) 2017-04-26 11:21:33 +0000
  • eb2aed91c1 Draft of the main graph generation macro. Georges Dupéron 2017-04-26 02:24:00 +0200
  • c46d371e02 Use dotlambda's λ. notation instead of #λ. Georges Dupéron 2017-04-26 02:22:57 +0200
  • 37120eec9c Closes #62: Encoding of relations as types (≡, ∈, = length, < length) Georges Dupéron 2017-04-11 22:06:16 +0200
  • 839bec824c WIP on #62: Encoding of relations as types (≡, ∈, = length, < length) — finished most of the type-level encoding, fixed tests Georges Dupéron 2017-04-11 14:06:35 +0200
  • 70b17f622e Request to auto-push 2ab2701789 to master Georges Dupéron (Travis CI automatic commit) 2017-04-06 20:03:40 +0000
  • 2ab2701789 WIP on #62: Encoding of relations as types (≡, ∈, = length, < length) Georges Dupéron 2017-04-06 21:44:17 +0200
  • 540e8a24b7 Added an extra test. Georges Dupéron 2017-04-06 16:10:19 +0200
  • f2bca76fe9 Request to auto-push a0d682cb6c to master Georges Dupéron (Travis CI automatic commit) 2017-04-06 09:10:44 +0000
  • 36ae2e8080 Cleaned up tests Georges Dupéron 2017-04-06 10:40:37 +0200
  • a0d682cb6c Fixed some bugs with the encoding of paths Georges Dupéron 2017-04-06 09:07:13 +0200
  • 359c22cb8c Drafter the transformation of paths into types. Georges Dupéron 2017-04-05 15:46:01 +0200
  • 32379533ed Wrote parser for paths Georges Dupéron 2017-04-03 19:24:47 +0200
  • 120746442e Explanations on paths Georges Dupéron 2017-04-02 00:17:33 +0200
  • acb444f88f Work on invariants. Georges Dupéron 2017-04-01 23:43:36 +0200
  • f8a0a52fa5 Request to auto-push 6c9a7a95d9 to master Georges Dupéron (Travis CI automatic commit) 2017-03-27 00:25:42 +0000
  • 6c9a7a95d9 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 2017-03-27 00:39:02 +0200
  • 287cad635c Request to auto-push 2c2190a9f6 to master Georges Dupéron (Travis CI automatic commit) 2017-03-21 23:44:45 +0000
  • 2c2190a9f6 Added key for auto-push Georges Dupéron 2017-03-22 00:26:27 +0100
  • 3922fd117f 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 2017-03-22 00:24:54 +0100
  • 32659ade9c Fixed path of decrypted key Georges Dupéron 2017-03-22 00:19:40 +0100
  • 0d36df9c1a Auto-push to master successful builds on the dev branch. Georges Dupéron 2017-03-22 00:04:28 +0100
  • e696c4d51a Auto-push branch. Georges Dupéron 2017-03-22 00:05:58 +0100
  • 4be3059060 Added a few notes to the .vue file Georges Dupéron 2017-03-20 16:13:36 +0100
  • dad01aa118 Small bug fixes in traversal.hl.rkt and free-identifier-tree-equal.rkt Georges Dupéron 2017-03-20 16:11:01 +0100
  • 9814513b47 More cleanup Georges Dupéron 2017-02-06 06:55:29 +0100
  • 72261decc4 Cleanup of traversal.hl.rkt (still needs a lot of prose) Georges Dupéron 2017-02-05 21:20:07 +0100
  • 22f3d97185 Cosmetic changes in traversal.hl.rkt Georges Dupéron 2017-02-04 02:44:23 +0100
  • 18a8938d0c Closes FB case 190 Rename λ-replace-in-instance to !λ-replace-in-instance Georges Dupéron 2017-01-26 21:20:51 +0100
  • 8bf2315281 Closes FB case 189 Switch phc-graph to the packaged subtemplate Georges Dupéron 2017-01-26 19:32:06 +0100
  • 39e703b127 Timing info on test-graph-type. Georges Dupéron 2017-01-26 17:18:28 +0100
  • f500dfcb1a Improvements on subtemplate Georges Dupéron 2017-01-22 05:05:25 +0100
  • 693ab9e84e Closes FB case 176 Fix the type of nodes for (non-)polymorphic graph types Georges Dupéron 2017-01-20 18:28:33 +0100
  • 7991ed7d7e Added missing require Georges Dupéron 2017-01-20 16:31:22 +0100
  • 4589fdff69 Closes FB case 169 invariant-info should override equality because it is used in a set-equal? and contains syntax objects Georges Dupéron 2017-01-20 16:04:40 +0100
  • d2f93d9ae6 Use master branch of phc-toolkit, phc-adt and type-expander Georges Dupéron 2017-01-20 15:24:20 +0100
  • 6989b4f339 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 2017-01-20 15:18:32 +0100
  • 2de609c523 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 2017-01-20 00:28:47 +0100
  • 411c386bb1 Closes FB case #165 Use syntax? instead of identifier? in the graph-info types Georges Dupéron 2017-01-19 14:48:49 +0100
  • c896df5666 Closes FB case #166 Check that the contracts for graph-info are flat Georges Dupéron 2017-01-19 14:26:20 +0100
  • 21a98135ec Cleanup Georges Dupéron 2017-01-18 11:44:07 +0100
  • dc449fae4d 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 2017-01-18 04:45:04 +0100
  • f615ae243b Fixed storage of graph-info Georges Dupéron 2017-01-18 04:11:41 +0100
  • 00c5471830 Found source of the "ill-formed code (unexpected graph structure)" error (https://github.com/racket/racket/issues/1580) Georges Dupéron 2017-01-18 03:37:42 +0100
  • 3caeea4d9f Fixed 3D syntax issues by using prefabs. Georges Dupéron 2017-01-18 02:27:11 +0100
  • 32ac4188a6 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 2017-01-18 00:25:06 +0100
  • c3bfafb927 Remove output so that Travis build succeeds. Georges Dupéron 2017-01-18 00:23:53 +0100
  • 7a264197ea Re-enable building HEAD with Travis Georges Dupéron 2017-01-18 00:01:26 +0100
  • 2b74c85f83 Revert "Attempt to fix build on Travis" Georges Dupéron 2017-01-18 00:01:23 +0100
  • 4ad59206eb Attempt to fix build on Travis Georges Dupéron 2017-01-18 00:00:19 +0100
  • 1ef7613daa Got printing of the graph-info working Georges Dupéron 2017-01-17 23:03:41 +0100
  • bd04ef6262 Printing bug when printing the set. Georges Dupéron 2017-01-17 19:12:51 +0100
  • fb1786b4ac More work on the invariants Georges Dupéron 2017-01-16 03:11:16 +0100
  • b7c2babf85 Preliminary tests to compare stronger and weaker sets of predicates (for now just super/sub-set) Georges Dupéron 2017-01-10 23:02:17 +0100
  • 64d1756678 Started drafting the ≡ invariant representation as a type Georges Dupéron 2017-01-09 19:44:21 +0100
  • aceb9e71f3 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 2017-01-06 19:05:24 +0100
  • ff4c9e2403 Added 6.7 in Travis build Georges Dupéron 2017-01-04 20:24:32 +0100
  • 3edaaf91f8 Rough solutions for refinement types as witnesses of run-time checks Georges Dupéron 2017-01-04 19:50:02 +0100
  • e951c7b26f Started writing on phantom types as witnesses for invariants Georges Dupéron 2017-01-01 21:03:03 +0100
  • 48bc1ed2f9 More optimisation. Georges Dupéron 2016-12-30 04:12:52 +0100
  • e9255ca439 Started writing phantom invariants representation, optimized flex records. Georges Dupéron 2016-12-30 02:25:20 +0100
  • de1f11dbf7 Switched flex records from thunks to delay/pure/stateless promises Georges Dupéron 2016-12-28 17:41:09 +0100
  • 78e5037575 Field deletion in flex structs, stronger type (actually checks whether fields are present or not), tests Georges Dupéron 2016-12-28 02:17:24 +0100
  • f353f10597 Fixed rendering issues with Scribble Georges Dupéron 2016-12-27 19:18:54 +0100
  • 5aae1459db . Georges Dupéron 2016-12-22 23:13:24 +0100
  • d7c41fabe6 . Georges Dupéron 2016-12-22 19:54:17 +0100
  • de81a122d3 . Georges Dupéron 2016-12-22 19:16:09 +0100
  • cf790f6600 Migrated some files from the old graph implementation Georges Dupéron 2016-12-22 18:58:57 +0100
  • 263a48521d Working draft of a flexible implementation of (with tagged-instance [field val] …) Georges Dupéron 2016-12-22 18:57:59 +0100
  • 72873d5d26 Old mindmap files Georges Dupéron 2016-12-16 17:34:25 +0100
  • 7bc0b80356 notes Georges Dupéron 2016-12-16 17:34:06 +0100
  • 60f8915c59 Changes to mindmap Georges Dupéron 2016-12-16 17:33:43 +0100
  • 609b658d96 Changes to mindmap Georges Dupéron 2016-12-16 17:33:39 +0100
  • 3458175b0c Cleanup Georges Dupéron 2016-11-10 17:57:12 +0100
  • 4b9d7cba22 Attempt to make it work without metafunctions, but I think it's going to be difficult to use Georges Dupéron 2016-11-10 17:37:16 +0100
  • a103d48aaf Used backport-template-pr1514 Georges Dupéron 2016-11-10 17:45:15 +0100