Skip to content

Activity

Showing most recent first

Now, the AbductionProver can handle easy problems as well.

yutakangcreated 2025-rc4 • 43bd4e2 • 
22 days ago

Now, the AbductionProver can handle easy problems as well.

yutakangpushed 2 commits to master • 0d1eefd…43bd4e2 • 
on Nov 4, 2024

put back Future for more reliable timeout.

yutakangpushed 1 commit to master • b293fec…0d1eefd • 
on Nov 4, 2024

fix. This change should have included in the previous one.

yutakangpushed 1 commit to master • 5225285…b293fec • 
on Nov 4, 2024

fix names for some template-based conjectures.

yutakangpushed 1 commit to master • a91cc69…5225285 • 
on Nov 4, 2024

remove future but keep timeout for each depth.

yutakangpushed 1 commit to master • 179b0b5…a91cc69 • 
on Nov 4, 2024

Merge branch 'master' of github.com:data61/PSL

yutakangpushed 2 commits to master • 500c4bc…179b0b5 • 
on Nov 4, 2024

Update README.md

yutakangpushed 1 commit to master • a9fef2d…500c4bc • 
on Sep 16, 2024

Use the GIF file as a clickable link to our YouTube channel

yutakangpushed 1 commit to master • df55afd…a9fef2d • 
on Sep 7, 2024

Add files via upload

yutakangpushed 1 commit to master • 731726e…df55afd • 
on Sep 7, 2024

add comments in some example files.

yutakangpushed 1 commit to master • 5edc2d7…731726e • 
on Sep 5, 2024

Add 5 examples from TIP-Prod to Example to demonstrate the Abduction …

yutakangpushed 1 commit to master • aab9f2a…5edc2d7 • 
on Sep 5, 2024

remove an outdated description in README.md

yutakangpushed 1 commit to master • 043cc45…aab9f2a • 
on Jul 4, 2024

remove PDF slides to reduce size.

yutakangpushed 1 commit to master • 52e6bf1…043cc45 • 
on Jul 1, 2024

Update README.md

yutakangpushed 1 commit to master • 228003e…52e6bf1 • 
on Jun 25, 2024

Update README.md

yutakangpushed 1 commit to master • 2a35953…228003e • 
on Jun 25, 2024

Merge branch 'master' of github.com:data61/PSL

yutakangpushed 2 commits to master • dbcf3a4…2a35953 • 
on Jun 25, 2024

Update README.md

yutakangpushed 1 commit to master • 67baf78…dbcf3a4 • 
on Jun 7, 2024

Update README.md

yutakangpushed 1 commit to master • 2eeb751…67baf78 • 
on Jun 7, 2024

Update README.md

yutakangpushed 1 commit to master • 231efc4…2eeb751 • 
on Dec 22, 2023

Update README.md

yutakangpushed 1 commit to master • d84713b…231efc4 • 
on Dec 5, 2023

Update README.md

yutakangpushed 1 commit to master • db66136…d84713b • 
on Nov 23, 2023

Update README.md

yutakangpushed 1 commit to master • fd3f299…db66136 • 
on Nov 23, 2023

Update README.md

yutakangpushed 1 commit to master • 0b408f1…fd3f299 • 
on Oct 6, 2023

Add files via upload

yutakangpushed 1 commit to master • 8c2db1b…0b408f1 • 
on Oct 6, 2023

Update README.md

yutakangpushed 1 commit to master • 72d6883…8c2db1b • 
on Oct 6, 2023

add screenshot for the Abduction Prover on Prod06

yutakangpushed 1 commit to master • 2c5fb01…72d6883 • 
on Oct 6, 2023

Abduction: bug fixed. add type cleaning and type checking to refutation.

yutakangpushed 9 commits to master • 97f59c7…2c5fb01 • 
on Oct 1, 2023

Abduction: relaxed condition for filtering out conjectures.

yutakangpushed 1 commit to master • fd15f0a…97f59c7 • 
on Sep 26, 2023

Abduction: major bug fixed.

yutakangpushed 1 commit to master • 7f63c6d…fd15f0a • 
on Sep 24, 2023