Jakob Stoklund Olesen b948de1693 Add a verifier pass for CPU flags. ...

Only one CPU flags value can be live at a time, and some instructions
clobber the flags.

2017-10-18 15:07:19 -07:00

..

bad_layout.cton

Binary function names (#91)

2017-06-10 10:30:37 -07:00

flags.cton

Add a verifier pass for CPU flags.

2017-10-18 15:07:19 -07:00

memory.cton

Check for global variable deref cycles in the verifier.

2017-08-17 15:11:58 -07:00

return_at_end.cton

Add trap codes to the Cretonne IL.

2017-09-20 15:50:02 -07:00

type_check.cton

Check for invalid special type constraints.

2017-09-28 16:30:19 -07:00

unreachable_code.cton

Fixed bug in verifier (#109)

2017-07-05 08:44:51 -07:00