Commits · master · Into-cps / vdm2c-exploration

31 May, 2016 2 commits
- updated submodules · 4693351f
  Kenneth Guldbrandt Lausdahl authored May 31, 2016
  
  4693351f
- moved sources to root folder c · 1c56ea08
  Kenneth Guldbrandt Lausdahl authored May 31, 2016
  
  1c56ea08
25 May, 2016 2 commits

Merge branch 'vpb/dev' · 7b54768b
Victor Bandur authored May 25, 2016

7b54768b

Renamed IO library so that there are no name clashes when the VDM IO · 2659022a

Victor Bandur authored May 25, 2016

library gets generated.

	renamed:    c-examples/lib/IO.c -> c-examples/lib/IOLib.c
	renamed:    c-examples/lib/IO.h -> c-examples/lib/IOLib.h
	modified:   c-examples/lib/Vdm.h
	modified:   c-examples/tests/ClassIO_Tests.cpp

2659022a

02 May, 2016 1 commit
- Merge branch 'vpb/dev' · 9359046b
  Victor Bandur authored May 02, 2016
  
  9359046b
29 Apr, 2016 4 commits
- - Remaining tests for three-valued logical operators. · 1ee90ea5
  Victor Bandur authored Apr 29, 2016
```
-  No tests yet for boolean equality.

	modified:   c-examples/tests/ExpressionsBoolean_Tests.cpp
```
  1ee90ea5
- Three-valued test for disjunction. · 4bfcba90
  Victor Bandur authored Apr 29, 2016
```
	modified:   c-examples/tests/ExpressionsBoolean_Tests.cpp
```
  4bfcba90
- Three-valued tests for negation and conjunction. · 375b27af
  Victor Bandur authored Apr 29, 2016
```
	modified:   c-examples/tests/ExpressionsBoolean_Tests.cpp
```
  375b27af
- - Making use of NULL TVPs to emulate optional types. · e5c51b44
  Victor Bandur authored Apr 29, 2016
```
-  Incorporated this for boolean operators.
-  Tests for third value not implemented.

	modified:   c-examples/lib/VdmBasicTypes.c
```
  e5c51b44
22 Mar, 2016 3 commits
- Merge branch 'vpb/dev' · 40d4a6f5
  Victor Bandur authored Mar 22, 2016
  
  40d4a6f5
- Moved include of time.h to a more high-level location. · 08694296
  Victor Bandur authored Mar 22, 2016
```
	modified:   c-examples/lib/TypedValue.h
	modified:   c-examples/lib/Vdm.h
```
  08694296
- Added include of time.h for VDM time construct. · e4e784b6
  Victor Bandur authored Mar 22, 2016
  
  e4e784b6
11 Mar, 2016 2 commits
- Missing header file. · 432cab3e
  Victor Bandur authored Mar 11, 2016
```
	modified:   c-examples/lib/IO.h
```
  432cab3e
- Irrelevant change to test the build server. · 3c988a3e
  Victor Bandur authored Mar 11, 2016
```
	modified:   c-examples/lib/IO.h
```
  3c988a3e
10 Mar, 2016 2 commits

Merge branch 'vpb/dev' · 01b0681e

Victor Bandur authored Mar 10, 2016

	modified:   c-examples/lib/IO.h
	new file:   c-examples/lib/PrettyPrint.c
	new file:   c-examples/lib/PrettyPrint.h
	modified:   c-examples/lib/TypedValue.c
	modified:   c-examples/lib/TypedValue.h
	modified:   c-examples/lib/VdmBasicTypes.h
	modified:   c-examples/lib/VdmSet.c
	modified:   c-examples/lib/VdmSet.h
	modified:   c-examples/tests/ExpressionsSet_Tests.cpp

01b0681e

Minor code cleanup. · d90488db

Victor Bandur authored Mar 10, 2016

	modified:   c-examples/lib/IO.h
	modified:   c-examples/lib/TypedValue.h
	modified:   c-examples/lib/VdmBasicTypes.h
	modified:   c-examples/lib/VdmSet.c

d90488db

09 Mar, 2016 1 commit

Refactored pretty printing into its own file. · 0c46d298

Victor Bandur authored Mar 09, 2016

	new file:   c-examples/lib/PrettyPrint.c
	new file:   c-examples/lib/PrettyPrint.h
	modified:   c-examples/lib/TypedValue.c
	modified:   c-examples/lib/TypedValue.h

0c46d298

04 Mar, 2016 3 commits
- moved includes and ifdefed all IO · c20775f9
  Kenneth Guldbrandt Lausdahl authored Mar 04, 2016
  
  c20775f9
- Changed the set enumeration function to take C int's instead of TVPs. · d96b1111
  Victor Bandur authored Mar 04, 2016
```
This is done for other internal functions.

	modified:   c-examples/lib/VdmSet.c
	modified:   c-examples/lib/VdmSet.h
	modified:   c-examples/tests/ExpressionsSet_Tests.cpp
```
  d96b1111
- Merge remote-tracking branch 'origin/vpb/dev' · 6d2063c9
  Kenneth Guldbrandt Lausdahl authored Mar 04, 2016
  
  6d2063c9
03 Mar, 2016 1 commit

A temporary modification to print sequences of chars as strings instead · ed4b2132

Victor Bandur authored Mar 03, 2016

of sequences.

	modified:   c-examples/lib/IO.c
	modified:   c-examples/lib/TypedValue.h
	modified:   c-examples/tests/ClassIO_Tests.cpp

