Enrico Lumetti

enrico pushed to main at enrico/plato

2024-12-06 23:15:10 +01:00

db8eaff751 Add comments for SimulationInput variables/parameters modification

enrico pushed to master at enrico/eoc

2024-10-29 02:05:29 +01:00

8822506d41 Add basic turnt setup

enrico pushed to master at enrico/eoc

2024-10-13 20:23:42 +02:00

690985cb87 Add CFG construction

27f24389ae Fix label and Op show

Compare 2 commits »

enrico pushed to master at enrico/eoc

2024-10-06 12:43:17 +02:00

08049e9955 JSON serialization

b635fde2c5 Fix id, ret parsing

8e5112ed93 Fix boolean parsing

Compare 3 commits »

enrico pushed to master at enrico/eoc

2024-10-05 18:05:05 +02:00

7874b384a5 Parse add.json in tests

enrico pushed to master at enrico/eoc

2024-10-05 17:33:29 +02:00

4376596afd Fix JSON number literals

enrico pushed to master at enrico/eoc

2024-10-05 17:16:29 +02:00

5a90054972 function to read bril from text file

enrico pushed to master at enrico/eoc

2024-10-05 17:02:14 +02:00

031b812c51 More tests and some refactoring

enrico pushed to master at enrico/eoc

2024-10-05 16:46:20 +02:00

5c7e330af1 Parsing and validation of instructions

enrico pushed to master at enrico/eoc

2024-10-05 12:59:08 +02:00

570ca0cb75 bril lieral parsing

enrico pushed to master at enrico/eoc

2024-10-04 23:41:58 +02:00

2d3e48ed69 Barebone test/lib cabal config

enrico pushed to master at enrico/eoc

2024-08-14 17:59:18 +02:00

a8ec2f9f21 Beginning haskell code

3265b7bbb0 Move racket code to racket/

Compare 2 commits »

enrico pushed to master at enrico/eoc

2024-08-13 21:32:24 +02:00

04f48fe0ee wip rework

a858cbee76 RInt -> Lint

Compare 2 commits »

enrico pushed tag racket to enrico/eoc

2024-08-13 21:32:15 +02:00

enrico pushed to master at enrico/eoc

2022-08-21 01:35:44 +02:00

195cfbd248 wip: Improve register allocations and its test coverage

enrico pushed to master at enrico/eoc

2022-08-21 00:29:52 +02:00

8a4948475c wip: start working on trivial register allocation

enrico pushed to master at enrico/eoc

2022-08-15 02:30:42 +02:00

9c2895e4ed add more tests

3c41cf9876 Add simpler full test

a33bf77407 Instruction selection: basic bril->AArch64Var conversion

Compare 3 commits »

enrico pushed to master at enrico/eoc

2022-08-13 23:47:16 +02:00

18ebacb00b Revamp tests

1a0eeea38b Fix two-operands subtraction

Compare 2 commits »

enrico pushed to master at enrico/eoc

2022-08-11 00:29:47 +02:00

a376f31d4a Convert cvar-to-bril tests to rackunit

9063858c78 Test subtraction

Compare 2 commits »

enrico pushed to master at enrico/eoc

2022-08-10 23:46:09 +02:00

0fd4666235 Add utility to print bril from a CVar program

0aeb312f14 Move more tests to rackunit

cadcd25dbd Fix comment

b80f8768a8 Convert test-cvar.rkt tests to rackunit, test for subtraction

e4d469ea95 Fix rvar subtraction, convert tests to rackunit

Compare 8 commits »