56 Commits

Author	SHA1	Message	Date
Benjamin Bouvier	18fb87cd9c	[meta] Refactor instruction predicates to distinguish format and type checks; ... Also add the instruction format name in format predicates, since they're going to be used when generating encodings.	2019-07-03 18:39:28 +02:00
Benjamin Bouvier	f1d1d1e960	[meta] Uniquely number every instruction in the Rust crate;	2019-07-03 18:39:28 +02:00
Benjamin Bouvier	70f79d23bf	[meta] Make Builders build() instead of finish();	2019-05-29 14:05:01 +02:00
Benjamin Bouvier	d9277f249b	[meta] Introduce the InstructionGroupBuilder; ... This follows the rest of the code base data structures, where we have a mutable data structure builder; once the data structure is constructed, it's immutable. This also makes the definition of instructions easier, and it paves the way for defining immediate variants.	2019-05-29 14:05:01 +02:00
Benjamin Bouvier	feb90e376a	[meta] Make Instruction name/doc Strings so they can be automatically generated;	2019-05-29 14:05:01 +02:00
Benjamin Bouvier	22a6823496	[meta] Rename cdsl/inst to cdsl/instructions;	2019-05-29 14:05:01 +02:00