Commits · 83aaf7e1bc7525bd97a64c345041f6b5173ddbbc · Analysers / WCCL

May 05, 2011
- Clear heads for unmark operators in tag and match rules. · 83aaf7e1
  Adam Wardynski authored 13 years ago
  
  83aaf7e1
Apr 21, 2011
- use shared_ptr == instead of comparing .get() pointers (equivalent and shorter) · 6428a6fb
  ilor authored 13 years ago
  
  6428a6fb
- fix crashes in markmatch / unmarkmatch caused by taking a reference to a... · f5a1115d
  ilor authored 13 years ago
```
fix crashes in markmatch / unmarkmatch caused by taking a reference to a shared pointer instead of just making a copy, and a typo
```
  f5a1115d
Apr 20, 2011
- unmark() action for match rules. · b0772065
  Adam Wardynski authored 13 years ago
  
  b0772065
- Adding ability to mark head in mark for matches. · 1a999453
  Adam Wardynski authored 13 years ago
  
  1a999453
Apr 19, 2011
- mark() for match actions. · 0a1c6932
  Adam Wardynski authored 13 years ago
  
  0a1c6932