Lute/fixing branches #66
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
jorgefandinno
approved these changes
Oct 7, 2023
jorgefandinno
pushed a commit
that referenced
this pull request
Jul 17, 2024
Co-authored-by: jorgefandinno <[email protected]> Co-authored-by: lute47lillo * using ground_program from clingox + start fixing failed tests (49P/57F) * clingox dependency on test.pypi * New tests fixed (62P/44F) * rewrite clingoext.add_to using clingox * Missing change on merging * failure: location attribute * adapter * Checking for coverage * Removing more death code * Test_reification added + 1st test passed * reify_strong_negation=True * dealing with tests * Deleting clingox_tests * starting #32 * ast_tester * U_NAME * Lute/reification step1 (#30) * starting #32 * ast_tester * Removing old files. Probably recovered when pulling from old repo * First iteration * Reify positive terms Done * refactor code & add notes for dealing w/UnaryOp * Coverage failure fix * Unary parsing, location issue->fail * correcting ASTTestCase * reformating * noxfile * uncoment tests in test_symbolic_literal_to_term * test_non_ground_symbolic_literal_to_term * test_non_ground_symbolic_literal_to_term * Add variable case * Function Wrapper arguments * Unary Operator Wrapper Funct * Coverage fix * Uncomment tests * Checking coverage * Checking coverage with 1 more assert * Finishing reify * Added test for coverage * Refactor code * refactor * autoflake * fixing isort * Rebasing Step 2 changes + adding Step3 changes * formatting * noxfile and __init__.py * Adding back test file * tests/test_clingoext.py -> tests/test_internal_control_ground_program.py * refactor * Adding reification step4 * dealing with aggregate reification * Little typo * Reverting changes for app tests * Working tests * fixed failed test app * reification parameterized func * negation reified * Coverage * Uncomment some tests * Strong negation * Removing redundant rule * Coverage * More coverage * Deleting flake8-isort from noxfile * Revert "Deleting flake8-isort from noxfile" This reverts commit 9aead79. * Removing flake8-isort from noxfile * restoring flake8-isort * restoring flake8-isort * boolean trap * some issues with version * Coverage fix * remove txt files * update * SymbolicTerm transformer * Fix -a name issue on UnaryOperation * Sorting error fixed, more tests passing * Parameters test fixed, ensuring Interval SymbolicTerms * All tests fixed * pylint * Fixed clingo transformer * Function moved * moved function wrap back * underscore Transformer * refactor * Refactor * reify test * reify v.2 ??? * tag(incremental) check * Internal states * StepReif5 working up to internal control * register_options * register options * reification flag * semantics flag + refactor * Test generator for simple non-reify programs * Lute/reification step5 (#41) * Adding reification step4 * dealing with aggregate reification * Little typo * Reverting changes for app tests * Working tests * fixed failed test app * reification parameterized func * negation reified * Coverage * Uncomment some tests * Strong negation * Removing redundant rule * Coverage * More coverage * Deleting flake8-isort from noxfile * Revert "Deleting flake8-isort from noxfile" This reverts commit 9aead79. * Removing flake8-isort from noxfile * restoring flake8-isort * restoring flake8-isort * boolean trap * some issues with version * Coverage fix * remove txt files * update * SymbolicTerm transformer * Fix -a name issue on UnaryOperation * Sorting error fixed, more tests passing * Parameters test fixed, ensuring Interval SymbolicTerms * All tests fixed * pylint * Fixed clingo transformer * Function moved * moved function wrap back * underscore Transformer * refactor * Refactor * reify test * reify v.2 ??? * tag(incremental) check * Internal states * StepReif5 working up to internal control * register_options * register options * reification flag * semantics flag + refactor --------- Co-authored-by: jorgefandinno <[email protected]> * fix gen_tests & cand_gen_reification * generator symbol.name (?) * Generate candidates Reified * Some non-definitive changes * Init commit for test_tester_reif * test_tester examples + clean-up * Cleaning tests and prints * WorldView Reification * reification pipeline connected (NOT working) * Adding helper parsing function + modified tester * Fixed tester (?) * Fixed typecheck & tester_test file * changed controllers * fix tester * fix tester * Init func GeneratorReification + test changes * Fixed 3 tests WView Reification * Update * working on unstable tester for default negation and multiple models * fixing tester * update * Clean-up * test_solver_reification created * Added solver and wview tests * Update tests and coverage * Fix typecheck * m literals * update * update * ww test * m literals * test_project unsolvable (?) * comments * fix test_solver_reification_negation * comments * tester change * double negation fix * cleaning prints * Fix temporary coverage reification * fix requirements issues * Lute/test generator (#47) * Adding reification step4 * dealing with aggregate reification * Little typo * Reverting changes for app tests * Working tests * fixed failed test app * reification parameterized func * negation reified * Coverage * Uncomment some tests * Strong negation * Removing redundant rule * Coverage * More coverage * Deleting flake8-isort from noxfile * Revert "Deleting flake8-isort from noxfile" This reverts commit 9aead79. * Removing flake8-isort from noxfile * restoring flake8-isort * restoring flake8-isort * boolean trap * some issues with version * Coverage fix * remove txt files * update * SymbolicTerm transformer * Fix -a name issue on UnaryOperation * Sorting error fixed, more tests passing * Parameters test fixed, ensuring Interval SymbolicTerms * All tests fixed * pylint * Fixed clingo transformer * Function moved * moved function wrap back * underscore Transformer * refactor * Refactor * reify test * reify v.2 ??? * tag(incremental) check * Internal states * StepReif5 working up to internal control * register_options * register options * reification flag * semantics flag + refactor * Test generator for simple non-reify programs * fix gen_tests & cand_gen_reification * generator symbol.name (?) * Generate candidates Reified * Some non-definitive changes * Init commit for test_tester_reif * test_tester examples + clean-up * Cleaning tests and prints * WorldView Reification * reification pipeline connected (NOT working) * Adding helper parsing function + modified tester * Fixed tester (?) * Fixed typecheck & tester_test file * changed controllers * fix tester * fix tester * Init func GeneratorReification + test changes * Fixed 3 tests WView Reification * Update * working on unstable tester for default negation and multiple models * fixing tester * update * Clean-up * test_solver_reification created * Added solver and wview tests * Update tests and coverage * Fix typecheck * m literals * update * update * ww test * m literals * test_project unsolvable (?) * comments * fix test_solver_reification_negation * comments * tester change * double negation fix * cleaning prints * Fix temporary coverage reification * fix requirements issues --------- Co-authored-by: jorgefandinno <[email protected]> * test app add * Pause on changes app reification * Deleting reification condition for stable reification + test_parsing fixed * test_grounder fixed & cleaning up * Fixed test_eclingo * logging errors of test_eclingo * Check arguments of literals while creating World Views * logging errors * Cleaning non-reification code * Report and log more errors on test_app.py * Checked error logs * Removed dead code non-reification * Fixed tester meta_program * update today's meeting; error regarding k(a) and its code in the tester reification * Remove dead code. Fix app tests * Grounder and control reformat. Yale tests fail due to show. * tester with project * update * update * Creation Show_statement model mapping && Error on Control information * Copy of tester * Explanation/Problem/Solution comment * Moved copy tester into WorldViewbuilder. Fix: w/ no show. * Moved copy tester into WorldViewbuilder. Fix: w/ no show. * Working version for #show atom/ 0 args * Show_statement completed. Tests passing * fact optimization * revising test for generator * Remove dead tests_show && dead code + clean-up * Re-added last yale_g94 tests after fact optimization * black * asp candidate generation * asp candidate generation * extra assumptions * update * refactoring generator to creat candidates in asp * remove references to internal control from eclingo * removing interanl_states * remove all references to internal-control * update * Jorge/test programs (#58) * recording programs in programs.py * more automatic programs.py * build_programs * refactor test_progarms * refactor tess * separating slow and fast tests * comments on the using of nox * nox types * Lute/fixing branches (#66) * Add output-e=rewritten & Remove reification AppConfig * Return only reify program if using --option=reify * grouping eclingo options * fix UNSATISFIABLE * show fixed * Fixing branches (Output rewritten, show stms) --------- Co-authored-by: jorgefandinno <[email protected]> * Jorge/explit proven candidates rebasing (#69) * Add output-e=rewritten & Remove reification AppConfig * Return only reify program if using --option=reify * grouping eclingo options * refactoring program_tests * preprocessor * remove print * fix UNSATISFIABLE * fix aggregates * casts to asserts * fix --output= reify * removing unecessaries things * stats * added strong negation constraint to reified programs * from rule to constraint in generator * not1 to no in assumptions * not1 to no in candidates * constraint in the generator for epistemic atoms that are cautions in the tester * fix negative assumptions * fix bug on generator propagation_program relating singleton_disjuntion * explicit proven candidates program * show fixed --------- Co-authored-by: jorgefandinno <[email protected]> Co-authored-by: lute47lillo <[email protected]> Co-authored-by: Lute Lillo <[email protected]> * README bomb problems * add py 3.11 to github actions * add py 3.12 to github actions * action reversability * action reversability * fixing #70 * using backend instead of string for reified facts * ignore-shows flag * preprocessing_level option * preprocesing level sets lazy grounding * default preprocessing level = 0 * update * Update CHANGES.md Updating note on changes for reification (wip) version 0.5.0 * Update pyproject.toml * Update __init__.py * Fixing parameters control.add() & control.ground() (#71) * typecheck correction * clingo 5.7 in the tests * clingo 5.6 in the tests
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
I have created a new branch that contains all the past work regarsding output commands and bugs of show stms and &m{X} yielding. Issues #59 and #60, and #65.