Commits · genterm · Gilles Coremans / ASTTool

30 Apr, 2020 2 commits
- Merge branch 'master' of github.com:martonbognar/ASTTool into genterm · eb0d920d
  Gilles Coremans authored May 01, 2020
  
  eb0d920d
- New type shift helper function · 587db730
  marton bognar authored Apr 30, 2020
  
  587db730
28 Apr, 2020 1 commit
- Merge branch 'master' of github.com:martonbognar/ASTTool into genterm · 3e5f5261
  Gilles Coremans authored Apr 28, 2020
  
  3e5f5261
27 Apr, 2020 3 commits
- Change plus and getTypeFromEnv · 8b840421
  marton bognar authored Apr 27, 2020
  
  8b840421
- Merge branch 'master' of github.com:martonbognar/ASTTool into genterm · 015e2ca1
  Gilles Coremans authored Apr 27, 2020
  
  015e2ca1
- Experimental change to minus function · 330a3934
  marton bognar authored Apr 27, 2020
  
  330a3934
24 Apr, 2020 2 commits
- Merge branch 'master' of github.com:martonbognar/ASTTool into genterm · ce8948bf
  Gilles Coremans authored Apr 24, 2020
  
  ce8948bf
- Attempt to fix well-formedness relation · a0d3a69d
  marton bognar authored Apr 24, 2020
  
  a0d3a69d
23 Apr, 2020 4 commits
- Fix SystemFImpl and update SystemFBase · 725d72a9
  Gilles Coremans authored Apr 23, 2020
  
  725d72a9
- Fix some bad variable generation · 5c76cb00
  Gilles Coremans authored Apr 23, 2020
  
  5c76cb00
- Merge branch 'master' of github.com:martonbognar/ASTTool into genterm · 447454b0
  Gilles Coremans authored Apr 23, 2020
  
  447454b0
- Change environment lookup functions and abstraction type inference · bcfef101
  marton bognar authored Apr 23, 2020
  
  bcfef101
21 Apr, 2020 4 commits
- Merge branch 'master' of github.com:martonbognar/ASTTool into genterm · 32ee3cca
  Gilles Coremans authored Apr 21, 2020
  
  32ee3cca
- Rename SystemFSorts SystemFBase · e2209fbd
  Gilles Coremans authored Apr 21, 2020
  
  e2209fbd
- Reintroduce variable types · 55dd621b
  marton bognar authored Apr 21, 2020
  
  55dd621b
- Experimental changes for System F · b583e600
  marton bognar authored Apr 21, 2020
  
  b583e600
20 Apr, 2020 2 commits
- Revert to original SystemF code · f7608863
  marton bognar authored Apr 20, 2020
  
  f7608863
- Update generated SystemF and implementation · d9509613
  marton bognar authored Apr 20, 2020
  
  d9509613
17 Apr, 2020 6 commits
- Make the precondition for FCo preservation stricter · 176ba07b
  Gilles Coremans authored Apr 17, 2020
  
  176ba07b
- Make FCo tests into a module (for debugging) · 1fb1a5e7
  Gilles Coremans authored Apr 17, 2020
  
  1fb1a5e7
- Update sample output · bd75d713
  Gilles Coremans authored Apr 17, 2020
  
  bd75d713
- Fix *OfSize being used where *UpToSize was intended · 0be41cd1
  Gilles Coremans authored Apr 17, 2020
  
  0be41cd1
- Remove unnecessary fromRight in test cases · f855392c
  Gilles Coremans authored Apr 17, 2020
  
  f855392c
- Add test executables to .gitignore · 74576c98
  Gilles Coremans authored Apr 17, 2020
  
  74576c98
16 Apr, 2020 4 commits
- Update sample output · d1259d52
  Gilles Coremans authored Apr 16, 2020
  
  d1259d52
- Add test code for elaboration to main · 9256e44d
  Gilles Coremans authored Apr 16, 2020
  
  9256e44d
- Merge branch 'master' into genterm · 79c9cedd
  Gilles Coremans authored Apr 16, 2020
  
  79c9cedd
- add some output · 78258ed6
  Gilles Coremans authored Apr 16, 2020
  
  78258ed6
14 Apr, 2020 2 commits
- Experimental fixes for elaboration compile errors · 9b7806d7
  marton bognar authored Apr 14, 2020
  
  9b7806d7
- Use updated FCo and Fi+ specifications for their implementation · 6bc0c710
  marton bognar authored Apr 14, 2020
  
  6bc0c710
13 Apr, 2020 2 commits
- Add tests for FCo · f94dfdf4
  Gilles Coremans authored Apr 13, 2020
  
  f94dfdf4
- Add System F tests & memoization · 111fadf7
  Gilles Coremans authored Apr 13, 2020
  
  111fadf7
11 Apr, 2020 1 commit
- Add new generated code to FCO & Fi+ systems · 9d78e10c
  Gilles Coremans authored Apr 11, 2020
```
- Modify Elaborate.hs to use the new code, not succesfully
- Add tests for FCO
```
  9d78e10c
10 Apr, 2020 2 commits
- Add tests for System F · 03d7bb26
  Gilles Coremans authored Apr 10, 2020
  
  03d7bb26
- Use sub-sorts *up to* a size instead of simply of that size · 81b34e7b
  Gilles Coremans authored Apr 10, 2020
  
  81b34e7b
09 Apr, 2020 1 commit
- Remove unused function from Comble · 6270b79c
  Gilles Coremans authored Apr 09, 2020
  
  6270b79c
08 Apr, 2020 1 commit

Add QuickCheck wrappers to the code generator · ece5566d

Gilles Coremans authored Apr 08, 2020

Also make the output a bit prettier:
- Alternatives formatted onto their own line
- Use the <$> combinator instead of using 'pure ctor <*>'

ece5566d

06 Apr, 2020 2 commits
- Update Makefile · 85be2d16
  Gilles Coremans authored Apr 06, 2020
  
  85be2d16
- Add better support for attrs and natives · 19446718
  Gilles Coremans authored Apr 06, 2020
  
  19446718
05 Apr, 2020 1 commit
- Make code generator functional, minus proper attr handling · 8ba49771
  Gilles Coremans authored Apr 05, 2020
  
  8ba49771