Commits · 4a2c8802edfbd34dc02488b1cd1b3144f338b85b · Gilles Coremans / ASTTool

08 Oct, 2019 1 commit
- Fix free variables for string variable binders · 4a2c8802
  marton bognar authored Oct 08, 2019
  
  4a2c8802
01 Oct, 2019 1 commit
- Fixes to STLC Prod specification and its processing · 1facde36
  marton bognar authored Oct 01, 2019
  
  1facde36
24 Sep, 2019 2 commits
- Move substitution function · b7419c6a
  marton bognar authored Sep 24, 2019
  
  b7419c6a
- Fix the way of determining necessary substitution calls · 59fed1ca
  marton bognar authored Sep 24, 2019
  
  59fed1ca
23 Sep, 2019 5 commits
- Reduce code duplication a bit · 8ed5057e
  marton bognar authored Sep 23, 2019
  
  8ed5057e
- Fix some issues with more complicated identifier sorts · d6d0d10c
  marton bognar authored Sep 23, 2019
  
  d6d0d10c
- Add variable renaming functions for string representations · 4683c896
  marton bognar authored Sep 23, 2019
  
  4683c896
- Move capitalization changes to printing · 7f4c069b
  marton bognar authored Sep 23, 2019
  
  7f4c069b
- Draft of string variable substitution · d16fd7fb
  marton bognar authored Sep 23, 2019
  
  d16fd7fb
20 Sep, 2019 2 commits
- Rename a function and clean up unused code · 564a9581
  marton bognar authored Sep 20, 2019
  
  564a9581
- Refactor the utility functions in Common · 4ddfc2ce
  marton bognar authored Sep 20, 2019
  
  4ddfc2ce
19 Sep, 2019 3 commits
- Refactor the remainder of free variable generation · 139e5617
  marton bognar authored Sep 19, 2019
  
  139e5617
- Refactor common top-level function generator functions · a445b3c4
  marton bognar authored Sep 19, 2019
  
  a445b3c4
- Refactor Utility module · 4c717532
  marton bognar authored Sep 19, 2019
  
  4c717532
18 Sep, 2019 12 commits
- ConstructorDef refactor · ac0a318c
  marton bognar authored Sep 18, 2019
  
  ac0a318c
- More name collisions · 66416a5c
  marton bognar authored Sep 18, 2019
  
  66416a5c
- NamespaceDef refactor · 0cf3a151
  marton bognar authored Sep 18, 2019
  
  0cf3a151
- RightExpr and NamespaceRule refactor · 2429ee8c
  marton bognar authored Sep 18, 2019
  
  2429ee8c
- LeftExpr refactor · 4ffcf61f
  marton bognar authored Sep 18, 2019
  
  4ffcf61f
- Fix clashing record field names · c94f6143
  marton bognar authored Sep 18, 2019
  
  c94f6143
- IdName refactor · 6eb2c113
  marton bognar authored Sep 18, 2019
  
  6eb2c113
- NamespaceInstance refactor · 38c29378
  marton bognar authored Sep 18, 2019
  
  38c29378
- Start working on a separate substitution function for string variables · 231d9281
  marton bognar authored Sep 18, 2019
  
  231d9281
- Naive substitution implementation · ef6878ea
  marton bognar authored Sep 18, 2019
  
  ef6878ea
- Fix some errors in string variable output · aed69b16
  marton bognar authored Sep 18, 2019
  
  aed69b16
- Inject functions to converter module from variable modules · 7fcf84d6
  marton bognar authored Sep 18, 2019
  
  7fcf84d6
17 Sep, 2019 2 commits
- New project structure · 63a49f13
  marton bognar authored Sep 17, 2019
  
  63a49f13
- Start working on some naming consistency · c7c9e8a8
  marton bognar authored Sep 17, 2019
  
  c7c9e8a8
16 Sep, 2019 1 commit
- Start woking on different variable representations · 0d9dab3b
  marton bognar authored Sep 16, 2019
  
  0d9dab3b