gbrochar
  • Joined on 2020-11-20
gbrochar deleted branch negation_normal_form from gbrochar/ready_set_boole 2024-01-24 12:41:03 +00:00
gbrochar pushed to fix_truth_table at gbrochar/ready_set_boole 2024-01-24 12:37:58 +00:00
76a3f12d9e Merge branch 'negation_normal_form'
dea2e2d6a3 feat(ex05): done + rustfmt oops
4abcd4c832 test(ex05): add more tests for double negation
b5e48c41c4 feat(ex05): cancel double negation
a13dfeaeeb refacto: use generic types
Compare 6 commits »
gbrochar pushed to ast_to_formula at gbrochar/ready_set_boole 2024-01-24 12:37:24 +00:00
76a3f12d9e Merge branch 'negation_normal_form'
b01b184e46 fix: truth table reversed output
Compare 2 commits »
gbrochar pushed to negation_normal_form at gbrochar/ready_set_boole 2024-01-24 12:37:19 +00:00
76a3f12d9e Merge branch 'negation_normal_form'
b01b184e46 fix: truth table reversed output
Compare 2 commits »
gbrochar pushed to master at gbrochar/ready_set_boole 2024-01-24 12:37:00 +00:00
76a3f12d9e Merge branch 'negation_normal_form'
dea2e2d6a3 feat(ex05): done + rustfmt oops
4abcd4c832 test(ex05): add more tests for double negation
b5e48c41c4 feat(ex05): cancel double negation
a13dfeaeeb refacto: use generic types
Compare 6 commits »
gbrochar pushed to ast_to_formula at gbrochar/ready_set_boole 2024-01-24 12:29:19 +00:00
dea2e2d6a3 feat(ex05): done + rustfmt oops
4abcd4c832 test(ex05): add more tests for double negation
b5e48c41c4 feat(ex05): cancel double negation
Compare 3 commits »
gbrochar pushed to negation_normal_form at gbrochar/ready_set_boole 2024-01-24 12:28:18 +00:00
dea2e2d6a3 feat(ex05): done + rustfmt oops
gbrochar pushed to negation_normal_form at gbrochar/ready_set_boole 2024-01-23 20:24:30 +00:00
4abcd4c832 test(ex05): add more tests for double negation
gbrochar created branch negation_normal_form in gbrochar/ready_set_boole 2024-01-23 20:20:26 +00:00
gbrochar pushed to negation_normal_form at gbrochar/ready_set_boole 2024-01-23 20:20:26 +00:00
b5e48c41c4 feat(ex05): cancel double negation
gbrochar pushed to ast_to_formula at gbrochar/ready_set_boole 2024-01-22 17:34:47 +00:00
a13dfeaeeb refacto: use generic types
gbrochar pushed to master at gbrochar/ready_set_boole 2024-01-22 14:33:58 +00:00
b01b184e46 fix: truth table reversed output
gbrochar pushed to fix_truth_table at gbrochar/ready_set_boole 2024-01-22 14:33:41 +00:00
b01b184e46 fix: truth table reversed output
gbrochar created branch fix_truth_table in gbrochar/ready_set_boole 2024-01-22 14:33:41 +00:00
gbrochar pushed to ast_to_formula at gbrochar/ready_set_boole 2024-01-22 09:11:18 +00:00
2300d91fad feat|test: ast
gbrochar created branch ast_to_formula in gbrochar/ready_set_boole 2024-01-22 09:11:18 +00:00
gbrochar pushed to master at gbrochar/computorv1 2024-01-15 12:44:34 +00:00
56376fa2b8 fix(lib): format and lint
gbrochar deleted branch ex04 from gbrochar/ready_set_boole 2024-01-12 12:37:27 +00:00
gbrochar pushed to master at gbrochar/ready_set_boole 2024-01-12 12:36:52 +00:00
b8c12047a5 feat(ex05): truth table
afb5d7d105 feat(ex04): boolean evaluation
Compare 2 commits »
gbrochar pushed to ex04 at gbrochar/ready_set_boole 2024-01-05 16:12:34 +00:00
afb5d7d105 feat(ex04): boolean evaluation