gitlog.txt

commit 0e44ee15bf89339318f738d34bac08fb0760f3c8
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri May 16 07:27:30 2025 -0400

    add instructions for first order

commit 5a6416af186a3c2cf262eed4bf15d660540d03b7
Merge: 7bc4e1d 1b8d82d
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri May 16 07:00:31 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit 7bc4e1db83ebdc534f19339da0b6ce1eed4c4fd1
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri May 16 07:00:28 2025 -0400

    last changes

commit 1b8d82d5a7a01d74382e7cf75e78ce95d8536d9a
Merge: 1255d4d 8684060
Author: Gordon <gam278@cornell.edu>
Date:   Fri May 16 06:46:33 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit 1255d4db4d5ca06947416fe81150b700f9620dcc
Author: Gordon <gam278@cornell.edu>
Date:   Fri May 16 06:46:27 2025 -0400

    yeet

commit 86840605fd7bacfaff36166635ebade665e5f014
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri May 16 06:31:23 2025 -0400

    add tests

commit c1a3bdd77bc36da5995df8ea585141cfc86484fd
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri May 16 06:21:52 2025 -0400

    final

commit ac4718b60d05fab2e668577b2d6a9503fe8efb03
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri May 16 05:19:12 2025 -0400

    no more util

commit bdd0b382ee64b758952055392ba563e3d1f4a17a
Merge: ad8f085 7ee976a
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri May 16 04:56:12 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit ad8f085936d7f13f1aea4b7cd8edad4fb36a9fe8
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri May 16 04:56:08 2025 -0400

    Delete util

commit 7ee976af6e95ab31b45f2bcc1a44fe4854dceb59
Merge: 4a8c6ad 28f86d1
Author: Gordon <gam278@cornell.edu>
Date:   Fri May 16 04:54:52 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit 4a8c6adb9fca28b5400f280457d592a7b0882188
Author: Gordon <gam278@cornell.edu>
Date:   Fri May 16 04:54:45 2025 -0400

    documented main file

commit 28f86d1b724cb6ca977caf2525d3908b9bcf0be2
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri May 16 04:54:35 2025 -0400

    Improve coverage

commit 3364bed1f2209faa251b2dda171f57caff5a8a84
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri May 16 04:54:06 2025 -0400

    Add some tests

commit 2cc1a015904424c7fdd128a8535010c051686355
Merge: ed4493d 7ad3e8e
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri May 16 04:34:14 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit ed4493da166054f79790bb195042635509e10a7b
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri May 16 04:34:10 2025 -0400

    Resolution prints to GUI

commit 7ad3e8ef0af502901d1207f77d12efefc0a1acfc
Author: Gordon <gam278@cornell.edu>
Date:   Fri May 16 04:31:07 2025 -0400

    Updated install instructions

commit 8f21d3a5572a1becd7af67681f54c03ac5e73b5e
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri May 16 04:20:35 2025 -0400

    minor fix

commit facbdc552e0e37f5bd8b749975d0c4f351edbb78
Merge: d3b66cb 1a96aa2
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri May 16 03:35:37 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit d3b66cb1015bfbd521741d5a3335c245774ff28b
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri May 16 03:28:56 2025 -0400

    Add first order logic!

commit 1a96aa266175bad015b57d8918df4387f6203d1a
Author: Gordon <gam278@cornell.edu>
Date:   Fri May 16 02:06:18 2025 -0400

    more clean tests

commit bef9e88a88545c7d8a6153eb59fa2d91dca321cf
Author: Gordon <gam278@cornell.edu>
Date:   Fri May 16 01:48:17 2025 -0400

    real tests

commit d593fc524e57c72064a5cb86ad8c3807cbcce725
Author: Gordon <gam278@cornell.edu>
Date:   Thu May 15 22:28:42 2025 -0400

    oops

commit 853ec571ae154f6a37d52de0f93c5b284df1bb87
Author: Gordon <gam278@cornell.edu>
Date:   Thu May 15 22:27:32 2025 -0400

    yeet

commit df0105452f4a53345249e715b35504b46bbfd04c
Author: fl456 <fl456@cornell.edu>
Date:   Thu May 15 22:24:10 2025 -0400

    Save button

commit 7400780fed8f85123a8885a4fcfd7c80f72e54ce
Merge: b6e3020 47874c3
Author: fl456 <fl456@cornell.edu>
Date:   Thu May 15 22:08:18 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit b6e3020452781fe3aa0719ce6c774468d0f839ea
Author: fl456 <fl456@cornell.edu>
Date:   Thu May 15 22:07:58 2025 -0400

    asfdasdfasdfasdfasdf

