122 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Patrick Stevens	08a4497ebf	Recognise more exceptions (#129)	2025-09-06 16:32:26 +01:00
Patrick Stevens	fc62651d55	Add some more tests (#128)	2025-08-31 07:32:47 +00:00
Patrick Stevens	2e9fdbed48	Make it much harder to omit tests (#127)	2025-08-30 22:25:41 +00:00
Patrick Stevens	fb5c4a6313	Progress towards advanced struct layout (#126)	2025-08-30 19:07:05 +00:00
Patrick Stevens	95987e592c	Upgrade flake (#125)	2025-08-30 17:05:57 +01:00
Patrick Stevens	0e31d74586	Implement Ldobj and Box for reference types (#124)	2025-08-30 15:36:26 +00:00
Patrick Stevens	8112b122fb	Compute byte form for CliType where necessary (#123)	2025-08-29 23:19:29 +00:00
Patrick Stevens	5173805562	Concretize all base class types eagerly (#122)	2025-08-29 17:57:19 +00:00
Patrick Stevens	cb5d76f059	Prepare for overlapping struct field handling (#121)	2025-08-29 17:27:34 +00:00
Patrick Stevens	5e7bd969ba	Convert correctness bug in overlapping fields into a failwith (#120)	2025-08-29 08:45:23 +00:00
Patrick Stevens	07fabfff65	Implement sizeof completely (#119)	2025-08-27 23:46:50 +00:00
Patrick Stevens	655ba4400a	Centralise field handling in structs (#118)	2025-08-27 19:49:50 +01:00
Patrick Stevens	c58c8ce678	Progress towards the GenericEdgeCases test (#96)	2025-08-25 11:27:14 +00:00
Patrick Stevens	239ae0f0cd	Implement dereferencing more (#117)	2025-08-24 19:44:18 +00:00
Patrick Stevens	4de0dbd816	Add another test and put real-version first (#116)	2025-08-24 19:38:43 +00:00
Patrick Stevens	91aff34d1e	Fix a TODO (#115)	2025-08-24 19:27:38 +00:00
Patrick Stevens	f9e186ba8f	Initobj (#114)	2025-08-24 19:23:50 +00:00
Patrick Stevens	622d0782ae	Add field pointer handle (#113)	2025-08-24 09:44:57 +00:00
Patrick Stevens	3e4b0a7b7e	Plumb through field offset info (#112)	2025-08-24 09:05:31 +00:00
Patrick Stevens	5f35c7a7cd	ConcreteChar matcher (#111)	2025-08-24 08:13:06 +00:00
Patrick Stevens	9afc7efea1	Interface dispatch (#100)	2025-08-23 21:43:57 +00:00
Patrick Stevens	2190f148e1	Test for interface dispatch (#109)	2025-08-23 17:50:07 +00:00
Patrick Stevens	e2e3d5c3bf	Tidy up a bit (#108)	2025-08-23 17:41:12 +00:00
Patrick Stevens	92f22cff42	Plumb generic metadata through (#107)	2025-08-23 15:18:05 +01:00
Patrick Stevens	3bdfeaf8a1	Delete spare Program.fs (#106)	2025-08-22 19:20:54 +00:00
Patrick Stevens	5c14baec9f	Store interface implementations (#105)	2025-08-22 19:17:39 +00:00
Patrick Stevens	174e415c70	Add constraints to generics (#104)	2025-08-22 19:14:19 +00:00
Patrick Stevens	a531531aef	More concrete active patterns (#103)	2025-08-22 19:11:02 +00:00
Patrick Stevens	4c64dd7eb5	Implement Bne_un_s (#102)	2025-08-22 13:37:56 +00:00
Patrick Stevens	cfd6716616	Switch back to NUnit (#101)	2025-08-22 13:34:36 +00:00
Patrick Stevens	d711d6fff5	Check types of JIT calls (#97)	2025-08-10 22:32:23 +00:00
Patrick Stevens	6dbe6614d5	Remove local variable checks in tests (#98)	2025-08-10 22:29:02 +00:00
Patrick Stevens	d8b7e84f6c	Implement bgt_s (#95)	2025-07-05 23:32:12 +01:00
Patrick Stevens	3af1f2cc97	Implement Ldtoken for fields (#94)	2025-07-05 22:21:58 +01:00
Patrick Stevens	56d1cf63d6	Remove weird duplicate ConcreteType thing (#93)	2025-07-04 18:43:45 +00:00
Patrick Stevens	de1eefb436	Implement Sizeof (#92)	2025-07-04 18:08:56 +00:00
Patrick Stevens	30b8ec990f	Split up IlMachineState (#91)	2025-07-03 08:51:48 +01:00
Patrick Stevens	2efe9803da	Switch to Expecto (#89)	2025-07-02 23:14:29 +00:00
Patrick Stevens	f39e7c07bf	Concrete types - lots of tech debt in here (#79)	2025-07-02 22:41:13 +01:00
Patrick Stevens	ad8e625678	Fix stelem of nested generic (#86)	2025-07-02 21:22:16 +00:00
Patrick Stevens	0fc4335760	Add another generic for MethodInfo (#85)	2025-07-02 17:49:24 +00:00
Patrick Stevens	c79f775ce4	Add a type parameter on FieldInfo to represent signature (#84)	2025-07-02 17:41:28 +00:00
Patrick Stevens	b5f4ed6dec	Add more comments (#83)	2025-07-02 17:29:54 +00:00
Patrick Stevens	af3e4f20f2	Implement shl, shr, or (#82)	2025-07-02 16:42:36 +00:00
Patrick Stevens	3d5667ebba	Implement another conversion (#81)	2025-07-01 21:55:18 +00:00
Patrick Stevens	4dbb737648	Module method IsJITIntrinsic (#77)	2025-06-30 22:21:00 +01:00
Patrick Stevens	ddd6374c72	More corelib (#76)	2025-06-30 22:15:33 +01:00
Patrick Stevens	711bfd5aad	Add namespace info to types (#75)	2025-06-27 21:41:53 +01:00
Patrick Stevens	84df17295b	Implement another comparison case (#74)	2025-06-27 18:49:20 +00:00
Patrick Stevens	641040509f	Test float comparisons (#73)	2025-06-27 14:06:01 +00:00