search

ssm-lang / sslang

A language built atop the Sparse Synchronous Model
BSD 3-Clause "New" or "Revised" License
18 stars 0 forks source link

Implement pattern matching anomaly detection in the IR #144

Closed cyoon1729 closed 1 year ago

cyoon1729 commented 1 year ago

This PR re-implements the pattern matching anomaly detection algorithm (by Luc Maranget) on the IR. The same algorithm was previously implemented to perform on the AST, but was decided to be re-implemented in the IR, together with the type checker.

Current status:

All test cases pass

leoqiao18 commented 1 year ago

@cyoon1729 Can you just add a few more test cases? For example, we need test cases for "useless" pattern checking.

j-hui commented 1 year ago

@cyoon1729 can you merge this in? I don't think it'll break my branch that badly.