Commit Graph

98 Commits

Author SHA1 Message Date
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
Patrick Stevens
7c636b61a7 Implement Ldelem etc (#72) 2025-06-27 13:28:38 +00:00
Patrick Stevens
4352bfa218 Split binary ops into another file (#71) 2025-06-27 11:19:14 +00:00
Patrick Stevens
477cb9b3fb Delete spare files (#70) 2025-06-27 11:02:18 +00:00
Patrick Stevens
c859f88f52 Rejig test harness (#68) 2025-06-27 10:54:00 +00:00
Patrick Stevens
5cf0789439 Bump flake, add claude-code (#66) 2025-06-25 23:40:20 +01:00
Patrick Stevens
19ec9f8670 Uncomment a bit of a test (#64) 2025-06-22 19:36:47 +01:00
Patrick Stevens
91f5376e8a Ldtoken (for types) (#49) 2025-06-21 22:22:29 +01:00
Patrick Stevens
8747dc4bd5 Split out some static methods (#63) 2025-06-21 17:43:35 +00:00
Patrick Stevens
c747d6eb3a Centralise the Ldind logic (#61) 2025-06-21 12:53:23 +00:00
Patrick Stevens
f9e03f4340 Implement custom delegate calling (#60) 2025-06-20 15:45:43 +00:00
Patrick Stevens
c620152fb1 Finish initialising class of the main method before execution (#59) 2025-06-20 13:39:06 +00:00
Patrick Stevens
5a7cf11a5f Fix argument ordering bug (#58) 2025-06-20 12:40:45 +01:00
Patrick Stevens
71b12b5684 Type-annotate a field (#57) 2025-06-18 23:43:38 +00:00
Patrick Stevens
53929192f4 Avoid loading types during main method bootstrap (#56) 2025-06-18 23:41:01 +00:00
Patrick Stevens
1ac5f01a3c Make isinst more powerful (#55) 2025-06-15 21:40:53 +01:00
Patrick Stevens
a85bfd93b6 Recognise JIT intrinsics (#54) 2025-06-15 20:38:18 +00:00
Patrick Stevens
2c249edfc7 Track addresses of arguments (#53) 2025-06-15 21:34:30 +01:00
Patrick Stevens
3b1f916743 Reentrant locking (#51) 2025-06-15 21:28:56 +01:00
Patrick Stevens
8b49b190ea Another ToString (#52) 2025-06-15 20:25:51 +00:00
Patrick Stevens
4be7317c22 Delegates (#50) 2025-06-15 18:15:58 +00:00
Patrick Stevens
a0ee1f9713 Add method generics to type resolution (#48) 2025-06-15 17:42:37 +00:00
Patrick Stevens
edbf3b71e5 More ToString (#46) 2025-06-15 15:54:57 +00:00
Patrick Stevens
f3565fe8b5 Resolve more types during startup (#47) 2025-06-15 16:52:30 +01:00
Patrick Stevens
3181e24817 Add more ToStrings (#44) 2025-06-15 14:56:48 +00:00