commit 47874c384af232affaf95ccf49fb51c4efb685fb
Author: Gordon <gam278@cornell.edu>
Date:   Thu May 15 22:05:44 2025 -0400

    Out to file function

commit 97f2271120a5c274dcffaf27024bc1be139936d7
Merge: 351980f 53122e6
Author: Gordon <gam278@cornell.edu>
Date:   Thu May 15 22:01:22 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit 351980fd4cca638f716b379db56a3f2c1c6f0e63
Author: Gordon <gam278@cornell.edu>
Date:   Thu May 15 22:01:12 2025 -0400

    tests + small change

commit 53122e6391871ca7c3e1a75ca0a0d2579a8d03bc
Author: fl456 <fl456@cornell.edu>
Date:   Thu May 15 22:00:59 2025 -0400

    Clear button

commit 361a214208a20ce92a6bb6efc3ae22eabda800a8
Author: fl456 <fl456@cornell.edu>
Date:   Thu May 15 21:51:53 2025 -0400

    Added clear button

commit 6b4ade4ef268cc8136dd5d9d17404ea561b9f9c6
Author: fl456 <fl456@cornell.edu>
Date:   Thu May 15 20:18:01 2025 -0400

    Added Authors.md

commit a0fda1f2aef23917de519f6d468b21ca2f2aeaaa
Author: fl456 <fl456@cornell.edu>
Date:   Thu May 15 17:19:45 2025 -0400

    Shc

commit ed85778f043f07afd8f3693f0dae30480e1a6b0e
Merge: fd5e8d7 52efd87
Author: fl456 <fl456@cornell.edu>
Date:   Thu May 15 17:18:34 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit fd5e8d7ee4fcef8828383bd843e91c511977208e
Author: fl456 <fl456@cornell.edu>
Date:   Thu May 15 17:18:00 2025 -0400

    I didn't change no nuthin

commit 76dd54c6264434c054bda12a7d616f1f0932402c
Author: fl456 <fl456@cornell.edu>
Date:   Thu May 15 17:17:19 2025 -0400

    I didn't change anything

commit 52efd87290c34d67ad7705587f4bde17235e0e7e
Author: Gordon <gam278@cornell.edu>
Date:   Thu May 15 17:15:55 2025 -0400

    changes

commit 686a454debd4925d6d6036d2321cc023974a3215
Merge: 2816f32 3108430
Author: Gordon <gam278@cornell.edu>
Date:   Thu May 15 17:14:44 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit 2816f326aa637880014c318a9cbd44045f414b35
Author: Gordon <gam278@cornell.edu>
Date:   Thu May 15 17:14:36 2025 -0400

    added description

commit 3108430fe67a31b5a7805b3371316fc20e032a5d
Merge: 33822f9 a191f63
Author: fl456 <fl456@cornell.edu>
Date:   Thu May 15 17:13:14 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit 33822f9d4b85fdbd8bbd8b1b3631b50a138427a3
Author: fl456 <fl456@cornell.edu>
Date:   Thu May 15 17:13:11 2025 -0400

    Huge improvements to the quit button

commit a191f6314ead3e373d1737308fcc0948d939afa3
Merge: c810e04 851b4ab
Author: Gordon <gam278@cornell.edu>
Date:   Thu May 15 16:58:01 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit c810e0437d712c970d45f7bffec3abc1f23fb0a6
Author: Gordon <gam278@cornell.edu>
Date:   Thu May 15 16:56:56 2025 -0400

    clean up main

commit 851b4ab0e75b7ef89f43b0af6931358d2f65e4b0
Merge: f06d001 2ecb112
Author: fl456 <fl456@cornell.edu>
Date:   Thu May 15 16:53:23 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit f06d0013f02b504bd58faac4bb9d5833173bc959
Author: fl456 <fl456@cornell.edu>
Date:   Thu May 15 16:52:31 2025 -0400

    The scroll bar

commit 2ecb11220e02a378ab089bb756c027440655a1f4
Author: Gordon <gam278@cornell.edu>
Date:   Thu May 15 16:51:12 2025 -0400

    francis the goat

commit cbfbd80bd614b412c3e0c063bdc206a05a272366
Author: fl456 <fl456@cornell.edu>
Date:   Thu May 15 16:35:32 2025 -0400

    Added assets to the gui

