git.libre-soc.org Git - soc.git/search

2020-04-04	Michael Nolan	Working test_add	commit \| commitdiff \| tree
2020-04-04	Michael Nolan	change @inject to take no parameters	commit \| commitdiff \| tree
2020-04-04	Michael Nolan	Sorta working add instruction	commit \| commitdiff \| tree
2020-04-04	Michael Nolan	Minor changes to test for caller.py, still not working...	commit \| commitdiff \| tree
2020-04-04	Michael Nolan	Add a basic test class for caller.py	commit \| commitdiff \| tree
2020-04-01	Michael Nolan	Add many more operators to selectable_int	commit \| commitdiff \| tree
2020-04-01	Michael Nolan	selectable_int now in power ordering, add setitem	commit \| commitdiff \| tree
2020-04-01	Michael Nolan	Add rudimentary int class with bit index	commit \| commitdiff \| tree
2020-04-01	Michael Nolan	Fix bug in test_decoder_gas	commit \| commitdiff \| tree
2020-03-31	Michael Nolan	Minor cleanup	commit \| commitdiff \| tree
2020-03-31	Michael Nolan	Add more comments to helpers.py	commit \| commitdiff \| tree
2020-03-30	Michael Nolan	Add tests for EXTS64, fix EXTS64	commit \| commitdiff \| tree
2020-03-30	Michael Nolan	Add ROTL32 and ROTL64	commit \| commitdiff \| tree
2020-03-30	Michael Nolan	Begin adding helper functions for PPC pseudocode compiler	commit \| commitdiff \| tree
2020-03-30	Michael Nolan	Fix bug in GAS test where it would load and update...	commit \| commitdiff \| tree
2020-03-30	Michael Nolan	Fix tests broken by df295b5	commit \| commitdiff \| tree
2020-03-30	Michael Nolan	Minor cleanup	commit \| commitdiff \| tree
2020-03-30	Michael Nolan	WIP: Replace fields in power_decoder with signals of...	commit \| commitdiff \| tree
2020-03-29	Michael Nolan	Update proof_decoder2 to handle signed immediates	commit \| commitdiff \| tree
2020-03-29	Michael Nolan	Fix issue 271, remove unneeded fields in power_fieldsn.py	commit \| commitdiff \| tree
2020-03-26	Michael Nolan	Add tests for subfic and neg	commit \| commitdiff \| tree
2020-03-26	Michael Nolan	Sub instruction working	commit \| commitdiff \| tree
2020-03-25	Michael Nolan	Directly compare simulator with qemu	commit \| commitdiff \| tree
2020-03-25	Michael Nolan	Assemble whole program instead of instruction by instruction	commit \| commitdiff \| tree
2020-03-25	Michael Nolan	Add rudimentary python qemu interface	commit \| commitdiff \| tree
2020-03-25	Michael Nolan	Add instructions for how to launch qemu	commit \| commitdiff \| tree
2020-03-25	Michael Nolan	Add qemu test directory	commit \| commitdiff \| tree
2020-03-23	Michael Nolan	Implement load and store of bytes, halfwords, and words	commit \| commitdiff \| tree
2020-03-23	Michael Nolan	Properly sign extend immediates	commit \| commitdiff \| tree
2020-03-23	Michael Nolan	Fix broken test	commit \| commitdiff \| tree
2020-03-23	Michael Nolan	Add support for extended/indexed ld/st	commit \| commitdiff \| tree
2020-03-23	Michael Nolan	Add memory loads and stores to simulator	commit \| commitdiff \| tree
2020-03-23	Michael Nolan	Begin adding backend simulator	commit \| commitdiff \| tree
2020-03-23	Michael Nolan	Move gnu assembler interface to separate file	commit \| commitdiff \| tree
2020-03-20	Michael Nolan	Fix proof_decoder2	commit \| commitdiff \| tree
2020-03-20	Michael Nolan	Delete log messages in power_fields and power_fieldsn	commit \| commitdiff \| tree
2020-03-20	Michael Nolan	Minor cleanup	commit \| commitdiff \| tree
2020-03-20	Michael Nolan	Add test for branch to lr/ctr	commit \| commitdiff \| tree
2020-03-20	Michael Nolan	Add tests for branch instructions	commit \| commitdiff \| tree
2020-03-20	Michael Nolan	Add test for rotate/shift instructions	commit \| commitdiff \| tree
2020-03-20	Michael Nolan	Remove unneeded condition register decoder	commit \| commitdiff \| tree
2020-03-19	Michael Nolan	Add test for cmp with register	commit \| commitdiff \| tree
2020-03-19	Michael Nolan	Add tests for load/store with immediate offset	commit \| commitdiff \| tree
2020-03-19	Michael Nolan	Add ld and st instructions to the reg/reg test	commit \| commitdiff \| tree
2020-03-19	Michael Nolan	Add checks for the decoding of RC (the . in some instructions)	commit \| commitdiff \| tree
2020-03-19	Michael Nolan	Add tests for register+immediate ops	commit \| commitdiff \| tree
2020-03-19	Michael Nolan	Factor out instruction generation and testing from...	commit \| commitdiff \| tree
2020-03-19	Michael Nolan	Cleanup test_decoder_gas.py	commit \| commitdiff \| tree
2020-03-19	Michael Nolan	Add assertions for input registers	commit \| commitdiff \| tree
2020-03-18	Michael Nolan	Begin adding a test using GNU AS	commit \| commitdiff \| tree
2020-03-18	Michael Nolan	Add proof that all other opcodes decode to INVALID	commit \| commitdiff \| tree
2020-03-18	Michael Nolan	Fix bug where enum values weren't getting set to int	commit \| commitdiff \| tree
2020-03-18	Michael Nolan	Create SPR enum from sprs.csv	commit \| commitdiff \| tree
2020-03-18	Michael Nolan	Add more to decoder proof	commit \| commitdiff \| tree
2020-03-18	Michael Nolan	Begin adding proof for decoder stage 1	commit \| commitdiff \| tree
2020-03-11	Michael Nolan	Add assertions that instruction fields are correct	commit \| commitdiff \| tree
2020-03-11	Michael Nolan	Add test for remaining bits	commit \| commitdiff \| tree
2020-03-11	Michael Nolan	Add tests for DecodeOut and DecodeRC	commit \| commitdiff \| tree
2020-03-10	Michael Nolan	Add cases for DecodeB and DecodeC	commit \| commitdiff \| tree
2020-03-10	Michael Nolan	Refactor DecodeA test	commit \| commitdiff \| tree
2020-03-10	Michael Nolan	Add proof for power_decoder2.DecodeA	commit \| commitdiff \| tree
2020-03-09	Michael Nolan	Fix logical loop in DecodeA	commit \| commitdiff \| tree
2020-03-09	Michael Nolan	Begin adding proof for decoder2	commit \| commitdiff \| tree
2020-03-09	Michael Nolan	Migrate imports to use absolute imports	commit \| commitdiff \| tree
2020-03-09	Michael Nolan	Fix test	commit \| commitdiff \| tree
2020-03-04	Michael Nolan	Add suffix handling back in	commit \| commitdiff \| tree
2020-03-04	Michael Nolan	Generate ilang for whole decoder	commit \| commitdiff \| tree
2020-03-04	Michael Nolan	Add tests for minor_58 and minor_62	commit \| commitdiff \| tree
2020-03-04	Michael Nolan	Hierarchial decoder semi-working	commit \| commitdiff \| tree
2020-03-04	Michael Nolan	Add bit selectors for most of the tests	commit \| commitdiff \| tree
2020-03-04	Michael Nolan	Change decoder to take the bits to select of the opcode...	commit \| commitdiff \| tree
2020-03-02	Michael Nolan	Add recursive decoding	commit \| commitdiff \| tree
2020-03-02	Michael Nolan	Add support for hierarchical decoding	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add tests for minor_30 and minor_31 decoding tables	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add default case to decoder	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add fields from the ones in IBM's Microwatt	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add decoder/test for minor_19 field	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add code to download csv files from wiki if they don...	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Move enums to a separate file	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Correct cry in field from a single bit to an enum	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Cleanup testbench, add messages to assertions	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add in remaining fields from major decoder	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add signals for single bit flags in major.csv	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add input and output register selector fields	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Minor cleanup	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Move decoder.py to power_major_decoder.py	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add internal op field to major decoder	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Begin adding power ISA decoder	commit \| commitdiff \| tree

RSS Atom