{"header":{"message":"adding solver code and other bits of changes, need to record more often","description":null,"timestamp":"2023-08-14T20:03:30.154733865Z","authors":[{}]},"hash":"KP5ZHGFKZZV35ZEH2AZW2HAFF6XXTK4XVLUI3D62ZTBPNOTQJONAC","authors":[{"key":"GPeTJGuaAryfKVDHpJLoiRAiv9jDq5aAapfNcWjYu16v"}],"deps":{"hashes":[["KP5ZHGFKZZV35ZEH2AZW2HAFF6XXTK4XVLUI3D62ZTBPNOTQJONAC","adding solver code and other bits of changes, need to record more often"],["AA",null],["WJQMF2ARTQWSZA4OZYRAENMXZ3MB6YLTZZOBJY65QOEL772QTVVAC","moved a_cave and thin gl, compiles"],["I2I3WERCRM7KAHR477JRZSN5XNXUIAWMDFQK25LV6L7VDZJTTANQC","new configure"],["WYN7KNH7TNW3CFN5BCUUWJYMDRDVXH4YRTRIKTXGIEWVEUCOFJRQC","GLFW window"],["Q7P6NO6DTAU3Z7JQ6HNQIQPGWPQHW37RRI5A5HDJYNC7IJCQ4XSQC","initial with alias and tabula"],["XDOIJC2EM756OI6FDIAE4NSOWXO3OJSS5H2BIG4HY3PPBODYY66QC","things are compiling a binary"],["AHP5GLERXPSFRASGREBPQELGF5ZTYGYLEXZIBN36IVNWMHDFYELQC",""]],"deps":["WJQMF2ARTQWSZA4OZYRAENMXZ3MB6YLTZZOBJY65QOEL772QTVVAC"],"known":["Q7P6NO6DTAU3Z7JQ6HNQIQPGWPQHW37RRI5A5HDJYNC7IJCQ4XSQC","I2I3WERCRM7KAHR477JRZSN5XNXUIAWMDFQK25LV6L7VDZJTTANQC","XDOIJC2EM756OI6FDIAE4NSOWXO3OJSS5H2BIG4HY3PPBODYY66QC","WYN7KNH7TNW3CFN5BCUUWJYMDRDVXH4YRTRIKTXGIEWVEUCOFJRQC"]},"hunks":[{"Replacement":{"inode":{"change":3,"pos":4114},"path":"tabula/include/tabula.h","line":169,"ins":{"up_context":[{"change":3,"pos":9721}],"down_context":[{"change":3,"pos":9834}],"flag":"BLOCK","start":0,"end":124,"inode":{"change":3,"pos":4114}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":9721},"to":{"change":3,"start":9721,"end":9834},"introduced_by":3}],"inode":{"change":3,"pos":4114}},"ins_contents":[{"Add":" struct tabula_format_emit_to_string_data data = {.string = (uint8_t *)string, .string_size = string_size, .position = 0};"}],"del_contents":[{"Del":" struct tabula_format_emit_to_string_data data = {.string = string, .string_size = string_size, .position = 0};\n"}]}},{"Replacement":{"inode":{"change":3,"pos":4114},"path":"tabula/include/tabula.h","line":423,"ins":{"up_context":[{"change":3,"pos":17438}],"down_context":[{"change":3,"pos":17488}],"flag":"BLOCK","start":125,"end":159,"inode":{"change":3,"pos":4114}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":17438},"to":{"change":3,"start":17438,"end":17488},"introduced_by":3}],"inode":{"change":3,"pos":4114}},"ins_contents":[{"Add":" snprintf(buffer, 64, \"(null)\");"}],"del_contents":[{"Del":" snprintf(buffer, 64, \"%s\", (const char *)NULL);\n"}]}},{"Replacement":{"inode":{"change":3,"pos":4114},"path":"tabula/include/tabula.h","line":516,"ins":{"up_context":[{"change":3,"pos":20547}],"down_context":[{"change":3,"pos":20668}],"flag":"BLOCK","start":160,"end":281,"inode":{"change":3,"pos":4114}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":20547},"to":{"change":3,"start":20547,"end":20668},"introduced_by":3}],"inode":{"change":3,"pos":4114}},"ins_contents":[{"Add":" static uint8_t *NAME##_imprecise(uint8_t *end, TYPE value) { \\"}],"del_contents":[{"Del":" static char *NAME##_imprecise(char *end, TYPE value) { \\\n"}]}},{"Replacement":{"inode":{"change":3,"pos":4114},"path":"tabula/include/tabula.h","line":524,"ins":{"up_context":[{"change":3,"pos":21515}],"down_context":[{"change":3,"pos":21636}],"flag":"BLOCK","start":282,"end":403,"inode":{"change":3,"pos":4114}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":21515},"to":{"change":3,"start":21515,"end":21636},"introduced_by":3}],"inode":{"change":3,"pos":4114}},"ins_contents":[{"Add":" static uint8_t *NAME##_precise(uint8_t *end, TYPE value, int32_t precision) { \\"}],"del_contents":[{"Del":" static char *NAME##_precise(char *end, TYPE value, int32_t precision) { \\\n"}]}},{"Replacement":{"inode":{"change":3,"pos":4114},"path":"tabula/include/tabula.h","line":532,"ins":{"up_context":[{"change":3,"pos":22483}],"down_context":[{"change":3,"pos":22604}],"flag":"BLOCK","start":404,"end":525,"inode":{"change":3,"pos":4114}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":22483},"to":{"change":3,"start":22483,"end":22604},"introduced_by":3}],"inode":{"change":3,"pos":4114}},"ins_contents":[{"Add":" static uint8_t *NAME(uint8_t *end, TYPE value, int32_t precision) { \\"}],"del_contents":[{"Del":" static char *NAME(char *end, TYPE value, int32_t precision) { \\\n"}]}},{"Replacement":{"inode":{"change":3,"pos":4114},"path":"tabula/include/tabula.h","line":545,"ins":{"up_context":[{"change":3,"pos":23819}],"down_context":[{"change":3,"pos":23940}],"flag":"BLOCK","start":526,"end":647,"inode":{"change":3,"pos":4114}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":23819},"to":{"change":3,"start":23819,"end":23940},"introduced_by":3}],"inode":{"change":3,"pos":4114}},"ins_contents":[{"Add":" static uint8_t *NAME(uint8_t *end, UNSIGNED_TYPE value, int32_t precision, enum tabula_format_style style) { \\"}],"del_contents":[{"Del":" static char *NAME(char *end, UNSIGNED_TYPE value, int32_t precision, enum tabula_format_style style) { \\\n"}]}},{"Edit":{"inode":{"change":3,"pos":4114},"path":"tabula/include/tabula.h","line":557,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":25271}],"down_context":[{"change":3,"pos":25271}],"flag":"BLOCK","start":648,"end":769,"inode":{"change":3,"pos":4114}}},"contents":[{"Add":" return end; \\"}]}},{"Replacement":{"inode":{"change":3,"pos":4114},"path":"tabula/include/tabula.h","line":569,"ins":{"up_context":[{"change":3,"pos":26602}],"down_context":[{"change":3,"pos":26723}],"flag":"BLOCK","start":770,"end":897,"inode":{"change":3,"pos":4114}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":26602},"to":{"change":3,"start":26602,"end":26723},"introduced_by":3}],"inode":{"change":3,"pos":4114}},"ins_contents":[{"Add":" static uint8_t *NAME##_prefix(uint8_t *end, UNSIGNED_TYPE value, bool f_hash, enum tabula_format_style style) { \\"}],"del_contents":[{"Del":" static char *NAME##_prefix(char *end, UNSIGNED_TYPE value, bool f_hash, enum tabula_format_style style) { \\\n"}]}},{"Replacement":{"inode":{"change":3,"pos":4114},"path":"tabula/include/tabula.h","line":584,"ins":{"up_context":[{"change":3,"pos":28180}],"down_context":[{"change":3,"pos":28301}],"flag":"BLOCK","start":898,"end":1025,"inode":{"change":3,"pos":4114}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":28180},"to":{"change":3,"start":28180,"end":28301},"introduced_by":3}],"inode":{"change":3,"pos":4114}},"ins_contents":[{"Add":" static uint8_t *NAME(uint8_t *end, SIGNED_TYPE value, int32_t precision) { \\"}],"del_contents":[{"Del":" static char *NAME(char *end, SIGNED_TYPE value, int32_t precision) { \\\n"}]}},{"Replacement":{"inode":{"change":3,"pos":4114},"path":"tabula/include/tabula.h","line":595,"ins":{"up_context":[{"change":3,"pos":29511}],"down_context":[{"change":3,"pos":29632}],"flag":"BLOCK","start":1026,"end":1153,"inode":{"change":3,"pos":4114}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":29511},"to":{"change":3,"start":29511,"end":29632},"introduced_by":3}],"inode":{"change":3,"pos":4114}},"ins_contents":[{"Add":" static uint8_t *NAME##_prefix(uint8_t *end, SIGNED_TYPE value, bool f_plus, bool f_space) { \\"}],"del_contents":[{"Del":" static char *NAME##_prefix(char *end, SIGNED_TYPE value, bool f_plus, bool f_space) { \\\n"}]}},{"Edit":{"inode":{"change":3,"pos":4114},"path":"tabula/include/tabula.h","line":1423,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":95465},"to":{"change":3,"start":95465,"end":95586},"introduced_by":3}],"inode":{"change":3,"pos":4114}}},"contents":[{"Del":" ret_significand; \\\n"}]}},{"Replacement":{"inode":{"change":3,"pos":4114},"path":"tabula/include/tabula.h","line":1502,"ins":{"up_context":[{"change":3,"pos":104703}],"down_context":[{"change":3,"pos":104799}],"flag":"BLOCK","start":1154,"end":1256,"inode":{"change":3,"pos":4114}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":104703},"to":{"change":3,"start":104703,"end":104799},"introduced_by":3}],"inode":{"change":3,"pos":4114}},"ins_contents":[{"Add":"static uint8_t *tabula_format_emit_double(uint8_t *end, double value, bool f_hash, int32_t precision,"}],"del_contents":[{"Del":"static char *tabula_format_emit_double(char *end, double value, bool f_hash, int32_t precision,\n"}]}},{"Edit":{"inode":{"change":3,"pos":4114},"path":"tabula/include/tabula.h","line":1608,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":107749},"to":{"change":3,"start":107749,"end":107786},"introduced_by":3}],"inode":{"change":3,"pos":4114}}},"contents":[{"Del":" bool negative = value < (double)0;\n"}]}},{"Replacement":{"inode":{"change":3,"pos":4114},"path":"tabula/include/tabula.h","line":1610,"ins":{"up_context":[{"change":3,"pos":107847}],"down_context":[{"change":3,"pos":107947}],"flag":"BLOCK","start":1257,"end":1363,"inode":{"change":3,"pos":4114}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":107847},"to":{"change":3,"start":107847,"end":107947},"introduced_by":3}],"inode":{"change":3,"pos":4114}},"ins_contents":[{"Add":"static uint8_t *tabula_format_emit_double_prefix(uint8_t *end, double value, bool f_plus, bool f_space) {"}],"del_contents":[{"Del":"static char *tabula_format_emit_double_prefix(char *end, double value, bool f_plus, bool f_space) {\n"}]}},{"Replacement":{"inode":{"change":3,"pos":4114},"path":"tabula/include/tabula.h","line":1829,"ins":{"up_context":[{"change":3,"pos":113885}],"down_context":[{"change":3,"pos":114006}],"flag":"BLOCK","start":1364,"end":1485,"inode":{"change":3,"pos":4114}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":113885},"to":{"change":3,"start":113885,"end":114006},"introduced_by":3}],"inode":{"change":3,"pos":4114}},"ins_contents":[{"Add":" to_write += tabula_format_do_emit(emit, ud, limit, (const uint8_t *)PTR, LENGTH, to_write); \\"}],"del_contents":[{"Del":" to_write += tabula_format_do_emit(emit, ud, limit, PTR, LENGTH, to_write); \\\n"}]}},{"Replacement":{"inode":{"change":3,"pos":4114},"path":"tabula/include/tabula.h","line":1992,"ins":{"up_context":[{"change":3,"pos":120916}],"down_context":[{"change":3,"pos":120975}],"flag":"BLOCK","start":1486,"end":1551,"inode":{"change":3,"pos":4114}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":120916},"to":{"change":3,"start":120916,"end":120975},"introduced_by":3}],"inode":{"change":3,"pos":4114}},"ins_contents":[{"Add":" uint8_t prefix[10];"},{"Add":" uint8_t *p = prefix;"}],"del_contents":[{"Del":" char prefix[10];\n char *p = prefix;\n"}]}},{"FileAdd":{"meta":{"basename":"solver","metadata":576},"context":[{"change":8,"pos":1}],"contents":[]}},{"FileAdd":{"meta":{"basename":"test","metadata":576},"context":[{"change":0,"pos":1570}],"contents":[]}},{"FileAdd":{"meta":{"basename":"main.c","metadata":0},"context":[{"change":0,"pos":1588}],"contents":[{"Add":"void test_solver_algebra(void);"},{"Add":""},{"Add":"int main(int argc, char * argv []) {"},{"Add":" test_solver_algebra();"},{"Add":"}"},{"Add":""}]}},{"FileAdd":{"meta":{"basename":"algebra.c","metadata":0},"context":[{"change":0,"pos":1588}],"contents":[{"Add":"#include "},{"Add":"#include "},{"Add":"#include "},{"Add":""},{"Add":"static void assert_is_true(struct solver_Algebra *a, uint64_t expr) {"},{"Add":" expr = solver_Algebra_simplify(a, expr);"},{"Add":" if(!solver_Algebra_to_boolean(a, expr)) {"},{"Add":" solver_Algebra_show(a, expr);"},{"Add":" fprintf(stderr, \"failed\\n\");"},{"Add":" exit(1);"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"static void test_simple(void) {"},{"Add":" struct solver_Algebra a;"},{"Add":" "},{"Add":" solver_Algebra_init(&a);"},{"Add":""},{"Add":" uint64_t two = solver_Algebra_integer(&a, 2);"},{"Add":" uint64_t x = solver_Algebra_variable(&a, \"x\");"},{"Add":""},{"Add":" assert_is_true(&a, solver_Algebra_equals(&a, solver_Algebra_add(&a, x, x), solver_Algebra_multiply(&a, two, x)));"},{"Add":""},{"Add":" solver_Algebra_free(&a); "},{"Add":"}"},{"Add":""},{"Add":"void test_solver_algebra(void) {"},{"Add":" test_simple();"},{"Add":"}"}]}},{"FileAdd":{"meta":{"basename":"src","metadata":576},"context":[{"change":0,"pos":1570}],"contents":[]}},{"FileAdd":{"meta":{"basename":"algebra.c","metadata":0},"context":[{"change":0,"pos":2472}],"contents":[{"Add":"#include "},{"Add":""},{"Add":"// for show"},{"Add":"#include "},{"Add":""},{"Add":"#include "},{"Add":""},{"Add":"// 0x7 f f 8 | 7 "},{"Add":"// <01111111 1111 12-bit nan header> <1-bit silent flag, 0 on most cpus> <3-bit tag> <48-bit payload>"},{"Add":"// 000 - variable - pointer to variable name"},{"Add":"// 001 - atom"},{"Add":"// 010 - integer - 32-bit integer"},{"Add":"// 011 - integer - pointer to big integer implementation"},{"Add":"// 100 - pair - <3-bit type> <21-bit unused> <24-bit index to first>"},{"Add":"// 000 - fraction"},{"Add":"// 001 - power"},{"Add":"// 010 - unused"},{"Add":"// 011 - unused"},{"Add":"// 100 - equals"},{"Add":"// 101 - not equals"},{"Add":"// 110 - less than"},{"Add":"// 111 - greater than"},{"Add":"// 101 - list - <1-bit type> <23-bit count> <24-bit index to first>"},{"Add":"// 0 - sum"},{"Add":"// 1 - product"},{"Add":"// 110 - unused"},{"Add":"// 111 - unused"},{"Add":""},{"Add":"#define NAN_MASK 0xFFF0000000000000ull"},{"Add":"#define NAN_BITS 0x7FF0000000000000ull"},{"Add":"#define QUEIT_BITS 0x7FF0000000000000ull"},{"Add":"#define SIGNALING_BITS 0x7FF8000000000000ull"},{"Add":"#define TAG_MASK 0xFFF7000000000000ull"},{"Add":"#define TAG_VARIABLE_BITS 0x7FF0000000000000ull"},{"Add":"#define TAG_ATOM_BITS 0x7FF1000000000000ull"},{"Add":"#define TAG_INTEGER_BITS 0x7FF2000000000000ull"},{"Add":"#define TAG_BIGINT_BITS 0x7FF3000000000000ull"},{"Add":"#define TAG_PAIR_BITS 0x7FF4000000000000ull"},{"Add":"#define TAG_LIST_BITS 0x7FF5000000000000ull"},{"Add":"#define TAG_UNUSED1_BITS 0x7FF6000000000000ull"},{"Add":"#define TAG_UNUSED2_BITS 0x7FF7000000000000ull"},{"Add":"#define PAIR_MASK 0xFFF7e00000000000ull"},{"Add":"#define PAIR_FRACTION_BITS 0x7FF4000000000000ull"},{"Add":"#define PAIR_POWER_BITS 0x7FF4200000000000ull"},{"Add":"#define PAIR_UNUSED1_BITS 0x7FF4400000000000ull"},{"Add":"#define PAIR_UNUSED2_BITS 0x7FF4600000000000ull"},{"Add":"#define PAIR_EQUAL_BITS 0x7FF4800000000000ull"},{"Add":"#define PAIR_NOT_EQUAL_BITS 0x7FF4a00000000000ull"},{"Add":"#define PAIR_LESS_THAN_BITS 0x7FF4c00000000000ull"},{"Add":"#define PAIR_GREATER_THAN_BITS 0x7FF4e00000000000ull"},{"Add":"#define LIST_MASK 0xFFF7800000000000ull"},{"Add":"#define LIST_SUM_BITS 0x7FF5000000000000ull"},{"Add":"#define LIST_PRODUCT_BITS 0x7FF5800000000000ull"},{"Add":"#define PAYLOAD_MASK 0x0000FFFFFFFFFFFFull"},{"Add":"#define PAIR_INDEX_MASK 0x0000000000FFFFFFull"},{"Add":"#define LIST_COUNT_MASK 0x00007FFFFF000000ull"},{"Add":"#define LIST_INDEX_MASK 0x0000000000FFFFFFull"},{"Add":""},{"Add":"struct Unpacked {"},{"Add":" enum {"},{"Add":" Unpacked_Real,"},{"Add":" Unpacked_Variable,"},{"Add":" Unpacked_Boolean, // atom 0 and 1"},{"Add":" Unpacked_Undefined, // atom 2"},{"Add":" Unpacked_Integer,"},{"Add":" Unpacked_BigInteger,"},{"Add":" Unpacked_Fraction,"},{"Add":" Unpacked_Power,"},{"Add":" Unpacked_Sum,"},{"Add":" Unpacked_Product,"},{"Add":" Unpacked_Equals,"},{"Add":" Unpacked_NotEquals,"},{"Add":" Unpacked_LessThan,"},{"Add":" Unpacked_GreaterThan,"},{"Add":" Unpacked_Invalid"},{"Add":" } tag;"},{"Add":" union {"},{"Add":" double real;"},{"Add":" const char *variable;"},{"Add":" bool boolean;"},{"Add":" int64_t integer;"},{"Add":" void * big_integer;"},{"Add":" struct {"},{"Add":" uint32_t index;"},{"Add":" } pair, fraction, power, equals, not_equals, less_than, greater_than;"},{"Add":" struct {"},{"Add":" uint32_t count;"},{"Add":" uint32_t index;"},{"Add":" } list, sum, product;"},{"Add":" };"},{"Add":"};"},{"Add":""},{"Add":"static inline uint64_t pack_real(double real) {"},{"Add":" union {"},{"Add":" uint64_t u;"},{"Add":" double d;"},{"Add":" } _;"},{"Add":" _.d = real;"},{"Add":" return _.u;"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t pack_variable(const char *name) {"},{"Add":" return TAG_VARIABLE_BITS | ((uint64_t)name & PAYLOAD_MASK);"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t pack_boolean(bool value) {"},{"Add":" return TAG_ATOM_BITS | !!value; // assumes ! returns either 0 or 1"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t pack_undefined(void) {"},{"Add":" return TAG_ATOM_BITS | 2;"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t pack_integer(int32_t integer) {"},{"Add":" union {"},{"Add":" uint64_t u;"},{"Add":" int32_t i[2];"},{"Add":" } _;"},{"Add":" _.i[1] = integer;"},{"Add":" return TAG_INTEGER_BITS | (_.u & PAYLOAD_MASK);"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t pack_big_integer(void * ptr) {"},{"Add":" return TAG_BIGINT_BITS | ((uint64_t)ptr & PAYLOAD_MASK);"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t pack_fraction(uint32_t index) {"},{"Add":" return PAIR_FRACTION_BITS | index;"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t pack_power(uint32_t index) {"},{"Add":" return PAIR_POWER_BITS | index;"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t pack_sum(uint32_t count, uint32_t index) {"},{"Add":" return LIST_SUM_BITS | ((uint64_t)count << 24) | index;"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t pack_product(uint32_t count, uint32_t index) {"},{"Add":" return LIST_PRODUCT_BITS | ((uint64_t)count << 24) | index;"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t pack_equals(uint32_t index) {"},{"Add":" return PAIR_EQUAL_BITS | index;"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t pack_not_equals(uint32_t index) {"},{"Add":" return PAIR_NOT_EQUAL_BITS | index;"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t pack_less_than(uint32_t index) {"},{"Add":" return PAIR_LESS_THAN_BITS | index;"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t pack_greater_than(uint32_t index) {"},{"Add":" return PAIR_GREATER_THAN_BITS | index;"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t pack(struct Unpacked unpacked) {"},{"Add":" switch(unpacked.tag) {"},{"Add":" case Unpacked_Real:"},{"Add":" return pack_real(unpacked.real);"},{"Add":" case Unpacked_Variable:"},{"Add":" return pack_variable(unpacked.variable);"},{"Add":" case Unpacked_Boolean:"},{"Add":" return pack_boolean(unpacked.boolean);"},{"Add":" case Unpacked_Undefined:"},{"Add":" return pack_undefined();"},{"Add":" case Unpacked_Integer:"},{"Add":" return pack_integer(unpacked.integer);"},{"Add":" case Unpacked_BigInteger:"},{"Add":" return pack_big_integer(unpacked.big_integer);"},{"Add":" case Unpacked_Fraction:"},{"Add":" return pack_fraction(unpacked.fraction.index);"},{"Add":" case Unpacked_Power:"},{"Add":" return pack_power(unpacked.power.index);"},{"Add":" case Unpacked_Sum:"},{"Add":" return pack_sum(unpacked.sum.count, unpacked.sum.index);"},{"Add":" case Unpacked_Product:"},{"Add":" return pack_product(unpacked.product.count, unpacked.product.index);"},{"Add":" case Unpacked_Equals:"},{"Add":" return pack_equals(unpacked.equals.index);"},{"Add":" case Unpacked_NotEquals:"},{"Add":" return pack_not_equals(unpacked.not_equals.index);"},{"Add":" case Unpacked_LessThan:"},{"Add":" return pack_not_equals(unpacked.less_than.index);"},{"Add":" case Unpacked_GreaterThan:"},{"Add":" return pack_not_equals(unpacked.greater_than.index);"},{"Add":" case Unpacked_Invalid:"},{"Add":" return SIGNALING_BITS;"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"static inline bool is_real(uint64_t bits) {"},{"Add":" return (bits & NAN_MASK) != NAN_BITS;"},{"Add":"}"},{"Add":""},{"Add":"static inline bool is_variable(uint64_t bits) {"},{"Add":" return (bits & TAG_MASK) == TAG_VARIABLE_BITS;"},{"Add":"}"},{"Add":""},{"Add":"static inline bool is_boolean(uint64_t bits) {"},{"Add":" return (bits & TAG_MASK) == TAG_ATOM_BITS && (bits & (PAYLOAD_MASK ^ 1)) == 0;"},{"Add":"}"},{"Add":""},{"Add":"static inline bool is_undefined(uint64_t bits) {"},{"Add":" return bits == TAG_ATOM_BITS | 2;"},{"Add":"}"},{"Add":""},{"Add":"static inline bool is_integer(uint64_t bits) {"},{"Add":" return (bits & TAG_MASK) == TAG_INTEGER_BITS;"},{"Add":"}"},{"Add":""},{"Add":"static inline bool is_big_integer(uint64_t bits) {"},{"Add":" return (bits & TAG_MASK) == TAG_BIGINT_BITS;"},{"Add":"}"},{"Add":""},{"Add":"static inline bool is_fraction(uint64_t bits) {"},{"Add":" return (bits & PAIR_MASK) == PAIR_FRACTION_BITS;"},{"Add":"}"},{"Add":""},{"Add":"static inline bool is_power(uint64_t bits) {"},{"Add":" return (bits & PAIR_MASK) == PAIR_POWER_BITS;"},{"Add":"}"},{"Add":""},{"Add":"static inline bool is_sum(uint64_t bits) {"},{"Add":" return (bits & LIST_MASK) == LIST_SUM_BITS;"},{"Add":"}"},{"Add":""},{"Add":"static inline bool is_product(uint64_t bits) {"},{"Add":" return (bits & LIST_MASK) == LIST_PRODUCT_BITS;"},{"Add":"}"},{"Add":""},{"Add":"static inline bool is_equals(uint64_t bits) {"},{"Add":" return (bits & PAIR_MASK) == PAIR_EQUAL_BITS;"},{"Add":"}"},{"Add":""},{"Add":"static inline bool is_not_equals(uint64_t bits) {"},{"Add":" return (bits & PAIR_MASK) == PAIR_NOT_EQUAL_BITS;"},{"Add":"}"},{"Add":""},{"Add":"static inline bool is_less_than(uint64_t bits) {"},{"Add":" return (bits & PAIR_MASK) == PAIR_LESS_THAN_BITS;"},{"Add":"}"},{"Add":""},{"Add":"static inline bool is_greater_than(uint64_t bits) {"},{"Add":" return (bits & PAIR_MASK) == PAIR_GREATER_THAN_BITS;"},{"Add":"}"},{"Add":""},{"Add":"static inline double unpack_real(uint64_t bits) {"},{"Add":" union {"},{"Add":" uint64_t u;"},{"Add":" double d;"},{"Add":" } _;"},{"Add":" assert(is_real(bits));"},{"Add":" _.u = bits;"},{"Add":" return _.d;"},{"Add":"}"},{"Add":""},{"Add":"static inline const char * unpack_variable(uint64_t bits) {"},{"Add":" assert(is_variable(bits));"},{"Add":" return (const char *)(bits & PAYLOAD_MASK);"},{"Add":"}"},{"Add":""},{"Add":"static inline bool unpack_boolean(uint64_t bits) {"},{"Add":" assert(is_boolean(bits));"},{"Add":" return !!(bits & 1);"},{"Add":"}"},{"Add":""},{"Add":"static inline void unpack_undefined(uint64_t bits) {"},{"Add":" assert(is_undefined(bits));"},{"Add":"}"},{"Add":""},{"Add":"static inline int32_t unpack_integer(uint64_t bits) {"},{"Add":" union {"},{"Add":" uint64_t u;"},{"Add":" int32_t i[2];"},{"Add":" } _;"},{"Add":" assert(is_integer(bits));"},{"Add":" _.u = bits & PAYLOAD_MASK;"},{"Add":" return _.i[1];"},{"Add":"}"},{"Add":""},{"Add":"static inline void * unpack_big_integer(uint64_t bits) {"},{"Add":" assert(is_big_integer(bits));"},{"Add":" return (void *)(bits & PAYLOAD_MASK);"},{"Add":"}"},{"Add":""},{"Add":"static inline uint32_t unpack_fraction(uint64_t bits) {"},{"Add":" assert(is_fraction(bits));"},{"Add":" return bits & PAIR_INDEX_MASK;"},{"Add":"}"},{"Add":""},{"Add":"static inline uint32_t unpack_power(uint64_t bits) {"},{"Add":" assert(is_power(bits));"},{"Add":" return bits & PAIR_INDEX_MASK;"},{"Add":"}"},{"Add":""},{"Add":"static inline void unpack_sum(uint64_t bits, uint32_t *count, uint32_t *index) {"},{"Add":" assert(is_sum(bits));"},{"Add":" *count = (bits & LIST_COUNT_MASK) >> 24;"},{"Add":" *index = bits & LIST_INDEX_MASK;"},{"Add":"}"},{"Add":""},{"Add":"static inline void unpack_product(uint64_t bits, uint32_t *count, uint32_t *index) {"},{"Add":" assert(is_product(bits));"},{"Add":" *count = (bits & LIST_COUNT_MASK) >> 24;"},{"Add":" *index = bits & LIST_INDEX_MASK;"},{"Add":"}"},{"Add":""},{"Add":"static inline uint32_t unpack_equals(uint64_t bits) {"},{"Add":" assert(is_equals(bits));"},{"Add":" return bits & PAIR_INDEX_MASK;"},{"Add":"}"},{"Add":""},{"Add":"static inline uint32_t unpack_not_equals(uint64_t bits) {"},{"Add":" assert(is_not_equals(bits));"},{"Add":" return bits & PAIR_INDEX_MASK;"},{"Add":"}"},{"Add":""},{"Add":"static inline uint32_t unpack_less_than(uint64_t bits) {"},{"Add":" assert(is_less_than(bits));"},{"Add":" return bits & PAIR_INDEX_MASK;"},{"Add":"}"},{"Add":""},{"Add":"static inline uint32_t unpack_greater_than(uint64_t bits) {"},{"Add":" assert(is_greater_than(bits));"},{"Add":" return bits & PAIR_INDEX_MASK;"},{"Add":"}"},{"Add":""},{"Add":""},{"Add":"static int unpack_tag(uint64_t bits) {"},{"Add":" if(is_real(bits)) {"},{"Add":" return Unpacked_Real;"},{"Add":" } else if(is_variable(bits)) {"},{"Add":" return Unpacked_Variable;"},{"Add":" } else if(is_boolean(bits)) {"},{"Add":" return Unpacked_Boolean;"},{"Add":" } else if(is_undefined(bits)) {"},{"Add":" return Unpacked_Undefined;"},{"Add":" } else if(is_integer(bits)) {"},{"Add":" return Unpacked_Integer;"},{"Add":" } else if(is_big_integer(bits)) {"},{"Add":" return Unpacked_BigInteger;"},{"Add":" } else if(is_fraction(bits)) {"},{"Add":" return Unpacked_Fraction;"},{"Add":" } else if(is_power(bits)) {"},{"Add":" return Unpacked_Power;"},{"Add":" } else if(is_equals(bits)) {"},{"Add":" return Unpacked_Equals;"},{"Add":" } else if(is_not_equals(bits)) {"},{"Add":" return Unpacked_NotEquals;"},{"Add":" } else if(is_less_than(bits)) {"},{"Add":" return Unpacked_LessThan;"},{"Add":" } else if(is_greater_than(bits)) {"},{"Add":" return Unpacked_GreaterThan;"},{"Add":" } else if(is_sum(bits)) {"},{"Add":" return Unpacked_Sum;"},{"Add":" } else if(is_product(bits)) {"},{"Add":" return Unpacked_Product;"},{"Add":" } else {"},{"Add":" return Unpacked_Invalid;"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"static inline struct Unpacked unpack(uint64_t bits) {"},{"Add":" struct Unpacked result;"},{"Add":" switch(result.tag = unpack_tag(bits)) {"},{"Add":" case Unpacked_Real:"},{"Add":" result.real = unpack_real(bits);"},{"Add":" break;"},{"Add":" case Unpacked_Variable:"},{"Add":" result.variable = unpack_variable(bits);"},{"Add":" break;"},{"Add":" case Unpacked_Boolean:"},{"Add":" result.boolean = unpack_boolean(bits);"},{"Add":" break;"},{"Add":" case Unpacked_Undefined:"},{"Add":" unpack_undefined(bits);"},{"Add":" break;"},{"Add":" case Unpacked_Integer:"},{"Add":" result.integer = unpack_integer(bits);"},{"Add":" break;"},{"Add":" case Unpacked_BigInteger:"},{"Add":" result.big_integer = unpack_big_integer(bits);"},{"Add":" break;"},{"Add":" case Unpacked_Fraction:"},{"Add":" result.fraction.index = (bits & PAIR_INDEX_MASK);"},{"Add":" break;"},{"Add":" case Unpacked_Power:"},{"Add":" result.power.index = (bits & PAIR_INDEX_MASK);"},{"Add":" break;"},{"Add":" case Unpacked_Sum:"},{"Add":" unpack_sum(bits, &result.sum.count, &result.sum.index);"},{"Add":" break;"},{"Add":" case Unpacked_Product:"},{"Add":" unpack_product(bits, &result.product.count, &result.product.index);"},{"Add":" break;"},{"Add":" case Unpacked_Equals:"},{"Add":" result.equals.index = unpack_equals(bits);"},{"Add":" break;"},{"Add":" case Unpacked_NotEquals:"},{"Add":" result.not_equals.index = unpack_not_equals(bits);"},{"Add":" break;"},{"Add":" case Unpacked_LessThan:"},{"Add":" result.less_than.index = unpack_less_than(bits);"},{"Add":" break;"},{"Add":" case Unpacked_GreaterThan:"},{"Add":" result.greater_than.index = unpack_greater_than(bits);"},{"Add":" break;"},{"Add":" case Unpacked_Invalid:"},{"Add":" break;"},{"Add":" }"},{"Add":" return result;"},{"Add":"}"},{"Add":""},{"Add":"// --------------------------------------------------------------------------------------------------------------------"},{"Add":"// numerics"},{"Add":"static inline bool is_number(uint64_t bits) {"},{"Add":" return is_real(bits) || is_integer(bits) || is_big_integer(bits) || is_fraction(bits);"},{"Add":"}"},{"Add":""},{"Add":"static inline bool is_exact(uint64_t bits) {"},{"Add":" return is_integer(bits) || is_big_integer(bits) || is_fraction(bits);"},{"Add":"}"},{"Add":""},{"Add":"static inline bool is_inexact(uint64_t bits) {"},{"Add":" return is_real(bits);"},{"Add":"}"},{"Add":""},{"Add":"// --------------------------------------------------------------------------------------------------------------------"},{"Add":"// lifetime"},{"Add":"void solver_Algebra_init(struct solver_Algebra *a) {"},{"Add":" alias_Vector_init(&a->values);"},{"Add":"}"},{"Add":""},{"Add":"void solver_Algebra_free(struct solver_Algebra *a) {"},{"Add":" alias_Vector_free(&a->values, NULL);"},{"Add":"}"},{"Add":""},{"Add":"// --------------------------------------------------------------------------------------------------------------------"},{"Add":"// creation entry points , most go through simplification before being committed to memory"},{"Add":"static uint64_t simplify_real(struct solver_Algebra *a, double real);"},{"Add":"static uint64_t simplify_fraction(struct solver_Algebra *a, uint64_t numerator, uint64_t denominator);"},{"Add":""},{"Add":"uint64_t solver_Algebra_boolean(struct solver_Algebra *a, bool value) {"},{"Add":" return pack_boolean(value);"},{"Add":"}"},{"Add":""},{"Add":"uint64_t solver_Algebra_integer(struct solver_Algebra *a, int64_t value) {"},{"Add":" return pack_integer(value);"},{"Add":"}"},{"Add":""},{"Add":"uint64_t solver_Algebra_fraction(struct solver_Algebra *a, int64_t numerator, int64_t denominator) {"},{"Add":" return simplify_fraction(numerator, denominator);"},{"Add":"}"},{"Add":""},{"Add":"uint64_t solver_Algebra_real(struct solver_Algebra *a, double value) {"},{"Add":" return simplify_real(a, real);"},{"Add":"}"},{"Add":""},{"Add":"uint64_t solver_Algebra_variable(struct solver_Algebra *a, const char * name) {"},{"Add":" return pack_variable(name);"},{"Add":"}"},{"Add":""},{"Add":"uint64_t solver_Algebra_sum(struct solver_Algebra *a, uint32_t num_operands, const uint64_t *operands) {"},{"Add":" uint32_t index = embed(a, num_operands, operands);"},{"Add":" return pack_sum(num_operands, index);"},{"Add":"}"},{"Add":""},{"Add":"uint64_t solver_Algebra_product(struct solver_Algebra *a, uint32_t num_operands, const uint64_t *operands) {"},{"Add":" uint32_t index = embed(a, num_operands, operands);"},{"Add":" return pack_product(num_operands, index);"},{"Add":"}"},{"Add":""},{"Add":"uint64_t solver_Algebra_add(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs) {"},{"Add":" uint64_t operands[2] = {lhs, rhs};"},{"Add":" return solver_Algebra_sum(a, 2, operands);"},{"Add":"}"},{"Add":""},{"Add":"uint64_t solver_Algebra_multiply(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs) {"},{"Add":" uint64_t operands[2] = {lhs, rhs};"},{"Add":" return solver_Algebra_product(a, 2, operands);"},{"Add":"}"},{"Add":""},{"Add":"uint64_t solver_Algebra_negate(struct solver_Algebra *a, uint64_t expr) {"},{"Add":" if(is_number(expr)) {"},{"Add":" return number_negate(a, expr);"},{"Add":" }"},{"Add":""},{"Add":" return solver_Algebra_multiply(a, solver_Algebra_integer(a, -1), expr);"},{"Add":"}"},{"Add":""},{"Add":"uint64_t solver_Algebra_subtract(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs) {"},{"Add":" return solver_Algebra_add(a, lhs, solver_Algebra_negate(a, rhs));"},{"Add":"}"},{"Add":""},{"Add":"uint64_t solver_Algebra_divide(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs) {"},{"Add":" return solver_Algebra_multiply(a, lhs, solver_Algebra_power(a, rhs, solver_Algebra_integer(a, -1)));"},{"Add":"}"},{"Add":""},{"Add":"uint64_t solver_Algebra_power(struct solver_Algebra *a, uint64_t base, uint64_t exponent) {"},{"Add":" uint64_t values[2];"},{"Add":" values[0] = base;"},{"Add":" values[1] = exponent;"},{"Add":" uint32_t index = embed(a, 2, values);"},{"Add":" return pack_power(index);"},{"Add":"}"},{"Add":""},{"Add":"uint64_t solver_Algebra_equals(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs) {"},{"Add":" uint64_t values[2];"},{"Add":" values[0] = lhs;"},{"Add":" values[1] = rhs;"},{"Add":" uint32_t index = embed(a, 2, values);"},{"Add":" return pack_equals(index);"},{"Add":"}"},{"Add":""},{"Add":"uint64_t solver_Algebra_not_equals(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs) {"},{"Add":" uint64_t values[2];"},{"Add":" values[0] = lhs;"},{"Add":" values[1] = rhs;"},{"Add":" uint32_t index = embed(a, 2, values);"},{"Add":" return pack_not_equals(index);"},{"Add":"}"},{"Add":""},{"Add":"uint64_t solver_Algebra_less_than(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs) {"},{"Add":" uint64_t values[2];"},{"Add":" values[0] = lhs;"},{"Add":" values[1] = rhs;"},{"Add":" uint32_t index = embed(a, 2, values);"},{"Add":" return pack_less_than(index);"},{"Add":"}"},{"Add":""},{"Add":"uint64_t solver_Algebra_greater_than(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs) {"},{"Add":" uint64_t values[2];"},{"Add":" values[0] = lhs;"},{"Add":" values[1] = rhs;"},{"Add":" uint32_t index = embed(a, 2, values);"},{"Add":" return pack_greater_than(index);"},{"Add":"}"},{"Add":""},{"Add":"// --------------------------------------------------------------------------------------------------------------------"},{"Add":"// solver_Algebra_show"},{"Add":"#define PRECEDENCE_NUMBER 1000"},{"Add":"#define PRECEDENCE_SUM 110"},{"Add":"#define PRECEDENCE_PRODUCT 120"},{"Add":"#define PRECEDENCE_POWER 130"},{"Add":""},{"Add":"static int precedence(uint64_t bits) {"},{"Add":" struct Unpacked unpacked = unpack(bits);"},{"Add":" switch(unpacked.tag) {"},{"Add":" case Unpacked_Real:"},{"Add":" case Unpacked_Variable:"},{"Add":" case Unpacked_Integer:"},{"Add":" case Unpacked_BigInteger:"},{"Add":" case Unpacked_Fraction:"},{"Add":" return PRECEDENCE_NUMBER;"},{"Add":" case Unpacked_Power:"},{"Add":" return PRECEDENCE_POWER;"},{"Add":" case Unpacked_Sum:"},{"Add":" return PRECEDENCE_SUM;"},{"Add":" case Unpacked_Product:"},{"Add":" return PRECEDENCE_PRODUCT;"},{"Add":" default:"},{"Add":" return 0;"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"static void show(struct solver_Algebra *a, uint64_t bits, bool parens);"},{"Add":""},{"Add":"static void show_real(struct solver_Algebra *a, uint64_t bits) {"},{"Add":" printf(\"%f\", unpack_real(bits));"},{"Add":"}"},{"Add":""},{"Add":"static void show_variable(struct solver_Algebra *a, uint64_t bits) {"},{"Add":" printf(\"%s\", unpack_variable(bits));"},{"Add":"}"},{"Add":""},{"Add":"static void show_boolean(struct solver_Algebra *a, uint64_t bits) {"},{"Add":" bool v = unpack_boolean(bits);"},{"Add":" printf(\"%s\", v ? \"true\" : \"false\");"},{"Add":"}"},{"Add":""},{"Add":"static void show_undefined(struct solver_Algebra *a, uint64_t bits) {"},{"Add":" unpack_undefined(bits);"},{"Add":" printf(\"undefined\");"},{"Add":"}"},{"Add":""},{"Add":"static void show_integer(struct solver_Algebra *a, uint64_t bits) {"},{"Add":" printf(\"%lu\", unpack_integer(bits));"},{"Add":"}"},{"Add":""},{"Add":"static void show_big_integer(struct solver_Algebra *a, uint64_t bits) {"},{"Add":" printf(\"%p\", unpack_big_integer(bits));"},{"Add":"}"},{"Add":""},{"Add":"static void show_fraction(struct solver_Algebra *a, uint64_t bits) {"},{"Add":" uint32_t index = unpack_fraction(bits);"},{"Add":" uint64_t car = a->values.data[index + 0];"},{"Add":" uint64_t cdr = a->values.data[index + 1];"},{"Add":" show(a, car, false);"},{"Add":" printf(\"/\");"},{"Add":" show(a, cdr, false);"},{"Add":"}"},{"Add":""},{"Add":"static void show_power(struct solver_Algebra *a, uint64_t bits) {"},{"Add":" uint32_t index = unpack_power(bits);"},{"Add":" uint64_t car = a->values.data[index + 0];"},{"Add":" uint64_t cdr = a->values.data[index + 1];"},{"Add":" show(a, car, precedence(car) < PRECEDENCE_POWER);"},{"Add":" printf(\"/\");"},{"Add":" show(a, cdr, precedence(cdr) < PRECEDENCE_POWER);"},{"Add":"}"},{"Add":""},{"Add":"static void show_sum(struct solver_Algebra *a, uint64_t bits) {"},{"Add":" uint32_t count;"},{"Add":" uint32_t index;"},{"Add":" unpack_sum(bits, &count, &index);"},{"Add":" for(uint32_t i = 0; i < count; i++) {"},{"Add":" uint64_t operand = a->values.data[index + i];"},{"Add":" if(i > 0) {"},{"Add":" printf(\" + \");"},{"Add":" }"},{"Add":" show(a, operand, precedence(operand) < PRECEDENCE_SUM);"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"static void show_product(struct solver_Algebra *a, uint64_t bits) {"},{"Add":" uint32_t count;"},{"Add":" uint32_t index;"},{"Add":" unpack_sum(bits, &count, &index);"},{"Add":" for(uint32_t i = 0; i < count; i++) {"},{"Add":" uint64_t operand = a->values.data[index + i];"},{"Add":" show(a, operand, precedence(operand) < PRECEDENCE_PRODUCT);"},{"Add":" if(i > 0) {"},{"Add":" printf(\" * \");"},{"Add":" }"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"static void show_equals(struct solver_Algebra *a, uint64_t bits) {"},{"Add":" uint32_t index = unpack_equals(bits);"},{"Add":" uint64_t car = a->values.data[index + 0];"},{"Add":" uint64_t cdr = a->values.data[index + 1];"},{"Add":" show(a, car, false);"},{"Add":" printf(\" == \");"},{"Add":" show(a, cdr, false);"},{"Add":"}"},{"Add":""},{"Add":"static void show_not_equals(struct solver_Algebra *a, uint64_t bits) {"},{"Add":" uint32_t index = unpack_not_equals(bits);"},{"Add":" uint64_t car = a->values.data[index + 0];"},{"Add":" uint64_t cdr = a->values.data[index + 1];"},{"Add":" show(a, car, false);"},{"Add":" printf(\" != \");"},{"Add":" show(a, cdr, false);"},{"Add":"}"},{"Add":""},{"Add":"static void show_less_than(struct solver_Algebra *a, uint64_t bits) {"},{"Add":" uint32_t index = unpack_less_than(bits);"},{"Add":" uint64_t car = a->values.data[index + 0];"},{"Add":" uint64_t cdr = a->values.data[index + 1];"},{"Add":" show(a, car, false);"},{"Add":" printf(\" < \");"},{"Add":" show(a, cdr, false);"},{"Add":"}"},{"Add":""},{"Add":"static void show_greater_than(struct solver_Algebra *a, uint64_t bits) {"},{"Add":" uint32_t index = unpack_greater_than(bits);"},{"Add":" uint64_t car = a->values.data[index + 0];"},{"Add":" uint64_t cdr = a->values.data[index + 1];"},{"Add":" show(a, car, false);"},{"Add":" printf(\" > \");"},{"Add":" show(a, cdr, false);"},{"Add":"}"},{"Add":""},{"Add":"static void show(struct solver_Algebra *a, uint64_t bits, bool parens) {"},{"Add":" if(parens) printf(\"(\");"},{"Add":" switch(unpack_tag(bits)) {"},{"Add":" case Unpacked_Real:"},{"Add":" show_real(a, bits);"},{"Add":" break;"},{"Add":" case Unpacked_Variable:"},{"Add":" show_variable(a, bits);"},{"Add":" break;"},{"Add":" case Unpacked_Boolean:"},{"Add":" show_boolean(a, bits);"},{"Add":" break;"},{"Add":" case Unpacked_Undefined:"},{"Add":" show_undefined(a, bits);"},{"Add":" break;"},{"Add":" case Unpacked_Integer:"},{"Add":" show_integer(a, bits);"},{"Add":" break;"},{"Add":" case Unpacked_BigInteger:"},{"Add":" show_big_integer(a, bits);"},{"Add":" break;"},{"Add":" case Unpacked_Fraction:"},{"Add":" show_fraction(a, bits);"},{"Add":" break;"},{"Add":" case Unpacked_Power:"},{"Add":" show_power(a, bits);"},{"Add":" break;"},{"Add":" case Unpacked_Sum:"},{"Add":" show_sum(a, bits);"},{"Add":" break;"},{"Add":" case Unpacked_Product:"},{"Add":" show_product(a, bits);"},{"Add":" break;"},{"Add":" case Unpacked_Equals:"},{"Add":" show_equals(a, bits);"},{"Add":" break;"},{"Add":" case Unpacked_NotEquals:"},{"Add":" show_not_equals(a, bits);"},{"Add":" break;"},{"Add":" case Unpacked_LessThan:"},{"Add":" show_less_than(a, bits);"},{"Add":" break;"},{"Add":" case Unpacked_GreaterThan:"},{"Add":" show_greater_than(a, bits);"},{"Add":" break;"},{"Add":" case Unpacked_Invalid:"},{"Add":" break;"},{"Add":" }"},{"Add":" if(parens) printf(\")\");"},{"Add":"}"},{"Add":""},{"Add":"void solver_Algebra_show(struct solver_Algebra *a, uint64_t bits) {"},{"Add":" show(a, bits, false);"},{"Add":" printf(\"\\n\");"},{"Add":"}"},{"Add":""},{"Add":"// --------------------------------------------------------------------------------------------------------------------"},{"Add":"// boolean_not"},{"Add":"static uint64_t boolean_not(struct solver_Algebra *a, uint64_t expr_) {"},{"Add":" if(expr_ == TAG_ATOM_BITS | 0) return TAG_ATOM_BITS | 1;"},{"Add":" if(expr_ == TAG_ATOM_BITS | 1) return TAG_ATOM_BITS | 0;"},{"Add":" return TAG_ATOM_BITS | 2;"},{"Add":"}"},{"Add":""},{"Add":"// --------------------------------------------------------------------------------------------------------------------"},{"Add":"// == !="},{"Add":"static uint64_t equals(struct solver_Algebra *a, uint64_t lhs_, uint64_t rhs_);"},{"Add":""},{"Add":"static uint64_t integer_integer_equals(struct solver_Algebra *a, uint64_t lhs_, uint64_t rhs_) {"},{"Add":" int64_t lhs = unpack_integer(lhs_);"},{"Add":" int64_t rhs = unpack_integer(rhs_);"},{"Add":" return pack_boolean(lhs == rhs);"},{"Add":"}"},{"Add":""},{"Add":"// TODO"},{"Add":""},{"Add":"static uint64_t equals(struct solver_Algebra *a, uint64_t lhs_, uint64_t rhs_) {"},{"Add":" int lhs_tag = unpack_tag(lhs_);"},{"Add":" int rhs_tag = unpack_tag(rhs_);"},{"Add":""},{"Add":" if(lhs_tag == Unpacked_Integer && rhs_tag == Unpacked_Integer) {"},{"Add":" return integer_integer_equals(a, lhs_, rhs_);"},{"Add":" }"},{"Add":""},{"Add":" if(lhs_tag != rhs_tag) {"},{"Add":" return pack_boolean(false);"},{"Add":" }"},{"Add":""},{"Add":" return pack_undefined();"},{"Add":"}"},{"Add":""},{"Add":"static uint64_t not_equals(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs) {"},{"Add":" return boolean_not(a, equals(lhs, rhs));"},{"Add":"}"},{"Add":""},{"Add":"// --------------------------------------------------------------------------------------------------------------------"},{"Add":"// < >"},{"Add":"static uint64_t integer_integer_less_than(struct solver_Algebra *a, uint64_t lhs_, uint64_t rhs_) {"},{"Add":" int64_t lhs = unpack_integer(lhs_);"},{"Add":" int64_t rhs = unpack_integer(rhs_);"},{"Add":" return pack_boolean(lhs < rhs);"},{"Add":"}"},{"Add":""},{"Add":"// TODO"},{"Add":""},{"Add":"static uint64_t less_than(struct solver_Algebra *a, uint64_t lhs_, uint64_t rhs_) {"},{"Add":" int lhs_tag = unpack_tag(lhs_);"},{"Add":" int rhs_tag = unpack_tag(rhs_);"},{"Add":""},{"Add":" if(lhs_tag == Unpacked_Integer && rhs_tag == Unpacked_Integer) {"},{"Add":" return integer_integer_less_than(a, lhs_, rhs_);"},{"Add":" }"},{"Add":""},{"Add":" return pack_undefined();"},{"Add":"}"},{"Add":""},{"Add":"static uint64_t greater_than(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs) {"},{"Add":" return boolean_not(a, less_than(lhs, rhs));"},{"Add":"}"},{"Add":""},{"Add":"// --------------------------------------------------------------------------------------------------------------------"},{"Add":"// solver_Algebra_to_boolean"},{"Add":"uint64_t solver_Algebra_to_boolean(struct solver_Algebra *a, uint64_t expr_) {"},{"Add":" struct Unpacked expr = unpack(expr_);"},{"Add":" if(expr.tag == Unpacked_Boolean) {"},{"Add":" return expr_;"},{"Add":" }"},{"Add":" if(expr.tag == Unpacked_Equals || expr.tag == Unpacked_NotEquals || expr.tag == Unpacked_LessThan || expr.tag == Unpacked_GreaterThan) {"},{"Add":" uint64_t car, cdr;"},{"Add":" car = a->values.data[expr.pair.index + 0];"},{"Add":" cdr = a->values.data[expr.pair.index + 1];"},{"Add":" return expr.tag == Unpacked_Equals ? equals(a, car, cdr) :"},{"Add":" expr.tag == Unpacked_NotEquals ? not_equals(a, car, cdr) :"},{"Add":" expr.tag == Unpacked_LessThan ? less_than(a, car, cdr) :"},{"Add":" expr.tag == Unpacked_GreaterThan ? greater_than(a, car, cdr) :"},{"Add":" pack_undefined() ;"},{"Add":" } else {"},{"Add":" return pack_undefined();"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"// --------------------------------------------------------------------------------------------------------------------"},{"Add":"// solver_Algebra_simplify"},{"Add":"// these actually create values into the algebra"},{"Add":"static uint64_t simplify(struct solver_Algebra *a, uint64_t expr);"},{"Add":""},{"Add":"static uint32_t embed(struct solver_Algebra *a, uint32_t count, const uint64_t *values) {"},{"Add":" uint32_t index = a->values.length;"},{"Add":" alias_Vector_space_for(&a->values, NULL, count);"},{"Add":" alias_memory_copy(a->values.data + index, sizeof(*a->values.data) * (a->values.capacity - index), values, sizeof(*values) * count);"},{"Add":" a->values.length += count;"},{"Add":" return index;"},{"Add":"}"},{"Add":""},{"Add":"static uint64_t simplify_real(struct solver_Algebra *a, double real) {"},{"Add":" if(real == floor(real)) return pack_integer((int64_t)real);"},{"Add":" return pack_real(real);"},{"Add":"}"},{"Add":""},{"Add":"static uint64_t simplify_big_integer(struct solver_Algebra *a, void * big_integer) {"},{"Add":" return pack_big_integer(big_integer);"},{"Add":"}"},{"Add":""},{"Add":"static uint64_t simplify_fraction(struct solver_Algebra *a, uint64_t numerator, uint64_t denominator) {"},{"Add":" uint64_t values[2];"},{"Add":" values[0] = numberator;"},{"Add":" values[1] = denominator;"},{"Add":" uint32_t index = embed(a, 2, values);"},{"Add":" return pack_fraction(index);"},{"Add":"}"},{"Add":""},{"Add":"static uint64_t simplify_power(struct solver_Algebra *a, uint64_t base, uint64_t exponent) {"},{"Add":" uint64_t values[2];"},{"Add":" values[0] = simplify(a, base);"},{"Add":" values[1] = simplify(a, exponent);"},{"Add":" if(is_number(values[0]) && is_number(values[1])) {"},{"Add":" return number_pow(values[0], values[1]);"},{"Add":" }"},{"Add":" uint32_t index = embed(a, 2, values);"},{"Add":" return pack_fraction(index);"},{"Add":"}"},{"Add":""},{"Add":"static uint64_t simplify_sum(struct solver_Algebra *a, uint32_t num_operands, const uint64_t * operands) {"},{"Add":" struct {"},{"Add":" uint32_t num_operands;"},{"Add":" const uint64_t * operands;"},{"Add":" } stack[3], *top = stack + 3;"},{"Add":""},{"Add":" if(num_operands == 0) {"},{"Add":" return pack_integer(a, 0);"},{"Add":" }"},{"Add":""},{"Add":" if(num_operands == 1) {"},{"Add":" return operands[0];"},{"Add":" }"},{"Add":""},{"Add":" if(num_operands == 2) {"},{"Add":" if(is_number(operands[0]) && is_number(operands[1])) {"},{"Add":" return number_add(a, operands[0], operands[1]);"},{"Add":" }"},{"Add":""},{"Add":" if(is_sum(operands[0])) || is_sum(operands[1])) {"},{"Add":" --top;"},{"Add":" if(is_sum(operands[0])) {"},{"Add":" uint32_t index;"},{"Add":" unpack_sum(operands[0], &top->num_operands, &index);"},{"Add":" top->operands = a->values.data + index;"},{"Add":" } else {"},{"Add":" top->num_operands = 1;"},{"Add":" top->operands = &operands[0];"},{"Add":" }"},{"Add":""},{"Add":" --top;"},{"Add":" if(is_sum(operands[1])) {"},{"Add":" uint32_t index;"},{"Add":" unpack_sum(operands[1], &top->num_operands, &index);"},{"Add":" top->operands = a->values.data + index;"},{"Add":" } else {"},{"Add":" top->num_operands = 1;"},{"Add":" top->operands = &operands[1];"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"static uint64_t simplify(struct solver_Algebra *a, uint64_t expr) {"},{"Add":" struct Unpacked unpacked = unpack(expr);"},{"Add":" switch(unpacked.tag) {"},{"Add":" case Unpacked_Real:"},{"Add":" return simplify_real(a, unpacked.real);"},{"Add":" case Unpacked_Variable:"},{"Add":" return expr;"},{"Add":" case Unpacked_Boolean:"},{"Add":" return expr;"},{"Add":" case Unpacked_Undefined:"},{"Add":" return expr;"},{"Add":" case Unpacked_Integer:"},{"Add":" return expr;"},{"Add":" case Unpacked_BigInteger:"},{"Add":" return simplify_big_integer(a, unpacked.big_integer);"},{"Add":" case Unpacked_Fraction:"},{"Add":" return simplify_fraction(a, a->values.data[unpacked.fraction.index + 0], a->values.data[unpacked.fraction.index + 1]);"},{"Add":" case Unpacked_Power:"},{"Add":" return simplify_power(a, a->values.data[unpacked.power.index + 0], a->values.data[unpacked.power.index + 1]);"},{"Add":" case Unpacked_Sum:"},{"Add":" return simplify_sum(a, unpacked.sum.count, a->values.data + unpacked.sum.index);"},{"Add":" case Unpacked_Product:"},{"Add":" return simplify_product(a, unpacked.sum.count, a->values.data + unpacked.sum.index);"},{"Add":" case Unpacked_Equals:"},{"Add":" return simplify_equals(a, a->values.data[unpacked.power.index + 0], a->values.data[unpacked.power.index + 1]);"},{"Add":" case Unpacked_NotEquals:"},{"Add":" return simplify_not_equals(a, a->values.data[unpacked.power.index + 0], a->values.data[unpacked.power.index + 1]);"},{"Add":" case Unpacked_LessThan:"},{"Add":" return simplify_less_than(a, a->values.data[unpacked.power.index + 0], a->values.data[unpacked.power.index + 1]);"},{"Add":" case Unpacked_GreaterThan:"},{"Add":" return simplify_greater_than(a, a->values.data[unpacked.power.index + 0], a->values.data[unpacked.power.index + 1]);"},{"Add":" case Unpacked_Invalid:"},{"Add":" break;"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"uint64_t solver_Algebra_simplify(struct solver_Algebra *a, uint64_t expr) {"},{"Add":" return simplify(a, expr);"},{"Add":"}"},{"Add":""},{"Add":"#if 0"},{"Add":""},{"Add":"// -- numerator"},{"Add":""},{"Add":"double solver_Algebra_numerator(struct solver_Algebra *a, double expr) {"},{"Add":" uint64_t payload;"},{"Add":" switch(_decode(expr, &payload)) {"},{"Add":" case FRACTION:"},{"Add":" return first(a, expr);"},{"Add":" default:"},{"Add":" return expr;"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"// -- denominator"},{"Add":""},{"Add":"double solver_Algebra_denominator(struct solver_Algebra *a, double expr) {"},{"Add":" uint64_t payload;"},{"Add":" switch(_decode(expr, &payload)) {"},{"Add":" case FRACTION:"},{"Add":" return second(a, expr);"},{"Add":" default:"},{"Add":" return one(a);"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"// -- simplify"},{"Add":""},{"Add":"static double _simplify_power(struct solver_Algebra *a, double base, double exponent) {"},{"Add":" base = solver_Algebra_simplify(base);"},{"Add":" exponent = solver_Algebra_simplify(exponent);"},{"Add":""},{"Add":" if(is_integer(base, 0)) return integer(0);"},{"Add":" if(is_integer(base, 1)) return integer(1);"},{"Add":""},{"Add":" if(is_integer(exponent, 0)) return integer(1);"},{"Add":" if(is_integer(exponent, 1)) return base;"},{"Add":""},{"Add":" uint64_t base_payload;"},{"Add":" uint64_t exponent_payload;"},{"Add":""},{"Add":" int base_tag = _decode(base, &base_payload);"},{"Add":" int exponent_tag = _decode(exponent, &exponent_payload);"},{"Add":""},{"Add":" if(base_tag == INTEGER) {"},{"Add":" if(exponent_tag == INTEGER) {"},{"Add":" } else if(exponent_tag == BIG_INTEGER) {"},{"Add":" } else if(exponent_tag == FRACTION) {"},{"Add":" } else if(exponent_tag == REAL) {"},{"Add":" }"},{"Add":" } else if(base_tag == BIG_INTEGER) {"},{"Add":" if(exponent_tag == INTEGER) {"},{"Add":" } else if(exponent_tag == BIG_INTEGER) {"},{"Add":" } else if(exponent_tag == FRACTION) {"},{"Add":" } else if(exponent_tag == REAL) {"},{"Add":" }"},{"Add":" } else if(base_tag == FRACTION) {"},{"Add":" if(exponent_tag == INTEGER) {"},{"Add":" } else if(exponent_tag == BIG_INTEGER) {"},{"Add":" } else if(exponent_tag == FRACTION) {"},{"Add":" } else if(exponent_tag == REAL) {"},{"Add":" }"},{"Add":" } else if(base_tag == REAL) {"},{"Add":" if(exponent_tag == INTEGER) {"},{"Add":" } else if(exponent_tag == BIG_INTEGER) {"},{"Add":" } else if(exponent_tag == FRACTION) {"},{"Add":" } else if(exponent_tag == REAL) {"},{"Add":" return pow(base, exponent);"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":" return solver_Algebra_power(a, base, exponent);"},{"Add":"}"},{"Add":""},{"Add":"// numbers"},{"Add":"static double _number_gcd(struct solver_Algebra *a, double lhs, double rhs);"},{"Add":"static double _number_add(struct solver_Algebra *a, double lhs, double rhs);"},{"Add":"static double _number_multiply(struct solver_Algebra *a, double lhs, double rhs);"},{"Add":""},{"Add":"static double _integer_integer_add(struct solver_Algebra *a, double lhs, double rhs) {"},{"Add":""},{"Add":"}"},{"Add":""},{"Add":"static double _number_add(struct solver_Algebra *a, double lhs, double rhs) {"},{"Add":" uint64_t lhs_payload;"},{"Add":" int lhs_tag = _decode(lhs, &lhs_payload);"},{"Add":""},{"Add":" uint64_t rhs_payload;"},{"Add":" int rhs_tag = _decode(rhs, &rhs_payload);"},{"Add":""},{"Add":" if(lhs_tag == INTEGER) {"},{"Add":" int64_t lhs_value = _decode_integer(lhs);"},{"Add":" if(rhs_tag == INTEGER) {"},{"Add":" int64_t rhs_value = _decode_integer(rhs);"},{"Add":" return solver_Algebra_integer(a, lhs + rhs);"},{"Add":" } else if(rhs_tag == BIG_INTEGER) {"},{"Add":" // TODO"},{"Add":" } else if(rhs_tag == FRACTION) {"},{"Add":" double numerator = first(a, rhs);"},{"Add":" double denominator = second(a, rhs);"},{"Add":" lhs = _number_multiply(a, lhs, denominator);"},{"Add":" numerator = _number_add(a, lhs, numerator);"},{"Add":" return solver_Algebra_fraction(a, numerator, denominator);"},{"Add":" } else if(rhs_tag == REAL) {"},{"Add":" return lhs_value * rhs;"},{"Add":" }"},{"Add":" } else if(lhs_tag == BIG_INTEGER) {"},{"Add":" // TODO"},{"Add":" if(rhs_tag == INTEGER) {"},{"Add":" } else if(rhs_tag == BIG_INTEGER) {"},{"Add":" } else if(rhs_tag == FRACTION) {"},{"Add":" } else if(rhs_tag == REAL) {"},{"Add":" }"},{"Add":" } else if(lhs_tag == FRACTION) {"},{"Add":" double lhs_numerator = first(a, lhs);"},{"Add":" double lhs_denominator = second(a, lhs);"},{"Add":""},{"Add":" if(rhs_tag == INTEGER) {"},{"Add":" int64_t rhs_value = _decode_integer(rhs);"},{"Add":" rhs = _number_multiply(a, rhs, lhs_denominator);"},{"Add":" lhs_numerator = _number_add(a, rhs, lhs_numerator);"},{"Add":" return solver_Algebra_fraction(a, lhs_numerator, lhs_denominator);"},{"Add":" } else if(rhs_tag == BIG_INTEGER) {"},{"Add":" // TODO"},{"Add":" } else if(rhs_tag == FRACTION) {"},{"Add":" double rhs_numerator = first(a, rhs);"},{"Add":" double rhs_denominator = second(a, rhs); "},{"Add":" double denominator = _number_gcd(a, lhs_denominator, rhs_denominator);"},{"Add":""},{"Add":" "},{"Add":" } else if(rhs_tag == REAL) {"},{"Add":" }"},{"Add":" } else if(lhs_tag == REAL) {"},{"Add":" if(rhs_tag == INTEGER) {"},{"Add":" } else if(rhs_tag == BIG_INTEGER) {"},{"Add":" // TODO"},{"Add":" } else if(rhs_tag == FRACTION) {"},{"Add":" } else if(rhs_tag == REAL) {"},{"Add":" return rhs + lhs;"},{"Add":" }"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"static double _number_multiply(struct solver_Algebra *a, double lhs, double rhs) {"},{"Add":" uint64_t lhs_payload;"},{"Add":" int lhs_tag = _decode(lhs, &lhs_payload);"},{"Add":""},{"Add":" uint64_t rhs_payload;"},{"Add":" int rhs_tag = _decode(rhs, &rhs_payload);"},{"Add":""},{"Add":" if(lhs_tag == INTEGER) {"},{"Add":" if(rhs_tag == INTEGER) {"},{"Add":" } else if(rhs_tag == BIG_INTEGER) {"},{"Add":" } else if(rhs_tag == FRACTION) {"},{"Add":" } else if(rhs_tag == REAL) {"},{"Add":" }"},{"Add":" } else if(lhs_tag == BIG_INTEGER) {"},{"Add":" if(rhs_tag == INTEGER) {"},{"Add":" } else if(rhs_tag == BIG_INTEGER) {"},{"Add":" } else if(rhs_tag == FRACTION) {"},{"Add":" } else if(rhs_tag == REAL) {"},{"Add":" }"},{"Add":" } else if(lhs_tag == FRACTION) {"},{"Add":" if(rhs_tag == INTEGER) {"},{"Add":" } else if(rhs_tag == BIG_INTEGER) {"},{"Add":" } else if(rhs_tag == FRACTION) {"},{"Add":" } else if(rhs_tag == REAL) {"},{"Add":" }"},{"Add":" } else if(lhs_tag == REAL) {"},{"Add":" if(rhs_tag == INTEGER) {"},{"Add":" } else if(rhs_tag == BIG_INTEGER) {"},{"Add":" } else if(rhs_tag == FRACTION) {"},{"Add":" } else if(rhs_tag == REAL) {"},{"Add":" return lhs * rhs;"},{"Add":" }"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"static void _simplify_sum_recursive(struct solver_Algebra *a, uint32_t num_operands, const double *operands, uint32_t *result_num_operands, double ** result_operands) {"},{"Add":" if(num_operands == 2) {"},{"Add":" uint64_t lhs_payload, rhs_payload;"},{"Add":" "},{"Add":" int lhs_tag = _decode(operands[0], &lhs_payload);"},{"Add":" int rhs_tag = _decode(operands[1], &rhs_payload);"},{"Add":" "},{"Add":" if(lhs_tag == SUM && rhs_tag == SUM) {"},{"Add":" _simplify_sum_merge(a,"},{"Add":" (lhs_payload >> 24) & 0x07FFull, a->values.data + (lhs_payload & 0x0FFFull),"},{"Add":" (rhs_payload >> 24) & 0x07FFull, a->values.data + (rhs_payload & 0x0FFFull),"},{"Add":" result_num_operands, result_operands"},{"Add":" );"},{"Add":" return;"},{"Add":" }"},{"Add":""},{"Add":" if(lhs_tag == SUM) {"},{"Add":" _simplify_sum_merge(a,"},{"Add":" (lhs_payload >> 24) & 0x07FFull, a->values.data + (lhs_payload & 0x0FFFull),"},{"Add":" 1, &operands[1],"},{"Add":" result_num_operands, result_operands"},{"Add":" );"},{"Add":" return;"},{"Add":" }"},{"Add":""},{"Add":" if(rhs_tag == SUM) {"},{"Add":" _simplify_sum_merge(a,"},{"Add":" 1, &operands[0],"},{"Add":" (rhs_payload >> 24) & 0x07FFull, a->values.data + (rhs_payload & 0x0FFFull),"},{"Add":" result_num_operands, result_operands"},{"Add":" );"},{"Add":" return;"},{"Add":" }"},{"Add":""},{"Add":" if(_precedence(operands[0]) == PRECEDENCE_NUMBER && _precedence(operands[1]) == PRECEDENCE_NUMBER) {"},{"Add":" }"},{"Add":""},{"Add":""},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"static double _simplify_sum(struct solver_Algebra *a, uint32_t num_operands, const double *operands) {"},{"Add":" if(num_operands == 1) {"},{"Add":" return operands[0];"},{"Add":" }"},{"Add":""},{"Add":" uint32_t result_num_operands;"},{"Add":" double * result_operands;"},{"Add":" double result;"},{"Add":""},{"Add":" _simplify_sum_recursive(a, num_operands, operands, &result_num_operands, &result_operands);"},{"Add":""},{"Add":" if(result_num_operands == 0) {"},{"Add":" return integer(0);"},{"Add":" }"},{"Add":""},{"Add":" if(result_num_operands == 1) {"},{"Add":" result = result_operands[1];"},{"Add":" } else {"},{"Add":" result = solver_Algebra_sum(a, result_num_operands, result_operands);"},{"Add":" }"},{"Add":""},{"Add":" free(result_operands);"},{"Add":" return result;"},{"Add":"}"},{"Add":""},{"Add":"double solver_Algebra_simplify(struct solver_Algebra *a, double expr) {"},{"Add":" uint64_t payload;"},{"Add":" switch(_decode(expr, &payload)) {"},{"Add":" case REAL: return expr;"},{"Add":" case VARIABLE: return expr;"},{"Add":" case UNDEFINED: return expr;"},{"Add":" case INTEGER: return expr;"},{"Add":" case BIG_INTEGER: return expr;"},{"Add":" case FRACTION: return expr; "},{"Add":" case POWER: return _simplify_power(a, a->values.data[(payload & 0x0FFFull) + 0], a->values.data[(payload & 0x0FFFull) + 1]);"},{"Add":" case SUM: return _simplify_sum(a, (payload >> 24) & 0x07FFull, a->values.data + (payload & 0x0FFFull));"},{"Add":" case PRODUCT: return _simplify_product(a, (payload >> 24) & 0x07FFull, a->values.data + (payload & 0x0FFFull));"},{"Add":" case INVALID: return expr;"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"#endif"}]}},{"FileAdd":{"meta":{"basename":"include","metadata":576},"context":[{"change":0,"pos":1570}],"contents":[]}},{"FileAdd":{"meta":{"basename":"solver","metadata":576},"context":[{"change":0,"pos":38462}],"contents":[]}},{"FileAdd":{"meta":{"basename":"algebra.h","metadata":0},"context":[{"change":0,"pos":38482}],"contents":[{"Add":"#pragma once"},{"Add":""},{"Add":"#include "},{"Add":"#include "},{"Add":""},{"Add":"struct solver_Algebra {"},{"Add":" alias_Vector(uint64_t) values;"},{"Add":"};"},{"Add":""},{"Add":"// lifetime"},{"Add":"void solver_Algebra_init(struct solver_Algebra *a);"},{"Add":"void solver_Algebra_free(struct solver_Algebra *a);"},{"Add":""},{"Add":"// construction"},{"Add":"uint64_t solver_Algebra_boolean(struct solver_Algebra *a, bool value);"},{"Add":"uint64_t solver_Algebra_integer(struct solver_Algebra *a, int64_t value);"},{"Add":"uint64_t solver_Algebra_fraction(struct solver_Algebra *a, int64_t numerator, int64_t denominator);"},{"Add":"uint64_t solver_Algebra_real(struct solver_Algebra *a, double value);"},{"Add":"uint64_t solver_Algebra_variable(struct solver_Algebra *a, const char * name);"},{"Add":"uint64_t solver_Algebra_sum(struct solver_Algebra *a, uint32_t num_operands, const uint64_t *operands);"},{"Add":"uint64_t solver_Algebra_product(struct solver_Algebra *a, uint32_t num_operands, const uint64_t *operands);"},{"Add":"uint64_t solver_Algebra_power(struct solver_Algebra *a, uint64_t base, uint64_t exponent);"},{"Add":""},{"Add":"uint64_t solver_Algebra_equals(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs);"},{"Add":"uint64_t solver_Algebra_not_equals(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs);"},{"Add":"uint64_t solver_Algebra_less_than(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs);"},{"Add":"uint64_t solver_Algebra_greater_than(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs);"},{"Add":""},{"Add":"uint64_t solver_Algebra_add(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs) {"},{"Add":" uint64_t operands[2] = {lhs, rhs};"},{"Add":" return solver_Algebra_sum(a, 2, operands);"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t solver_Algebra_multiply(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs) {"},{"Add":" uint64_t operands[2] = {lhs, rhs};"},{"Add":" return solver_Algebra_product(a, 2, operands);"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t solver_Algebra_negate(struct solver_Algebra *a, uint64_t expr) {"},{"Add":" return solver_Algebra_multiply(a, solver_Algebra_integer(a, -1), expr);"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t solver_Algebra_subtract(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs) {"},{"Add":" return solver_Algebra_add(a, lhs, solver_Algebra_negate(a, rhs));"},{"Add":"}"},{"Add":""},{"Add":"static inline uint64_t solver_Algebra_divide(struct solver_Algebra *a, uint64_t lhs, uint64_t rhs) {"},{"Add":" return solver_Algebra_multiply(a, lhs, solver_Algebra_power(a, rhs, solver_Algebra_integer(a, -1)));"},{"Add":"}"},{"Add":""},{"Add":"// operations"},{"Add":"void solver_Algebra_show(struct solver_Algebra *a, uint64_t expr);"},{"Add":""},{"Add":"bool solver_Algebra_to_boolean(struct solver_Algebra *a, uint64_t expr);"},{"Add":""},{"Add":"uint64_t solver_Algebra_simplify(struct solver_Algebra *a, uint64_t expr);"},{"Add":""}]}},{"FileAdd":{"meta":{"basename":"modeling.h","metadata":0},"context":[{"change":0,"pos":38462}],"contents":[{"Add":"#pragma once"},{"Add":""},{"Add":"#include "},{"Add":""},{"Add":"struct solver_GeometricConstaint {"},{"Add":" enum {"},{"Add":" solver_GeometricConstaint_CoincidentPoints,"},{"Add":" solver_GeometricConstaint_Parallel,"},{"Add":" solver_GeometricConstaint_Perpendicular,"},{"Add":" solver_GeometricConstaint_Collinear,"},{"Add":" solver_GeometricConstaint_Fixed,"},{"Add":" solver_GeometricConstaint_Tangent,"},{"Add":" solver_GeometricConstaint_Angle,"},{"Add":" solver_GeometricConstaint_Distance,"},{"Add":" solver_GeometricConstaint_Radius"},{"Add":" } tag;"},{"Add":" union {"},{"Add":" struct {"},{"Add":" uint32_t point_a;"},{"Add":" uint32_t point_b;"},{"Add":" alias_pga3d_Motor align_to;"},{"Add":" } coincident_points;"},{"Add":" };"},{"Add":"};"},{"Add":""}]}},{"Replacement":{"inode":{"change":2,"pos":29},"path":"engine/src/ui.c","line":12,"ins":{"up_context":[{"change":2,"pos":291}],"down_context":[{"change":2,"pos":431}],"flag":"BLOCK","start":41620,"end":41790,"inode":{"change":2,"pos":29}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":291},"to":{"change":2,"start":291,"end":431},"introduced_by":2}],"inode":{"change":2,"pos":29}},"ins_contents":[{"Add":"static inline void _text_size(alias_ui *_ui, const char * buffer, float size, float _max_width, float * out_width, float * out_height) {"},{"Add":" (void)_ui;"},{"Add":" (void)_max_width;"}],"del_contents":[{"Del":"static inline void _text_size(const char * buffer, float size, float max_width, float * out_width, float * out_height) {\n (void)max_width;\n"}]}},{"Replacement":{"inode":{"change":2,"pos":29},"path":"engine/src/ui.c","line":18,"ins":{"up_context":[{"change":2,"pos":503}],"down_context":[{"change":2,"pos":633}],"flag":"BLOCK","start":41791,"end":41951,"inode":{"change":2,"pos":29}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":503},"to":{"change":2,"start":503,"end":633},"introduced_by":2}],"inode":{"change":2,"pos":29}},"ins_contents":[{"Add":"static inline void _text_draw(alias_ui *_ui, const char * buffer, float x, float y, float _width, float size, alias_Color color) {"},{"Add":" (void)_ui;"},{"Add":" (void)_width;"}],"del_contents":[{"Del":"static inline void _text_draw(const char * buffer, float x, float y, float width, float size, alias_Color color) {\n (void)width;\n"}]}},{"Replacement":{"inode":{"change":2,"pos":29},"path":"engine/src/ui.c","line":108,"ins":{"up_context":[{"change":2,"pos":2640}],"down_context":[{"change":2,"pos":2721}],"flag":"BLOCK","start":41952,"end":42030,"inode":{"change":2,"pos":29}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":2640},"to":{"change":2,"start":2640,"end":2721},"introduced_by":2}],"inode":{"change":2,"pos":29}},"ins_contents":[{"Add":" BackendUIVertex_begin_draw(num_indexes, &indexes, num_vertexes, &vertexes);"}],"del_contents":[{"Del":" // BackendUIVertex_begin_draw(num_indexes, &indexes, num_vertexes, &vertexes);\n"}]}},{"Replacement":{"inode":{"change":2,"pos":29},"path":"engine/src/ui.c","line":157,"ins":{"up_context":[{"change":2,"pos":4302}],"down_context":[{"change":2,"pos":4397}],"flag":"BLOCK","start":42031,"end":42124,"inode":{"change":2,"pos":29}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":4302},"to":{"change":2,"start":4302,"end":4397},"introduced_by":2}],"inode":{"change":2,"pos":29}},"ins_contents":[{"Add":" BackendUIVertex_draw(&material->image, run_ui_groups[g].index, run_ui_groups[g].length);"}],"del_contents":[{"Del":" //BackendUIVertex_draw(&material->image, run_ui_groups[g].index, run_ui_groups[g].length);\n"}]}},{"Replacement":{"inode":{"change":2,"pos":29},"path":"engine/src/ui.c","line":160,"ins":{"up_context":[{"change":2,"pos":4402}],"down_context":[{"change":2,"pos":4434}],"flag":"BLOCK","start":42125,"end":42155,"inode":{"change":2,"pos":29}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":4402},"to":{"change":2,"start":4402,"end":4434},"introduced_by":2}],"inode":{"change":2,"pos":29}},"ins_contents":[{"Add":" BackendUIVertex_end_draw();"}],"del_contents":[{"Del":" //BackendUIVertex_end_draw();\n"}]}},{"Edit":{"inode":{"change":2,"pos":289537},"path":"engine/src/state.c","line":1,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":289537}],"down_context":[{"change":2,"pos":289538}],"flag":"BLOCK","start":42156,"end":42219,"inode":{"change":2,"pos":289537}}},"contents":[{"Add":"#include \"local.h\""},{"Add":""},{"Add":"struct EngineState *_current_state = NULL;"}]}},{"Replacement":{"inode":{"change":2,"pos":289537},"path":"engine/src/state.c","line":5,"ins":{"up_context":[{"change":2,"pos":289539}],"down_context":[{"change":2,"pos":289586}],"flag":"BLOCK","start":42220,"end":42273,"inode":{"change":2,"pos":289537}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":289539},"to":{"change":2,"start":289539,"end":289586},"introduced_by":2}],"inode":{"change":2,"pos":289537}},"ins_contents":[{"Add":"void Engine_push_state(struct EngineState * state) {"}],"del_contents":[{"Del":"void Engine_push_state(struct State * state) {\n"}]}},{"Replacement":{"inode":{"change":2,"pos":289537},"path":"engine/src/state.c","line":29,"ins":{"up_context":[{"change":2,"pos":290149}],"down_context":[{"change":2,"pos":290183}],"flag":"BLOCK","start":42274,"end":42308,"inode":{"change":2,"pos":289537}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":290149},"to":{"change":2,"start":290149,"end":290183},"introduced_by":2}],"inode":{"change":2,"pos":289537}},"ins_contents":[{"Add":"bool Engine__update_state(void) {"}],"del_contents":[{"Del":"static bool _update_state(void) {\n"}]}},{"Edit":{"inode":{"change":2,"pos":290556},"path":"engine/src/resource.c","line":14,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":291133}],"down_context":[{"change":2,"pos":291133}],"flag":"BLOCK","start":42309,"end":42331,"inode":{"change":2,"pos":290556}}},"contents":[{"Add":" break;"},{"Add":" default:"}]}},{"Replacement":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":57,"ins":{"up_context":[{"change":2,"pos":294489}],"down_context":[{"change":2,"pos":294542}],"flag":"BLOCK","start":42332,"end":42381,"inode":{"change":2,"pos":293296}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":294489},"to":{"change":2,"start":294489,"end":294542},"introduced_by":2}],"inode":{"change":2,"pos":293296}},"ins_contents":[{"Add":"void Engine_render_set_height(uint32_t height) {"}],"del_contents":[{"Del":"uint32_t Engine_render_set_height(uint32_t height) {\n"}]}},{"Edit":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":70,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":294719}],"down_context":[{"change":2,"pos":294719}],"flag":"BLOCK","start":42382,"end":42660,"inode":{"change":2,"pos":293296}}},"contents":[{"Add":""},{"Add":"void BackendUIVertex_begin_draw(uint32_t num_indexes, uint32_t ** indexes_ptr, uint32_t num_vertexes, struct BackendUIVertex ** vertexes_ptr) {"},{"Add":"}"},{"Add":""},{"Add":"void BackendUIVertex_draw(void * image, uint32_t index_offset, uint32_t num_indexes) {"},{"Add":"}"},{"Add":""},{"Add":"void BackendUIVertex_end_draw(void) {"},{"Add":"}"}]}},{"Replacement":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":101,"ins":{"up_context":[{"change":2,"pos":295390}],"down_context":[{"change":2,"pos":295455}],"flag":"BLOCK","start":42661,"end":42718,"inode":{"change":2,"pos":293296}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":295390},"to":{"change":2,"start":295390,"end":295455},"introduced_by":2}],"inode":{"change":2,"pos":293296}},"ins_contents":[{"Add":" BackendUIVertex_begin_draw(6, &indexes, 4, &vertexes);"}],"del_contents":[{"Del":" // TODO BackendUIVertex_begin_draw(6, &indexes, 4, &vertexes);\n"}]}},{"Replacement":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":112,"ins":{"up_context":[{"change":2,"pos":296287}],"down_context":[{"change":2,"pos":296369}],"flag":"BLOCK","start":42719,"end":42785,"inode":{"change":2,"pos":293296}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":296287},"to":{"change":2,"start":296287,"end":296369},"introduced_by":2}],"inode":{"change":2,"pos":293296}},"ins_contents":[{"Add":" BackendUIVertex_draw(NULL, 0, 6);"},{"Add":" BackendUIVertex_end_draw();"}],"del_contents":[{"Del":" // TODO BackendUIVertex_draw(NULL, 0, 6);\n // TODO BackendUIVertex_end_draw();\n"}]}},{"Edit":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":120,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":296468}],"down_context":[{"change":2,"pos":296468}],"flag":"BLOCK","start":42786,"end":42803,"inode":{"change":2,"pos":293296}}},"contents":[{"Add":" (void)state;"}]}},{"Replacement":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":131,"ins":{"up_context":[{"change":2,"pos":296682}],"down_context":[{"change":2,"pos":296793}],"flag":"BLOCK","start":42804,"end":42907,"inode":{"change":2,"pos":293296}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":296682},"to":{"change":2,"start":296682,"end":296793},"introduced_by":2}],"inode":{"change":2,"pos":293296}},"ins_contents":[{"Add":" BackendUIVertex_begin_draw(3 * (NUM_CIRCLE_SEGMENTS - 2), &indexes, NUM_CIRCLE_SEGMENTS, &vertexes);"}],"del_contents":[{"Del":" // TODO BackendUIVertex_begin_draw(3 * (NUM_CIRCLE_SEGMENTS - 2), &indexes, NUM_CIRCLE_SEGMENTS, &vertexes);\n"}]}},{"Replacement":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":153,"ins":{"up_context":[{"change":2,"pos":297410}],"down_context":[{"change":2,"pos":297520}],"flag":"BLOCK","start":42908,"end":43002,"inode":{"change":2,"pos":293296}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":297410},"to":{"change":2,"start":297410,"end":297520},"introduced_by":2}],"inode":{"change":2,"pos":293296}},"ins_contents":[{"Add":" BackendUIVertex_draw(NULL, 0, 3 * (NUM_CIRCLE_SEGMENTS - 2));"},{"Add":" BackendUIVertex_end_draw();"}],"del_contents":[{"Del":" // TODO BackendUIVertex_draw(NULL, 0, 3 * (NUM_CIRCLE_SEGMENTS - 2));\n // TODO BackendUIVertex_end_draw();\n"}]}},{"Edit":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":276,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":310856}],"down_context":[{"change":2,"pos":310856}],"flag":"BLOCK","start":43003,"end":43020,"inode":{"change":2,"pos":293296}}},"contents":[{"Add":" (void)state;"}]}},{"Edit":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":285,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":311081}],"down_context":[{"change":2,"pos":311081}],"flag":"BLOCK","start":43021,"end":43038,"inode":{"change":2,"pos":293296}}},"contents":[{"Add":" (void)state;"}]}},{"Edit":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":292,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":311361}],"down_context":[{"change":2,"pos":311361}],"flag":"BLOCK","start":43039,"end":43040,"inode":{"change":2,"pos":293296}}},"contents":[{"Add":""}]}},{"Edit":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":301,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":311502}],"down_context":[{"change":2,"pos":311502}],"flag":"BLOCK","start":43041,"end":43042,"inode":{"change":2,"pos":293296}}},"contents":[{"Add":""}]}},{"Edit":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":308,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":311667}],"down_context":[{"change":2,"pos":311667}],"flag":"BLOCK","start":43043,"end":43044,"inode":{"change":2,"pos":293296}}},"contents":[{"Add":""}]}},{"Edit":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":313,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":311883}],"down_context":[{"change":2,"pos":311883}],"flag":"BLOCK","start":43045,"end":43046,"inode":{"change":2,"pos":293296}}},"contents":[{"Add":""}]}},{"Replacement":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":316,"ins":{"up_context":[{"change":2,"pos":311942}],"down_context":[{"change":2,"pos":312007}],"flag":"BLOCK","start":43047,"end":43105,"inode":{"change":2,"pos":293296}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":311942},"to":{"change":2,"start":311942,"end":312007},"introduced_by":2}],"inode":{"change":2,"pos":293296}},"ins_contents":[{"Add":" BackendUIVertex_begin_draw(6, &indexes, 4, &vertexes);"},{"Add":""}],"del_contents":[{"Del":" // TODO BackendUIVertex_begin_draw(6, &indexes, 4, &vertexes);\n"}]}},{"Edit":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":322,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":312791}],"down_context":[{"change":2,"pos":312791}],"flag":"BLOCK","start":43106,"end":43107,"inode":{"change":2,"pos":293296}}},"contents":[{"Add":""}]}},{"Replacement":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":329,"ins":{"up_context":[{"change":2,"pos":312899}],"down_context":[{"change":2,"pos":312988}],"flag":"BLOCK","start":43108,"end":43182,"inode":{"change":2,"pos":293296}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":312899},"to":{"change":2,"start":312899,"end":312988},"introduced_by":2}],"inode":{"change":2,"pos":293296}},"ins_contents":[{"Add":""},{"Add":" BackendUIVertex_draw(&res->image, 0, 6);"},{"Add":" BackendUIVertex_end_draw();"}],"del_contents":[{"Del":" // TODO BackendUIVertex_draw(&res->image, 0, 6);\n // TODO BackendUIVertex_end_draw();\n"}]}},{"Edit":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":338,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":313077}],"down_context":[{"change":2,"pos":313077}],"flag":"BLOCK","start":43183,"end":43200,"inode":{"change":2,"pos":293296}}},"contents":[{"Add":" (void)state;"}]}},{"Edit":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":378,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":314580},"to":{"change":2,"start":314580,"end":314609},"introduced_by":2}],"inode":{"change":2,"pos":293296}}},"contents":[{"Del":"\n // TODO Backend_end_2d();\n"}]}},{"Edit":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":387,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":314767}],"down_context":[{"change":2,"pos":314767}],"flag":"BLOCK","start":43201,"end":43218,"inode":{"change":2,"pos":293296}}},"contents":[{"Add":" (void)state;"}]}},{"Edit":{"inode":{"change":2,"pos":293296},"path":"engine/src/render.c","line":396,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":314898}],"down_context":[],"flag":"BLOCK","start":43219,"end":43220,"inode":{"change":2,"pos":293296}}},"contents":[{"Add":""}]}},{"Edit":{"inode":{"change":2,"pos":316151},"path":"engine/src/local.h","line":17,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":316457}],"down_context":[{"change":2,"pos":316457}],"flag":"BLOCK","start":43221,"end":43243,"inode":{"change":2,"pos":316151}}},"contents":[{"Add":"#include "}]}},{"Replacement":{"inode":{"change":2,"pos":316151},"path":"engine/src/local.h","line":24,"ins":{"up_context":[{"change":2,"pos":316591}],"down_context":[{"change":2,"pos":316614}],"flag":"BLOCK","start":43244,"end":43270,"inode":{"change":2,"pos":316151}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":316591},"to":{"change":2,"start":316591,"end":316614},"introduced_by":2}],"inode":{"change":2,"pos":316151}},"ins_contents":[{"Add":"#include "}],"del_contents":[{"Del":"\n#include \n"}]}},{"Edit":{"inode":{"change":2,"pos":316151},"path":"engine/src/local.h","line":58,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":317098}],"down_context":[{"change":2,"pos":317098}],"flag":"BLOCK","start":43271,"end":43527,"inode":{"change":2,"pos":316151}}},"contents":[{"Add":"};"},{"Add":""},{"Add":"struct engine_render_PerFrame {"},{"Add":" uint32_t frame_index;"},{"Add":" float realtime_now;"},{"Add":" float realtime_delta;"},{"Add":" float simtime_now;"},{"Add":" float simtime_delta;"},{"Add":"};"},{"Add":""},{"Add":"struct engine_render_PerView {"},{"Add":" float perspective_matrix[16];"},{"Add":" float view_matrix[16];"}]}},{"Edit":{"inode":{"change":2,"pos":316151},"path":"engine/src/local.h","line":72,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":317101}],"down_context":[{"change":2,"pos":317101}],"flag":"BLOCK","start":43528,"end":43903,"inode":{"change":2,"pos":316151}}},"contents":[{"Add":""},{"Add":"extern struct GL_ShaderResource run_render_per_frame;"},{"Add":"extern struct GL_ShaderResource run_render_per_view;"},{"Add":""},{"Add":"void BackendUIVertex_begin_draw(uint32_t num_indexes, uint32_t ** indexes_ptr, uint32_t num_vertexes, struct BackendUIVertex ** vertexes_ptr);"},{"Add":"void BackendUIVertex_draw(void * image, uint32_t index_offset, uint32_t num_indexes);"},{"Add":"void BackendUIVertex_end_draw(void);"}]}},{"Edit":{"inode":{"change":2,"pos":316151},"path":"engine/src/local.h","line":80,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":317102}],"down_context":[{"change":2,"pos":317102}],"flag":"BLOCK","start":43904,"end":44109,"inode":{"change":2,"pos":316151}}},"contents":[{"Add":"void replacement_DrawText(const char * text, float x, float y, float size, alias_Color color);"},{"Add":"void replacement_MeasureTextEx(const char * text, float size, float spacing, float * width, float * height);"},{"Add":""}]}},{"Edit":{"inode":{"change":2,"pos":316151},"path":"engine/src/local.h","line":144,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":318418}],"down_context":[{"change":2,"pos":318418}],"flag":"BLOCK","start":44110,"end":44143,"inode":{"change":2,"pos":316151}}},"contents":[{"Add":"bool Engine__update_state(void);"}]}},{"Replacement":{"inode":{"change":2,"pos":823324},"path":"engine/src/gfx.h","line":574,"ins":{"up_context":[{"change":2,"pos":840536}],"down_context":[{"change":2,"pos":840554}],"flag":"BLOCK","start":44144,"end":44162,"inode":{"change":2,"pos":823324}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":840536},"to":{"change":2,"start":840536,"end":840554},"introduced_by":2}],"inode":{"change":2,"pos":823324}},"ins_contents":[{"Add":" 0, 0, z, c,"}],"del_contents":[{"Del":" 0, 0, x, c,\n"}]}},{"Edit":{"inode":{"change":2,"pos":842261},"path":"engine/src/gfx.c","line":183,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":847890}],"down_context":[{"change":2,"pos":847890}],"flag":"BLOCK","start":44163,"end":44234,"inode":{"change":2,"pos":842261}}},"contents":[{"Add":" default:"},{"Add":" ALIAS_ERROR(\"invalid memory format\");"},{"Add":" return;"}]}},{"Replacement":{"inode":{"change":2,"pos":842261},"path":"engine/src/gfx.c","line":318,"ins":{"up_context":[{"change":2,"pos":852905}],"down_context":[{"change":2,"pos":853003}],"flag":"BLOCK","start":44235,"end":44348,"inode":{"change":2,"pos":842261}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":852905},"to":{"change":2,"start":852905,"end":853003},"introduced_by":2}],"inode":{"change":2,"pos":842261}},"ins_contents":[{"Add":" glShaderSource(shader, 1, (const char *const *)&_.script_builder_ptr, (const GLint *)&_.script_builder_len);"}],"del_contents":[{"Del":" glShaderSource(shader, 1, (const char *const *)&_.script_builder_ptr, &_.script_builder_len);\n"}]}},{"Replacement":{"inode":{"change":2,"pos":842261},"path":"engine/src/gfx.c","line":333,"ins":{"up_context":[{"change":2,"pos":853662}],"down_context":[{"change":2,"pos":853760}],"flag":"BLOCK","start":44349,"end":44462,"inode":{"change":2,"pos":842261}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":853662},"to":{"change":2,"start":853662,"end":853760},"introduced_by":2}],"inode":{"change":2,"pos":842261}},"ins_contents":[{"Add":" glShaderSource(shader, 1, (const char *const *)&_.script_builder_ptr, (const GLint *)&_.script_builder_len);"}],"del_contents":[{"Del":" glShaderSource(shader, 1, (const char *const *)&_.script_builder_ptr, &_.script_builder_len);\n"}]}},{"Edit":{"inode":{"change":2,"pos":842261},"path":"engine/src/gfx.c","line":420,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":857827}],"down_context":[{"change":2,"pos":857827}],"flag":"BLOCK","start":44463,"end":44545,"inode":{"change":2,"pos":842261}}},"contents":[{"Add":" default:"},{"Add":" ALIAS_ERROR(\"invalid alias memory format\");"},{"Add":" break;"}]}},{"Edit":{"inode":{"change":2,"pos":842261},"path":"engine/src/gfx.c","line":565,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":862627}],"down_context":[{"change":2,"pos":862627}],"flag":"BLOCK","start":44546,"end":44606,"inode":{"change":2,"pos":842261}}},"contents":[{"Add":" default:"},{"Add":" ALIAS_ERROR(\"invalid OpenGL data type\");"}]}},{"Edit":{"inode":{"change":2,"pos":842261},"path":"engine/src/gfx.c","line":635,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":864939}],"down_context":[{"change":2,"pos":864939}],"flag":"BLOCK","start":44607,"end":44667,"inode":{"change":2,"pos":842261}}},"contents":[{"Add":" default:"},{"Add":" ALIAS_ERROR(\"invalid OpenGL data type\");"}]}},{"Replacement":{"inode":{"change":2,"pos":842261},"path":"engine/src/gfx.c","line":707,"ins":{"up_context":[{"change":2,"pos":867722}],"down_context":[{"change":2,"pos":867773}],"flag":"BLOCK","start":44668,"end":44721,"inode":{"change":2,"pos":842261}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":867722},"to":{"change":2,"start":867722,"end":867773},"introduced_by":2}],"inode":{"change":2,"pos":842261}},"ins_contents":[{"Add":" //static struct GL_DrawAssets current_draw_assets;"}],"del_contents":[{"Del":" static struct GL_DrawAssets current_draw_assets;\n"}]}},{"Replacement":{"inode":{"change":2,"pos":842261},"path":"engine/src/gfx.c","line":908,"ins":{"up_context":[{"change":2,"pos":874997}],"down_context":[{"change":2,"pos":875025}],"flag":"BLOCK","start":44722,"end":44733,"inode":{"change":2,"pos":842261}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":874997},"to":{"change":2,"start":874997,"end":875025},"introduced_by":2}],"inode":{"change":2,"pos":842261}},"ins_contents":[{"Add":" default:"}],"del_contents":[{"Del":" case GL_Buffer_Temporary:\n"}]}},{"Replacement":{"inode":{"change":2,"pos":842261},"path":"engine/src/gfx.c","line":968,"ins":{"up_context":[{"change":2,"pos":877157}],"down_context":[{"change":2,"pos":877255}],"flag":"BLOCK","start":44734,"end":44847,"inode":{"change":2,"pos":842261}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":877157},"to":{"change":2,"start":877157,"end":877255},"introduced_by":2}],"inode":{"change":2,"pos":842261}},"ins_contents":[{"Add":" glShaderSource(shader, 1, (const char *const *)&_.script_builder_ptr, (const GLint *)&_.script_builder_len);"}],"del_contents":[{"Del":" glShaderSource(shader, 1, (const char *const *)&_.script_builder_ptr, &_.script_builder_len);\n"}]}},{"Replacement":{"inode":{"change":2,"pos":842261},"path":"engine/src/gfx.c","line":986,"ins":{"up_context":[{"change":2,"pos":877841}],"down_context":[{"change":2,"pos":877898}],"flag":"BLOCK","start":44848,"end":44907,"inode":{"change":2,"pos":842261}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":877841},"to":{"change":2,"start":877841,"end":877898},"introduced_by":2}],"inode":{"change":2,"pos":842261}},"ins_contents":[{"Add":" //static struct GL_ComputeAssets current_compute_assets;"}],"del_contents":[{"Del":" static struct GL_ComputeAssets current_compute_assets;\n"}]}},{"Edit":{"inode":{"change":2,"pos":879080},"path":"engine/src/font.c","line":2,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":879100}],"down_context":[{"change":2,"pos":879100}],"flag":"BLOCK","start":44908,"end":44932,"inode":{"change":2,"pos":879080}}},"contents":[{"Add":""},{"Add":"#include "}]}},{"Replacement":{"inode":{"change":2,"pos":879080},"path":"engine/src/font.c","line":27,"ins":{"up_context":[{"change":2,"pos":879691}],"down_context":[{"change":2,"pos":879723}],"flag":"BLOCK","start":44933,"end":44975,"inode":{"change":2,"pos":879080}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":879691},"to":{"change":2,"start":879691,"end":879723},"introduced_by":2}],"inode":{"change":2,"pos":879080}},"ins_contents":[{"Add":" size_t length = alias_str_length(text);"}],"del_contents":[{"Del":" size_t length = strlen(text);\n"}]}},{"Edit":{"inode":{"change":3,"pos":138339},"path":"engine/integration_test/src/main.c","line":3,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":27}],"down_context":[{"change":3,"pos":138376}],"flag":"BLOCK","start":44976,"end":45002,"inode":{"change":3,"pos":138339}}},"contents":[{"Add":"#include "}]}},{"Replacement":{"inode":{"change":3,"pos":138339},"path":"engine/integration_test/src/main.c","line":5,"ins":{"up_context":[{"change":3,"pos":138377}],"down_context":[{"change":3,"pos":138481}],"flag":"BLOCK","start":45003,"end":45239,"inode":{"change":3,"pos":138339}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":138377},"to":{"change":3,"start":138377,"end":138414},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":138414},"to":{"change":3,"start":28,"end":57},"introduced_by":3}],"inode":{"change":3,"pos":138339}},"ins_contents":[{"Add":"enum Binding {"},{"Add":" Binding_Back,"},{"Add":" Binding_Forward,"},{"Add":" Binding_Pause,"},{"Add":" Binding_LeftClick,"},{"Add":" Binding_RightClick,"},{"Add":" Binding_MouseX,"},{"Add":" Binding_MouseY,"},{"Add":" Binding_PlayerLeft,"},{"Add":" Binding_PlayerRight,"},{"Add":" Binding_PlayerUp,"},{"Add":" Binding_PlayerDown,"},{"Add":"};"}],"del_contents":[{"Del":"int main(int argc, char * argv []) {\n"},{"Del":" Engine_init(argc, argv);\n"}]}},{"Replacement":{"inode":{"change":3,"pos":138339},"path":"engine/integration_test/src/main.c","line":19,"ins":{"up_context":[{"change":3,"pos":138482}],"down_context":[{"change":3,"pos":54}],"flag":"BLOCK","start":45240,"end":45884,"inode":{"change":3,"pos":138339}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":138482},"to":{"change":3,"start":28,"end":54},"introduced_by":3}],"inode":{"change":3,"pos":138339}},"ins_contents":[{"Add":"struct InputBackendPair main_input_backend[] = {"},{"Add":" { Keyboard_Enter, Binding_Forward },"},{"Add":" { Keyboard_Escape, Binding_Back },"},{"Add":" { Keyboard_P, Binding_Pause },"},{"Add":" { Mouse_Left_Button, Binding_LeftClick },"},{"Add":" { Mouse_Right_Button, Binding_RightClick },"},{"Add":" { Mouse_Position_X, Binding_MouseX },"},{"Add":" { Mouse_Position_Y, Binding_MouseY },"},{"Add":" { Keyboard_Left, Binding_PlayerLeft },"},{"Add":" { Keyboard_Right, Binding_PlayerRight },"},{"Add":" { Keyboard_Up, Binding_PlayerUp },"},{"Add":" { Keyboard_Down, Binding_PlayerDown },"},{"Add":" { Keyboard_A, Binding_PlayerLeft },"},{"Add":" { Keyboard_D, Binding_PlayerRight },"},{"Add":" { Keyboard_W, Binding_PlayerUp },"},{"Add":" { Keyboard_S, Binding_PlayerDown },"},{"Add":"};"}],"del_contents":[{"Del":" Engine_render_init();\n"}]}},{"Replacement":{"inode":{"change":3,"pos":138339},"path":"engine/integration_test/src/main.c","line":37,"ins":{"up_context":[{"change":3,"pos":55}],"down_context":[{"change":3,"pos":138527}],"flag":"BLOCK","start":45885,"end":47004,"inode":{"change":3,"pos":138339}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":3,"pos":55},"to":{"change":3,"start":154,"end":187},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":138482},"to":{"change":3,"start":154,"end":187},"introduced_by":3}],"inode":{"change":3,"pos":138339}},"ins_contents":[{"Add":"struct MainInputs {"},{"Add":" struct InputSignal menu_up;"},{"Add":" struct InputSignal menu_down;"},{"Add":" struct InputSignal menu_left;"},{"Add":" struct InputSignal menu_right;"},{"Add":" struct InputSignal menu_back;"},{"Add":" struct InputSignal menu_forward;"},{"Add":" struct InputSignal mouse_position;"},{"Add":" struct InputSignal mouse_left_click;"},{"Add":"};"},{"Add":""},{"Add":"struct MainInputs main_inputs = {"},{"Add":" .menu_up = INPUT_SIGNAL_UP(Binding_PlayerUp),"},{"Add":" .menu_down = INPUT_SIGNAL_UP(Binding_PlayerDown),"},{"Add":" .menu_left = INPUT_SIGNAL_UP(Binding_PlayerLeft),"},{"Add":" .menu_right = INPUT_SIGNAL_UP(Binding_PlayerRight),"},{"Add":" .menu_back = INPUT_SIGNAL_UP(Binding_Back),"},{"Add":" .menu_forward = INPUT_SIGNAL_UP(Binding_Forward),"},{"Add":" .mouse_position = INPUT_SIGNAL_POINT(Binding_MouseX, Binding_MouseY),"},{"Add":" .mouse_left_click = INPUT_SIGNAL_DOWN(Binding_LeftClick)"},{"Add":"};"},{"Add":""},{"Add":"struct Engine_StateMachine"},{"Add":""},{"Add":"int main(int argc, char * argv []) { "},{"Add":" Engine_init(argc, argv);"},{"Add":""},{"Add":" Engine_render_init();"},{"Add":""},{"Add":" Engine_set_player_input_backend(0, main_input_backend, sizeof(main_input_backend) / sizeof(main_input_backend[0]));"},{"Add":" Engine_add_input_frontend(0, &main_inputs.menu_up, 8);"},{"Add":""},{"Add":" StateMachine_begin(&);"},{"Add":""},{"Add":" return Engine_run_forever();"}],"del_contents":[{"Del":" return Engine_run_forever();\n"}]}},{"Replacement":{"inode":{"change":2,"pos":905291},"path":"engine/include/engine/render.h","line":56,"ins":{"up_context":[{"change":2,"pos":906434}],"down_context":[{"change":2,"pos":906486}],"flag":"BLOCK","start":47005,"end":47053,"inode":{"change":2,"pos":905291}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":906434},"to":{"change":2,"start":906434,"end":906486},"introduced_by":2}],"inode":{"change":2,"pos":905291}},"ins_contents":[{"Add":"void Engine_render_set_height(uint32_t height);"}],"del_contents":[{"Del":"uint32_t Engine_render_set_height(uint32_t height);\n"}]}},{"Replacement":{"inode":{"change":2,"pos":907014},"path":"engine/include/engine/input.h","line":163,"ins":{"up_context":[{"change":2,"pos":910425}],"down_context":[{"change":2,"pos":910546}],"flag":"BLOCK","start":47054,"end":47175,"inode":{"change":2,"pos":907014}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":910425},"to":{"change":2,"start":910425,"end":910546},"introduced_by":2}],"inode":{"change":2,"pos":907014}},"ins_contents":[{"Add":"void Engine_set_player_input_backend(uint32_t player_index, const struct InputBackendPair * pairs, uint32_t pair_count);"}],"del_contents":[{"Del":"void Engine_set_player_input_backend(uint32_t player_index, uint32_t pair_count, const struct InputBackendPair * pairs);\n"}]}},{"Replacement":{"inode":{"change":2,"pos":907014},"path":"engine/include/engine/input.h","line":165,"ins":{"up_context":[{"change":2,"pos":910547}],"down_context":[{"change":2,"pos":910659}],"flag":"BLOCK","start":47176,"end":47288,"inode":{"change":2,"pos":907014}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":910547},"to":{"change":2,"start":910547,"end":910659},"introduced_by":2}],"inode":{"change":2,"pos":907014}},"ins_contents":[{"Add":"uint32_t Engine_add_input_frontend(uint32_t player_index, struct InputSignal * signals, uint32_t signal_count);"}],"del_contents":[{"Del":"uint32_t Engine_add_input_frontend(uint32_t player_index, uint32_t signal_count, struct InputSignal * signals);\n"}]}},{"Replacement":{"inode":{"change":3,"pos":109071895},"path":"configure.sh","line":9,"ins":{"up_context":[{"change":3,"pos":109074913}],"down_context":[{"change":3,"pos":109075025}],"flag":"BLOCK","start":47289,"end":47534,"inode":{"change":3,"pos":109071895}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":109074913},"to":{"change":3,"start":327,"end":377},"introduced_by":3}],"inode":{"change":3,"pos":109071895}},"ins_contents":[{"Add":"# TODO, why is this not accepting an argument with strings?"},{"Add":"library tabula --include-directory tabula/include \\"},{"Add":" --cflag -Wall \\"},{"Add":" --cflag -Werror \\"},{"Add":" --cflag -Wno-unused-function \\"},{"Add":" --cflag -Wno-unused-value \\"},{"Add":" tabula/src/tabula.c"}],"del_contents":[{"Del":"library tabula --include-directory tabula/include\n"}]}},{"Replacement":{"inode":{"change":3,"pos":109071895},"path":"configure.sh","line":62,"ins":{"up_context":[{"change":3,"pos":109076906}],"down_context":[{"change":3,"pos":1761}],"flag":"BLOCK","start":47535,"end":47724,"inode":{"change":3,"pos":109071895}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":109076906},"to":{"change":3,"start":1639,"end":1737},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1737},"to":{"change":3,"start":108,"end":134},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":134},"to":{"change":2,"start":911607,"end":911807},"introduced_by":2}],"inode":{"change":3,"pos":109071895}},"ins_contents":[{"Add":"library lnx-solver \\"},{"Add":" --include-directory solver/include \\"},{"Add":" lnx-alias \\"},{"Add":" solver/src/algebra.c"},{"Add":""},{"Add":"executable lnx-solver-test \\"},{"Add":" lnx-solver \\"},{"Add":" solver/test/algebra.c \\"},{"Add":" solver/test/main.c"}],"del_contents":[{"Del":"library lnx-engine \\\n lnx-libuv lnx-glfw3 lnx-alias \\\n --include-directory engine/include \\\n"},{"Del":" engine/src/engine.c \\\n"},{"Del":" engine/src/render.c \\\n engine/src/input.c \\\n engine/src/gfx.c \\\n engine/src/font.c \\\n engine/src/ui.c \\\n engine/src/image.c \\\n engine/src/resource.c \\\n engine/src/transform.c\n"}]}},{"Replacement":{"inode":{"change":3,"pos":109071895},"path":"configure.sh","line":72,"ins":{"up_context":[{"change":3,"pos":1762}],"down_context":[{"change":3,"pos":109076991}],"flag":"BLOCK","start":47725,"end":48156,"inode":{"change":3,"pos":109071895}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1762},"to":{"change":3,"start":1762,"end":1853},"introduced_by":3}],"inode":{"change":3,"pos":109071895}},"ins_contents":[{"Add":"#library lnx-engine \\"},{"Add":"# lnx-libuv lnx-glfw3 lnx-alias \\"},{"Add":"# --include-directory engine/include \\"},{"Add":"# engine/src/engine.c \\"},{"Add":"# engine/src/render.c \\"},{"Add":"# engine/src/input.c \\"},{"Add":"# engine/src/gfx.c \\"},{"Add":"# engine/src/font.c \\"},{"Add":"# engine/src/ui.c \\"},{"Add":"# engine/src/image.c \\"},{"Add":"# engine/src/resource.c \\"},{"Add":"# engine/src/transform.c"},{"Add":"#"},{"Add":"#executable lnx-engine-integration_test \\"},{"Add":"# lnx-engine engine/integration_test/src/main.c"}],"del_contents":[{"Del":"executable lnx-engine-integration_test \\\n lnx-engine engine/integration_test/src/main.c\n"}]}},{"Edit":{"inode":{"change":3,"pos":2166},"path":"configure-lib.sh","line":149,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":5412}],"down_context":[{"change":3,"pos":159}],"flag":"BLOCK","start":48157,"end":48247,"inode":{"change":3,"pos":2166}}},"contents":[{"Add":" elif [[ $arg = --cflag ]]; then"},{"Add":" cflags=\"$cflags $1\""},{"Add":" shift"}]}},{"Replacement":{"inode":{"change":3,"pos":2166},"path":"configure-lib.sh","line":168,"ins":{"up_context":[{"change":3,"pos":5924}],"down_context":[{"change":3,"pos":5998}],"flag":"BLOCK","start":48248,"end":48332,"inode":{"change":3,"pos":2166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":5924},"to":{"change":3,"start":5924,"end":5998},"introduced_by":3}],"inode":{"change":3,"pos":2166}},"ins_contents":[{"Add":" [ $arg = $no_c ] && echo \"only c sources can be used, got $arg\""}],"del_contents":[{"Del":" [ $arg = $no_c ] && echo \"only c sources can be used\"\n"}]}},{"Edit":{"inode":{"change":3,"pos":109174089},"path":"alias/src/str.c","line":23,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":109174766}],"down_context":[{"change":3,"pos":109174766}],"flag":"BLOCK","start":48333,"end":48407,"inode":{"change":3,"pos":109174089}}},"contents":[{"Add":""},{"Add":"int alias_str_compare(alias_str a, alias_str b) { return strcmp(a, b); }"}]}},{"Replacement":{"inode":{"change":3,"pos":109174089},"path":"alias/src/str.c","line":28,"ins":{"up_context":[{"change":3,"pos":109174830}],"down_context":[],"flag":"BLOCK","start":48408,"end":48468,"inode":{"change":3,"pos":109174089}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":109174830},"to":{"change":3,"start":109174830,"end":109174889},"introduced_by":3}],"inode":{"change":3,"pos":109174089}},"ins_contents":[{"Add":"uintmax_t alias_str_size(alias_str s) { return strlen(s); }"}],"del_contents":[{"Del":"uintmax_t alias_str_size(alias_str s) { return strlen(s); }"}]}},{"Edit":{"inode":{"change":3,"pos":109515314},"path":"alias/include/alias/str.h","line":21,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":109515881}],"down_context":[{"change":3,"pos":109515881}],"flag":"BLOCK","start":48469,"end":48518,"inode":{"change":3,"pos":109515314}}},"contents":[{"Add":"int alias_str_compare(alias_str a, alias_str b);"}]}},{"Replacement":{"inode":{"change":3,"pos":109515314},"path":"alias/include/alias/str.h","line":26,"ins":{"up_context":[{"change":3,"pos":109515963}],"down_context":[],"flag":"BLOCK","start":48519,"end":48526,"inode":{"change":3,"pos":109515314}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":109515963},"to":{"change":3,"start":109515963,"end":109515969},"introduced_by":3}],"inode":{"change":3,"pos":109515314}},"ins_contents":[{"Add":"#endif"}],"del_contents":[{"Del":"#endif"}]}},{"Replacement":{"inode":{"change":3,"pos":109599786},"path":"alias/include/alias/ash.h","line":223,"ins":{"up_context":[{"change":3,"pos":109607902}],"down_context":[{"change":3,"pos":109607974}],"flag":"BLOCK","start":48527,"end":48595,"inode":{"change":3,"pos":109599786}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":109607902},"to":{"change":3,"start":109607902,"end":109607974},"introduced_by":3}],"inode":{"change":3,"pos":109599786}},"ins_contents":[{"Add":" (void)(true ALIAS_CPP_EVAL(ALIAS_ASH_EMIT_map(__VA_ARGS__))); \\"}],"del_contents":[{"Del":" /*(void)(true ALIAS_CPP_EVAL(ALIAS_ASH_EMIT_map(__VA_ARGS__)));*/ \\\n"}]}}],"owner":"mystical.unicat","repo":"monorepo","token":"wEHR2yEv1tbJT8d8Bo4m8t7ETxEw7ZKgVweMRlZEtA0=","login":null}

…

Dependencies

Change contents