commit 1d3ccc1df20341a93c0a2a70a6ffe4558eaaa1e8
Merge: e7c8317 ff0c438
Author: fl456 <fl456@cornell.edu>
Date:   Thu May 15 16:34:18 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit e7c8317bdc54186b8bcd744982ce795b1306b170
Author: fl456 <fl456@cornell.edu>
Date:   Thu May 15 16:33:57 2025 -0400

    im him

commit ff0c4388de91373c9c35239fcd9150cd6acd4e26
Author: Gordon <gam278@cornell.edu>
Date:   Thu May 15 15:16:17 2025 -0400

    yeet

commit eadb4146a0c09bd669f9f1b52e5830b0a0e08931
Author: Gordon <gam278@cornell.edu>
Date:   Thu May 15 14:19:29 2025 -0400

    More documentation

commit 56fe75899ea81a7de9ff21f87c4efc48f28d213f
Author: Gordon <gam278@cornell.edu>
Date:   Thu May 15 14:16:17 2025 -0400

    More CNF tests

commit c29fec4a63c74946ffc733a9dc878dc2686911e0
Author: Gordon <gam278@cornell.edu>
Date:   Thu May 15 02:50:00 2025 -0400

    More resolution + real test cases

commit d8252ef55b0996a2d4bfe42f4779c537a9c2d191
Author: Gordon <gam278@cornell.edu>
Date:   Thu May 15 00:50:31 2025 -0400

    yeet documentation

commit fc433e90c7c7e54eb782cb2591cd23661ab78cbd
Author: Gordon <gam278@cornell.edu>
Date:   Thu May 15 00:42:38 2025 -0400

    Added documentation

commit 017aa051f321aaf9e9c7ad14209b72af248f82d9
Merge: 4dbf0cf a2821d9
Author: Gordon <gam278@cornell.edu>
Date:   Wed May 14 22:45:30 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit 4dbf0cfc06a689e1f7490bf8a30e4f844a9d294b
Author: Gordon <gam278@cornell.edu>
Date:   Wed May 14 22:44:23 2025 -0400

    Modified prove print

commit a2821d992ff1c461690c6b7821ea8c6443b0598f
Author: fl456 <fl456@cornell.edu>
Date:   Wed May 14 22:18:18 2025 -0400

    Updated GUI with color and better boxes

commit 3fc8e5ca976769338bcbb132d3892ca0caf331da
Author: Gordon <gam278@cornell.edu>
Date:   Wed May 14 19:32:49 2025 -0400

    Added documentation and more resolution tests

commit bdc7816ba6afe72fd8019a3abf5fd26e0f749d3f
Author: Gordon <gam278@cornell.edu>
Date:   Wed May 14 16:00:11 2025 -0400

    qcheck tests

commit 1d91688e8700ddbdfade5ede11b1492848411638
Author: Gordon <gam278@cornell.edu>
Date:   Wed May 14 15:12:03 2025 -0400

    parser, resolution, clean tests

commit 1a8bd2563807fd0517db765db9eb187107c29819
Author: Gordon <gam278@cornell.edu>
Date:   Wed May 14 12:59:59 2025 -0400

    More test cases

commit 0e6d788b46f9493192ea0354c08328f8e7e8b665
Author: fl456 <fl456@cornell.edu>
Date:   Wed May 7 15:49:39 2025 -0400

    More GUI stuff. Added a solve button

commit a6dfb656114013bc9b90fe31e436d7b2236aa133
Author: fl456 <fl456@cornell.edu>
Date:   Tue May 6 22:16:23 2025 -0400

    oopsy

commit b19c96f6a60d92e4487443814b7b11e858729903
Author: fl456 <fl456@cornell.edu>
Date:   Tue May 6 22:00:01 2025 -0400

    My very bad gui.
    Use dune exec bin/main.exe main to see it

commit c70645a47d51abfcb6f3edc4273fb7e3af68a104
Author: Gordon <gam278@cornell.edu>
Date:   Tue May 6 19:01:39 2025 -0400

    initial GUI code

commit 96b946fdb008d8a037a5a7e34c5c6c3d8d49e1b5
Author: Caleb Shim <chs232@cornell.edu>
Date:   Sat Apr 26 15:28:28 2025 -0400

    Add back helper functions

commit ccf0d31c4ce98dad99bf9feb27558c8236b81f3c
Author: Gordon <gam278@cornell.edu>
Date:   Sat Apr 26 12:33:47 2025 -0400

    Pog champ

