summaryrefslogtreecommitdiff
path: root/src/pretty_print.ml
AgeCommit message (Expand)Author
2016-11-07factor out regfp analysis types into etc/regfp.sailChristopher Pulte
2016-11-05fixesChristopher Pulte
2016-10-28shallow embedding progressChristopher Pulte
2016-10-27more shallow embedding fixesChristopher Pulte
2016-10-26shallow embedding fixesChristopher Pulte
2016-10-24fixes, check in Shaked's sail_impl_base changesChristopher Pulte
2016-10-21shallow embedding progressChristopher Pulte
2016-10-20fix previous FromToInterpValue typeclass issue, factor out intpreter's interp...Christopher Pulte
2016-10-19typeclass instances for converting between shallow and deep embeddingChristopher Pulte
2016-10-13make sail-to-lem rewriting passes use dependency analysis, make dependency an...Christopher Pulte
2016-10-11move armv8_extras and power_extras to idl/power and idlarm, fixesChristopher Pulte
2016-10-10changed the way registers/register fields work, fixes, nicer names for new le...Christopher Pulte
2016-10-06move type definitions that both interpreter and shallow embedding use to sail...Christopher Pulte
2016-09-26minor changesChristopher Pulte
2016-09-26nicer lem output: fewer unnecessary letbinds, monad binds and returnsChristopher Pulte
2016-09-25nicer lem output: no more unecessary 'unit' returns if if-expressions, for-lo...Christopher Pulte
2016-09-24nicer lem output: fewer unecessary 'return'sChristopher Pulte
2016-09-23sail-to-lem progressChristopher Pulte
2016-09-21fixesChristopher Pulte
2016-09-19sail-to-lem progressChristopher Pulte
2016-09-16make vector concatenation pattern removal deal with vector patterns of unknow...Christopher Pulte
2016-09-09update instruction_analysis to support nias and instruction kindChristopher Pulte
2016-09-07push some lem pp changesChristopher Pulte
2016-08-17Fix pattern match bug in interp where vector accesses were using the wrong st...Kathy Gray
2016-08-14Start adding form for (a,b,c) := foo()Kathy Gray
2016-07-25auto coerce to bit vector from bitKathy Gray
2016-07-23Add a return exp form to Sail, supported in type checker and in interpreter.Kathy Gray
2016-07-20Make rewriter understand type abbreviations for removing internal_exp instancesKathy Gray
2016-07-13fixesChristopher
2016-07-12sail-to-lem and lem library fixesChristopher
2016-05-27Fix parsing of sizeof and some printing issues with letKathy Gray
2016-05-27small change to comment printingKathy Gray
2016-05-27Add sizeof to sail. Documentation to followKathy Gray
2016-04-25make pretty printer keep up with parser changesKathy Gray
2016-03-02Add new language feature to permit definitions of items of kind Nat, etc as w...Kathy Gray
2016-02-23Several fixesKathy Gray
2016-02-09fix scattered type union source printingKathy Gray
2016-02-08slightly clean up vector type printing and empty effect printing for functionsKathy Gray
2016-01-26move closer to power.sail -> power.ml outputKathy Gray
2016-01-06Add new assert expression to SailKathy Gray
2015-12-21fixes, pp progressChristopher
2015-12-16rewriter and pp changes for generating ARM outputChristopher
2015-12-15better location informationChristopher
2015-12-09adapted for Kathy's lexp effect typing changes: register writes should be cor...Christopher
2015-12-07adapted pp for Kathy's effect type changesChristopher
2015-12-03added prompt.lem for connecting to concurrency model and {power,armv8}_extras...Christopher Pulte
2015-11-25fixes, ppChristopher Pulte
2015-11-24Add BE_escape effect when an E_exit is seenKathy Gray
2015-11-20no more unecessary variables from removing vector-concatenation pattern match...Christopher Pulte
2015-11-19fixes for cumulative effect anotationsChristopher Pulte
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 08:57:12 +0000