Skip to content
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

Jump to bottom

GNAT Studio integration #243

Closed
4 tasks done
senier opened this issue May 16, 2020 · 0 comments · Fixed by #301
Closed
4 tasks done

GNAT Studio integration #243

senier opened this issue May 16, 2020 · 0 comments · Fixed by #301
Assignees
@senier

Comments

@senier
Copy link
Member

senier commented May 16, 2020 •
edited
Loading

  • RecordFlux menu
    • Check
    • Check all
    • Generate
    • Generate all
  • Syntax highlighting
  • Create new spec from project manager
  • Parse error message
@senier senier self-assigned this May 17, 2020
senier pushed a commit that referenced this issue May 18, 2020
Basic GNAT Studio integration
2ebddcb 
A menu is created to check a single file, check all RecordFlux files,
generate code for a single file, generate code for all RecordFlux files.

FIXME: Files are generated into Object_Dir (cannot be compiled)
FIXME: Adding new spec from context menu does not work

Ref. #243
senier pushed a commit that referenced this issue May 18, 2020
Implement GNAT Studio syntax highlighting
b42c177 
Ref. #243
senier pushed a commit that referenced this issue Jun 11, 2020
Add interactive test files
2a9207e 
Ref. #243
senier pushed a commit that referenced this issue Jun 12, 2020
Add interactive test files
7f44d44 
Ref. #243
senier pushed a commit that referenced this issue Jun 13, 2020
Basic GNAT Studio integration
e72b429 
A menu is created to check a single file, check all RecordFlux files,
generate code for a single file, generate code for all RecordFlux files.

FIXME: Files are generated into Object_Dir (cannot be compiled)
FIXME: Adding new spec from context menu does not work

Ref. #243
senier pushed a commit that referenced this issue Jun 13, 2020
Implement GNAT Studio syntax highlighting
c159feb 
Ref. #243
senier pushed a commit that referenced this issue Jun 13, 2020
Add project file for testing GNAT Studio integration
172b170 
Ref. #243
senier pushed a commit that referenced this issue Jun 13, 2020
Parse rflx output into location view
3729150 
Ref. #243
senier pushed a commit that referenced this issue Jun 13, 2020
Fix highlighting of comments
add8f51 
Ref. #243
senier pushed a commit that referenced this issue Jun 13, 2020
Add install target and mention IDE integration in README
679f460 
Ref. #243
senier pushed a commit that referenced this issue Jun 13, 2020
Fix template handling
6a18eef 
Ref. #243
senier pushed a commit that referenced this issue Jun 14, 2020
Basic GNAT Studio integration
0783eb8 
A menu is created to check a single file, check all RecordFlux files,
generate code for a single file, generate code for all RecordFlux files.

FIXME: Files are generated into Object_Dir (cannot be compiled)
FIXME: Adding new spec from context menu does not work

Ref. #243
senier pushed a commit that referenced this issue Jun 14, 2020
Implement GNAT Studio syntax highlighting
911f264 
Ref. #243
senier pushed a commit that referenced this issue Jun 14, 2020
Add project file for testing GNAT Studio integration
0c447d0 
Ref. #243
senier pushed a commit that referenced this issue Jun 14, 2020
Parse rflx output into location view
3a8efb3 
Ref. #243
senier pushed a commit that referenced this issue Jun 14, 2020
Fix highlighting of comments
2e578f2 
Ref. #243
senier pushed a commit that referenced this issue Jun 14, 2020
Add install target and mention IDE integration in README
bb9ba16 
Ref. #243
senier pushed a commit that referenced this issue Jun 14, 2020
Fix template handling
90b3c4f 
Ref. #243
senier pushed a commit that referenced this issue Jun 15, 2020
Add interactive test files
7bd0e35 
Ref. #243
senier pushed a commit that referenced this issue Jun 24, 2020
Add interactive test files
84a34dc 
Ref. #243
senier pushed a commit that referenced this issue Jun 25, 2020
@senier
Add interactive test files
081f373 
Ref. #243
senier pushed a commit that referenced this issue Jun 26, 2020
Basic GNAT Studio integration
c745f52 
A menu is created to check a single file, check all RecordFlux files,
generate code for a single file, generate code for all RecordFlux files.

FIXME: Files are generated into Object_Dir (cannot be compiled)
FIXME: Adding new spec from context menu does not work

Ref. #243
senier pushed a commit that referenced this issue Jun 26, 2020
Implement GNAT Studio syntax highlighting
cd5f8c0 
Ref. #243
senier pushed a commit that referenced this issue Jun 26, 2020
Add project file for testing GNAT Studio integration
2634fab 
Ref. #243
senier pushed a commit that referenced this issue Jul 6, 2020
@senier
Basic GNAT Studio integration
1f15360 
A menu is created to check a single file, check all RecordFlux files,
generate code for a single file, generate code for all RecordFlux files.

