Commit graph

675 commits

Author SHA1 Message Date
sebastianselander
fce54e7899 documented possible bad functions 2023-03-06 16:41:59 +01:00
sebastianselander
eef6fa7668 added new test and found another bug 2023-03-06 16:25:03 +01:00
sebastianselander
6947614fba Updated bug list & started working on more tests 2023-03-06 13:04:07 +01:00
Victor Olin
0d376171c8 Continued work on profiler 2023-03-06 11:59:28 +01:00
sebastianselander
f5b5f11903 fixed formatting 2023-03-06 11:38:25 +01:00
sebastianselander
9c2f52f8bb fixed bug where bound variable didn't exist in case 2023-03-06 11:27:17 +01:00
Rakarake
8ca876a101 Most code written, no tests yet 2023-03-06 10:47:52 +01:00
sebastianselander
778fec3dc4 Implemented potential fix for one of the bugs 2023-03-05 14:34:39 +01:00
sebastianselander
fe63fa6215 Improved error message and created document for known bugs. 2023-03-05 13:24:56 +01:00
sebastianselander
fecb71bc07 Found a bug. 2023-03-03 18:17:51 +01:00
sebastianselander
03d7080396 pattern matching works? have to test more 2023-03-03 11:46:54 +01:00
sebastian
7656b46e3f a bit more work on pattern match + case expr 2023-03-02 22:07:38 +01:00
Rakarake
dbc77ec5f3 Progress 2023-03-02 18:36:50 +01:00
sebastianselander
2401b6437b continued work pattern matching 2023-03-02 16:05:43 +01:00
Rakarake
514d79bd6c Strucute in place, MonomorpherIr module created 2023-03-01 13:50:01 +01:00
Victor Olin
137687e446 Started working on a custom profiler 2023-02-28 18:44:07 +01:00
Victor Olin
4f9aaaf8b4 Started working on a custom profiler 2023-02-28 18:42:07 +01:00
sebastianselander
05313652f9 unit tests, started on pattern matching 2023-02-28 17:15:48 +01:00
Victor Olin
5e52de10bd Fixed broken tests 2023-02-28 16:01:39 +01:00
Sebastian Selander
d23d417ff3
Update TypeChecker.hs 2023-02-27 19:38:45 +01:00
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