Devin 0#2

Open

Hendler wants to merge 465 commits intomainfrom

devin-0

This pull request is big! We're only showing the most recent 250 commits

Commits on May 19, 2024

Add test cases for logical statement validation

Ubuntu
authored and
Hendler
committed
Separate test execution from main script flow

Ubuntu
authored and
Hendler
committed
Document manual test execution process

Ubuntu
authored and
Hendler
committed
Enhance validation function with complex logical checks

Ubuntu
authored and
Hendler
committed
Add Prolog test runner script and update example generation script

Ubuntu
authored and
Hendler
committed
Add project progress documentation

Ubuntu
authored and
Hendler
committed
Refine validation logic and update import statements

Ubuntu
authored and
Hendler
committed
Update number of examples to generate to 1000

Ubuntu
authored and
Hendler
committed
Refine test cases and update Prolog predicates to align with simplified logic

Ubuntu
authored and
Hendler
committed
Update generate_examples.py to ensure generation of 1000 unique examples

Ubuntu
authored and
Hendler
committed
Improve validation logic for conditional statements

Ubuntu
authored and
Hendler
committed
Update test cases for logical statements validation

Ubuntu
authored and
Hendler
committed
Update validation logic to handle non-matching conditional inputs as simple statements

Ubuntu
authored and
Hendler
committed
Refine test cases for logical statement validation

Ubuntu
authored and
Hendler
committed
Add new test cases and update validation logic for proper nouns and multi-word predicates

Ubuntu
authored and
Hendler
committed
Fix module import error by adjusting script execution context

Ubuntu
authored and
Hendler
committed
Update validation logic and add __init__.py to tests directory

Ubuntu
authored and
Hendler
committed
Add comprehensive test cases for validate_statement_part function

Ubuntu
authored and
Hendler
committed
Fix validation logic for conditional statements with proper nouns

Ubuntu
authored and
Hendler
committed
Fix validation logic for proper nouns in conditional statements

Ubuntu
authored and
Hendler
committed
Update validation logic for conditional statements

Ubuntu
authored and
Hendler
committed
Fix import statements in generate_examples.py

Ubuntu
authored and
Hendler
committed
Update validation logic for conditional statements with proper nouns

Ubuntu
authored and
Hendler
committed
Fix validation logic for conditional statements

Ubuntu
authored and
Hendler
committed
Update validation logic to allow different subjects and predicates in conditional statements

Ubuntu
authored and
Hendler
committed
Fix logical coherence check in validate_logical_statement

Ubuntu
authored and
Hendler
committed
Update validation logic for logical coherence

Ubuntu
authored and
Hendler
committed
Refine logical statement validation logic

Ubuntu
authored and
Hendler
committed
Fix logical validation for conditional statements

Ubuntu
authored and
Hendler
committed
Update logical coherence check in generate_examples.py

Ubuntu
authored and
Hendler
committed
Fix scope issue with proper_noun_mappings

Ubuntu
authored and
Hendler
committed
Fix regex unpacking in validate_logical_statement function

Ubuntu
authored and
Hendler
committed
Update logic for universally quantified statements

Ubuntu
authored and
Hendler
committed
Fix logic for universally quantified statements

Ubuntu
authored and
Hendler
committed
Deactivate test mode in generate_examples.py

Ubuntu
authored and
Hendler
committed
Correct logic for universally quantified statements

Ubuntu
authored and
Hendler
committed
Deactivate test mode in generate_examples.py

Ubuntu
authored and
Hendler
committed
Comment out test function calls to enable example generation

Ubuntu
authored and
Hendler
committed
Comment out test function calls to enable example generation

Ubuntu
authored and
Hendler
committed
Comment out test function calls to enable example generation

Ubuntu
authored and
Hendler
committed
Comment out test function calls to enable example generation

Ubuntu
authored and
Hendler
committed
Comment out test function calls to enable example generation

Ubuntu
authored and
Hendler
committed
Comment out test_validate_logical_statement function to enable example generation

