Biabduction lsp with inference mode - #348

Open

adidell01 wants to merge 14 commits into

BiabductionLSPwInferenceMode

Commits on Feb 18, 2026

First push. Lots of dead code and commented out code
Adil
committed
020506f

Commits on Feb 26, 2026

Code cleanup
Adil
committed
3703c3b

Commits on Mar 10, 2026

first commit
Adil
committed
3e67998
Merge remote-tracking branch 'origin/master' into BiabductionLSPwInferenceMode
Adil
committed
1d1c4a7

Commits on Mar 23, 2026

Cache working
Adil
committed
66063a9
Cache working
Adil
committed
f62dec5

Commits on Apr 12, 2026

Update Manager.scala
adidell01
authored
69cff6f
Update Manager.scala
adidell01
authored
0d704f8
Update DataProtocol.scala
adidell01
authored
8b4a42c
Update Verification.scala
adidell01
authored
d9ec3db

Commits on Apr 21, 2026

Inference Mode Implemented
Adil
committed
89adcd6
Silicon backend selected
Adil
committed
d869a66
Merge branch 'BiabductionLSP' into BiabductionLSPwInferenceMode
Adil
committed
5ba36cc
Merge completed
Adil
committed
797cc02