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

2.0.3 #18

Merged
merged 153 commits into from
Apr 18, 2019
Merged

2.0.3 #18

merged 153 commits into from
Apr 18, 2019

Conversation

natgavrilenko
Copy link
Collaborator

No description provided.

ponce and others added 30 commits February 17, 2019 21:20
GUI working with mvn
f64aa58
Merge remote-tracking branch 'origin/master' into gui
fccd49b
Updated to v2.0.1
1e27a7e
Cleaned UI plugin
8df0fdf
Improved screen compatibility
c71224e
Added extra panel to have a better clear buttom
e12d2c0
Set dat3m icon
5f794a3
Changed org to com in package
a24851a
Fixed directory structure and pom
8b671f6
Fixed getMainScreenWidth
614579c
Splitted editors, but problem when adjusting size
ca964cc
Better panels display
6df5fe3
Added source option
266af0b
De-activate source option for reachability
914566f
Menu items updated correctly. Needs re-factoring
c37aa5e
Some refactoring
d301ff9
More refactoring
3288d34
Loaded format
3d43495
Loaded format
8bf327c
More refactoring and solve problem with bound listener
76d7c0d
Refactor of parseEditors and priority of editor-based target rather than
d933828 
pane
Merge remote-tracking branch 'origin/2.0.2' into gui-structure-fix
261896a
Updated version in pom
5544407
Graph generated in a separated frame
1aadced
clean
69c75f5
Image scaling for disfferent displays
2b7c936
Added launcher - full path needs to be changed
f2afa83
Smaller icon for small displays
f16554b
Added Makefile
615e051
Resize dat3m icon in error msg
abda2eb
Natalia Gavrilenko and others added 26 commits April 8, 2019 11:33
Refactoring Memory Order
7e00c20
Graph menu removed - sorted relations
2dec599
Tested
3e22a9a
Merged graph-fix
a47dcef
Columns number in rel selector
810de17
Fixed graph relations in WMMs
b88e0b1
Minor refactoring
ba6c28b
Solved AArch64 tests not parsed from UI
b31b761
Refactoring of Graph: part 1
819259f
Merge branch 'gui-refactoring' of https://github.com/hernanponcedeleo…
d21b935 
…n/Dat3M into gui-refactoring
Refactored package structure
8b9cd77
Format of graph image changed to svg
3fbc40b
Removed unused Arch
89d634f
Minor refactoring
8fe7ef4
Simplified line numbering class
dec33a2
Scale graph size based on screen size
e4f5c4f
Added support to export editors into files
ba8b56e
Graph windows's height = Screen height
617cc8f
Making all options fit in small display
96d4e60
Armonized UI between Linux and MacOs
7cd43c5
Removed weird dot
5bccd4d
Indentation
a1c73e4
Removed duplicated imports
58065c7
Using default error strategy in all parsers
8a9c569
Merge branch '2.0.3' of https://github.com/hernanponcedeleon/Dat3M in…
ef59c7a 
…to gui-refactoring
Set bail error strategy in C parser
d5b77ca
@hernanponcedeleon hernanponcedeleon merged commit 7d9daf3 into master Apr 18, 2019
@hernanponcedeleon hernanponcedeleon deleted the 2.0.3 branch April 18, 2019 07:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@hernanponcedeleon hernanponcedeleon Awaiting requested review from hernanponcedeleon

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@natgavrilenko @hernanponcedeleon