Skip to content

Activity

Update docstring in integration_test_inner

YehorBoiarpushed 1 commit to gen_test_refactor • 3bea20d…48865e1 • 
2 hours ago

Break general 1,2,3 stages into substages

YehorBoiarpushed 1 commit to gen_test_refactor • 60087ab…3bea20d • 
2 hours ago

Actions: Update code coverage for main

github-actions[bot]pushed 1 commit to gh-pages • 65b6dcc…d2e4c55 • 
3 days ago

Actions: Documentation for

github-actions[bot]pushed 1 commit to gh-pages • 4bf4fd0…65b6dcc • 
3 days ago

Actions: Deploy the essence features usage table 🚀

github-actions[bot]pushed 1 commit to gh-pages • 82b46bb…4bf4fd0 • 
3 days ago

tester: enable prop_multiple_equally_applicable rewriter check

Pull request merge
niklasdewallypushed 2 commits to main • 53b5ddb…075c952 • 
3 days ago

tester: enable prop_multiple_equally_applicable rewriter check

Force push
niklasdewallyforce pushed to nik/fix-naive-rewriter-prop-multiple-applicable • 997f821…fd68854 • 
3 days ago

fixup! amend! bug(rewriter): only panic when there are multiple _equa…

niklasdewallypushed 1 commit to nik/fix-naive-rewriter-prop-multiple-applicable • 30215c3…997f821 • 
3 days ago

amend! bug(rewriter): only panic when there are multiple _equally_ ap…

niklasdewallypushed 1 commit to nik/fix-naive-rewriter-prop-multiple-applicable • 0d3b52a…30215c3 • 
3 days ago

tester: enable prop_multiple_equally_applicable rewriter check

Actions: Update code coverage for main

github-actions[bot]pushed 1 commit to gh-pages • f26e8a6…82b46bb • 
4 days ago

Actions: Documentation for

github-actions[bot]pushed 1 commit to gh-pages • 50da7df…f26e8a6 • 
4 days ago

Actions: Deploy the essence features usage table 🚀

github-actions[bot]pushed 1 commit to gh-pages • 9d3970c…50da7df • 
4 days ago

Deleted branch

feat(rules): add more -> tautologies to the partial evaluator

Pull request merge
niklasdewallypushed 1 commit to main • 970bbe5…53b5ddb • 
4 days ago

feat(rules): add more -> tautologies to the partial evaluator

Force push
niklasdewallyforce pushed to nik/more-implication-tautologies • 6da8d02…c5b7f3c • 
4 days ago

fixup! fixup! feat(rules): add more -> tautologies to the partial e…

niklasdewallypushed 1 commit to nik/more-implication-tautologies • 72d19ff…6da8d02 • 
4 days ago

fixup! feat(rules): add more -> tautologies to the partial evaluator

niklasdewallypushed 1 commit to nik/more-implication-tautologies • eb4384b…72d19ff • 
4 days ago

feat(rules): add more -> tautologies to the partial evaluator

Force push
niklasdewallyforce pushed to nik/more-implication-tautologies • 4b3cd13…eb4384b • 
4 days ago

feat(rules): add more -> tautologies to the partial evaluator

Force push
niklasdewallyforce pushed to nik/more-implication-tautologies • cd8d8b9…4b3cd13 • 
4 days ago

feat(rules): add more -> tautologies to the partial evaluator

niklasdewallycreated nik/more-implication-tautologies • cd8d8b9 • 
4 days ago

Actions: Update code coverage for main

github-actions[bot]pushed 1 commit to gh-pages • 59a5f28…9d3970c • 
4 days ago

Actions: Deploy the essence features usage table 🚀

Force push
github-actions[bot]force pushed to gh-pages • 806748e…59a5f28 • 
4 days ago

Actions: Documentation for

github-actions[bot]pushed 1 commit to gh-pages • 2c92240…806748e • 
4 days ago

Deleted branch

niklasdewallydeleted nik/normalise-implies • 
4 days ago

feat(rules): add implication normalisation rules

Pull request merge
niklasdewallypushed 1 commit to main • 47c8648…970bbe5 • 
4 days ago

feat(rules): add implication normalisation rules

niklasdewallycreated nik/normalise-implies • 7f10580 • 
4 days ago

Actions: Update code coverage for main

github-actions[bot]pushed 1 commit to gh-pages • fcb766a…2c92240 • 
5 days ago

Actions: Documentation for

Force push
github-actions[bot]force pushed to gh-pages • 6a02761…fcb766a • 
5 days ago