Skip to content

Activity

Showing most recent first

wip

fblanquipushed 1 commit to new-ac • 2d55c3d…a593e11 • 
2 days ago

wip

fblanquipushed 2 commits to new-ac • f37bf81…2d55c3d • 
3 days ago

Merge remote-tracking branch 'dk/master' into new-ac

fblanquipushed 2 commits to new-ac • a7fc80b…f37bf81 • 
3 days ago

wip

fblanquipushed 1 commit to new-ac • aa01d88…a7fc80b • 
3 days ago

fix eval tactic (Deducteam#1223)

fblanquipushed 1 commit to master • 99a2ee6…9be2e3a • 
8 days ago

Deleted branch

fblanquideleted 1222 • 
8 days ago

fix eval tactic

fblanquicreated 1222 • 2de7ad2 • 
8 days ago

Merge remote-tracking branch 'dk/master' into new-ac

fblanquipushed 7 commits to new-ac • 474da8e…aa01d88 • 
8 days ago

improve evaluation logs (Deducteam#1221)

fblanquipushed 1 commit to master • 70ed65c…99a2ee6 • 
8 days ago

Deleted branch

fblanquideleted log • 
8 days ago

improve evaluation logs

fblanquicreated log • 0eca85a • 
8 days ago

rename Print.without_qualifying into no_qualif (Deducteam#1220)

fblanquipushed 1 commit to master • d5281de…70ed65c • 
8 days ago

Deleted branch

fblanquideleted rename • 
8 days ago

rename Print.without_qualifying into no_qualif

fblanquicreated rename • d1714f9 • 
8 days ago

rewrite tactic: allow left-hand side with binders (Deducteam#1219)

fblanquipushed 1 commit to master • eeb280b…d5281de • 
8 days ago

Deleted branch

fblanquideleted 1217 • 
8 days ago

wip

fblanquipushed 1 commit to 1217 • 9ee5eaa…3f5d485 • 
8 days ago

add rewriting under binders

fblanquipushed 2 commits to 1217 • 29c990b…9ee5eaa • 
8 days ago

add tests

fblanquicreated 1217 • 29c990b • 
9 days ago

reify more tactics (Deducteam#1215)

fblanquipushed 1 commit to master • db0b780…eeb280b • 
15 days ago

Deleted branch

fblanquideleted tac • 
15 days ago

update CHANGES.md

fblanquipushed 1 commit to tac • 7eefe4b…1149aec • 
15 days ago

reify more tactics

fblanquicreated tac • 7eefe4b • 
15 days ago

Vscode/fix follow cursor (Deducteam#1213)

fblanquipushed 2 commits to master • 19dcf15…db0b780 • 
16 days ago

add starts_with in lplib

fblanquipushed 1 commit to dep • e0ae9cd…13d9867 • 
19 days ago

wip

fblanquipushed 1 commit to dep • 458ce84…e0ae9cd • 
22 days ago

wip

fblanquicreated dep • 458ce84 • 
22 days ago

Deleted branch

fblanquideleted ac • 
22 days ago

Deleted branch

fblanquideleted db • 
22 days ago

tests/OK/1200.lp: permute arguments and add more tests

fblanquipushed 1 commit to new-ac • 5ca6975…474da8e • 
22 days ago