Dimo 42e0476cf4 Add primitive bvult, bvzeroext; Add semantics for bextend, icmp (partial - only for <) iadd_cout

2017-07-28 10:47:08 -07:00

..

cretonne

Add primitive bvult, bvzeroext; Add semantics for bextend, icmp (partial - only for <) iadd_cout

2017-07-28 10:47:08 -07:00

filecheck

Lint fixes (#99)

2017-06-19 16:24:10 -07:00

frontend

Cretonne IL frontend: ILBuilder (#97)

2017-07-11 15:08:57 -07:00

reader

Add support for setting presets.

2017-07-14 13:57:44 -07:00