summaryrefslogtreecommitdiff
path: root/src/pretty_print.ml
AgeCommit message (Expand)Author
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
2014-05-20Remove legacy pretty printerGabriel Kerneis
2014-05-20Fix pattern-matching exhaustivenessGabriel Kerneis
2014-05-20Merge new pretty-printerGabriel Kerneis
2014-05-20Fix precedence of right_atomic_exp (if, foreach, let)Gabriel Kerneis
2014-05-20More sensible whitespacingGabriel Kerneis
2014-05-19Improve line breaksGabriel Kerneis
2014-05-19Refactor lexp and patterns to fix precedenceGabriel Kerneis
2014-05-19Various wrong tokens in pretty-printerGabriel Kerneis
2014-05-19Add tricky necessary whitespace to avoid lexer confusionGabriel Kerneis
2014-05-19Bugs in old pretty-printerGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 12:06:11 +0000