Rakarake/churf
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Commit graph

  • bbf6e159c7 Type inference/checking on ADTs mostly complete(?). Still have to test sebastianselander 2023-02-27 17:22:42 +01:00
  • 2f45f39435 Incorporated most of main, as well as started on quickcheck sebastianselander 2023-02-27 11:12:05 +01:00
  • 0b0344be69 Include issue Victor Olin 2023-02-26 15:51:04 +01:00
  • aae3a5ff78 Switched back to vectors Victor Olin 2023-02-24 20:41:59 +01:00
  • 7cf6f30835 Data type constructors now properly tag the data. Samuel Hammersberg 2023-02-24 18:37:31 +01:00
  • 262543931c Types for data types are now created. Samuel Hammersberg 2023-02-24 16:05:49 +01:00
  • 87f5d7fe74 Merge branch 'g-collection' of https://github.com/bachelor-group-66-systemf/language into g-collection valtermiari 2023-02-24 14:25:08 +01:00
  • 5458d6199d Unneccessary old files Victor Olin 2023-02-24 13:49:34 +01:00
  • 040747fd4d No settings plzo Victor Olin 2023-02-24 13:46:42 +01:00
  • 0929245df9
         Merge pull request #9 from bachelor-group-66-systemf/g-collection Sebastian Selander 2023-02-24 13:44:09 +01:00
  • db4659abf3 Rebased the branch Victor Olin 2023-02-24 13:14:46 +01:00
  • 7ff174459a Delete random files Victor Olin 2023-02-24 13:09:24 +01:00
  • 019c54bdad Switched stack start and ends to tops and bottoms. Victor Olin 2023-02-24 13:08:33 +01:00
  • a684fe1ea0 Made exposed endpoints static Victor Olin 2023-02-24 12:01:37 +01:00
  • bbd2650445 Testing recursive marking with chain references. valtermiari 2023-02-23 15:51:29 +01:00
  • c6463efd51 Documented the library Victor Olin 2023-02-23 13:00:15 +01:00
  • ea6eab0bcf Fixed bugs on freeing chunks and stack-scanning Victor Olin 2023-02-22 18:30:15 +01:00
  • 07bf2c8f48 Fixed bug in free and some small testing additions valtermiari 2023-02-22 12:12:43 +01:00
  • 79886e70de Some tweaks in mark. Testing of chain references valtermiari 2023-02-21 17:38:45 +01:00
  • 6679fb6bb7 Fixed heap DLL linking Victor Olin 2023-02-20 18:15:58 +01:00
  • 3860d0ec4f Tweaked sweeping, test with detached pointers valtermiari 2023-02-20 14:34:57 +01:00
  • 6cd6edb594 Fixed mark skipping Victor Olin 2023-02-20 11:45:07 +01:00
  • 3473c953b5 Wrote a test for shared library linking Victor Olin 2023-02-19 21:02:08 +01:00
  • 518940ab15 clean up Victor Olin 2023-02-18 15:05:02 +01:00
  • 99c69dbd57 Implemented free chunk swaps and filtering Victor Olin 2023-02-18 13:31:16 +01:00
  • b79a83c32a Debugged mark() Victor Olin 2023-02-17 12:14:11 +01:00
  • fb5f283dfd Some progress on marking valtermiari 2023-02-17 10:29:48 +01:00
  • 5fcab54fe4 Fixed sweep valtermiari 2023-02-16 22:40:43 +01:00
  • a375388591 More debugging valtermiari 2023-02-16 18:37:02 +01:00
  • 42c22bc1eb Continued debugging Victor Olin 2023-02-16 16:23:35 +01:00
  • 5ac9b665a1 Testing different stack pointers Victor Olin 2023-02-16 15:22:26 +01:00
  • b168438c14 Started testing the GC Victor Olin 2023-02-15 16:57:11 +01:00
  • 30a3da3156 Some configurations valtermiari 2023-02-15 10:42:27 +01:00
  • 1690804821 Some small test features valtermiari 2023-02-15 10:40:35 +01:00
  • 0260b2876c Next up is tests Victor Olin 2023-02-14 15:11:58 +01:00
  • b53f892393 Almost finished w/ 1st impl of GC Victor Olin 2023-02-14 11:48:04 +01:00
  • 920ae04595 Almost finished with 1st impl of GC Victor Olin 2023-02-14 11:47:52 +01:00
  • 7d91cf871a Goal for next week Victor Olin 2023-02-10 13:47:09 +01:00
  • e52c38f5f7 Worked a bit on the heap Victor Olin 2023-02-10 13:45:53 +01:00
  • 17d41a408d Started with a rough structure Victor Olin 2023-02-09 13:18:58 +01:00
  • 3852583f08 A simple mark-sweep implementation valtermiari 2023-02-08 14:10:16 +01:00
  • f1f8ed176b init branch Victor Olin 2023-02-05 11:16:11 +01:00
  • 272fbe3504 Removed some unused code. Samuel Hammersberg 2023-02-24 09:29:55 +01:00
  • 5d004f4286 Added calling conventions to functions. Samuel Hammersberg 2023-02-24 09:00:29 +01:00
  • 8ed9ed9107 Testing recursive marking with chain references. valtermiari 2023-02-23 15:51:29 +01:00
  • 7b068d6e88 Documented the library Victor Olin 2023-02-23 13:00:15 +01:00
  • 06e65de235 started on a test suite sebastianselander 2023-02-23 11:54:35 +01:00
  • bdca6ffc85 Fixed bugs on freeing chunks and stack-scanning Victor Olin 2023-02-22 18:30:15 +01:00
  • 5daa5573f2 Added more comments to the code sebastianselander 2023-02-22 15:24:38 +01:00
  • 1ccf3dac6b Fixed bug in free and some small testing additions valtermiari 2023-02-22 12:12:43 +01:00
  • 6fff6ef2d1 Some tweaks in mark. Testing of chain references valtermiari 2023-02-21 17:38:45 +01:00
  • 8065576c31 Let has a bug, otherwise probably(?) done sebastianselander 2023-02-20 20:38:36 +01:00
  • 12a460ae4c Fixed heap DLL linking Victor Olin 2023-02-20 18:15:58 +01:00
  • a98135827c EAdd is bugged. Mostly complete though. sebastianselander 2023-02-20 16:51:44 +01:00
  • 4df3f705ed LLVMIr code now has the fastcc flag to enable speeed 😎 Samuel Hammersberg 2023-02-20 16:44:27 +01:00
  • afbc700db2 Fixed the type checker accidentally chucking cases in some cases. Samuel Hammersberg 2023-02-20 16:43:54 +01:00
  • cd0f9dd456 The output directory is now cleared when the program is ran. Samuel Hammersberg 2023-02-20 15:27:13 +01:00
  • a36de2bde1 Added support for the minus operator. Samuel Hammersberg 2023-02-20 14:52:11 +01:00
  • fe4533c7ae Added an option to output some debug info. Samuel Hammersberg 2023-02-20 14:39:56 +01:00
  • 6749650223 Added support for pattern matching on ints. Might need a lookover. Samuel Hammersberg 2023-02-20 14:39:43 +01:00
  • 18e0a92fe0 Added grammar for case matching. Samuel Hammersberg 2023-02-20 14:39:00 +01:00
  • ce3a6d36f0 Tweaked sweeping, test with detached pointers valtermiari 2023-02-20 14:34:57 +01:00
  • dfbdb6678e Working on non-ugly version of algorithm W (Hindley-Milner) sebastianselander 2023-02-20 12:09:31 +01:00
  • a9998a7816 Fixed mark skipping Victor Olin 2023-02-20 11:45:07 +01:00
  • ff8c270cb8 Wrote a test for shared library linking Victor Olin 2023-02-19 21:02:08 +01:00
  • 420fb107f0 Commented code and fixed some bugs I think. Still not complete sebastianselander 2023-02-19 15:25:49 +01:00
  • db932048ba Tried fixing bug. Failed. sebastianselander 2023-02-19 02:10:57 +01:00
  • 8b5cd3cf9a Remade the algorithm myself. Still some bugs. sebastianselander 2023-02-18 23:08:27 +01:00
  • c20ef8f5dd clean up Victor Olin 2023-02-18 15:05:02 +01:00
  • 087850d1cf
         Merge pull request #8 from bachelor-group-66-systemf/prep-tc-merge Samuel Hammersberg 2023-02-18 14:03:40 +00:00
  • a4c12ede79 Merge branch 'prep-tc-martin' of github.com:bachelor-group-66-systemf/language into prep-tc-martin Samuel Hammersberg 2023-02-18 15:03:11 +01:00
  • f485ca9762 Remove case expressions Martin Fredin 2023-02-18 14:49:33 +01:00
  • 4ab6681f68 Rearrange code Martin Fredin 2023-02-18 14:36:59 +01:00
  • 287f84377c Implemented case matching on ints in the code generator Samuel Hammersberg 2023-02-18 14:36:46 +01:00
  • 3efb27ac0c Document and fix code style Martin Fredin 2023-02-18 13:41:38 +01:00
  • b8aedd541d Document and fix code style Martin Fredin 2023-02-18 13:35:33 +01:00
  • c6c0468c8d Implemented free chunk swaps and filtering Victor Olin 2023-02-18 13:31:16 +01:00
  • 21fb6bf5ed Fix indentation Martin Fredin 2023-02-18 13:27:58 +01:00
  • ad615cc9d8 Document and fix code style Martin Fredin 2023-02-18 13:26:41 +01:00
  • a3e57dde7b Change grammar: only one bind in let and no EAnn for typed syntax Martin Fredin 2023-02-18 12:57:23 +01:00
  • f188cffb8d Unification part works (probably). Have a hard time understanding it. sebastianselander 2023-02-17 18:42:50 +01:00
  • 7cedc2e28c Started adding cases to the grammar. Samuel Hammersberg 2023-02-17 15:25:06 +01:00
  • 5f6a18a2ab Debugged mark() Victor Olin 2023-02-17 12:14:11 +01:00
  • 764faa582b Remove hls pragmas sebastianselander 2023-02-17 12:01:57 +01:00
  • f2e8a02255 Removed adhoc tests sebastianselander 2023-02-17 12:01:22 +01:00
  • a9f54dbca1 Simplified quite a bit. Made a unify function. Still bugs left sebastianselander 2023-02-17 11:09:48 +01:00
  • d40350a263 Some progress on marking valtermiari 2023-02-17 10:29:48 +01:00
  • f637a396b7 Fixed sweep valtermiari 2023-02-16 22:40:43 +01:00
  • 72a044cd59 More debugging valtermiari 2023-02-16 18:37:02 +01:00
  • eafe0fea0b Rewrote using unification-fd. Heavily inspired (aka copied) from: https://byorgey.wordpress.com/2021/09/08/implementing-hindley-milner-with-the-unification-fd-library/ sebastianselander 2023-02-16 16:37:36 +01:00
  • 5157e6b41d Continued debugging Victor Olin 2023-02-16 16:23:35 +01:00
  • fb1e177130 Testing different stack pointers Victor Olin 2023-02-16 15:22:26 +01:00
  • d345ccb33b Fix import statement Martin Fredin 2023-02-16 14:22:40 +01:00
  • ab34666484 Fixed types on functions in the code generator. Samuel Hammersberg 2023-02-16 14:16:08 +01:00
  • 6d9c42a03e Got higher order functions working. Samuel Hammersberg 2023-02-16 13:36:45 +01:00
  • 46c6f5b7ab Fixed scoping of function pointers. Samuel Hammersberg 2023-02-16 11:17:45 +01:00
  • 5680334fde Fixed some small issues. Samuel Hammersberg 2023-02-16 10:03:25 +01:00
  • 7ef7090aa5 Merge llvm_testing, and use TypeCheckerIr instead of Abs Martin Fredin 2023-02-16 02:17:07 +01:00
  • 8d698cecf9 Fixed some merge errors that occured when merging with main Samuel Hammersberg 2023-02-12 13:30:45 +01:00
  • 210e55bb15 Adjust old type checker to new syntax, and refactor lambda lifter to use typed AST Martin Fredin 2023-02-15 23:55:16 +01:00