jbwdevries/phasm
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Commit Graph

  • d1854d7a38 Cleanup to type5 solver master Johan B.W. de Vries 2025-08-30 14:45:12 +02:00
  • 3d6d279408 Implements the IO type constructor and Monad type class implement-io-typed-functions Johan B.W. de Vries 2025-08-23 15:33:23 +02:00
  • 71691d68e9 Merge pull request 'Removes the weird second step unify' (#9) from rework-unify-to-be-a-normal-constraint into master jbwdevries 2025-08-24 14:07:36 +00:00
  • 7df9d5af12 Removes the weird second step unify Johan B.W. de Vries 2025-08-23 16:22:51 +02:00
  • 3d504e3d79 Merge pull request 'Replaces type3 with type5' (#8) from reworking-type-unification into master jbwdevries 2025-08-21 17:29:28 +00:00
  • 6a1f4fc010 Replaces type3 with type5 Johan B.W. de Vries 2025-07-12 11:31:05 +02:00
  • 1a3bc19dce Fix linting issues Johan B.W. de Vries 2025-06-07 14:38:54 +02:00
  • 544bbfac72 Updates the README for clarity Johan B.W. de Vries 2025-06-07 14:00:03 +02:00
  • 8a1a6af3e7 Reworked the examples to be more welcoming Johan B.W. de Vries 2025-06-05 19:45:54 +02:00
  • 3cb4860973 Subscriptable is now less hardcoded Johan B.W. de Vries 2025-06-02 19:01:20 +02:00
  • 6f40276a9c Fix: Subscript all dynamic arrays Johan B.W. de Vries 2025-06-02 18:06:12 +02:00
  • 38294497cb Moves the prelude to runtime Johan B.W. de Vries 2025-05-26 19:25:14 +02:00
  • d97be81828 Optimise: Remove unused functions Johan B.W. de Vries 2025-05-25 16:39:25 +02:00
  • 84e7c42ea4 Implements u16 / i16 support Johan B.W. de Vries 2025-05-25 15:31:23 +02:00
  • d017ebe096 Support tail calls Johan B.W. de Vries 2025-05-25 14:42:31 +02:00
  • 2c2a96c8a7 Added some more missing test cases for promotable Johan B.W. de Vries 2025-05-25 14:21:25 +02:00
  • b670bb02ad Exposes Wasm's convert and trunc(ate) function Johan B.W. de Vries 2025-05-25 14:13:46 +02:00
  • 56ab88db2c Exposes Wasm's reinterpret function Johan B.W. de Vries 2025-05-25 13:45:18 +02:00
  • cfdcaa230d Added a missing type check test Johan B.W. de Vries 2025-05-21 19:22:45 +02:00
  • fdaa680572 Cleanup todo Johan B.W. de Vries 2025-05-21 19:01:15 +02:00
  • 2ff532467a Idea: Allow functions are return argument allow-functions-as-return-argument Johan B.W. de Vries 2025-05-21 18:50:45 +02:00
  • b48260ccfa Removes the special casing for foldl Johan B.W. de Vries 2025-04-27 12:54:34 +02:00
  • 46b06dbcf1 Cleanup: TYPE_INFO_MAP Johan B.W. de Vries 2025-05-19 21:04:13 +02:00
  • 83186cce78 Reworks bytes into dynamic array Johan B.W. de Vries 2025-05-18 15:37:13 +02:00
  • a72bd60de2 Adds functions as passable values Johan B.W. de Vries 2025-05-17 19:43:52 +02:00
  • 99d2b22336 Moved the typeclasse tests. Fix typeclass name. Johan B.W. de Vries 2025-05-17 18:42:27 +02:00
  • ac4b46bbe7 Fix: You could assign structs to each other Johan B.W. de Vries 2025-05-12 19:40:41 +02:00
  • 67af569448 Cleanup CanBeSubscriptedConstraint Johan B.W. de Vries 2025-05-12 19:20:50 +02:00
  • df5c1911bf Cleans up imports Johan B.W. de Vries 2025-05-12 18:51:19 +02:00
  • b5f0fda133 Implements sum for Foldable types Johan B.W. de Vries 2025-05-05 14:09:38 +02:00
  • 6c627bca01 Reworks function lookup Johan B.W. de Vries 2025-05-09 17:53:04 +02:00
  • 78c98b1e61 Fix: Type error Johan B.W. de Vries 2025-05-10 16:51:38 +02:00
  • f8d107f4fa Replaces did_construct with a proper router Johan B.W. de Vries 2025-05-05 14:09:38 +02:00
  • 6b66935c67 Chore: Cleanup type checks Johan B.W. de Vries 2025-05-07 19:07:55 +02:00
  • d9a08cf0f7 Chore: Placeholders are now internal Johan B.W. de Vries 2025-05-05 17:33:21 +02:00
  • f6cb1a8c1d Adds a FIXME for accessing non-struct members Johan B.W. de Vries 2025-05-05 12:35:49 +02:00
  • 45c38d5f88 Fix: function comment that's no longer true Johan B.W. de Vries 2025-05-05 12:26:15 +02:00
  • 42cb38d67d Clean up todo list Johan B.W. de Vries 2025-05-02 21:29:24 +02:00
  • bee0c845a8 Removes UnaryOp Johan B.W. de Vries 2025-05-02 21:12:25 +02:00
  • 44b95af4ba Removes the cast / u32 hacky way of casting. Johan B.W. de Vries 2025-05-02 21:12:05 +02:00
  • 1da1adac9f Implements Extendable and Promotable Johan B.W. de Vries 2025-05-02 21:05:07 +02:00
  • a2e1dfd799 Reworks type class instantiation Johan B.W. de Vries 2025-04-27 17:45:13 +02:00
  • 11fde4cb9e Add missing fix for generator Johan B.W. de Vries 2025-04-27 15:30:17 +02:00
  • c8009403c4 Separates out TypeVariable and constraints Johan B.W. de Vries 2025-04-27 15:28:08 +02:00
  • d3e38b96b2 Removed the len special casing Johan B.W. de Vries 2025-04-27 12:37:17 +02:00
  • 292c9548fb Removes some hardcoded references to prelude Johan B.W. de Vries 2025-04-27 12:10:27 +02:00
  • faaf7912b1 Various cleanup to type system Johan B.W. de Vries 2025-04-21 12:32:47 +02:00
  • d6b483581b Merge pull request 'Changes AppliedType to TypeConstructor' (#7) from replace-applied-type-by-type-constructors into master jbwdevries 2025-04-21 09:22:35 +00:00
  • 234bfaa8df Changes AppliedType to TypeConstructor Johan B.W. de Vries 2025-04-11 15:50:52 +02:00
  • 87866cff55 More ideas Johan B.W. de Vries 2025-04-09 16:02:47 +02:00
  • 20c507a9ec Adds the Bits type class Johan B.W. de Vries 2025-04-09 15:40:20 +02:00
  • 99e407c3c0 Adds arithmetic shift shift Johan B.W. de Vries 2025-04-09 14:23:51 +02:00
  • da381e4a48 Made Integral use Python's operators Johan B.W. de Vries 2025-04-09 13:16:50 +02:00
  • 94c8f9388c Implements the Ord type class Johan B.W. de Vries 2025-04-09 12:40:15 +02:00
  • 46dbc90475 Implements ceil, floor, trunc, nearest Johan B.W. de Vries 2025-04-06 16:38:57 +02:00
  • 9bc8d94ffd Implements != Johan B.W. de Vries 2025-04-06 16:20:01 +02:00
  • 7544055a94 Split Num into NatNum and IntNum Johan B.W. de Vries 2025-04-06 16:12:36 +02:00
  • 74ab3b47fd Adds Floating type class with sqrt as method Johan B.W. de Vries 2025-04-06 14:02:45 +02:00
  • 111cb0f702 Review Johan B.W. de Vries 2025-04-06 13:37:12 +02:00
  • be28450658 Converted fractional, fixed integral Johan B.W. de Vries 2023-11-16 16:08:26 +01:00
  • 4001b086db Cleanup, got rid of OPERATOR_MAP Johan B.W. de Vries 2023-11-16 15:48:53 +01:00
  • 19a29b7327 Migrated Num Johan B.W. de Vries 2023-11-16 15:18:55 +01:00
  • ffd11c4f72 Started on a type class system Johan B.W. de Vries 2023-11-16 15:10:20 +01:00
  • 5d9ef0e276 Code review Johan B.W. de Vries 2025-04-06 12:58:20 +02:00
  • 521171540b Properly implemented test_crc32 Johan B.W. de Vries 2025-04-05 16:41:46 +02:00
  • 3e916a242e Minor fixes Johan B.W. de Vries 2025-04-05 16:19:26 +02:00
  • 96f52a274c Minor cleanup Johan B.W. de Vries 2025-04-05 16:02:55 +02:00
  • 5c537f712e Project update Johan B.W. de Vries 2025-04-05 15:43:49 +02:00
  • 97b61e3ee1 Test generation framework with typing improvements Johan B.W. de Vries 2023-11-11 12:02:37 +01:00
  • fd3939a680 Feat: Use struct in tuple Johan B.W. de Vries 2023-11-10 15:35:16 +01:00
  • 16ec664cb6 Feature: Tuples with tuples in constants Johan B.W. de Vries 2023-11-10 15:23:10 +01:00
  • de92504394 Cleanup: DataBlock as part of the constants Johan B.W. de Vries 2023-11-10 15:02:07 +01:00
  • 1536ea0bbb Enable use of bytes in constants Johan B.W. de Vries 2023-11-10 14:53:48 +01:00
  • 20d177e2c5 Add partial tuple of tuple support Johan B.W. de Vries 2023-11-10 14:00:29 +01:00
  • a85129254d Adds partial additional debugging info Johan B.W. de Vries 2023-11-10 12:52:14 +01:00
  • 0aa8207987 Import service names Johan B.W. de Vries 2023-04-11 10:25:30 +02:00
  • cea236494f Bytes constants Johan B.W. de Vries 2023-04-10 16:24:29 +02:00
  • 243d9e68f2 Starting on platform runtime phasm-platform Johan B.W. de Vries 2023-05-06 15:18:24 +02:00
  • d1b593d4e5 Import service names Johan B.W. de Vries 2023-04-11 10:25:30 +02:00
  • 7ec273a732 Type fix Johan B.W. de Vries 2023-04-11 09:52:27 +02:00
  • 959b643542 Bytes constants Johan B.W. de Vries 2023-04-10 16:24:29 +02:00
  • a044e3ef0c Ideas for the IO Monad Johan B.W. de Vries 2023-04-10 15:24:56 +02:00
  • e6610a6e96 Adds a todo note Johan B.W. de Vries 2023-01-29 12:42:38 +01:00
  • 205897101f Adds a typing system to Phasm Johan B.W. de Vries 2022-09-16 14:42:40 +02:00
  • c02afb05f4 Merge pull request 'Speedup foldl over bytes' (#2) from optimize_fold_bytes_inline_subscript_bytes_call into master jbwdevries 2022-08-21 13:39:44 +00:00
  • 5ad5a9c064 Speedup foldl over bytes Johan B.W. de Vries 2022-08-21 15:37:20 +02:00
  • 2970093c8f Merge pull request 'MVP' (#1) from idea_crc32 into master jbwdevries 2022-08-21 12:59:20 +00:00
  • f683961af8 Timing results Johan B.W. de Vries 2022-08-21 14:57:43 +02:00
  • 7a8b1baa25 Some repo cleanup Johan B.W. de Vries 2022-08-20 18:14:28 +02:00
  • 98167cfdec Made tests more consistent. Implemented CRC32 test. Johan B.W. de Vries 2022-08-20 18:00:20 +02:00
  • e589223dbb Static Arrays. CRC32 compiles \o/ Johan B.W. de Vries 2022-08-18 20:53:21 +02:00
  • c4ee2ab3dc Memory initialization is now done during compilation Johan B.W. de Vries 2022-08-17 21:07:33 +02:00
  • bac17f47eb ModuleConstant definitions and references Johan B.W. de Vries 2022-08-16 21:25:03 +02:00
  • d051160244 Bit shifting Johan B.W. de Vries 2022-08-16 20:55:20 +02:00
  • 75d7e05519 First uint cast, more options for folding Johan B.W. de Vries 2022-08-16 20:38:41 +02:00
  • ad6ca71c53 More bitwise ops. Steps towards CRC32 Johan B.W. de Vries 2022-08-12 21:50:42 +02:00
  • b6fb0d45b6 Implements foldl Johan B.W. de Vries 2022-08-11 19:56:16 +02:00
  • 0cf8a246fe Reworked compiler so it uses WasmGenerator Johan B.W. de Vries 2022-08-10 20:51:01 +02:00
  • 451a8e9158 Removes the old ___new_reference___ allocator Johan B.W. de Vries 2022-08-09 20:42:02 +02:00
  • 4881cb6d4b Moved ___access_bytes_index___ to the right place Johan B.W. de Vries 2022-08-09 20:34:03 +02:00