enrico
/
eoc
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • 8822506d41 Add basic turnt setup master Enrico Lumetti 2024-10-29 02:05:16 +0100
  • 690985cb87 Add CFG construction Enrico Lumetti 2024-10-13 20:22:53 +0200
  • 27f24389ae Fix label and Op show Enrico Lumetti 2024-10-13 20:22:21 +0200
  • 08049e9955 JSON serialization Enrico Lumetti 2024-10-06 12:43:08 +0200
  • b635fde2c5 Fix id, ret parsing Enrico Lumetti 2024-10-06 12:28:06 +0200
  • 8e5112ed93 Fix boolean parsing Enrico Lumetti 2024-10-06 12:07:04 +0200
  • 7874b384a5 Parse add.json in tests Enrico Lumetti 2024-10-05 18:04:58 +0200
  • 4376596afd Fix JSON number literals Enrico Lumetti 2024-10-05 17:33:19 +0200
  • 5a90054972 function to read bril from text file Enrico Lumetti 2024-10-05 17:16:13 +0200
  • 031b812c51 More tests and some refactoring Enrico Lumetti 2024-10-05 17:02:03 +0200
  • 5c7e330af1 Parsing and validation of instructions Enrico Lumetti 2024-10-05 16:46:10 +0200
  • 570ca0cb75 bril lieral parsing Enrico Lumetti 2024-10-05 12:58:58 +0200
  • 2d3e48ed69 Barebone test/lib cabal config Enrico Lumetti 2024-10-04 23:41:45 +0200
  • a8ec2f9f21 Beginning haskell code Enrico Lumetti 2024-08-14 17:59:11 +0200
  • 3265b7bbb0 Move racket code to racket/ Enrico Lumetti 2024-08-14 17:58:09 +0200
  • 04f48fe0ee wip rework racket Enrico Lumetti 2024-08-13 21:31:29 +0200
  • a858cbee76 RInt -> Lint Enrico Lumetti 2024-01-18 09:53:11 +0100
  • 195cfbd248 wip: Improve register allocations and its test coverage Enrico Lumetti 2022-08-21 01:35:30 +0200
  • 8a4948475c wip: start working on trivial register allocation Enrico Lumetti 2022-08-21 00:29:45 +0200
  • 9c2895e4ed add more tests Enrico Lumetti 2022-08-15 02:30:34 +0200
  • 3c41cf9876 Add simpler full test Enrico Lumetti 2022-08-15 01:59:11 +0200
  • a33bf77407 Instruction selection: basic bril->AArch64Var conversion Enrico Lumetti 2022-08-15 01:56:24 +0200
  • 18ebacb00b Revamp tests Enrico Lumetti 2022-08-13 23:47:05 +0200
  • 1a0eeea38b Fix two-operands subtraction Enrico Lumetti 2022-08-12 23:03:55 +0200
  • a376f31d4a Convert cvar-to-bril tests to rackunit Enrico Lumetti 2022-08-11 00:27:58 +0200
  • 9063858c78 Test subtraction Enrico Lumetti 2022-08-10 23:48:23 +0200
  • 0fd4666235 Add utility to print bril from a CVar program Enrico Lumetti 2022-08-10 23:45:43 +0200
  • 0aeb312f14 Move more tests to rackunit Enrico Lumetti 2022-08-10 23:44:42 +0200
  • cadcd25dbd Fix comment Enrico Lumetti 2022-08-10 23:44:20 +0200
  • b80f8768a8 Convert test-cvar.rkt tests to rackunit, test for subtraction Enrico Lumetti 2022-08-10 23:33:51 +0200
  • e4d469ea95 Fix rvar subtraction, convert tests to rackunit Enrico Lumetti 2022-08-10 23:33:20 +0200
  • 14d6b476bd Fix subtraction, convert tests to rackunit Enrico Lumetti 2022-08-10 23:28:09 +0200
  • a4dd0ded8f Convert test-rint to rackunit Enrico Lumetti 2022-08-05 16:20:48 +0200
  • f7a20171ec Remove old CVar -> asm path Enrico Lumetti 2022-05-08 17:30:37 +0200
  • 3a252a6879 Add CVar to bril translation Enrico Lumetti 2022-05-01 22:52:32 +0200
  • e3636d0b05 Introduce different remove-complex-opera* pass Enrico Lumetti 2022-05-01 22:46:36 +0200
  • 3851d496ed Rewrite explicate-control Enrico Lumetti 2022-05-01 16:09:35 +0200
  • 0929ef05f9 Add CVar language and interpreter Enrico Lumetti 2022-05-01 15:37:44 +0200
  • 5b1f580ed8 Convert remove-complex-opera* to new data structures Enrico Lumetti 2022-04-30 18:01:54 +0200
  • 04c8ab0297 Port uniquify to new structures Enrico Lumetti 2021-11-14 12:20:08 +0100
  • 7b8ea0b6f4 Port c2 to rvar Enrico Lumetti 2021-10-21 13:15:37 +0200
  • bad45de00a Convert c1 to new EoC data structures Enrico Lumetti 2021-10-05 15:12:14 +0200
  • 5487761f54 Experiments with aarch64 stack Enrico Lumetti 2021-05-06 16:53:18 +0200
  • 595f8a9db4 Add select-instructions pass Enrico Lumetti 2021-05-05 20:55:32 +0200
  • ced273944b Add conclusion and rename _main to start Enrico Lumetti 2021-05-05 20:55:19 +0200
  • 44a453a062 Avoid having (read) as an atom in Cvar language Enrico Lumetti 2021-05-05 20:54:44 +0200
  • ec8e75232e Fix link in README Enrico Lumetti 2021-05-05 01:01:02 +0200
  • 70295d0dcf Rename scm to rkt Enrico Lumetti 2021-05-05 00:46:51 +0200
  • 69f969bb71 Add aarch64 execution infrastructure Enrico Lumetti 2021-05-05 00:36:32 +0200
  • ad82c64d4d Improve test-util Enrico Lumetti 2021-05-05 00:36:03 +0200
  • df520e99ca Fix grammar produced by explicate-control Enrico Lumetti 2021-05-01 00:41:08 +0200
  • 85dbf65800 Add test-uncover-locals Enrico Lumetti 2021-05-01 00:38:17 +0200
  • 4c67b0f18d Remove trailing space and (- x x) matching Enrico Lumetti 2021-05-01 00:11:54 +0200
  • 866af9c2b5 Implement and test explicate-control Enrico Lumetti 2021-05-01 00:06:37 +0200
  • febb63c240 Fix bug in rco-arg and update tests Enrico Lumetti 2021-04-30 23:05:14 +0200
  • d52c9eb875 Return to simpler implementation Enrico Lumetti 2021-04-30 20:20:07 +0200
  • 8c1294a56e Maybe unnecessary Enrico Lumetti 2021-04-30 19:55:59 +0200
  • c1c29c0782 Make remove-complex-opera more sophisticate (maybe more useful?) Enrico Lumetti 2021-04-30 15:46:45 +0200
  • f1c4cb627b Add remove-complex-opera* implementation Enrico Lumetti 2021-04-27 16:20:51 +0200
  • 6e12178605 Fix subtraction Enrico Lumetti 2021-04-27 16:20:38 +0200
  • 95cec82371 Add uniquify implementation Enrico Lumetti 2021-04-26 19:04:50 +0200
  • e6c4b50adf Reorganize tests Enrico Lumetti 2021-04-26 19:04:20 +0200
  • 28f43d4282 Add R1 language interpretation Enrico Lumetti 2020-06-11 02:53:57 +0200
  • 346fd55489 License Enrico Lumetti 2020-05-28 11:35:01 +0200
  • b8db439685 First commit Enrico Lumetti 2020-05-28 11:34:01 +0200