From 1d38ecf719ca31942a4ec8816c7474b56eaf6dcc Mon Sep 17 00:00:00 2001
From: beiraoCertora <beirao@certora.com>
Date: Thu, 2 Jul 2026 12:18:43 +0200
Subject: [PATCH 1/8] Add AI prover artifact README.md


From 7220bc71b8bd275afb26cf47da64d7a5b54418a6 Mon Sep 17 00:00:00 2001
From: beiraoCertora <beirao@certora.com>
Date: Thu, 2 Jul 2026 12:18:44 +0200
Subject: [PATCH 2/8] Add AI prover artifact run-ai-prover.sh


From 52aa346509ee761cbf5ce2c0dcc41901f09783cd Mon Sep 17 00:00:00 2001
From: beiraoCertora <beirao@certora.com>
Date: Thu, 2 Jul 2026 12:18:45 +0200
Subject: [PATCH 3/8] Add AI prover artifact .gitignore


From 1908141389572f20c73ec3c79f3a3bc5969b11c2 Mon Sep 17 00:00:00 2001
From: beiraoCertora <beirao@certora.com>
Date: Thu, 2 Jul 2026 12:18:46 +0200
Subject: [PATCH 4/8] Add AI prover artifact autospec_Answer_Function.spec


From 85e3765b0be880f7391b023771764b0ed3274e56 Mon Sep 17 00:00:00 2001
From: beiraoCertora <beirao@certora.com>
Date: Thu, 2 Jul 2026 12:18:47 +0200
Subject: [PATCH 5/8] Add AI prover artifact Answer_base_summaries.spec


From 8398b442056cb666eb4e563e2c2765407c68a2d0 Mon Sep 17 00:00:00 2001
From: beiraoCertora <beirao@certora.com>
Date: Thu, 2 Jul 2026 12:18:47 +0200
Subject: [PATCH 6/8] Add AI prover artifact Answer_call_resolution.spec


From 681a3fad51f1fcf0d1d2611d521b49fcf1d99ed1 Mon Sep 17 00:00:00 2001
From: beiraoCertora <beirao@certora.com>
Date: Thu, 2 Jul 2026 12:18:48 +0200
Subject: [PATCH 7/8] Add AI prover artifact autospec_Answer_Function.conf


From e10d87d6ec43f85b88bea941db424ed18c107c61 Mon Sep 17 00:00:00 2001
From: beiraoCertora <beirao@certora.com>
Date: Thu, 2 Jul 2026 12:18:49 +0200
Subject: [PATCH 8/8] Add AI prover artifact DummyERC20Impl.sol