Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / whitemech/flloat issues and pull requests
#32 - 'Or' object has no attribute 'simplify'
Issue -
State: open - Opened by bittdy about 3 years ago
- 3 comments
#31 - Documentation example for LTLF not working
Issue -
State: closed - Opened by aadeshnpn over 4 years ago
- 3 comments
#30 - Add some simple theorems in tests
Pull Request -
State: open - Opened by marcofavorito over 4 years ago
#29 - get to_ldlf() working
Pull Request -
State: closed - Opened by francescofuggitti over 4 years ago
- 1 comment
#28 - Forbid uppercased propositions in LDLf
Issue -
State: open - Opened by marcofavorito over 4 years ago
- 1 comment
#27 - Fix: LDLf Atomic symbols are now converible formulas.
Pull Request -
State: closed - Opened by cipollone over 4 years ago
- 5 comments
#26 - Update project for release 0.3.0
Pull Request -
State: closed - Opened by marcofavorito over 4 years ago
- 6 comments
#25 - In LDLf, atomic symbols cannot be transformed to automaton.
Issue -
State: closed - Opened by cipollone over 4 years ago
- 3 comments
#24 - Release 0.3.0
Pull Request -
State: closed - Opened by marcofavorito over 4 years ago
- 2 comments
#23 - Ldl parsing
Pull Request -
State: closed - Opened by cipollone over 4 years ago
- 1 comment
#22 - Add tests on the equivalence between the formula and its negative normal form.
Pull Request -
State: closed - Opened by marcofavorito over 4 years ago
- 2 comments
#21 - Support for LTLfLast.
Pull Request -
State: closed - Opened by cipollone over 4 years ago
#20 - Fix atomic names
Pull Request -
State: closed - Opened by cipollone over 4 years ago
- 1 comment
#19 - Missing Last, End special symbols in LTLf.
Issue -
State: open - Opened by cipollone over 4 years ago
- 1 comment
#18 - Improved LTLf parsing
Pull Request -
State: closed - Opened by cipollone over 4 years ago
- 3 comments
#17 - Closing Refactoring/logics
Pull Request -
State: closed - Opened by cipollone over 4 years ago
#16 - Fix Linting, more refactoring
Pull Request -
State: closed - Opened by marcofavorito over 4 years ago
#15 - Refactoring/sympy and pythomata
Pull Request -
State: closed - Opened by marcofavorito over 4 years ago
#14 - Implies formula evaluation does not work correctly.
Issue -
State: closed - Opened by marcofavorito over 4 years ago
- 1 comment
#13 - Restrict strings for atomic symbols
Issue -
State: closed - Opened by marcofavorito over 4 years ago
- 2 comments
#12 - start CI refactoring.
Pull Request -
State: closed - Opened by marcofavorito over 4 years ago
#11 - LL1 grammars definitions
Pull Request -
State: closed - Opened by cipollone over 4 years ago
- 1 comment
#10 - API Refactoring and compatibility with Pythomata
Pull Request -
State: closed - Opened by marcofavorito almost 5 years ago
#9 - Release 0.2.3
Pull Request -
State: closed - Opened by marcofavorito about 5 years ago
#8 - Release 0.2.2
Pull Request -
State: closed - Opened by marcofavorito about 5 years ago
#7 - fix 'to_nnf' of LDLfNot
Pull Request -
State: closed - Opened by marcofavorito about 5 years ago
#6 - Release 0.2.1
Pull Request -
State: closed - Opened by marcofavorito about 5 years ago
#5 - Change parsing module from 'PLY' to 'Lark'
Pull Request -
State: closed - Opened by marcofavorito about 5 years ago
#4 - Release 0.2.0
Pull Request -
State: closed - Opened by marcofavorito about 5 years ago
#3 - Clean up
Pull Request -
State: closed - Opened by marcofavorito about 5 years ago
#2 - FunctionSymbol and PredicateSymbol class issue
Issue -
State: closed - Opened by aadeshnpn about 5 years ago
- 1 comment
#1 - Merge branch 'release-0.1.1' into develop
Pull Request -
State: closed - Opened by marcofavorito over 6 years ago