gbrochar

gbrochar deleted branch ast_to_formula from gbrochar/ready_set_boole

2024-01-24 12:41:23 +00:00

gbrochar deleted branch fix_truth_table from gbrochar/ready_set_boole

2024-01-24 12:41:12 +00:00

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 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 created branch negation_normal_form in gbrochar/ready_set_boole

2024-01-23 20:20:26 +00:00

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 created branch fix_truth_table in gbrochar/ready_set_boole

2024-01-22 14:33:41 +00:00

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 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