Commits · 3855aa89339724ccd37c8096bf3920b8775ecc47 · POTTIER Francois / menhir · GitLab

10 Dec, 2018 1 commit
- Another attempt to publish a website with gitlab pages · 3855aa89
  HINDERER Sebastien authored Dec 10, 2018
  
  3855aa89
23 Nov, 2018 3 commits
- TODO. · 79fa1cf1
  POTTIER Francois authored Nov 20, 2018
  
  79fa1cf1
- TODO. · 4ab0f590
  POTTIER Francois authored Nov 23, 2018
  
  4ab0f590
- Allow an empty point-free semantic action to contain whitespace. · e2db096b
  POTTIER Francois authored Nov 23, 2018
  
  e2db096b
16 Nov, 2018 5 commits
- Rename [Unparameterized] to [Basic]. · 904c82cc
  POTTIER Francois authored Nov 16, 2018
  
  904c82cc
- Renaming [NonTerminalDefinitionInlining] to [Inlining]. · 72155b19
  POTTIER Francois authored Nov 16, 2018
  
  72155b19
- Rename [Inliner] to [CodeInliner]. · aff10f81
  POTTIER Francois authored Nov 16, 2018
  
  aff10f81
- Move the function [names] from [NonTerminalDefinitionInlining] to [UnparameterizedSyntax]. · 55589266
  POTTIER Francois authored Nov 16, 2018
  
  55589266
- A renaming. · c0636f93
  POTTIER Francois authored Nov 16, 2018
  
  c0636f93
15 Nov, 2018 1 commit
- Update one test. · 069fa2d6
  POTTIER Francois authored Nov 15, 2018
  
  069fa2d6
14 Nov, 2018 20 commits
- Done cleaning up [NonTerminalDefinitionInlining]. · 2216af91
  POTTIER Francois authored Nov 14, 2018
  
  2216af91
- A better error message for %inline cycles. · 3948a181
  POTTIER Francois authored Nov 14, 2018
  
  3948a181
- More cleanup and comments. · de3e7583
  POTTIER Francois authored Nov 14, 2018
  
  de3e7583
- More cleanup. · 161edf75
  POTTIER Francois authored Nov 14, 2018
  
  161edf75
- Isolate [define_positions]. · 0e243566
  POTTIER Francois authored Nov 14, 2018
  
  0e243566
- Comments. · 1d3c0e16
  POTTIER Francois authored Nov 14, 2018
  
  1d3c0e16
- Isolate [check_prec_inline]. · 8dfc6f98
  POTTIER Francois authored Nov 14, 2018
  
  8dfc6f98
- More cleanup. · cd8f3646
  POTTIER Francois authored Nov 14, 2018
  
  cd8f3646
- Movement and comments. · bf6b76e9
  POTTIER Francois authored Nov 14, 2018
  
  bf6b76e9
- Remove a date in CHANGES.md. · df8c27e7
  POTTIER Francois authored Nov 14, 2018
  
  df8c27e7
- Fix a date in CHANGES.md. · 3e8a5d71
  POTTIER Francois authored Nov 14, 2018
  
  3e8a5d71
- Fix a link in CHANGES.md. · 7ef5ad9a
  POTTIER Francois authored Nov 14, 2018
  
  7ef5ad9a
- Fix a few missing words in the blog post. · 6a6d2f15
  POTTIER Francois authored Nov 14, 2018
  
  6a6d2f15
- Moved a few functions to [UnparameterizedSyntax]. · 38a6e174
  POTTIER Francois authored Nov 14, 2018
  
  38a6e174
- Eliminate [index2id]. · 6fb9250b
  POTTIER Francois authored Nov 14, 2018
  
  6fb9250b
- Left-to-right sweep: avoid searching in places that have been searched already. · c15ac728
  POTTIER Francois authored Nov 14, 2018
  
  c15ac728
- Introduce [search]. Inline away [find_inlining_site]. · a88befe5
  POTTIER Francois authored Nov 14, 2018
  
  a88befe5
- Refactoring. · 46f7240c
  POTTIER Francois authored Nov 14, 2018
  
  46f7240c
- Eliminate [expand_branch]. · ef41d9f2
  POTTIER Francois authored Nov 14, 2018
  
  ef41d9f2
- More refactoring. · 6429a199
  POTTIER Francois authored Nov 14, 2018
  
  6429a199
13 Nov, 2018 10 commits
- Use [Memoize.String.defensive_fix] instead of an ad hoc hash table. · 1913b6ec
  POTTIER Francois authored Nov 14, 2018
  
  1913b6ec
- Eliminate [expand_rule]. · 1df26729
  POTTIER Francois authored Nov 14, 2018
  
  1df26729
- Isolate [find]. Introduce [expand_symbol]. · 379675e8
  POTTIER Francois authored Nov 14, 2018
```
Make it [expand_symbol] the main entry point instead of [expand_rule].
```
  379675e8
- Added [Memoize.String]. · 5c029418
  POTTIER Francois authored Nov 14, 2018
  
  5c029418
- Updated version of [Memoize], including a new combinator [defensive_fix]. · 5f21e138
  POTTIER Francois authored Nov 14, 2018
  
  5f21e138
- Import [Positions.position]. · 040c6926
  POTTIER Francois authored Nov 13, 2018
  
  040c6926
- Filter before expanding, instead of the converse. · 69e4bdc1
  POTTIER Francois authored Nov 13, 2018
  
  69e4bdc1
- Hoist [inline_branch] to the top level. Introduce [inline_branches]. · 5fc3ecd0
  POTTIER Francois authored Nov 13, 2018
  
  5fc3ecd0
- New type [UnparameterizedSyntax.branches]. · b09ec0e1
  POTTIER Francois authored Nov 13, 2018
  
  b09ec0e1
- Move code around so that the local function [inline_branch] has fewer free variables. · fe18ee98
  POTTIER Francois authored Nov 13, 2018
  
  fe18ee98