commit bed9d3e1295b9ba998398ecc188d2083bc6f1965
Author: Caleb Shim <chs232@cornell.edu>
Date:   Sat Apr 26 12:26:30 2025 -0400

    Delete combinable

commit 52f0f278eb2efa4074591c2e1443a3b0d8f4128d
Author: Caleb Shim <chs232@cornell.edu>
Date:   Sat Apr 26 11:57:03 2025 -0400

    Fix resolution with algorithm that considers 2+ clauses for one literal's resolution

commit 334246d039370b5fd637ea350af5d2553bb828a9
Author: Caleb Shim <chs232@cornell.edu>
Date:   Sat Apr 26 01:13:42 2025 -0400

    RESOLUTION WORKS

commit b27f1c33ec7eee34e05fb17bd56596afa7fd856a
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri Apr 25 22:58:25 2025 -0400

    Add basic resolution

commit 68142959994443510444dfa3ccdc5bb77a68e1b8
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri Apr 25 19:21:10 2025 -0400

    Remove redundancy in CNF results

commit 38780dde6c25f22c8faa546a0842320e492cfae7
Merge: 09a433e 0c6f3ff
Author: Gordon <gam278@cornell.edu>
Date:   Tue Apr 15 21:58:56 2025 -0400

    Merge remote-tracking branch 'refs/remotes/origin/main'

commit 09a433e0fe082c5c0f00f885cc4415099e44e9f9
Author: Gordon <gam278@cornell.edu>
Date:   Tue Apr 15 21:58:01 2025 -0400

    Demo UI

commit 0c6f3ff5bc2c5914df0ba606d5bea6dafea08516
Merge: 9ae8200 0d2afb7
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri Mar 28 20:23:50 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit 9ae82008749b7b1cb610c932369c0e655954c87c
Author: Caleb Shim <chs232@cornell.edu>
Date:   Fri Mar 28 20:23:45 2025 -0400

    Add install.md

commit 0d2afb72b13832f91f5080d582ba7a4920d5927a
Author: Gordon <gam278@cornell.edu>
Date:   Fri Mar 28 19:38:39 2025 -0400

    Wrong YAML format

commit f379b56f20a84d0353125700a86ad37b4199310b
Author: Gordon <gam278@cornell.edu>
Date:   Fri Mar 28 19:35:42 2025 -0400

    Created YAML file

commit a52ec4b9da99250ff524a410772e85cba1208638
Author: Gordon <gam278@cornell.edu>
Date:   Thu Mar 27 22:32:48 2025 -0400

    Fixed issue with or conjunction

commit 9298d54b8524a4a50cf1dfa278f515683e6ed3ee
Author: Gordon <gam278@cornell.edu>
Date:   Thu Mar 27 22:22:27 2025 -0400

    fixed the test case

commit d2d65af9013530b9aff72532d757e9f000be5c3f
Author: fl456 <fl456@cornell.edu>
Date:   Thu Mar 27 22:18:54 2025 -0400

    Fixed id

commit a5d8b59d31819b3cb120b456d3ccc227adfa39a7
Author: fl456 <fl456@cornell.edu>
Date:   Thu Mar 27 22:17:39 2025 -0400

    Missing if only if in lexel.mll

commit d68b7866650c6be637e69e23fac50fa8b32cf729
Author: Gordon <gam278@cornell.edu>
Date:   Thu Mar 27 22:17:08 2025 -0400

    Simple test cases for parser

commit bebbd7baa20ebf8c63db5127626f063f2a615a0c
Author: fl456 <fl456@cornell.edu>
Date:   Thu Mar 27 22:02:56 2025 -0400

    Improved error handling

commit 9da2aface9acad319bcdc636f91e1cf1ffb2fd06
Author: Gordon <gam278@cornell.edu>
Date:   Thu Mar 27 22:01:27 2025 -0400

    Added option to parse to handle invalid cases

commit 8f2917dcd845e46a4821897bdc8a7b0712b7a549
Author: Caleb Shim <chs232@cornell.edu>
Date:   Thu Mar 27 21:51:02 2025 -0400

    parser and lexer work!

commit 45b48fadb5905a08d355e45e04934bc7adf9fae4
Author: Caleb Shim <chs232@cornell.edu>
Date:   Thu Mar 27 21:38:37 2025 -0400

    Fix parser and lexer

commit c9922357e31ea65e84f7026fe844db85082a41b8
Author: Caleb Shim <chs232@cornell.edu>
Date:   Thu Mar 27 21:34:54 2025 -0400

    Untrack files in .gitignore

