Skip to content

Issues: aig-upf/fs-private

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

22 Open 41 Closed
22 Open 41 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

PyFs Arithmetic Theory Support enhancement
#127 opened Oct 23, 2018 by miquelramirez
1 of 5 tasks
@miquelramirez
Commands about download planner and related dependencies
#117 opened Feb 26, 2018 by jsego
4
Bug with grounding of atoms detected as static by reachability analysis bug
#114 opened Feb 21, 2018 by gfrances
16
Fix hashing of Term and Formula subclasses bug
#105 opened Jan 28, 2018 by gfrances
@gfrances
Merge iw_run and mv_iw_run back
#96 opened Nov 21, 2017 by gfrances
1
Specialize for Classic STRIPS Operators
#81 opened Jun 24, 2017 by gfrances
2
Refactor the code to facilitate programmatic creation of problems enhancement
#78 opened May 31, 2017 by gfrances Lambda 1.0
@gfrances
Simpler FSTRIPS ASTs enhancement
#75 opened May 17, 2017 by gfrances Lambda 1.0
@gfrances
Simplify State Models
#74 opened May 17, 2017 by gfrances Lambda 1.0
@gfrances
3
Throw out-of-range exceptions when a state variable is assigned a value outside its declared range enhancement
#72 opened May 13, 2017 by gfrances
@gfrances
Extend Match-Tree to deal with multivalued variables
#66 opened Apr 28, 2017 by gfrances
@gfrances
Give full support for nested quantification
#62 opened Mar 14, 2017 by miquelramirez
2
Functional / Unit Testing
#59 opened Mar 10, 2017 by gfrances Lambda 1.0
@gfrances
Revise the implementation of PartialAssignment
#58 opened Mar 10, 2017 by gfrances
@gfrances
3
Refactor the mess in BaseCSP::index_formula_elements
#57 opened Mar 7, 2017 by gfrances Lambda 1.0
@gfrances
1
Merge Functionality of classes ExternallyDefinedFormula and AxiomaticFormula
#56 opened Mar 7, 2017 by gfrances
@gfrances
3
Grounding of Functional STRIPS Benchmark "simple-sokoban-fn" broken? bug
#55 opened Mar 7, 2017 by miquelramirez
@gfrances
5
Full Support for Derived Predicates enhancement
#51 opened Mar 2, 2017 by gfrances Lambda 1.0
@gfrances
3
Decoupling FS from BFWS: Roadmap
#48 opened Feb 20, 2017 by gfrances
@gfrances
5
Complete FS Language Support enhancement
#47 opened Feb 19, 2017 by gfrances Lambda 1.0
@gfrances
1
Squash non-determinism bug
#45 opened Feb 18, 2017 by gfrances Lambda 1.0
@gfrances
3
Converting FD front-end "mutex groups" into FSTRIPS functions
#4 opened Dec 4, 2016 by miquelramirez
@miquelramirez
4
ProTip! no:milestone will show everything without a milestone.