Ubuntu
authored and
Hendler
committed
Disable test function call to enable example generation

Ubuntu
authored and
Hendler
committed
Finalize script for example generation by removing test function call

Ubuntu
authored and
Hendler
committed
Comment out test function calls in generate_examples.py

Ubuntu
authored and
Hendler
committed
Remove invalid syntax and clean up generate_examples.py

Ubuntu
authored and
Hendler
committed
Set NUM_EXAMPLES_TO_GENERATE and call generate_examples()

Ubuntu
authored and
Hendler
committed
Optimize example generation script

Ubuntu
authored and
Hendler
committed
Updated README with OpenAI library version note and minor fixes. Adjusted logical/__init__.py and requirements.txt for 'gpt-4o' model compatibility.

Ubuntu
authored and
Hendler
committed
Improve README formatting and fix typographical errors

Ubuntu
authored and
Hendler
committed
Finalize README.md formatting and cleanup

Ubuntu
authored and
Hendler
committed
Correct formatting and typographical errors in README.md

Ubuntu
authored and
Hendler
committed
Corrected formatting and typographical errors in README.md

Ubuntu
authored and
Hendler
committed
Revert changes to README.md to maintain clean working directory

Ubuntu
authored and
Hendler
committed
Improve README.md formatting and fix typographical errors

Ubuntu
authored and
Hendler
committed
Update README.md with latest project details and instructions

Ubuntu
authored and
Hendler
committed
Corrected formatting and typographical errors in README.md

Ubuntu
authored and
Hendler
committed
Update README.md with latest project details and instructions

Ubuntu
authored and
Hendler
committed
Corrected formatting and typographical errors in README.md

Ubuntu
authored and
Hendler
committed
Add specific assertion to test_integration.py for mocked response format

Ubuntu
authored and
Hendler
committed
Updated .env-example with OPEN_AI_MODEL_TYPE, enhanced README with setup instructions, and added folpy to requirements.txt

Ubuntu
authored and
Hendler
committed
Enhanced ASSISTANT_PARSING_PROMPT with detailed examples in __init__.py

Ubuntu
authored and
Hendler
committed
Updated 'status' section to reflect 'gpt-4o' model usage and added note about enhanced ASSISTANT_PARSING_PROMPT in 'usage' section.

Ubuntu
authored and
Hendler
committed
Enhanced ASSISTANT_PARSING_PROMPT with detailed examples and updated README.md

Ubuntu
authored and
Hendler
committed
Enhance run_parser function and add error handling

Ubuntu
authored and
Hendler
committed
Update README with enhancements to run_parser and error handling

Ubuntu
authored and
Hendler
committed
Update README.md with additional validation steps in parse_logic

Ubuntu
authored and
Hendler
committed
Refine OpenAI API interaction and parsing logic in __init__.py

Ubuntu
authored and
Hendler
committed
Add descriptive comments to improve code clarity in __init__.py

Ubuntu
authored and
Hendler
committed
Update README.md with Linux-compatible installation instructions

Ubuntu
authored and
Hendler
committed
Updated README.md, refined parsing logic, and added Prolog validation script

Ubuntu
authored and
Hendler
committed
Add error pattern summarization to analyze_invalid_prolog.py

Ubuntu
authored and
Hendler
committed
Update README.md with error pattern summarization feature in analyze_invalid_prolog.py

Ubuntu
authored and
Hendler
committed
Refine OpenAI prompts to avoid common Prolog error patterns

Ubuntu
authored and
Hendler
committed
Update README.md with refined OpenAI prompts information

Ubuntu
authored and
Hendler
committed
Fix AttributeError in OpenAI API exception handling

Ubuntu
authored and
Hendler
committed
Include OpenAI API response in error messages for better debugging

Ubuntu
authored and
Hendler
committed
Refine Prolog validation functions for accuracy

Ubuntu
authored and
Hendler
committed
Implement logging for OpenAI API requests and add one-off test script

