summaryrefslogtreecommitdiff
path: root/src/pretty_print.ml
AgeCommit message (Expand)Author
2015-09-23More pretty printingKathy Gray
2015-09-22Start pretty printing ocaml for sequentialKathy Gray
2015-08-14Steps towards making constraint solver smarterKathy Gray
2015-08-06Update analysis to merge states and values after branches taken due to unknow...Kathy Gray
2015-06-24Support new memory write events in the sail front end and pretty printerKathy Gray
2015-06-10Put missing cases into nexp_eq_checkKathy Gray
2015-06-02Fix errors around ARM not being able to decode due to instruction_extractor b...Kathy Gray
2015-05-28fix pattern matching bug on concatenated vectorsKathy Gray
2015-05-13Add dynamic footprint dependency check event/outcomeKathy Gray
2015-03-26Add subtraction to nexp grammar (removing the need to do a + (-1 * b))Kathy Gray
2015-02-24Fix lem printingKathy Gray
2015-02-13Actually use new dependency information in generation of lem/etc.Kathy Gray
2015-02-03Correct bug in typedef NAME = register bits .... for Dec not present in IncKathy Gray
2015-01-22Actually remove minus on negative numbers from Lem outputKathy Gray
2015-01-21turn negative numbers into 0-n in Lem ast backendKathy Gray
2015-01-12Add specialised support for numeric singleton types (i.e. what used to be ran...Kathy Gray
2014-12-11Many fixes, primarily dealing with undefinedKathy Gray
2014-11-22signed multiplication and quotKathy Gray
2014-11-21Fix up printing, try to make .lem files smaller (at least a tiny bit)Kathy Gray
2014-11-21Print out default values for underspecified vectors instead of leaving them a...Kathy Gray
2014-11-16Add overflow checking arithmetic operations. Fix various bugs that this exposedKathy Gray
2014-11-06Refactor printing to display the contents the [_] and to better format bit ve...Kathy Gray
2014-11-04Read parts of a register, not always just the whole thingKathy Gray
2014-09-30Add type annotations to funcls to track effects and constraints from one func...Kathy Gray
2014-09-11Adding support for extracting the information Christopher needs about an inst...Kathy Gray
2014-09-10reduce lem macro overhead for sail _ very slightly _Kathy Gray
2014-09-09Small fix to printingKathy Gray
2014-09-09Full power.sail now type checking and generating Lem.Kathy Gray
2014-09-09Get more constraints resolving in power.sailKathy Gray
2014-08-05Support extracting length information into more functionsKathy Gray
2014-08-01Support separated memory read/write functions.Kathy Gray
2014-07-30working dec vectorsKathy Gray
2014-07-18Writing to concatenated aliasesKathy Gray
2014-07-14Alias pretty-printingGabriel Kerneis
2014-07-14Initial support for aliases and exit through the type system and the interpre...Kathy Gray
2014-07-04Fix pretty printer for verbose printingKathy Gray
2014-07-02Support implicit parameters, to get the length of an expected vector into fun...Kathy Gray
2014-07-01Better pretty-printing for vectorsGabriel Kerneis
2014-06-30Support for nondeterministic blocksKathy Gray
2014-06-26Adding better support for unspecified values in indexed vectorsKathy Gray
2014-06-24Get vector length for to_inc_vec and to_dec_vec from the type system after co...Kathy Gray
2014-06-23Get indexed vectors, particularly with default values, workingKathy Gray
2014-06-12Interpret when an unknown is inserted into the program by interp_exhaustiveKathy Gray
2014-06-09Merge branch 'for-dagstuhl' into masterGabriel Kerneis
2014-06-07Add optional overloading on expected return type to fix bug in constraint sol...Kathy Gray
2014-06-07Fix pretty-printing for E_vector_appendGabriel Kerneis
2014-06-04Fixup type coercions and overloadingKathy Gray
2014-05-29Check constraints in power.sail; this required using big_int instead of int t...Kathy Gray
2014-05-20Fix semicolon in scattered unionsGabriel Kerneis
2014-05-20Turn off annoying printfKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 14:26:55 +0000