issues
search
Alex23087
/
Failure-SSIL-Analyser
GNU General Public License v3.0
1
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Extraction lemma
#39
flavio-a
closed
4 weeks ago
0
Merge the working tool from the development branch 'analysis'
#38
Yurand2000
closed
4 weeks ago
0
Formula simplification
#37
jfet97
closed
2 months ago
1
Ast to cfg
#36
jfet97
closed
2 months ago
1
Implement analysis of programs from their CFG representation.
#35
Yurand2000
closed
2 months ago
1
Implement data structure conversion from Parser's AST to Analysis' CFG
#34
Yurand2000
closed
2 months ago
1
Implement AST validation functions
#33
Yurand2000
closed
2 months ago
1
[Parser] Implement test for Commands and Logic Formulas parsing
#32
Yurand2000
closed
4 weeks ago
0
[Parser] - Failing tests & weird behaviours
#31
jfet97
opened
3 months ago
0
Tests for the parser
#30
jfet97
closed
2 months ago
2
Translate programs from the Abstract Syntax Tree representation into its Control Flow Graph representation
#29
Yurand2000
closed
3 months ago
0
Add Control Flow Graph definition, Add more utility functions.
#28
Yurand2000
closed
3 months ago
1
Add concrete implementation of Regular Commands and Logic Formulas with their annotations
#27
Yurand2000
closed
4 months ago
0
[Logic] Implement analysis of CFGs
#26
Yurand2000
closed
4 weeks ago
0
[Logic] Basic command analysis
#25
Yurand2000
closed
4 weeks ago
1
[Logic] Frame rule support functions
#24
Yurand2000
closed
4 weeks ago
0
[Logic] Implement substitution of arithmetic expressions to identifiers in formulas
#23
Yurand2000
closed
4 weeks ago
0
Implement parsers for commands and logic formulas
#22
jfet97
closed
3 months ago
5
Extended definitions for both Commands and Logic ASTs to represent Heap commands
#21
Yurand2000
closed
4 months ago
0
[Logic] Add conversion function for logic formulas to existential disjunctive normal form
#20
elvilio
closed
4 weeks ago
1
Prepare battery of tests for SSIL analisys
#19
Yurand2000
closed
4 weeks ago
0
Document SSIL logic rules
#18
Yurand2000
opened
5 months ago
0
Implement validation for Regular Commands ASTs
#17
Yurand2000
closed
4 weeks ago
0
Extend AST for logic formulas with spatial logic operators
#16
Yurand2000
closed
4 months ago
1
Extend AST for Regular Commands with instructions that work on heap memory
#15
Yurand2000
closed
4 months ago
1
AST CL
#14
elvilio
closed
5 months ago
0
Implemented AST for regular commands
#13
Alex23087
closed
5 months ago
2
Update README.md
#12
jfet97
closed
5 months ago
0
Setup basic project files
#11
Yurand2000
closed
5 months ago
0
Implement handling of CL formulas
#10
Yurand2000
closed
4 weeks ago
0
[Logic] Implement basic SIL/SSIL analysis
#9
Yurand2000
closed
4 months ago
0
Is FOL equivalent to CL logic?
#8
Yurand2000
closed
5 months ago
2
[Parser] Implement parser for CL formulas
#7
Yurand2000
closed
3 months ago
0
[Parser] Implement parser for language commands
#6
Yurand2000
closed
3 months ago
0
Define a translation procedure from language AST to CFG
#5
Yurand2000
closed
4 weeks ago
0
Define Control Flow Graph (CFG) representation of language commands
#4
Yurand2000
closed
3 months ago
0
Define AST for Coherent Logic formulas / command annotations
#3
Yurand2000
closed
5 months ago
0
Define AST for language commands
#2
Yurand2000
closed
5 months ago
0
asdf
#1
jfet97
closed
5 months ago
0