Commit graph

705 commits

Author SHA1 Message Date
sebastianselander
bbf6e159c7 Type inference/checking on ADTs mostly complete(?). Still have to test 2023-02-27 17:22:42 +01:00
sebastianselander
2f45f39435 Incorporated most of main, as well as started on quickcheck 2023-02-27 11:12:05 +01:00
Victor Olin
0b0344be69 Include issue 2023-02-26 15:51:04 +01:00
Victor Olin
aae3a5ff78 Switched back to vectors 2023-02-24 20:41:59 +01:00
Samuel Hammersberg
7cf6f30835 Data type constructors now properly tag the data. 2023-02-24 18:37:31 +01:00
Samuel Hammersberg
262543931c Types for data types are now created. 2023-02-24 16:05:49 +01:00
valtermiari
87f5d7fe74 Merge branch 'g-collection' of https://github.com/bachelor-group-66-systemf/language into g-collection 2023-02-24 14:25:08 +01:00
Victor Olin
5458d6199d Unneccessary old files 2023-02-24 13:49:34 +01:00
Victor Olin
040747fd4d No settings plzo 2023-02-24 13:46:42 +01:00
Sebastian Selander
0929245df9
Merge pull request #9 from bachelor-group-66-systemf/g-collection
Heap library first version finished
2023-02-24 13:44:09 +01:00
Victor Olin
db4659abf3 Rebased the branch 2023-02-24 13:39:55 +01:00
Victor Olin
7ff174459a Delete random files 2023-02-24 13:39:55 +01:00
Victor Olin
019c54bdad Switched stack start and ends to tops and bottoms. 2023-02-24 13:39:55 +01:00
Victor Olin
a684fe1ea0 Made exposed endpoints static 2023-02-24 13:39:55 +01:00
valtermiari
bbd2650445 Testing recursive marking with chain references. 2023-02-24 13:39:55 +01:00
Victor Olin
c6463efd51 Documented the library 2023-02-24 13:39:55 +01:00
Victor Olin
ea6eab0bcf Fixed bugs on freeing chunks and stack-scanning
Co-authored-by: ValterMiari <ValterMiari@users.noreply.github.com>
2023-02-24 13:39:55 +01:00
valtermiari
07bf2c8f48 Fixed bug in free and some small testing additions 2023-02-24 13:39:55 +01:00
valtermiari
79886e70de Some tweaks in mark. Testing of chain references 2023-02-24 13:39:55 +01:00
Victor Olin
6679fb6bb7 Fixed heap DLL linking 2023-02-24 13:39:55 +01:00
valtermiari
3860d0ec4f Tweaked sweeping, test with detached pointers 2023-02-24 13:39:55 +01:00
Victor Olin
6cd6edb594 Fixed mark skipping
Co-authored-by: ValterMiari <ValterMiari@users.noreply.github.com>
2023-02-24 13:39:55 +01:00
Victor Olin
3473c953b5 Wrote a test for shared library linking 2023-02-24 13:39:55 +01:00
Victor Olin
518940ab15 clean up 2023-02-24 13:39:55 +01:00
Victor Olin
99c69dbd57 Implemented free chunk swaps and filtering 2023-02-24 13:39:55 +01:00
Victor Olin
b79a83c32a Debugged mark()
Co-authored-by: ValterMiari <ValterMiari@users.noreply.github.com>
2023-02-24 13:39:55 +01:00
valtermiari
fb5f283dfd Some progress on marking 2023-02-24 13:39:55 +01:00
valtermiari
5fcab54fe4 Fixed sweep 2023-02-24 13:39:55 +01:00
valtermiari
a375388591 More debugging 2023-02-24 13:39:55 +01:00
Victor Olin
42c22bc1eb Continued debugging
Co-authored-by: ValterMiari <ValterMiari@users.noreply.github.com>
2023-02-24 13:39:55 +01:00
Victor Olin
5ac9b665a1 Testing different stack pointers 2023-02-24 13:39:55 +01:00
Victor Olin
b168438c14 Started testing the GC
Co-authored-by: ValterMiari <ValterMiari@users.noreply.github.com>
2023-02-24 13:39:55 +01:00
valtermiari
30a3da3156 Some configurations 2023-02-24 13:39:55 +01:00
valtermiari
1690804821 Some small test features 2023-02-24 13:39:55 +01:00
Victor Olin
0260b2876c Next up is tests
Co-authored-by: ValterMiari <ValterMiari@users.noreply.github.com>
2023-02-24 13:39:48 +01:00
Victor Olin
b53f892393 Almost finished w/ 1st impl of GC 2023-02-24 13:37:47 +01:00
Victor Olin
920ae04595 Almost finished with 1st impl of GC
Co-authored-by: ValterMiari <ValterMiari@users.noreply.github.com>
2023-02-24 13:37:47 +01:00
Victor Olin
7d91cf871a Goal for next week 2023-02-24 13:37:47 +01:00
Victor Olin
e52c38f5f7 Worked a bit on the heap 2023-02-24 13:37:47 +01:00
Victor Olin
17d41a408d Started with a rough structure 2023-02-24 13:37:47 +01:00
valtermiari
3852583f08 A simple mark-sweep implementation 2023-02-24 13:37:47 +01:00
Victor Olin
f1f8ed176b init branch 2023-02-24 13:37:47 +01:00
Samuel Hammersberg
272fbe3504 Removed some unused code. 2023-02-24 09:29:55 +01:00
Samuel Hammersberg
5d004f4286 Added calling conventions to functions. 2023-02-24 09:00:29 +01:00
valtermiari
8ed9ed9107 Testing recursive marking with chain references. 2023-02-23 15:51:29 +01:00
Victor Olin
7b068d6e88 Documented the library 2023-02-23 13:00:15 +01:00
sebastianselander
06e65de235 started on a test suite 2023-02-23 11:54:35 +01:00
Victor Olin
bdca6ffc85 Fixed bugs on freeing chunks and stack-scanning
Co-authored-by: ValterMiari <ValterMiari@users.noreply.github.com>
2023-02-22 18:30:15 +01:00
sebastianselander
5daa5573f2 Added more comments to the code 2023-02-22 15:24:38 +01:00
valtermiari
1ccf3dac6b Fixed bug in free and some small testing additions 2023-02-22 12:12:43 +01:00