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

2020-05-07	Michael Nolan	Fix bug with comparisons in selectable_int.py	commit \| commitdiff \| tree
2020-05-07	Michael Nolan	Add test_mfcr	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Re-enable test_mtcrf	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Add length helper for getting length of a selectable int	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Add helper functions to replace direct comparison in...	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Look up spr length from spr table	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Add dict of spr properties to power_enums	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Implement bctr and mtspr	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Properly implement LR and CTR	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Add ability to patch generated isa files	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Sorta kinda working bl and blr - need to properly implement lr	commit \| commitdiff \| tree
2020-05-05	Michael Nolan	Add rudimentary branch capability	commit \| commitdiff \| tree
2020-05-05	Michael Nolan	Fix broken test_decoder_gas	commit \| commitdiff \| tree
2020-05-02	Michael Nolan	Read decoder tables from wiki submodule instead of web	commit \| commitdiff \| tree
2020-04-10	Michael Nolan	Update libreriscv to fix test_mtcrf	commit \| commitdiff \| tree
2020-04-06	Michael Nolan	Convert instruction info from tuple to namedtuple	commit \| commitdiff \| tree
2020-04-06	Michael Nolan	Add test for addpcis	commit \| commitdiff \| tree
2020-04-06	Michael Nolan	Begin adding PC to caller.py	commit \| commitdiff \| tree
2020-04-06	Michael Nolan	Fix broken tests from parser update	commit \| commitdiff \| tree
2020-04-06	Michael Nolan	Auto insert instruction fields into the namespace	commit \| commitdiff \| tree
2020-04-05	Michael Nolan	Autogenerate all.py	commit \| commitdiff \| tree
2020-04-05	Michael Nolan	Handle new changes in pseudocode parser	commit \| commitdiff \| tree
2020-04-05	Michael Nolan	Handle opcodes returning EXTS() results	commit \| commitdiff \| tree
2020-04-05	Michael Nolan	Fix bug 281	commit \| commitdiff \| tree
2020-04-05	Michael Nolan	Add in _reg and immediate support	commit \| commitdiff \| tree
2020-04-05	Michael Nolan	Fix issue with memory load/store byte order	commit \| commitdiff \| tree
2020-04-05	Michael Nolan	Fix not being able to use all instructions in ISA class	commit \| commitdiff \| tree
2020-04-05	Michael Nolan	Implement bug 278, comment 1 - better version of EXTS	commit \| commitdiff \| tree
2020-04-05	Michael Nolan	Move combination class out of __init__	commit \| commitdiff \| tree
2020-04-05	Michael Nolan	Fix addi instruction, think a commit got lost	commit \| commitdiff \| tree
2020-04-05	Michael Nolan	Add class for combining multiple instruction classes	commit \| commitdiff \| tree
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
next

RSS Atom