mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

	Commit message (Expand)	Author	Age	Files	Lines
*	3877	Kartik K. Agaram	2017-05-26	1	-1/+1
*	3522	Kartik K. Agaram	2016-10-19	1	-1/+1
*	3309	Kartik K. Agaram	2016-09-09	1	-8/+14
*	3239	Kartik K. Agaram	2016-08-21	1	-1/+1
*	3120	Kartik K. Agaram	2016-07-21	1	-1/+1
*	2990	Kartik K. Agaram	2016-05-20	1	-1/+1
*	2931 - be explicit about making copies	Kartik K. Agaram	2016-05-06	1	-1/+1
*	2894	Kartik K. Agaram	2016-05-03	1	-0/+40

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> <title>Mu - 022boolean.cc</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="cpp"> <meta name="settings" content="use_css,pre_wrap,no_foldcolumn,expand_tabs,prevent_copy="> <meta name="colorscheme" content="minimal"> <style type="text/css">  </style> <script type='text/javascript'>  </script> </head> <body> <pre id='vimCodeElement'> //: Boolean primitives :(before "End Primitive Recipe Declarations") AND, :(before "End Primitive Recipe Numbers") Recipe_number["and"] = AND; :(before "End Primitive Recipe Implementations") case AND: { bool result = true; for (long long int i = 0; i < SIZE(ingredients); ++i) { assert(scalar(ingredients.at(i))); result = result && ingredients.at(i).at(0); } products.resize(1); products.at(0).push_back(result); break; } :(scenario and) recipe main [ 1:boolean <- copy 1:literal 2:boolean <- copy 0:literal 3:boolean <- and 1:boolean, 2:boolean ] +mem: storing 0 in location 3 :(scenario and2) recipe main [ 1:boolean <- and 1:literal, 1:literal ] +mem: storing 1 in location 1 :(scenario and_multiple) recipe main [ 1:boolean <- and 1:literal, 1:literal, 0:literal ] +mem: storing 0 in location 1 :(scenario and_multiple2) recipe main [ 1:boolean <- and 1:literal, 1:literal, 1:literal ] +mem: storing 1 in location 1 :(before "End Primitive Recipe Declarations") OR, :(before "End Primitive Recipe Numbers") Recipe_number["or"] = OR; :(before "End Primitive Recipe Implementations") case OR: { bool result = false; for (long long int i = 0; i < SIZE(ingredients); ++i) { assert(scalar(ingredients.at(i))); result = result || ingredients.at(i).at(0); } products.resize(1); products.at(0).push_back(result); break; } :(scenario or) recipe main [ 1:boolean <- copy 1:literal 2:boolean <- copy 0:literal 3:boolean <- or 1:boolean, 2:boolean ] +mem: storing 1 in location 3 :(scenario or2) recipe main [ 1:boolean <- or 0:literal, 0:literal ] +mem: storing 0 in location 1 :(scenario or_multiple) recipe main [ 1:boolean <- and 0:literal, 0:literal, 0:literal ] +mem: storing 0 in location 1 :(scenario or_multiple2) recipe main [ 1:boolean <- or 0:literal, 0:literal, 1:literal ] +mem: storing 1 in location 1 :(before "End Primitive Recipe Declarations") NOT, :(before "End Primitive Recipe Numbers") Recipe_number["not"] = NOT; :(before "End Primitive Recipe Implementations") case NOT: { products.resize(ingredients.size()); for (long long int i = 0; i < SIZE(ingredients); ++i) { assert(scalar(ingredients.at(i))); products.at(i).push_back(!ingredients.at(i).at(0)); } break; } :(scenario not) recipe main [ 1:boolean <- copy 1:literal 2:boolean <- not 1:boolean ] +mem: storing 0 in location 2 :(scenario not_multiple) recipe main [ 1:boolean, 2:boolean, 3:boolean <- not 1:literal, 0:literal, 1:literal ] +mem: storing 0 in location 1 +mem: storing 1 in location 2 +mem: storing 0 in location 3 </pre> </body> </html>