Ubuntu
authored and
Hendler
committed
Import re module and update test script

Ubuntu
authored and
Hendler
committed
Add basic translation logic to fix_generated_statements.py

Ubuntu
authored and
Hendler
committed
Track heights_logic.pl with Prolog definitions

Ubuntu
authored and
Hendler
committed
Update fix_generated_statements.py to handle additional translation cases

Ubuntu
authored and
Hendler
committed
Implement dynamic subject extraction and update Prolog translation logic

Ubuntu
authored and
Hendler
committed
Add test suite for extract_subject function

Ubuntu
authored and
Hendler
committed
Refine Prolog translation logic in fix_generated_statements.py

Ubuntu
authored and
Hendler
committed
Update README.md and other modifications

Ubuntu
authored and
Hendler
committed
Fix task registration in invoke Collection

Ubuntu
authored and
Hendler
committed
Add tasks.py with invoke tasks definitions

Ubuntu
authored and
Hendler
committed
Remove logic.py to clean up project structure

Ubuntu
authored and
Hendler
committed
Update _openai_wrapper to handle different response formats from OpenAI API

Ubuntu
authored and
Hendler
committed
Refine OpenAI API response handling in _openai_wrapper function

Ubuntu
authored and
Hendler
committed
Update _openai_wrapper to handle various response formats from OpenAI API

Ubuntu
authored and
Hendler
committed
Update _openai_wrapper to handle OpenAI API response formats and refine task structure

Ubuntu
authored and
Hendler
committed
Refine regex and add logging in _openai_wrapper function

Ubuntu
authored and
Hendler
committed
Refine regex pattern for Prolog code extraction in _openai_wrapper

Ubuntu
authored and
Hendler
committed
Update README.md and enhance documentation and error handling

Ubuntu
authored and
Hendler
committed
Fix import statement in tasks.py and update test_integration.py to match _openai_wrapper output

Ubuntu
authored and
Hendler
committed
Define ROOT_REPO_DIR in logical/__init__.py

Ubuntu
authored and
Hendler
committed
Fix ImportError for ROOT_REPO_DIR in tasks.py

Ubuntu
authored and
Hendler
committed
Track prolog_output.pl with Prolog code

Ubuntu
authored and
Hendler
committed
Update run_logic_task to assert Prolog code line by line

Ubuntu
authored and
Hendler
committed
Strip and trim Prolog lines before asserting to prevent syntax errors

Ubuntu
authored and
Hendler
committed
Allow specifying main predicate and arity for Prolog query in run_logic_task

Ubuntu
authored and
Hendler
committed
Fix AttributeError by adding task decorator to run_logic_task

Ubuntu
authored and
Hendler
committed
Remove duplicate task decorator from run_logic_task

Ubuntu
authored and
Hendler
committed
Update README.md with latest usage instructions and file details

Ubuntu
authored and
Hendler
committed
Update README with inv parse command behavior and .gitignore with world.pl

Ubuntu
authored and
Hendler
committed
Update run_logic_task to correctly determine predicate arity

Ubuntu
authored and
Hendler
committed
Add interactive_logic task and update project files

Ubuntu
authored and
Hendler
committed
Improve Prolog code validation and formatting in parse task

Ubuntu
authored and
Hendler
committed
Fix indentation and add validation for Prolog code assertion

Ubuntu
authored and
Hendler
committed
Fix unbalanced operator error in interactive_logic task

Ubuntu
authored and
Hendler
committed
Add print statements for debugging and append Prolog code to world.pl

Ubuntu
authored and
Hendler
committed
Add logging for file path resolution and error handling in parse function

Ubuntu
authored and
Hendler
committed
Fix AttributeError by removing duplicate @task decorator in interactive_logic

Ubuntu
authored and
Hendler
committed
Correct syntax error in Prolog code generation for 'All' statements

Ubuntu
authored and
Hendler
committed
Correct Prolog code appending logic for 'All' statements

Ubuntu
authored and
Hendler
committed
Correct Prolog code generation logic for 'All' statements

