Commit Graph

287 Commits

Author SHA1 Message Date
David Ungar
e42ee8116d Fix assertion 2019-06-04 21:04:36 -07:00
David Ungar
606ce7b8cb pattern fixes 2019-06-04 20:50:59 -07:00
David Ungar
94bd4a801a fmt 2019-06-04 18:11:35 -07:00
David Ungar
8ff4309580 WIP, unfmt 2019-06-04 17:14:32 -07:00
David Ungar
3f3f51c7b9 new pattern code 2019-06-04 14:36:52 -07:00
David Ungar
e90a809a22 Rm bogus 2019-06-04 11:54:16 -07:00
David Ungar
5c3bea52b1 Fixes 2019-06-04 11:01:41 -07:00
David Ungar
91c6de92db Pattern changes 2019-06-02 18:14:41 -07:00
David Ungar
8e729aa75e Fix 2019-06-02 16:27:27 -07:00
David Ungar
ab8b49a721 First stab dup detection at the source, unfmt 2019-06-02 15:51:04 -07:00
David Ungar
935587e541 Reject dups when deferring. 2019-06-02 14:28:47 -07:00
David Ungar
e86080f0fb Renamingings 2019-06-02 13:51:00 -07:00
David Ungar
d914ec2640 Reverse closure scope args in prep for dup detection 2019-06-02 11:59:40 -07:00
David Ungar
501b38d3a2 Fix 2019-06-02 10:18:53 -07:00
David Ungar
5043d56889 Don’t ignore implicit statements. 2019-06-02 09:28:20 -07:00
David Ungar
ce50e12cbe Fix name 2019-06-02 09:14:57 -07:00
David Ungar
32744e6f46 fix 2019-06-02 08:47:30 -07:00
David Ungar
99a36f1efa Don’t propagate lastAdopter 2019-06-01 21:40:31 -07:00
David Ungar
044f6f8956 Fix 2019-06-01 20:29:46 -07:00
David Ungar
e3d7fc38bc Fix 2019-05-31 21:40:08 -07:00
David Ungar
23bddf12b4 Format 2019-05-31 21:03:05 -07:00
David Ungar
005e259247 compiles, unfmt 2019-05-31 21:02:19 -07:00
David Ungar
e6012a4809 fixes 2019-05-31 13:56:29 -07:00
David Ungar
da8ab75de8 compiling more 2019-05-31 13:49:34 -07:00
David Ungar
2ad2bacec3 Format 2019-05-31 13:37:09 -07:00
David Ungar
11a9ee72b2 finished creation 2019-05-31 13:34:34 -07:00
David Ungar
9035ab85f5 WIP unfmt 2019-05-31 10:12:24 -07:00
David Ungar
40b0080c4c WIP createSubtree 2019-05-31 07:53:01 -07:00
David Ungar
2e7756c5c9 WP Redoing 2019-05-30 21:59:07 -07:00
David Ungar
5aa5809125 Minor cleanups 2019-05-30 09:28:59 -07:00
David Ungar
10affe2b3b Cosmetic fixes. 2019-05-28 15:46:32 -07:00
David Ungar
8814390225 ifndef NDEBUG nify 2019-05-28 14:40:10 -07:00
David Ungar
2b9480dd35 Format 2019-05-28 12:38:30 -07:00
David Ungar
36234c3cc8 function_ref 2019-05-28 12:37:49 -07:00
David Ungar
6942344ad4 Review cleanups. 2019-05-28 12:35:29 -07:00
David Ungar
3f820c374e Some review tweaks. 2019-05-28 11:12:12 -07:00
David Ungar
663760e3b7 ASTOOScope ontology 2019-05-28 10:48:22 -07:00