jbwdevries
0 Followers · 0 Following
  • Joined on 2022-08-20
Repositories
3
 Projects Packages Public Activity Starred Repositories
jbwdevries pushed to start-llvm-ir-target at jbwdevries/lang0 2026-02-01 11:49:22 +00:00
ac516d55a2 Implement and test strlen
jbwdevries pushed to start-llvm-ir-target at jbwdevries/lang0 2026-01-25 14:10:31 +00:00
68611b4df3 More work
49e1bf204f Adds backslash as a build in constant
5369c15e05 Adds intinc as a buildint function
a282292604 Adds strlen as a builtin function
Compare 4 commits »
jbwdevries pushed to start-llvm-ir-target at jbwdevries/lang0 2026-01-18 15:09:28 +00:00
1be24ef771 close, but no sigare
jbwdevries pushed to start-llvm-ir-target at jbwdevries/lang0 2026-01-18 14:05:28 +00:00
449a89d6b3 More work
jbwdevries pushed to start-llvm-ir-target at jbwdevries/lang0 2026-01-18 13:48:02 +00:00
c9029b1216 More work
jbwdevries pushed to start-llvm-ir-target at jbwdevries/lang0 2026-01-18 13:21:52 +00:00
1671ce2285 More testing
jbwdevries pushed to start-llvm-ir-target at jbwdevries/lang0 2026-01-18 12:11:23 +00:00
098ab080ca Updated llvm with other changes
jbwdevries pushed to master at jbwdevries/phasm 2025-08-30 12:45:17 +00:00
d1854d7a38 Cleanup to type5 solver
jbwdevries pushed to implement-io-typed-functions at jbwdevries/phasm 2025-08-24 14:09:28 +00:00
3d6d279408 Implements the IO type constructor and Monad type class
71691d68e9 Merge pull request 'Removes the weird second step unify' (#9) from rework-unify-to-be-a-normal-constraint into master
7df9d5af12 Removes the weird second step unify
Compare 3 commits »
jbwdevries deleted branch rework-unify-to-be-a-normal-constraint from jbwdevries/phasm 2025-08-24 14:08:07 +00:00
jbwdevries pushed to master at jbwdevries/phasm 2025-08-24 14:07:38 +00:00
71691d68e9 Merge pull request 'Removes the weird second step unify' (#9) from rework-unify-to-be-a-normal-constraint into master
7df9d5af12 Removes the weird second step unify
Compare 2 commits »
jbwdevries merged pull request jbwdevries/phasm#9 2025-08-24 14:07:37 +00:00
Removes the weird second step unify
jbwdevries created pull request jbwdevries/phasm#9 2025-08-24 14:07:27 +00:00
Removes the weird second step unify
jbwdevries pushed to rework-unify-to-be-a-normal-constraint at jbwdevries/phasm 2025-08-24 14:06:48 +00:00
7df9d5af12 Removes the weird second step unify
jbwdevries created branch rework-unify-to-be-a-normal-constraint in jbwdevries/phasm 2025-08-23 14:23:10 +00:00
jbwdevries pushed to rework-unify-to-be-a-normal-constraint at jbwdevries/phasm 2025-08-23 14:23:10 +00:00
439ed97636 Removes the weird second step unify
jbwdevries created branch implement-io-typed-functions in jbwdevries/phasm 2025-08-23 13:33:33 +00:00
jbwdevries pushed to implement-io-typed-functions at jbwdevries/phasm 2025-08-23 13:33:33 +00:00
a955d4fc31 Implements the IO type constructor and Monad type class
jbwdevries deleted branch reworking-type-unification from jbwdevries/phasm 2025-08-23 12:52:51 +00:00
jbwdevries deleted branch implement-io-monad from jbwdevries/phasm 2025-08-23 12:52:28 +00:00