Commits · master · Haley Sapphie Owsianko / ACC-project

May 25, 2021
- Add cargo lock · 9a8eb3b8
  Sapphie authored 3 years ago
  
  9a8eb3b8
- Small changes · f1b14889
  Sapphie authored 3 years ago
  
  f1b14889
- Add optimisation details · 527efc2b
  Sapphie authored 3 years ago
  
  527efc2b
May 07, 2021
- Import memory management skeleton · 33e844bf
  Sapphie authored 3 years ago
  
  33e844bf
- Fix halt untagging · 418c23de
  Sapphie authored 3 years ago
  
  418c23de
May 06, 2021
- Fix silly bug in blockset elimination · a38f59ae
  Sapphie authored 3 years ago
  
  a38f59ae
- Add removal of block-set for unused blocks · bfbb4735
  Sapphie authored 3 years ago
  
  bfbb4735
- Implement blockget removal for known (constant) blocks · 0f48f05e
  Sapphie authored 3 years ago
  
  0f48f05e
- fix general inlining · ccaeb11f
  Luca Bataillard authored 3 years ago
  
  ccaeb11f
- Implement blocklength reduction · 4399af88
  Sapphie authored 3 years ago
  
  4399af88
- Implement blocktag reduction · 2ae235d7
  Sapphie authored 3 years ago
  
  2ae235d7
May 03, 2021
- fix constant folding (all tests pass) · 63f24da2
  Luca Bataillard authored 3 years ago
  
  63f24da2
- add identity inlining (one test fails) · 79a9e1d0
  Luca Bataillard authored 3 years ago
  
  79a9e1d0
May 01, 2021
- Fix/Implement CSE · e86031e1
  Sapphie authored 3 years ago
  
  e86031e1
- Change Value representer to use XOr more · ded6fc57
  Sapphie authored 3 years ago
  
  ded6fc57
- Implement identity replacement · 9c120d52
  Sapphie authored 3 years ago
  
  9c120d52
- Implement and refactor · 3ad69e52
  Sapphie authored 3 years ago
  
  3ad69e52
Apr 30, 2021
- Implement same argument reduction, as well as CSE (currently disabled) · 95e9f764
  Sapphie authored 3 years ago
  
  95e9f764
- Implement constant folding for value primitives · aa62f3c2
  Sapphie authored 3 years ago
  
  aa62f3c2
- Temporarily simplify halt representation · c6f5bb5f
  Sapphie authored 3 years ago
  
  c6f5bb5f
- Implement halt untagging and improve modulo representation · aa303d4e
  Sapphie authored 3 years ago
  
  aa303d4e
Apr 25, 2021
- add optimization test · 8314f274
  Luca Bataillard authored 3 years ago
  
  8314f274
- implement non-shrinking inlining (all tests pass) · e3128c7f
  Luca Bataillard authored 3 years ago
  
  e3128c7f
- fix cpshighoptimizer (tests pass) · 4dc52f1b
  Luca Bataillard authored 3 years ago
  
  4dc52f1b
- revert expr-fun and remove extra printlns · cab13317
  Luca Bataillard authored 3 years ago
  
  cab13317
- Merge branch 'improvedCC' into 'master' · c15ee6be
  Luca Bataillard authored 3 years ago
  
  Improved cc See merge request !2
  c15ee6be
- Merge branch 'improvedCC' of gitlab.epfl.ch:owsianko/acc-project into improvedCC · 3844c623
  Luca Bataillard authored 3 years ago
  
  3844c623
- fix improved CC translation · 5e1720d2
  Luca Bataillard authored 3 years ago
  
  5e1720d2
Apr 24, 2021
- Implement AppC · f89f9e4e
  Sapphie authored 3 years ago
  
  f89f9e4e
- Implement unstable · 761e22ae
  Sapphie authored 3 years ago
  
  761e22ae
- Merge branch 'optimiser' into 'master' · 2ccfd18a
  Haley Sapphie Owsianko authored 3 years ago
  
  Begin optimiser implementation See merge request !1
  2ccfd18a
- Begin optimiser implementation · 07caad17
  Sapphie authored 3 years ago
  
  07caad17
- Implement Halt · 92317d94
  Sapphie authored 3 years ago
  
  92317d94
- fixup! Implement LetP and LetC · bb672d39
  Sapphie authored 3 years ago
  
  bb672d39
- Implement LetP and LetC · 7d5658e7
  Sapphie authored 3 years ago
  
  7d5658e7
- Finish AppF shrinking · 545d8b91
  Sapphie authored 3 years ago
  
  545d8b91
Apr 23, 2021
- Implement LetF shrinking and start AppF shrinking · 3c096064
  Sapphie authored 3 years ago
  
  3c096064
Apr 19, 2021
- debugging and testing · 67178875
  Sapphie authored 3 years ago
  
  67178875
Apr 18, 2021
- Try to fix improvedCC · e6899d1b
  Sapphie authored 3 years ago
  
  e6899d1b
Apr 16, 2021
- remove modifications to main and interp · 5b6c4476
  Luca Bataillard authored 3 years ago
  
  5b6c4476