FIXME: Files are generated into Object_Dir (cannot be compiled)
FIXME: Adding new spec from context menu does not work

Ref. #243
senier pushed a commit that referenced this issue Jul 6, 2020
@senier
Implement GNAT Studio syntax highlighting
8394f56 
Ref. #243
senier pushed a commit that referenced this issue Jul 6, 2020
@senier
Add project file for testing GNAT Studio integration
165be0d 
Ref. #243
senier pushed a commit that referenced this issue Jul 6, 2020
@senier
Parse rflx output into location view
08620c5 
Ref. #243
senier pushed a commit that referenced this issue Jul 6, 2020
@senier
Fix highlighting of comments
db73b0e 
Ref. #243
senier pushed a commit that referenced this issue Jul 6, 2020
@senier
Add install target and mention IDE integration in README
0470447 
Ref. #243
senier pushed a commit that referenced this issue Jul 6, 2020
@senier
Fix template handling
14f5a8c 
Ref. #243
senier pushed a commit that referenced this issue Jul 6, 2020
@senier
Fall back to GPS import location of hook
8a9f570 
Ref. #243
senier pushed a commit that referenced this issue Jul 6, 2020
@senier
Safe changed files and clear message view
4f0d69e 
Ref. #243
senier pushed a commit that referenced this issue Jul 6, 2020
@senier
Refactor rflx execution
2bf2057 
- Use custom attribute "Object_Dir" for generate output directory
- Create output directory if "Create_Missing_Dirs" is set

Ref. #243
senier pushed a commit that referenced this issue Jul 6, 2020
@senier
Place RecordFlux menu after SPARK menu
f33b69b 
Ref. #243
senier pushed a commit that referenced this issue Jul 6, 2020
@senier
Support RecordFlux specs in test.gpr
2adc2e7 
Ref. #243
senier pushed a commit that referenced this issue Jul 6, 2020
@senier
Save files without confirmation before running rflx
13fe867 
Ref. #243
senier pushed a commit that referenced this issue Jul 6, 2020
@senier
Copy spec files to noprefix test directory
0fefa3c 
Ref. #243
@treiher treiher mentioned this issue Jul 14, 2020
Closed
4 tasks
treiher pushed a commit that referenced this issue Jul 23, 2020
@treiher
Add interactive test files
5401223 
Ref. #243
treiher pushed a commit that referenced this issue Jul 23, 2020
@treiher
Basic GNAT Studio integration
771e36a 
A menu is created to check a single file, check all RecordFlux files,
generate code for a single file, generate code for all RecordFlux files.

FIXME: Files are generated into Object_Dir (cannot be compiled)
FIXME: Adding new spec from context menu does not work

Ref. #243
treiher pushed a commit that referenced this issue Jul 23, 2020
@treiher
Implement GNAT Studio syntax highlighting
dbb7f3b 
Ref. #243
treiher pushed a commit that referenced this issue Jul 23, 2020
@treiher
Add project file for testing GNAT Studio integration
fb46b6a 
Ref. #243
treiher pushed a commit that referenced this issue Jul 23, 2020
@treiher
Parse rflx output into location view
c07308f 
Ref. #243
treiher pushed a commit that referenced this issue Jul 23, 2020
@treiher
Fix highlighting of comments
2adeb53 
Ref. #243
treiher pushed a commit that referenced this issue Jul 23, 2020
@treiher
Add install target and mention IDE integration in README
2868ad6 
Ref. #243
treiher pushed a commit that referenced this issue Jul 23, 2020
@treiher
Fix template handling
e4ee0e6 
Ref. #243
treiher pushed a commit that referenced this issue Jul 23, 2020
@treiher
Fall back to GPS import location of hook
eac0b98 
Ref. #243
treiher pushed a commit that referenced this issue Jul 23, 2020
@treiher
Safe changed files and clear message view
8acac73 
Ref. #243
treiher pushed a commit that referenced this issue Jul 23, 2020
@treiher
Refactor rflx execution
383658f 
- Use custom attribute "Object_Dir" for generate output directory
- Create output directory if "Create_Missing_Dirs" is set

Ref. #243
treiher pushed a commit that referenced this issue Jul 23, 2020
@treiher
Place RecordFlux menu after SPARK menu
cc18daa 
Ref. #243
treiher pushed a commit that referenced this issue Jul 23, 2020
@treiher
Support RecordFlux specs in test.gpr
2c2ee1c 
Ref. #243
treiher pushed a commit that referenced this issue Jul 23, 2020
@treiher
Save files without confirmation before running rflx
bb6cac2 
Ref. #243
treiher pushed a commit that referenced this issue Jul 23, 2020
@treiher
Copy spec files to noprefix test directory
66fae82 
Ref. #243
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@senier senier

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 243: GNAT Studio integration AdaCore/RecordFlux
1 participant
@senier