Commit Graph

  • 4865c16f9d Migrate to slnx (#131) main Patrick Stevens 2025-11-30 11:46:19 +00:00
  • 81abd6dca2 Bump to net10 net10 Smaug123 2025-09-28 20:30:25 +01:00
  • 08a4497ebf Recognise more exceptions (#129) Patrick Stevens 2025-09-06 16:32:26 +01:00
  • fc62651d55 Add some more tests (#128) Patrick Stevens 2025-08-31 08:32:47 +01:00
  • 2e9fdbed48 Make it much harder to omit tests (#127) Patrick Stevens 2025-08-30 23:25:41 +01:00
  • fb5c4a6313 Progress towards advanced struct layout (#126) Patrick Stevens 2025-08-30 20:07:05 +01:00
  • 95987e592c Upgrade flake (#125) Patrick Stevens 2025-08-30 17:05:57 +01:00
  • 0e31d74586 Implement Ldobj and Box for reference types (#124) Patrick Stevens 2025-08-30 16:36:26 +01:00
  • 8112b122fb Compute byte form for CliType where necessary (#123) Patrick Stevens 2025-08-30 00:19:29 +01:00
  • 5173805562 Concretize all base class types eagerly (#122) Patrick Stevens 2025-08-29 18:57:19 +01:00
  • cb5d76f059 Prepare for overlapping struct field handling (#121) Patrick Stevens 2025-08-29 18:27:34 +01:00
  • 5e7bd969ba Convert correctness bug in overlapping fields into a failwith (#120) Patrick Stevens 2025-08-29 09:45:23 +01:00
  • 07fabfff65 Implement sizeof completely (#119) Patrick Stevens 2025-08-28 00:46:50 +01:00
  • 655ba4400a Centralise field handling in structs (#118) Patrick Stevens 2025-08-27 19:49:50 +01:00
  • c58c8ce678 Progress towards the GenericEdgeCases test (#96) Patrick Stevens 2025-08-25 12:27:14 +01:00
  • 239ae0f0cd Implement dereferencing more (#117) Patrick Stevens 2025-08-24 20:44:18 +01:00
  • 4de0dbd816 Add another test and put real-version first (#116) Patrick Stevens 2025-08-24 20:38:43 +01:00
  • 91aff34d1e Fix a TODO (#115) Patrick Stevens 2025-08-24 20:27:38 +01:00
  • f9e186ba8f Initobj (#114) Patrick Stevens 2025-08-24 20:23:50 +01:00
  • 622d0782ae Add field pointer handle (#113) Patrick Stevens 2025-08-24 10:44:57 +01:00
  • 3e4b0a7b7e Plumb through field offset info (#112) Patrick Stevens 2025-08-24 10:05:31 +01:00
  • 5f35c7a7cd ConcreteChar matcher (#111) Patrick Stevens 2025-08-24 09:13:06 +01:00
  • 9afc7efea1 Interface dispatch (#100) Patrick Stevens 2025-08-23 22:43:57 +01:00
  • 2190f148e1 Test for interface dispatch (#109) Patrick Stevens 2025-08-23 18:50:07 +01:00
  • e2e3d5c3bf Tidy up a bit (#108) Patrick Stevens 2025-08-23 18:41:12 +01:00
  • 92f22cff42 Plumb generic metadata through (#107) Patrick Stevens 2025-08-23 15:18:05 +01:00
  • 3bdfeaf8a1 Delete spare Program.fs (#106) Patrick Stevens 2025-08-22 20:20:54 +01:00
  • 5c14baec9f Store interface implementations (#105) Patrick Stevens 2025-08-22 20:17:39 +01:00
  • 174e415c70 Add constraints to generics (#104) Patrick Stevens 2025-08-22 20:14:19 +01:00
  • a531531aef More concrete active patterns (#103) Patrick Stevens 2025-08-22 20:11:02 +01:00
  • 4c64dd7eb5 Implement Bne_un_s (#102) Patrick Stevens 2025-08-22 14:37:56 +01:00
  • cfd6716616 Switch back to NUnit (#101) Patrick Stevens 2025-08-22 14:34:36 +01:00
  • d711d6fff5 Check types of JIT calls (#97) Patrick Stevens 2025-08-10 23:32:23 +01:00
  • 6dbe6614d5 Remove local variable checks in tests (#98) Patrick Stevens 2025-08-10 23:29:02 +01:00
  • d8b7e84f6c Implement bgt_s (#95) Patrick Stevens 2025-07-05 23:32:12 +01:00
  • 3af1f2cc97 Implement Ldtoken for fields (#94) Patrick Stevens 2025-07-05 22:21:58 +01:00
  • 56d1cf63d6 Remove weird duplicate ConcreteType thing (#93) Patrick Stevens 2025-07-04 19:43:45 +01:00
  • de1eefb436 Implement Sizeof (#92) Patrick Stevens 2025-07-04 19:08:56 +01:00
  • 30b8ec990f Split up IlMachineState (#91) Patrick Stevens 2025-07-03 08:51:48 +01:00
  • 2efe9803da Switch to Expecto (#89) Patrick Stevens 2025-07-03 00:14:29 +01:00
  • 56fbf7e398 Expand exception logic expand-exceptions-2 Smaug123 2025-07-02 22:50:34 +01:00
  • 4816fcaef2 Merge branch 'main' into castclass castclass Smaug123 2025-07-02 22:45:12 +01:00
  • f39e7c07bf Concrete types - lots of tech debt in here (#79) Patrick Stevens 2025-07-02 22:41:13 +01:00
  • ad8e625678 Fix stelem of nested generic (#86) Patrick Stevens 2025-07-02 22:22:16 +01:00
  • 0fc4335760 Add another generic for MethodInfo (#85) Patrick Stevens 2025-07-02 18:49:24 +01:00
  • c79f775ce4 Add a type parameter on FieldInfo to represent signature (#84) Patrick Stevens 2025-07-02 18:41:28 +01:00
  • b5f4ed6dec Add more comments (#83) Patrick Stevens 2025-07-02 18:29:54 +01:00
  • af3e4f20f2 Implement shl, shr, or (#82) Patrick Stevens 2025-07-02 17:42:36 +01:00
  • 3d5667ebba Implement another conversion (#81) Patrick Stevens 2025-07-01 22:55:18 +01:00
  • 4dbb737648 Module method IsJITIntrinsic (#77) Patrick Stevens 2025-06-30 22:21:00 +01:00
  • ddd6374c72 More corelib (#76) Patrick Stevens 2025-06-30 22:15:33 +01:00
  • a7150e3294 Oh god there is so much runtime-types Smaug123 2025-06-29 21:07:28 +01:00
  • ab4c251c97 WIP Smaug123 2025-06-29 20:39:59 +01:00
  • cbbde0c4ba Merge branch 'main' into runtime-types Smaug123 2025-06-27 21:43:08 +01:00
  • 711bfd5aad Add namespace info to types (#75) Patrick Stevens 2025-06-27 21:41:53 +01:00
  • 8aa33b5606 Fully realise runtime types Smaug123 2025-06-27 21:24:13 +01:00
  • 84df17295b Implement another comparison case (#74) Patrick Stevens 2025-06-27 19:49:20 +01:00
  • fcc778d7aa Fix one test Smaug123 2025-06-27 19:48:08 +01:00
  • 9905bbf436 Merge branch 'main' into castclass Smaug123 2025-06-27 15:10:04 +01:00
  • 641040509f Test float comparisons (#73) Patrick Stevens 2025-06-27 15:06:01 +01:00
  • e3b797705d Merge branch 'main' into castclass Smaug123 2025-06-27 15:04:28 +01:00
  • 7c636b61a7 Implement Ldelem etc (#72) Patrick Stevens 2025-06-27 14:28:38 +01:00
  • 4352bfa218 Split binary ops into another file (#71) Patrick Stevens 2025-06-27 12:19:14 +01:00
  • 277f303431 WIP Smaug123 2025-06-27 12:09:15 +01:00
  • c049313dd9 Merge branch 'main' into castclass Smaug123 2025-06-27 12:02:33 +01:00
  • 477cb9b3fb Delete spare files (#70) Patrick Stevens 2025-06-27 12:02:18 +01:00
  • ca36bb3eba Merge branch 'main' into castclass Smaug123 2025-06-27 11:56:26 +01:00
  • c859f88f52 Rejig test harness (#68) Patrick Stevens 2025-06-27 11:54:00 +01:00
  • 1ebcd0b4f5 Implement Castclass Smaug123 2025-06-27 11:41:41 +01:00
  • 5cf0789439 Bump flake, add claude-code (#66) Patrick Stevens 2025-06-25 23:40:20 +01:00
  • f404700b2b Merge branch 'main' into more-ldind more-ldind Smaug123 2025-06-22 19:37:00 +01:00
  • 19ec9f8670 Uncomment a bit of a test (#64) Patrick Stevens 2025-06-22 19:36:47 +01:00
  • e6d56510fd Uncomment a bit of a test Smaug123 2025-06-22 19:28:42 +01:00
  • 91f5376e8a Ldtoken (for types) (#49) Patrick Stevens 2025-06-21 22:22:29 +01:00
  • 8747dc4bd5 Split out some static methods (#63) Patrick Stevens 2025-06-21 18:43:35 +01:00
  • c747d6eb3a Centralise the Ldind logic (#61) Patrick Stevens 2025-06-21 13:53:23 +01:00
  • f9e03f4340 Implement custom delegate calling (#60) Patrick Stevens 2025-06-20 16:45:43 +01:00
  • c620152fb1 Finish initialising class of the main method before execution (#59) Patrick Stevens 2025-06-20 14:39:06 +01:00
  • 5a7cf11a5f Fix argument ordering bug (#58) Patrick Stevens 2025-06-20 12:40:45 +01:00
  • 71b12b5684 Type-annotate a field (#57) Patrick Stevens 2025-06-19 00:43:38 +01:00
  • 53929192f4 Avoid loading types during main method bootstrap (#56) Patrick Stevens 2025-06-19 00:41:01 +01:00
  • 1ac5f01a3c Make isinst more powerful (#55) Patrick Stevens 2025-06-15 21:40:53 +01:00
  • a85bfd93b6 Recognise JIT intrinsics (#54) Patrick Stevens 2025-06-15 21:38:18 +01:00
  • 2c249edfc7 Track addresses of arguments (#53) Patrick Stevens 2025-06-15 21:34:30 +01:00
  • 3b1f916743 Reentrant locking (#51) Patrick Stevens 2025-06-15 21:28:56 +01:00
  • 8b49b190ea Another ToString (#52) Patrick Stevens 2025-06-15 21:25:51 +01:00
  • 4be7317c22 Delegates (#50) Patrick Stevens 2025-06-15 19:15:58 +01:00
  • a0ee1f9713 Add method generics to type resolution (#48) Patrick Stevens 2025-06-15 18:42:37 +01:00
  • edbf3b71e5 More ToString (#46) Patrick Stevens 2025-06-15 16:54:57 +01:00
  • f3565fe8b5 Resolve more types during startup (#47) Patrick Stevens 2025-06-15 16:52:30 +01:00
  • 3181e24817 Add more ToStrings (#44) Patrick Stevens 2025-06-15 15:56:48 +01:00
  • 30925a2bc6 Recognise runtime types (#45) Patrick Stevens 2025-06-15 15:54:21 +01:00
  • 89e6e1b4e8 Add name to concrete type (#43) Patrick Stevens 2025-06-15 13:34:18 +01:00
  • cd293bfa22 Recognise delegates (#42) Patrick Stevens 2025-06-04 21:48:24 +01:00
  • 19eb7c245d Split WoofWare.PawPrint.Domain into a new subtree (#41) Patrick Stevens 2025-06-04 20:13:16 +01:00
  • 15bae6f3aa More progress towards ResizeArray (#40) Patrick Stevens 2025-06-04 19:53:34 +01:00
  • fbae38acee Better generics handling (#38) Patrick Stevens 2025-06-02 22:06:53 +01:00
  • 3ac37776df Plumb method generics through zeroOf too (#37) Patrick Stevens 2025-06-02 19:47:03 +01:00
  • 2b350986d3 Store ConcreteType in FieldInfo (#36) Patrick Stevens 2025-06-02 09:12:18 +01:00
  • efd94e5cea Implement the lock keyword (#35) Patrick Stevens 2025-06-02 00:00:52 +01:00