summaryrefslogtreecommitdiff
path: root/src/test
AgeCommit message (Collapse)Author
2014-03-17More coercionsKathy Gray
2014-03-14Support regbits read and writeGabriel Kerneis
No support for non-contiguous writes.
2014-03-13Make test_power compiling againGabriel Kerneis
2014-03-12Correctly type checking and interpreting accesses of register "fields". ↵Kathy Gray
Register-reading action isn't reading the subreg correctly still (seems to be making up a value though). Corrects but to vectors.sail and power.sail use of plus. (A new bug in power.sail is exposed using a binary operator with one value)
2014-03-11Change treatment of type abbreviations so that name and full type are ↵Kathy Gray
available for field lookups of registers; this feature still not fully working.
2014-03-11Exhibit bug in interpreter in vector testGabriel Kerneis
2014-03-11More work on interpreter and Power modelGabriel Kerneis
2014-03-11Increase support for register "field" accesses; there is now a bug in how ↵Kathy Gray
run_interp handles SubReg register forms.
2014-03-07Treat registers as values when not being actively read or written to, so ↵Kathy Gray
that we can have a vector of registers for example. Also, register types can be explicitly referenced.
2014-03-04Minimal power model to run hello worldGabriel Kerneis
Crashes because register initialization is missing.
2014-03-03new test fileKathy Gray
2014-03-03Fixing assorted bugs. Adding ability to put a type on the identifier being ↵Kathy Gray
assigned to in assignments.
2014-03-01Fix printing bug on vector slicing that caused only one element to ever be ↵Kathy Gray
sliced
2014-02-28Fix endiannessGabriel Kerneis
In fact, increasing order is big-endian, not little-endian. This is good news for us, because it means we do not need any switch for the POWER spec.
2014-02-28Fetch-decode POWER interpreterGabriel Kerneis
Many limitations and bugs currently, but loads binary and decodes opcodes correctly (using endianness hacks). Disabled in the default test suite (but still compiled), run "make test_power" to try it.
2014-02-28Load ELF sections to virtual memory addressesGabriel Kerneis
Roughly 110KB/s (~5 seconds to load "hello" test).
2014-02-28Correct bug in parsing and handling a['a:'b] typesKathy Gray
2014-02-27Load POWER binary into interpreter's memoryGabriel Kerneis
2014-02-27Merge branch 'interp_typed'Kathy Gray
Conflicts: src/lem_interp/interp.lem src/lem_interp/run_interp.ml
2014-02-26Get interpreter working using types, no added functionality yetKathy Gray
2014-02-25Sensible types for POWER registersGabriel Kerneis
2014-02-18Remove spurious add infixGabriel Kerneis
2014-02-18Report failing tests and return 1 in case of errorGabriel Kerneis
2014-02-15Full type checker. No constraint checking in place.Kathy Gray
2014-02-14Attempt multi-byte memory read and writeGabriel Kerneis
Test seems to fail for some reason, probably endianess and off-by-one bugs all over the place. Needs debugging code to monitor memory updates and display bitvectors in a compact way.
2014-02-14Write slice to memoryGabriel Kerneis
I'm not sure whether this is useful at all. It is currently a bit broken when subrange is not in the "correct" order. Presumably the typechecker should catch this? I'm not quite sure what the intended semantics should be. Probably the same bug occurs with register slices too.
2014-02-14Fix infinite loop bug, and test1.sail type checking bugKathy Gray
2014-02-14Infinite loop in interpreter for register slice writeGabriel Kerneis
I believe the issue is on the Lem side, but I might be doing something wrong on the OCaml side too.
2014-02-14Register slice writeGabriel Kerneis
2014-02-13Disable line which does not typecheck in test1Gabriel Kerneis
We need to fix that one, but I don't know if the bug is in test1 or in the type checker.
2014-02-13Add definition of ignore to make tests executableGabriel Kerneis
2014-02-12More library functions for interpreterGabriel Kerneis
There is now enough stuff to decode and execute a very basic Branch instruction (encoding everything as little-endian rather than big- endian among many other work-arounds).
2014-02-12Fix endianess issuesGabriel Kerneis
2014-02-12Checking assignment to a variableKathy Gray
2014-02-12Remove spurious declarationGabriel Kerneis
2014-02-12Fix type errors in power.sailGabriel Kerneis
2014-02-07type checking switch/case expressionsKathy Gray
2014-02-07Implement is_oneGabriel Kerneis
2014-02-07Correct variable-name bug that was throwing away type checking coercions and ↵Kathy Gray
type annotations
2014-02-07more checkingKathy Gray
2014-02-07Use bit->bool coercion for power.sailGabriel Kerneis
2014-02-05Replace symbolic link by actual fileGabriel Kerneis
2014-02-05Test scattered typedef cross-referenceGabriel Kerneis
2014-02-05Fix type id parsing error ans associated type checking bugs in scatteredsKathy Gray
2014-02-05Typechecking lets, concrete vectors, and function calls (minus effects)Kathy Gray
2014-02-05First bit of Power specGabriel Kerneis
Only chapter about branches (except system calls because of sail typechecking issue). Decoding seems to work. Execution typechecks currently, but is pretty surely broken otherwise.
2014-02-05Adding failing typechecking testGabriel Kerneis
File "test/test1.sail", line 27, character 22 to line 27, character 26 Type error: Type mismatch :(6() * ) , bit
2014-01-31More type checking and conversionsKathy Gray
(Temporarily turning off unbound identifier checks, until all variable-introducing forms are checked)
2014-01-17Type check through type definitions and val specifications, building ↵Kathy Gray
definition environment. Skipping function definition, let bind, and expression checking for this commit (to come).
2014-01-15Test indexed matchGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-30 07:05:11 +0000