summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2014-10-30use proper equality on register name typePeter Sewell
2014-10-30Pull in updated elf model, make build work again (at least for me)Kathy Gray
2014-10-30Merge branch 'master' of bitbucket.org:Peter_Sewell/l2Peter Sewell
2014-10-30more compact pp of binary values (following verilog literal syntax)Peter Sewell
(though we still get some long lists of bitzero,bitzero,... in the instruction state printing...)
2014-10-30Fix type error that Lem didn't catch with the interpreter aloneKathy Gray
2014-10-30harmonise argument orderPeter Sewell
2014-10-30Add parameter to interp_exhaust with type maybe (list (reg_name,value)) for ↵Kathy Gray
registers we might read that we want values for (particularly the PC)
2014-10-30Add case to neg for interp_libKathy Gray
2014-10-29tweak value pp (remove byte count)Peter Sewell
2014-10-28taint tracking unknown in interpreterKathy Gray
2014-10-28Allow tracking of unknowns in interp library, removing the P hacks.Kathy Gray
Add a function from instruction to istate
2014-10-28function in progress take 2Kathy Gray
2014-10-28hacks on taint trackingPeter Sewell
2014-10-28Add proper tag to constructors when storing continuationKathy Gray
2014-10-28Function definition in progressKathy Gray
2014-10-28K,P fix constructor-as-variable errorPeter Sewell
2014-10-27Correct externally visible endianness bugsKathy Gray
2014-10-27debugging tempKathy Gray
2014-10-27add objdump disassembly of hello4 executablePeter Sewell
2014-10-27source and assembly of test hello4Kathy Gray
2014-10-27Add printing for instruction formKathy Gray
2014-10-22Update printing for testing, fix some bugs found along the wayKathy Gray
2014-10-20Update the printing interface for ppcmem as opposed to run_model functionalityKathy Gray
2014-10-20Catch more types in constructor parametersKathy Gray
2014-10-20Separate out printing facility from model driver into printing_functions ↵Kathy Gray
interface
2014-10-16bug fixes to run test from Christopher's testsKathy Gray
2014-10-15Get the actual start address instead of the address of the start addressKathy Gray
2014-10-15Fixup printing on dumping memory to a lem fileKathy Gray
2014-10-15Add ability to print out binary as lem file of memory dump instead of ↵Kathy Gray
running binary; to generate files for Peter to load, in the first instance.
2014-10-14Iron out bugs in running new executable with branching; add new executable ↵Kathy Gray
as well.
2014-10-10make run_power.ml compile againKathy Gray
2014-10-10Functions for operating on bit and byte vectors from the interpreter interfaceKathy Gray
2014-10-08Merge.Stephen Kell
2014-10-08Tweak Makefile to use absolute or relative paths consistently, fixing make ↵Stephen Kell
behaviour that appeared to ignore ocaml depfiles.
2014-10-08Support exporting single bit and bool values to external bitvectorsKathy Gray
2014-10-07Connect interpreter to representation of instructions.Kathy Gray
Warning: this changes a few of the constructor names in the instruction_extractor.lem interface
2014-10-07Track dependencies on size of memory accessKathy Gray
2014-10-07kathy,peter: making decode integration with ppcmem2 typecheckPeter Sewell
2014-10-07Actually add the new fileKathy Gray
2014-10-07Merge and make real Peter's comment typeKathy Gray
2014-10-07Put in type for instruction form for models; remove extra information from ↵Kathy Gray
Bytevectors; add place holder for memory size dependency tracking
2014-10-07comment with suggested i_state_or_error typePeter Sewell
2014-10-06Getting closer with non-opam makefileKathy Gray
2014-10-04clarify Step constructorKathy Gray
2014-10-04Add alternative non-opam Makefile in src/.Stephen Kell
2014-10-04configure uint before makeKathy Gray
2014-10-03Add a decoding function to interp_interface and interp_inter_imp. (Note, ↵Kathy Gray
this is quite specific to Power's spec)
2014-10-02correct renaming typoKathy Gray
2014-10-01Add file to download required librariesKathy Gray
2014-10-01Fix bug omitting wmem effectsKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-17 13:00:26 +0000