Commit graph

  • 753bbf9331
    Added a very nice banner :) main Samuel Hammersberg 2023-06-01 11:47:16 +02:00
  • 64e13a68bb Cleaned readme and added grammar.pdf sebastianselander 2023-05-30 14:54:33 +02:00
  • a16f683c2a removed file sebastianselander 2023-05-30 14:40:56 +02:00
  • 3f5e0ed0b6 fixed gitignore sebastianselander 2023-05-30 14:40:34 +02:00
  • 2f8550d0e5 Cleaned files, output file name match name of text file sebastianselander 2023-05-30 14:39:38 +02:00
  • d2a1ca97d7 Change ordering on lammbda_calculus example Martin Fredin 2023-05-26 08:03:41 +02:00
  • 930bcc9bba removed precompiled quicksort and LC sebastianselander 2023-05-25 14:53:09 +02:00
  • 85adae9958 Added demo helper scripts Rakarake 2023-05-25 11:39:48 +02:00
  • 5eed5fbcd1 quicksort ready for demo sebastianselander 2023-05-25 11:23:30 +02:00
  • 41934e2011 Updata lambda calculus example Martin Fredin 2023-05-25 10:18:02 +02:00
  • a03f139e5c Update lambda interpreter example Martin Fredin 2023-05-24 23:50:01 +02:00
  • c1768b0161 Add examples of higher ranked polymorphism Martin Fredin 2023-05-24 22:12:45 +02:00
  • 789774d802 reordered quicksort sebastianselander 2023-05-24 16:06:10 +02:00
  • f00fcf6bd2 edited quicksort file for demo sebastianselander 2023-05-24 15:54:05 +02:00
  • 4f9cb8d3b0 Remade quicksort demo to be much larger sebastianselander 2023-05-23 16:10:03 +02:00
  • c9424c47b9 Added print int in the code gen. Samuel Hammersberg 2023-05-23 15:37:07 +02:00
  • 88fb529679 added demo folder sebastianselander 2023-05-23 14:21:23 +02:00
  • e2afa2b775 justfile with qs and lc sebastianselander 2023-05-23 14:11:51 +02:00
  • 33e5dcd49b examples ready for demonstration sebastianselander 2023-05-23 12:29:43 +02:00
  • 1dc1b8f92e Added some toplevel comments. Samuel Hammersberg 2023-05-20 19:03:06 +02:00
  • bb40cbba2a STLC BI and HM compatible sebastian 2023-05-17 19:18:40 +02:00
  • 02c43751c4 STLC type checker in CHURF :) sebastian 2023-05-17 18:53:05 +02:00
  • de1ca23db7 Remade <<=, better err msg, removed writer monad sebastian 2023-05-17 17:31:08 +02:00
  • 5eaf7ae00d cleaned up a bit sebastianselander 2023-05-17 13:58:49 +02:00
  • 0e7d485e9e Fixed pattern match bug in HM, removed some unused code, added debug help in main sebastian 2023-05-16 23:32:29 +02:00
  • 0fd8a9bc74 Yur sebastianselander 2023-05-16 17:24:51 +02:00
  • dac675a417 Add example Martin Fredin 2023-05-16 10:58:29 +02:00
  • 034f9d4faa Remove clang from nix file Martin Fredin 2023-05-16 09:54:57 +02:00
  • 0bbbd82158 Improved error message in Monomorphizer sebastian 2023-05-15 23:44:20 +02:00
  • f77793a132 Added proper error message to monomorphizer; made subst a monoid sebastian 2023-05-15 23:40:15 +02:00
  • 4a635162a3
    Merge pull request #18 from bachelor-group-66-systemf/g-collection-mark Victor Olin 2023-05-15 23:18:59 +02:00
  • bea78513e6 smol cleanup Victor Olin 2023-05-15 23:18:01 +02:00
  • 51ffd88727 holy cleanup Victor Olin 2023-05-15 23:14:08 +02:00
  • c96f3fc593 Refactored HM to use TVar correctly, fixed unbound variable tests from EAdd removal sebastian 2023-05-15 22:57:37 +02:00
  • 5000b05152 Added link sebastian 2023-05-15 22:32:43 +02:00
  • bc7ab1061d Updated readme with information on thesis sebastian 2023-05-15 22:30:57 +02:00
  • 6787e4db21 test commit sebastian 2023-05-15 22:26:52 +02:00
  • f0431001e7 Disabled DotViz Samuel Hammersberg 2023-05-15 18:34:24 +02:00
  • 4d427ea00e Merge branch 'g-collection' of https://github.com/bachelor-group-66-systemf/churf into g-collection Victor Olin 2023-05-15 18:27:27 +02:00
  • 50e10586f1 short profiler logs Victor Olin 2023-05-08 11:00:07 +02:00
  • 3f42a8f16d bugfix Victor Olin 2023-05-06 10:23:09 +02:00
  • 7975b6cbe2 removed cout bloatware Victor Olin 2023-05-05 17:59:07 +02:00
  • 93be622863 now it works ok??? Victor Olin 2023-05-05 17:57:26 +02:00
  • 9adc14780b Fixed bug in size handling and mark hash valtermiari 2023-05-05 13:16:45 +02:00
  • a5c5d122b2 Added Hash map marking valtermiari 2023-05-04 13:51:53 +02:00
  • 3e188553d6 rip gc Victor Olin 2023-05-04 18:18:25 +02:00
  • ec3aa3cd60 profiler now fixed in wrapper also Victor Olin 2023-05-01 15:58:20 +02:00
  • bf3d91cdf1 profiler improvement Victor Olin 2023-05-01 15:43:51 +02:00
  • e51ba7679b testing testing... Victor Olin 2023-05-01 14:36:44 +02:00
  • fda9e6728f Cleaned up include guards Victor Olin 2023-04-07 20:40:01 +02:00
  • a34dec35c6 Wrapper docs Victor Olin 2023-03-29 21:27:47 +02:00
  • eae7d9c670 Wrapper works Victor Olin 2023-03-29 16:05:54 +02:00
  • 14026b1912 Start of wrapper test valtermiari 2023-03-30 08:48:33 +02:00
  • 07bb53930b Wrapper for GC finished, untested Victor Olin 2023-03-29 15:13:24 +02:00
  • 4f0f8ffef8 Started working on a C wrapper Victor Olin 2023-03-29 08:31:34 +02:00
  • 43ce0ecd71 yeet Victor Olin 2023-05-15 18:09:50 +02:00
  • e2b3f36a64 Fix example Martin Fredin 2023-05-15 17:33:43 +02:00
  • 06259e8abf Move file Martin Fredin 2023-05-15 17:28:42 +02:00
  • 9507cf30d5 Fix example Martin Fredin 2023-05-15 17:26:27 +02:00
  • 2a01f3e8b3 Add clang to nix file Martin Fredin 2023-05-12 12:35:58 +02:00
  • 7e93aab626
    Merge pull request #17 from bachelor-group-66-systemf/g-collection-mark Victor Olin 2023-05-15 14:46:05 +02:00
  • 9495c3b12a Fixed error message sebastianselander 2023-05-15 13:45:50 +02:00
  • 229679f60d Fixed a source of segfaults. Samuel Hammersberg 2023-05-15 09:45:02 +02:00
  • 0659386ae7 Add call-by-name lambda calculus example Martin Fredin 2023-05-15 00:32:53 +02:00
  • 36df452db5 Fix preludeFuns and remove ptr %cxt from main Martin Fredin 2023-05-15 00:32:34 +02:00
  • 5e15983f4c Revork type checking of data types to make in reliable Martin Fredin 2023-05-15 00:31:30 +02:00
  • 46d4ef3923 Order binds with signatures same as binds without signatures Martin Fredin 2023-05-15 00:30:37 +02:00
  • 814ebc1ac0 Fix primitives definitions and comment out eta expander util fixed Martin Fredin 2023-05-15 00:28:40 +02:00
  • e1bb5760e0 Fix quicksort example Martin Fredin 2023-05-15 00:27:48 +02:00
  • 2d41dac6eb Add missing ptr null to constructors with no arguments (e.g. Nil) Martin Fredin 2023-05-14 13:24:18 +02:00
  • 86256066b6 Removed internal sorter in HM sebastian 2023-05-13 17:23:10 +02:00
  • a6ed6e589b Fixed two inference bugs sebastian 2023-05-13 01:40:05 +02:00
  • 8b92dd9194 Added η-expander module and removed EAdd from grammar. sebastianselander 2023-05-12 16:25:03 +02:00
  • c3bcdfa81b Propagate type application, temporary remove nested pattern matching, fix void output Martin Fredin 2023-05-12 11:40:24 +02:00
  • 6260dc2c41 A lot of small changes, added better error messages for bugs mainly sebastianselander 2023-05-11 18:37:03 +02:00
  • 5e1c81beb7 quicksort works sebastianselander 2023-05-11 11:14:44 +02:00
  • 49ef3f9f7c Fixed bug in HM, fixed and reimported tests. sebastian 2023-05-10 23:54:31 +02:00
  • c5fbd70756 larger prelude, changed lambda calc interpreter, quicksort sebastianselander 2023-05-10 20:12:53 +02:00
  • 819f32d621 Fix signature in prelude Martin Fredin 2023-05-10 19:45:57 +02:00
  • b277775792 Fix bug Martin Fredin 2023-05-10 19:45:25 +02:00
  • 30c59596c7 Fix lambdalifter closure in case Martin Fredin 2023-05-10 19:42:27 +02:00
  • 0aebe4a7b1 Remove llvm file Martin Fredin 2023-05-10 09:45:50 +02:00
  • 06a25de61d Rename litType to typeof Martin Fredin 2023-05-10 09:44:55 +02:00
  • ee30b5db45 Printing evaluation order sebastianselander 2023-05-08 22:08:59 +02:00
  • 56c80faeff Fixed a typo Samuel Hammersberg 2023-05-08 22:07:35 +02:00
  • 94dd3bf1ea Fixed a typo. Samuel Hammersberg 2023-05-08 22:07:10 +02:00
  • 8836e6b91f Printing works now!!! Samuel Hammersberg 2023-05-08 21:53:58 +02:00
  • d3d2c61dc6 more Justfile command and fixed bug in Monomorphizer sebastianselander 2023-05-08 21:50:34 +02:00
  • 23f4e3365a Fixed another bug. Samuel Hammersberg 2023-05-08 21:50:23 +02:00
  • 476d566468 Updated prelude sebastianselander 2023-05-08 21:04:22 +02:00
  • 5a7332f3a8 Fixed one error with chars. Samuel Hammersberg 2023-05-08 21:04:13 +02:00
  • 51f23d7f6e Fixed some missing cases. Samuel Hammersberg 2023-05-08 20:55:42 +02:00
  • 8ddb0ed052 We can now print strings :) Samuel Hammersberg 2023-05-08 20:54:02 +02:00
  • 3755d41b59 Removed trace sebastianselander 2023-05-08 20:44:20 +02:00
  • 84847b9abb printChar and printStr in prelude sebastianselander 2023-05-08 20:38:45 +02:00
  • 2fab7f2bdf more sample programs, added strings, added desugar for strings sebastianselander 2023-05-08 20:22:57 +02:00
  • 2226a6ad33 Made it possible for main to have different monomorphic types Rakarake 2023-05-08 20:16:18 +02:00
  • 283f8ccf83 Merge branch 'main' of github.com:bachelor-group-66-systemf/churf Rakarake 2023-05-08 19:29:32 +02:00
  • 65eb992de4 Case expressions now output constructors correctly this time Rakarake 2023-05-08 19:29:26 +02:00
  • 8203c08c30 this that program sebastianselander 2023-05-08 17:48:53 +02:00