issues
search
cjavad
/
dare
Rust implementation of a tableau parser for logical expressions and generation of math output.
Other
4
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Added enumeration to each subexpression in latex
#41
cjavad
closed
2 years ago
0
Implement expectation ids
#40
ChangeCaps
closed
2 years ago
0
Fix height
#39
ChangeCaps
closed
2 years ago
0
Removed unnecessary expectations from merge
#38
ChangeCaps
closed
2 years ago
0
Fix solver
#37
ChangeCaps
closed
2 years ago
0
Fix compile error on linux
#36
ChangeCaps
closed
2 years ago
0
Refractored and patched windows powershell autocomplete script installation for cli.
#35
cjavad
closed
2 years ago
0
Implement completion subcommand
#34
ChangeCaps
closed
2 years ago
0
Adds path option to CLI
#33
ChangeCaps
closed
2 years ago
0
Add description for solve subcommand
#32
ChangeCaps
closed
2 years ago
0
[Depends on #29] Solution numbers
#31
ChangeCaps
closed
2 years ago
0
[Depends on #28] Add dare binary to dare-cli
#30
ChangeCaps
closed
2 years ago
0
[Depends on #28] Implement solver
#29
ChangeCaps
closed
2 years ago
0
Implement CLI
#28
ChangeCaps
closed
2 years ago
0
Impl latex writer
#27
ChangeCaps
closed
2 years ago
0
Fix fixme in interpreter.rs
#26
ChangeCaps
opened
2 years ago
0
Impl tableau
#25
ChangeCaps
closed
2 years ago
0
Refactor parsing of TokenKind::TruthValue
#24
ChangeCaps
closed
2 years ago
0
Initial intepreter with variable support and tests
#23
cjavad
closed
2 years ago
0
Simplified T/F literals by removing unicode characters due to issue with unicode characters in identifiers
#22
cjavad
closed
2 years ago
1
Implemented Assignment and TruthValues to lexer and parser. Renamed XOR operation from + to ^.
#21
cjavad
closed
2 years ago
1
Added XOR operator to parser
#20
cjavad
closed
2 years ago
0
Fix parser spans
#19
ChangeCaps
opened
2 years ago
0
Implement Display for AST and parser tests
#18
ChangeCaps
closed
2 years ago
0
Initial parser implementing ast structure
#17
cjavad
closed
2 years ago
0
Dev ast
#16
cjavad
closed
2 years ago
0
Update identifier lexing to match specifications in #9
#15
ChangeCaps
closed
2 years ago
0
Implement AST
#14
ChangeCaps
closed
2 years ago
0
Implement error reporting
#13
ChangeCaps
opened
2 years ago
0
Rename Operation
#12
ChangeCaps
closed
2 years ago
0
Implements a test for TokenStream::parse
#11
ChangeCaps
closed
2 years ago
0
Implements TokenStream and lexer
#10
ChangeCaps
closed
2 years ago
0
Suggestions for parsing rules of identifiers
#9
ChangeCaps
closed
2 years ago
1
Decide behaviour of associative operations
#8
ChangeCaps
closed
2 years ago
1
Suggestions needed for naming convention for files containing "dare-code"
#7
cjavad
opened
2 years ago
1
Implements errors, tokens and spans
#6
ChangeCaps
closed
2 years ago
0
Written specs in README.md
#5
cjavad
closed
2 years ago
0
Updated spelling and md formatting
#3
cjavad
closed
2 years ago
0
Added list of symbols and characters for logical expressions we suppo…
#2
cjavad
closed
2 years ago
0
Initialize rust project.
#1
ChangeCaps
closed
2 years ago
0