Skip to content

Activity

dead code removal

joe-haunscreated alasca-wip-new-normalization • 349b4e9 • 
yesterday

Merge branch 'master' into rewriting-and-inductive-reasoning

mezpuszpushed 346 commits to rewriting-and-inductive-reasoning • dd8f2ed…a597a67 • 
yesterday

fixed generalizing and instantiating substitutions for unbound variables

joe-haunspushed 2 commits to alasca-wip • 08fad86…7285636 • 
3 days ago

removed useless inference

joe-haunspushed 1 commit to alasca-wip • 5aa02ba…08fad86 • 
3 days ago

bug fix

joe-haunspushed 1 commit to alasca-wip • 4aba7a9…5aa02ba • 
3 days ago

removed debug output

joe-haunspushed 1 commit to alasca-wip • a234f85…4aba7a9 • 
3 days ago

Merge master

mezpuszpushed 1 commit to reducibility-constraints • 9c4209a…a69cdbc • 
4 days ago

bugfix

joe-haunspushed 12 commits to alasca-wip • a6739cc…a234f85 • 
4 days ago

escape some things in identifiers, CVC doesn't like them

Force push
MichaelRawsonforce pushed to alasca-smtcheck • ab923b2…edb5225 • 
6 days ago

subtle unsoundness fix related to failure to distinguish between top …

joe-haunspushed 1 commit to alasca • b3833cc…035e434 • 
6 days ago

bugfixes

MichaelRawsonpushed 1 commit to alasca-smtcheck • 871ceed…ab923b2 • 
7 days ago

Deleted tag

quickbeam123deleted refs/tags/cade2025 • 
7 days ago

Add missing template declarations

mezpuszpushed 1 commit to kbo-unidirectional-positivity-check • 7f86020…825753e • 
7 days ago

ALASCA FM and superposition

MichaelRawsonpushed 1 commit to alasca-smtcheck • d790877…871ceed • 
8 days ago

missing header

MichaelRawsonpushed 1 commit to alasca-smtcheck • fb7300a…d790877 • 
8 days ago

fix numerals for cvc5, UWA for binary resolution

MichaelRawsonpushed 1 commit to alasca-smtcheck • d6b5f55…fb7300a • 
8 days ago

get linear terms working

MichaelRawsonpushed 1 commit to alasca-smtcheck • 968365b…d6b5f55 • 
9 days ago

clear up theory special-cases a bit, factoring and equality resolution

MichaelRawsoncreated alasca-smtcheck • 968365b • 
9 days ago

clear up theory special-cases a bit, factoring and equality resolution

Force push
MichaelRawsonforce pushed to smtcheck • 562959f…b7cdbde • 
9 days ago

clear up theory special-cases a bit, factoring and equality resolution

MichaelRawsonpushed 1 commit to smtcheck • ab6eea7…562959f • 
9 days ago

strengthened alasca demodulations

joe-haunspushed 1 commit to alasca-wip-new-sat-algo • 562fe17…8bdb0b1 • 
9 days ago

strengthened alasca ordering

joe-haunspushed 7 commits to alasca-wip-new-sat-algo • 0e7bde3…562fe17 • 
9 days ago

'polyfill' some theory functions

Force push
MichaelRawsonforce pushed to smtcheck • fc14221…ab6eea7 • 
9 days ago

'polyfill' some theory functions

MichaelRawsonpushed 1 commit to smtcheck • 48ac9a6…fc14221 • 
9 days ago

make Makefile compatible

quickbeam123pushed 1 commit to dedukti • d26cf7c…14d5bd4 • 
9 days ago

no need for extra templating

MichaelRawsonpushed 1 commit to dedukti • 93694ce…d26cf7c • 
9 days ago

updated outdated comment

joe-haunspushed 1 commit to alasca • 5c2efe6…b3833cc • 
9 days ago

dead code elimination

joe-haunspushed 1 commit to alasca • 243a52c…5c2efe6 • 
9 days ago

gcc is picky

quickbeam123pushed 1 commit to dedukti • b792dc5…93694ce • 
10 days ago

Make KBO::State static local object

mezpuszpushed 1 commit to kbo-unidirectional-positivity-check • 648c7d1…7f86020 • 
10 days ago