Joshua Reagan 2f8d0d6d34 fix core nest mismatch ... There is a variance bug such that the following cast is allowed to go through: ``` > =a 12 > =core1 ^? |=(b=@ a) > =a "hello" > =core2 ^? |=(b=@ a) > ^+(core1 core2) ``` This should not be! The code in `hoon.hoon` is correct -- it turns out that the jet is wrong however. It falsely returns "yes" for a nest in which two cores have identical code. Obviously that's not enough to guarantee sameness of type. So I've removed the offending lines.		2018-11-30 22:11:08 -06:00
..
ap.c	Merge branch 'release-candidate' into hashboard	2018-10-02 18:25:41 -04:00
cell.c	Fix alignments in jets/f	2015-08-28 11:34:36 -05:00
comb.c	Fix alignments in jets/f	2015-08-28 11:34:36 -05:00
cons.c	Eliminate cons optimization.	2018-08-20 15:31:43 -07:00
core.c	Old help totally cleaned out.	2018-05-24 15:40:28 -07:00
face.c	Fully transitioned to correct %face.	2016-02-02 18:45:11 -08:00
fine.c	Fix alignments in jets/f	2015-08-28 11:34:36 -05:00
fitz.c	Fix alignments in jets/f	2015-08-28 11:34:36 -05:00
flan.c	Initial draft of modern fishing.	2018-07-09 15:37:27 -07:00
flip.c	Fix alignments in jets/f	2015-08-28 11:34:36 -05:00
flor.c	Initial draft of modern fishing.	2018-07-09 15:37:27 -07:00
fork.c	Make ++fork actually build set-shaped things.	2016-01-24 14:05:55 -08:00
hike.c	disable hike jet, kill errant and unneccessary mutate-context-sample opcodes	2018-06-11 15:04:49 -07:00
hint.c	New hinting system.	2018-05-02 15:11:06 -07:00
look.c	Adjusted %brcn to support core name.	2018-05-20 12:34:38 -07:00
loot.c	Old help totally cleaned out.	2018-05-24 15:40:28 -07:00
slot.c	Fix alignments in jets/f	2015-08-28 11:34:36 -05:00
type.c	Old help totally cleaned out.	2018-05-24 15:40:28 -07:00
ut_buss.c	hook caching in, kink weirdness fixed	2018-04-26 16:36:29 -07:00
ut_conk.c	Adjusted %brcn to support core name.	2018-05-20 12:34:38 -07:00
ut_crop.c	Old help totally cleaned out.	2018-05-24 15:40:28 -07:00
ut_find.c	variance fix: calling lead, zinc gates	2018-11-29 12:42:47 -06:00
ut_fire.c	variance fix: calling lead, zinc gates	2018-11-29 12:42:47 -06:00
ut_fish.c	Old help totally cleaned out.	2018-05-24 15:40:28 -07:00
ut_fuse.c	Old help totally cleaned out.	2018-05-24 15:40:28 -07:00
ut_gain.c	hook caching in, kink weirdness fixed	2018-04-26 16:36:29 -07:00
ut_lose.c	hook caching in, kink weirdness fixed	2018-04-26 16:36:29 -07:00
ut_mint.c	Bug fix for metal-wrapping runes	2018-10-31 14:02:17 -05:00
ut_mull.c	5. removes %13 and %14 (nock 4K)	2018-10-10 19:26:50 -04:00
ut_nest.c	fix core nest mismatch	2018-11-30 22:11:08 -06:00
ut_peek.c	remove superfluous reference decrements	2018-11-29 18:52:47 -06:00
ut_peel.c	Some missing files.	2017-09-27 17:47:26 -07:00
ut_play.c	zinc gate casting bug	2018-10-31 16:40:37 -05:00
ut_repo.c	Renamed %form to %hint.	2018-04-24 22:29:31 -07:00
ut_rest.c	Old help totally cleaned out.	2018-05-24 15:40:28 -07:00
ut_tack.c	hook caching in, kink weirdness fixed	2018-04-26 16:36:29 -07:00
ut_toss.c	Remove 151, standardize on 143.	2017-09-27 17:40:12 -07:00
ut_wrap.c	converting iron and zinc cores to lead bug	2018-10-25 17:34:49 -07:00
ut.c	hook caching in, kink weirdness fixed	2018-04-26 16:36:29 -07:00