commit 2c4a49a5e38c67df35148750546af601dc672746
Merge: 9a6c8dd 1a766cf
Author: Caleb Shim <chs232@cornell.edu>
Date:   Thu Mar 27 21:22:39 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit 9a6c8ddd2857adbc6e734d3429ea8635480ced16
Author: Caleb Shim <chs232@cornell.edu>
Date:   Thu Mar 27 21:20:40 2025 -0400

    Change parser file structure

commit c5f849e051499dd4f91590139cf102324f527d8a
Author: Caleb Shim <chs232@cornell.edu>
Date:   Thu Mar 27 21:17:54 2025 -0400

    Write parser.mly

commit 1a766cf15b7171dcf12ee32207f33d42f777b232
Author: fl456 <fl456@cornell.edu>
Date:   Thu Mar 27 21:16:57 2025 -0400

    pushing parser.mly

commit da3728ee1a23c2d1433747d9b71d7c2aeed31984
Merge: e2d783f 757e445
Author: fl456 <fl456@cornell.edu>
Date:   Thu Mar 27 21:15:39 2025 -0400

    Merge branch 'main' of github.coecis.cornell.edu:chs232/3110-Final-Project

commit e2d783fc53bf1bd118e1c3de6eb4948f421b1550
Author: fl456 <fl456@cornell.edu>
Date:   Thu Mar 27 21:10:32 2025 -0400

    Added parser.mly

commit 757e4456b8984f0411e41d83390b1e51866a8ec7
Author: Gordon <gam278@cornell.edu>
Date:   Thu Mar 27 20:43:57 2025 -0400

    simple parser tests

commit 574c4f1233e25b021a94cf3d1da5281b10c1990a
Author: Caleb Shim <chs232@cornell.edu>
Date:   Thu Mar 27 20:29:27 2025 -0400

    Untrack files in .gitignore

commit ddde738128acd965fa9e0b5dc4ce2c2afe002401
Author: Caleb Shim <chs232@cornell.edu>
Date:   Thu Mar 27 20:25:28 2025 -0400

    Make util file

commit def7eced1ef0ff1bb591c4a35f8a57eed44aa821
Author: Caleb Shim <chs232@cornell.edu>
Date:   Thu Mar 27 18:57:23 2025 -0400

    Remove polymorphic variants

commit 94c8fe82ea94d83f318efbd2d332ecb631db2a71
Author: Caleb Shim <chs232@cornell.edu>
Date:   Thu Mar 27 18:54:05 2025 -0400

    Move translation to separate file

commit fd2c3aa7c62ec40b86fda1018ac2dfc5d0d08694
Author: Caleb Shim <chs232@cornell.edu>
Date:   Wed Mar 26 11:58:02 2025 -0400

    Changed unnecessary polymorphic variant to normal variant

commit 395593e65578d23b1815b80c6e66f464090ab819
Author: Caleb Shim <chs232@cornell.edu>
Date:   Wed Mar 26 11:53:36 2025 -0400

    Finish clean

commit 0f6d9e23568c45532839fb7630560360752c608f
Author: Caleb Shim <chs232@cornell.edu>
Date:   Wed Mar 26 01:18:17 2025 -0400

    Improve printing and testing

commit e2ed3796b89779743cc09b7ac6328503aed19592
Author: Caleb Shim <chs232@cornell.edu>
Date:   Wed Mar 26 01:08:19 2025 -0400

    Revise representation, add printer functions, improve tests.

commit fa6330d39134bab3fb15c29539e6b8f0dd22e8e1
Author: Caleb Shim <chs232@cornell.edu>
Date:   Tue Mar 25 23:32:00 2025 -0400

    Make CNF test ignore list order

commit e5ee77595e96e55c06aea3b49b0b9965585376f1
Author: Caleb Shim <chs232@cornell.edu>
Date:   Tue Mar 25 23:17:31 2025 -0400

    Finish CNF and add tests for CNF

commit e32561906de47878b1f4a395923671740fa529d5
Author: Caleb Shim <chs232@cornell.edu>
Date:   Tue Mar 25 14:35:37 2025 -0400

    Add basic interface setup

commit 9f742babf3ac2212100345b14b58c7ad2c3f6e1c
Author: Caleb Shim <chs232@cornell.edu>
Date:   Tue Mar 25 11:22:18 2025 -0400

    Regular project setup

commit 8d7e57477b0c15a0afc21106f95820d90b81f4ad
Author: Caleb Shim <chs232@cornell.edu>
Date:   Tue Mar 25 11:05:50 2025 -0400

    initial commit