ed4b2132

01 Mar, 2016 3 commits
- Working pretty printing implementation for sequences. · 4b85f135
  Victor Bandur authored Mar 01, 2016
```
	modified:   c-examples/lib/TypedValue.c
	modified:   c-examples/tests/ClassIO_Tests.cpp
```
  4b85f135
- - Plugged a memory leak in set pretty printing. · 7711baba
  Victor Bandur authored Mar 01, 2016
```
-  Comments

	modified:   c-examples/lib/TypedValue.c
```
  7711baba
- Working implementation of pretty printing of sets. · 5c477526
  Victor Bandur authored Mar 01, 2016
```
	modified:   c-examples/lib/TypedValue.c
	modified:   c-examples/tests/ClassIO_Tests.cpp
```
  5c477526
29 Feb, 2016 5 commits

Implementation of println. · da4c73b8

Victor Bandur authored Feb 29, 2016

	modified:   c-examples/lib/IO.c
	modified:   c-examples/tests/ClassIO_Tests.cpp
	modified:   c-examples/tests/PrettyPrint_Tests.cpp

da4c73b8

- Started implementation of pretty printing of collections. · 93eb88a8
Victor Bandur authored Feb 29, 2016
```
-  Started turning tests into higher-level tests of IO class functionality.
```
93eb88a8

Moved pretty printing system up a level of abstraction to TypedValue in · 7744dfb8

Victor Bandur authored Feb 29, 2016

preparation for dealing with collections.

	modified:   c-examples/lib/TypedValue.c
	modified:   c-examples/lib/TypedValue.h
	modified:   c-examples/lib/VdmBasicTypes.c
	modified:   c-examples/lib/VdmBasicTypes.h

7744dfb8

Continuing with implementation of IO library. Some restructuring. · 99614692

Victor Bandur authored Feb 29, 2016

	modified:   c-examples/lib/IO.c
	modified:   c-examples/lib/Vdm.h
	modified:   c-examples/lib/VdmBasicTypes.c
	modified:   c-examples/tests/PrettyPrint_Tests.cpp

99614692

Implementation of printing function for reals. · 911410a7

Victor Bandur authored Feb 29, 2016

	modified:   c-examples/lib/VdmBasicTypes.c
	modified:   c-examples/lib/VdmBasicTypes.h
	modified:   c-examples/tests/PrettyPrint_Tests.cpp

911410a7

27 Feb, 2016 4 commits

Implementation of pretty printing for individual chars. · 9ff21262

Victor Bandur authored Feb 27, 2016

	modified:   c-examples/lib/VdmBasicTypes.c
	modified:   c-examples/lib/VdmBasicTypes.h
	modified:   c-examples/tests/PrettyPrint_Tests.cpp

9ff21262

Inserted an important comment. · c1791423
Victor Bandur authored Feb 27, 2016
```
	modified:   c-examples/lib/VdmBasicTypes.c
```
c1791423

Implementation of pretty printing of integers. · 9ad33f08

Victor Bandur authored Feb 27, 2016

	modified:   c-examples/lib/VdmBasicTypes.c
	modified:   c-examples/lib/VdmBasicTypes.h
	modified:   c-examples/tests/PrettyPrint_Tests.cpp

9ad33f08

Started work on pretty printing. Implemented pretty printing of Boolean · 6635de5b

Victor Bandur authored Feb 27, 2016

values.

	modified:   c-examples/lib/VdmBasicTypes.c
	modified:   c-examples/lib/VdmBasicTypes.h
	new file:   c-examples/tests/PrettyPrint_Tests.cpp

6635de5b

26 Feb, 2016 6 commits
- Merge remote-tracking branch 'origin/vpb/dev' · 368173c7
  Kenneth Guldbrandt Lausdahl authored Feb 26, 2016
  
  368173c7
- Stub for IO library with implementation of echo function. · 714b2763
  Victor Bandur authored Feb 26, 2016 and Kenneth Guldbrandt Lausdahl committed Feb 26, 2016
```
	new file:   c-examples/lib/IO.c
	new file:   c-examples/lib/IO.h
	new file:   c-examples/tests/ClassIO_Tests.cpp
```
  714b2763
- Inserted assert-type check for vdmChar. · 07aa6b2e
  Victor Bandur authored Feb 26, 2016
```
	modified:   c-examples/lib/VdmBasicTypes.c
	modified:   c-examples/lib/VdmBasicTypes.h
```
  07aa6b2e
- Stub for IO library with implementation of echo function. · 3f319f41
  Victor Bandur authored Feb 26, 2016
```
	new file:   c-examples/lib/IO.c
	new file:   c-examples/lib/IO.h
	new file:   c-examples/tests/ClassIO_Tests.cpp
```
  3f319f41
- Merge remote-tracking branch 'origin/vpb/dev' · 1fa87495
  Kenneth Guldbrandt Lausdahl authored Feb 26, 2016
  
  1fa87495
- added cases test · cb91dbe8
  Kenneth Guldbrandt Lausdahl authored Feb 26, 2016
  
  cb91dbe8
23 Feb, 2016 1 commit

Added library function to enumerate a set of consecutive integers given · 8f18bea8

Victor Bandur authored Feb 23, 2016

an integer range.

	modified:   c-examples/lib/VdmSet.c
	modified:   c-examples/lib/VdmSet.h
	modified:   c-examples/tests/ExpressionsSet_Tests.cpp

8f18bea8