Ubuntu
authored and
Hendler
committed
Fix syntax error in Prolog code generation for 'All' statements

Ubuntu
authored and
Hendler
committed
Update parse task to dynamically handle 'Some' statements

Ubuntu
authored and
Hendler
committed
Correct Prolog code generation for 'Some' statements

Ubuntu
authored and
Hendler
committed
Add error handling and correct subject list extraction for 'Some' statements

Ubuntu
authored and
Hendler
committed
Correct assertion logic for Prolog facts in tasks.py to prevent syntax errors

Ubuntu
authored and
Hendler
committed
Refined OpenAI API response handling in _openai_wrapper function

Ubuntu
authored and
Hendler
committed
Added logging for raw OpenAI API response content to diagnose JSON parsing issue

Ubuntu
authored and
Hendler
committed
Update tasks.py with necessary modifications for task execution

Ubuntu
authored and
Hendler
committed
Updated _openai_wrapper to handle plain text responses from OpenAI API

Ubuntu
authored and
Hendler
committed
Added validate_prolog_code function for syntax checks in parse task

Ubuntu
authored and
Hendler
committed
Update Prolog validation functions with FSM and refined regex patterns

Ubuntu
authored and
Hendler
committed
Fix IndentationError in is_valid_prolog function

Ubuntu
authored and
Hendler
committed
Add Prolog syntax tests and validation script

Ubuntu
authored and
Hendler
committed
Add world.pl to .gitignore

Ubuntu
authored and
Hendler
committed
Update pyproject.toml with classifiers for PyPI

Ubuntu
authored and
Hendler
committed
Fix TOML syntax for classifiers in pyproject.toml

Ubuntu
authored and
Hendler
committed
Remove classifiers from pyproject.toml to fix TOML syntax error

Ubuntu
authored and
Hendler
committed
Fix classifiers array in pyproject.toml

Ubuntu
authored and
Hendler
committed
Refine regex patterns and update validation logic

Ubuntu
authored and
Hendler
committed
Update version to 0.1.1-beta for pre-release

Ubuntu
authored and
Hendler
committed
Rename logical/tasks to logical/tasks_backup to avoid redundancy

Ubuntu
authored and
Hendler
committed
Reorganize tasks into logical directory and update pyproject.toml for CLI distribution

Ubuntu
authored and
Hendler
committed
Update README to reflect new CLI tool structure and usage

Ubuntu
authored and
Hendler
committed
Fix import statements in tasks.py to use relative imports

Ubuntu
authored and
Hendler
committed
Fix import statement for ROOT_REPO_DIR in tasks.py

Ubuntu
authored and
Hendler
committed
Add invoke configuration file

Ubuntu
authored and
Hendler
committed
Update README with latest changes

Ubuntu
authored and
Hendler
committed
Update import statements to relative paths in tasks.py

Ubuntu
authored and
Hendler
committed
Update invoke.yaml search root to './logical'

Ubuntu
authored and
Hendler
committed
Fix file path for prolog_syntax_tests.pl in test_prolog_validation.py

Ubuntu
authored and
Hendler
committed
cleanup
Hendler
committed
new russell
Hendler
committed
still broken
Hendler
committed
black
Hendler
committed
rungs
Hendler
committed
more instructions
Hendler
committed
Update Prolog validation to use interpreter for semantic checks
Ubuntu
committed
Add tests for interactive_logic functionality
Ubuntu
committed
Update invoke.yaml to correct search_root path
Ubuntu
committed
Resolve merge conflicts in tasks.py
Ubuntu
committed

Commits on May 20, 2024

Commits on May 21, 2024

Commits on May 22, 2024

Commits on May 23, 2024

Update mock function to better simulate _openai_wrapper behavior
Ubuntu
committed
Add detailed logging to test_interactive_logic.py
Ubuntu
committed
Update pytest to version 8.2.1
Ubuntu
committed
Fix AttributeError in mocked file object by adjusting write assertion
Ubuntu
committed