Commits · master · Jeff Smits / strs · GitLab

Sep 03, 2017
- Cleaning up the Scope type · ce22e14c
  Jeff Smits authored Sep 03, 2017
  
  ce22e14c
- Split Scope stack into term, strategy and overlay stacks · e6a1b089
  Jeff Smits authored Sep 03, 2017
  
  e6a1b089
- Add in_scope method to wrapping push-pop of scopes · 472db9a1
  Jeff Smits authored Sep 03, 2017
  
  472db9a1
- Update aterm version to fix interned string bug · fe09b881
  Jeff Smits authored Sep 03, 2017
  
  fe09b881
Sep 01, 2017
- Use the InternedString type alias · 2da5aa93
  Jeff Smits authored Sep 01, 2017
  
  2da5aa93
Aug 30, 2017
- Partially (see todo) fixed adding sargs to scope when going into strategy definitions · c152479b
  Jeff Smits authored Aug 30, 2017
  
  c152479b
Aug 29, 2017
- Optimise strategy arguments in calls and definitions in lets. Left in commented debug prints · bee22238
  Jeff Smits authored Aug 29, 2017
  
  bee22238
- Handle nested Seq on the lhs to be in the same list · bafe31bb
  Jeff Smits authored Aug 29, 2017
  
  bafe31bb
Aug 27, 2017
- Fixed bug: strategy can be not found if in library. Added debug flag · 813fb58d
  Jeff Smits authored Aug 27, 2017
  
  813fb58d
- The amount of type annotations on collects makes me want to cry · e3d1dff3
  Jeff Smits authored Aug 27, 2017
  
  e3d1dff3
- Print single guarded choice chains from consmatch so consmatch can be built again when read · 1498e079
  Jeff Smits authored Aug 27, 2017
  
  1498e079
- Handle empty sequences · f27805ad
  Jeff Smits authored Aug 27, 2017
  
  f27805ad
- Fixed bug where only Id was kept in strategy sequences · 514993df
  Jeff Smits authored Aug 27, 2017
  
  514993df
- Example input showing how strj already makes normalised sequence chains · 0268c59f
  Jeff Smits authored Aug 27, 2017
  
  0268c59f
- First test: fails · 10ca9612
  Jeff Smits authored Aug 27, 2017
  
  10ca9612
- Forgot important part · 2aa37697
  Jeff Smits authored Aug 27, 2017
  
  2aa37697
- There, optimisation code. Now we just need some tests. · 85b2d65f
  Jeff Smits authored Aug 27, 2017
  
  85b2d65f
- cargo fmt && cargo clippy · cd639160
  Jeff Smits authored Aug 27, 2017
  
  cd639160
- Propagate fixed string escaping in aterm crate · 09fe570d
  Jeff Smits authored Aug 27, 2017
  
  09fe570d
Aug 26, 2017
- Added ctree_opt, which currently just output the same CTree · 052ea781
  Jeff Smits authored Aug 26, 2017
  052ea781
Aug 24, 2017
- Refactored primitive definition into a macro, simplifies making changes to the format · 04a9d9f8
  Jeff Smits authored Aug 24, 2017
  
  04a9d9f8
Aug 23, 2017
- Removed formatter off directives and reformatted · e86aa5f3
  Jeff Smits authored Aug 23, 2017
  
  e86aa5f3
Aug 16, 2017
- Simplified matching against lists, no intermediate vector allocation · 2234ceee
  Jeff Smits authored Aug 16, 2017
  
  2234ceee
- Added benchmark using benchexpr between 10 and 20 for measurement purposes · db7bae55
  Jeff Smits authored Aug 16, 2017
  
  db7bae55
- Turned on LTO, 33% faster! · 48abb6cc
  Jeff Smits authored Aug 16, 2017
  
  48abb6cc
Aug 06, 2017
- Added CTree version of strj · ee7a9610
  Jeff Smits authored Aug 06, 2017
  
  ee7a9610
Aug 05, 2017
- Thoughts while writing the blog post · a56376fe
  Jeff Smits authored Aug 05, 2017
  
  a56376fe
Aug 01, 2017
- Rudimentary "caching" (prebuilding) of MatchTerm · 6d72c976
  Jeff Smits authored Aug 01, 2017
  
  6d72c976
- Added rudimentary caching to BuildTerm for 'large' terms · bd57bb10
  Jeff Smits authored Aug 01, 2017
  
  bd57bb10
Jul 31, 2017
- Moved build_aterm back to interpreter.rs. Added Cached BuildTerm variant, using it is still TODO · 4845c86c
  Jeff Smits authored Jul 31, 2017
  
  4845c86c
- Reviewed usage of clone(d)/to_owned · 8689c23e
  Jeff Smits authored Jul 31, 2017
  
  8689c23e
- cargo clippy, biggest change: passing strategy and term arguments by slice... · b9b975d1
  Jeff Smits authored Jul 31, 2017
  b9b975d1
- cargo fmt · 8418db1e
  Jeff Smits authored Jul 31, 2017
  
  8418db1e
- Remove owned Strings from AST, lifetimes everywhere :| · 39f8cb86
  Jeff Smits authored Jul 31, 2017
  
  39f8cb86
- I'm guessing unimplemented can only take a message in a recent nightly version · de4cd12a
  Jeff Smits authored Jul 31, 2017
  
  de4cd12a
- Somehow this wrong unimplemented use slipped through · a756f833
  Jeff Smits authored Jul 31, 2017
  
  a756f833
- Also update lock file, doh · 8e0b8877
  Jeff Smits authored Jul 31, 2017
  
  8e0b8877
- Depend on published aterm version to make things reproducable again · f885bb01
  Jeff Smits authored Jul 31, 2017
  
  f885bb01
- Fixed explode primitive, all tests succeed again · 5c8b6d0f
  Jeff Smits authored Jul 31, 2017
  
  5c8b6d0f
- Fix explode pattern match/build for strings · ef2caae1
  Jeff Smits authored Jul 31, 2017
  
  ef2caae1