52 Commits

Author SHA1 Message Date
ab469ffa39 Fixes 2025-02-02 20:46:55 +01:00
fec0142103 Fix for let rec, currently not implemented 2025-01-31 16:44:14 +01:00
9991efafbf Adding simple Algorithm W implementation (no recursive functions) 2025-01-31 03:15:58 +01:00
c88e192b61 Merge with cfg 2025-01-27 16:32:37 +01:00
61ea821d47 Merge with cfg 2025-01-27 16:32:22 +01:00
2fbbf4e4d1 Style more consistent, replace capitalization with camel case 2025-01-27 16:28:23 +01:00
4ab0b40cca Better styling for miniImp 2025-01-27 01:17:53 +01:00
5e8b339440 Better styling for miniFun 2025-01-27 00:18:23 +01:00
6d5587692c Better styling for utility 2025-01-26 23:03:36 +01:00
b16aef4ecb Better styling 2025-01-26 23:03:20 +01:00
4ef52dfd6a Minor modifications 2025-01-17 00:46:51 +01:00
d78e8bfbe0 Fixing live analysis 2025-01-16 23:48:23 +01:00
cf0bc41a23 Minor modifications, adding comments 2025-01-15 00:10:44 +01:00
11adaa5103 First draft report, removing exercises 2025-01-15 00:09:58 +01:00
9bcc88e016 Fixes for RISC evaluation 2025-01-11 20:32:11 +01:00
3be05222ab Fixes defined variables, fixes live variables, implements reduces registers, fixes risc semantic 2024-12-27 21:11:38 +01:00
f1b4c3a17d Live Variables 2024-12-21 02:16:04 +01:00
1f0d48263a Switching to top instead of bottom for the defined variables 2024-12-16 16:40:59 +01:00
25f9f12525 Defined variables module, not fully working 2024-12-16 05:15:33 +01:00
590123d988 Added dataflow module 2024-12-12 16:37:36 +01:00
08a8d07422 Semantics for RISC code 2024-12-03 17:18:42 +01:00
efa6ed21c9 Added While loop to RISC 2024-12-02 14:26:05 +01:00
15356aa5a9 Fixes wrong order for conversion 2024-12-02 00:45:24 +01:00
52cd7e7e13 RISC code output
TODO: fix wrong order for conversion in cfgrisc
2024-12-01 12:55:20 +01:00
08f0eb5c91 Optimizing risc instructions for boolean expressions 2024-11-28 11:17:59 +01:00
7465c2daff Optimizing risc instructions for arithmetic expressions 2024-11-28 00:35:30 +01:00
99287d79c5 Implementing cfg for risc 2024-11-27 20:18:30 +01:00
4e9f08347b Changed from type to module for cfg and moved to separate lib 2024-11-21 18:30:19 +01:00
ad0320875c Merge with cfg 2024-11-20 00:18:25 +01:00
7ca03faf84 Merge with cfg 2024-11-20 00:17:58 +01:00
b64108ba69 Added back edges to cfg 2024-11-18 15:56:53 +01:00
57f32da348 Added cfg data structure, function for converting and pretty printing function 2024-11-17 00:29:52 +01:00
52f89f6e42 Removing unused code 2024-11-16 17:28:33 +01:00
9e599cc018 Compleating assignment for interpreter, modified grammars, fixed tests 2024-11-16 15:40:00 +01:00
7ad217dfb0 Removed multiple input functions, added tuples, fixed parser 2024-11-15 17:23:04 +01:00
0ff17560ee separated into modules, added parser and lexer for miniImp 2024-11-13 21:50:44 +01:00
19c11ad9c8 Started work for type inference 2024-11-06 17:21:14 +01:00
a6daee916e Start new 2024-10-27 15:37:10 +01:00
9a71d5011b unify function 2024-10-26 20:22:13 +02:00
57e2613602 Adding comments 2024-10-26 02:11:14 +02:00
3e4e1615d2 Refactoring, errors are not thrown anymore 2024-10-26 01:47:30 +02:00
8427133fd7 Adding comments for types 2024-10-25 21:38:11 +02:00
ccbba90ead Refactor 2024-10-25 21:29:49 +02:00
733834a5a7 Ariety to arity 2024-10-24 16:27:21 +02:00
0c9490780a Type checking for miniFun, adding some tests 2024-10-24 15:35:42 +02:00
8d327a08bb Adding more tests, fixing one test for miniImp, adding more functionality to miniFun 2024-10-21 17:46:19 +02:00
8b274ebda4 Adding tests, adding miniFun implementation 2024-10-20 20:28:44 +02:00
de2e8bbd86 Some minor changes 2024-10-20 20:27:23 +02:00
0704cb9c72 Better formatting 2024-10-08 19:06:35 +02:00
27c82f6357 Added powmod in utility and PowerMod in the sintax and semantics of MiniImp 2024-10-07 14:13:28 +02:00