Diffusion Multi-language generalist program view update (master) History

PerfectCore/src
master

May 31 2017

Added imperative to language. No more override of Assign but buildAssign
e5945821f366
·branch: master
·Mikael_Mayer on May 31 2017, 13:39.
StringInsert lens working.
7eaa78a04c09
·Mikael_Mayer on May 31 2017, 11:40.
Fixed a copy-paste bug.
edd70643910a
·Mikael_Mayer on May 31 2017, 11:20.
String tests simple passing Separated wrappers
42383867a4fe
·Mikael_Mayer on May 31 2017, 10:58.

May 30 2017

Added string repair tests AsInstanceOf now sublens of Comment…
9e2cdb760856
·Mikael_Mayer on May 30 2017, 14:36.
Coverage and smaller application repair.
99dbb6a05787
·Mikael_Mayer on May 30 2017, 11:49.

May 27 2017

possibility to have unoverridable vars (true constants) Removed unused and…
8e99e7551b0b
·Mikael_Mayer on May 27 2017, 15:42.

May 26 2017

New KnownValue toString Added missing case for pattern replace. Fixed unused…
c6360974f75d
·Mikael_Mayer on May 26 2017, 13:32.
100% coverage for ADT tests. maybeEval does not return if not a value.
985503fba14a
·Mikael_Mayer on May 26 2017, 10:12.
100% Coverage for lenses.
ab3a7dbc2dda
·Mikael_Mayer on May 26 2017, 09:42.

May 25 2017

Coverage of combine and shortcut lenses
ae7e5ade61d8
·Mikael_Mayer on May 25 2017, 17:02.
100% coverage for ProgramUpdater
cf8fcf4fea5c
·Mikael_Mayer on May 25 2017, 16:47.
Better semantics for inserted variables. Can replace a value by either a value…
1b670b33a650
·Mikael_Mayer on May 25 2017, 16:42.
Wrapping low priority
ada6d2e450cf
·Mikael_Mayer on May 25 2017, 16:17.
ContExps completely covered
cad62dc9da33
·Mikael_Mayer on May 25 2017, 13:48.
91% coverage ContExp. Fixed very simple bug (variable not used)
11f8a934bc72
·Mikael_Mayer on May 25 2017, 11:46.
63% coverage ContExp.
67e8aa1bbcfb
·Mikael_Mayer on May 25 2017, 11:07.

May 24 2017

More tests for ContExps.
594d2cd8a23e
·Mikael_Mayer on May 24 2017, 15:08.
Fixed one case when combining formulas. 52% of lines covered in ContExp
965d7fdb68c4
·Mikael_Mayer on May 24 2017, 13:12.
50% of lines in contExps covered
6e14e17a426c
·Mikael_Mayer on May 24 2017, 12:08.
Removed the semanticless assignmentsAsOriginals. We can have one more way to…
9738f28c8e3a
·Mikael_Mayer on May 24 2017, 11:18.
Up to assignmentsAsOriginal unit tests
ee78e365c34f
·Mikael_Mayer on May 24 2017, 11:07.
Context tests
07fd4fdac66b
·Mikael_Mayer on May 24 2017, 10:19.
Started to add tests. ADTExtractor instead of ADT. ADTSelect now provides the…
3814a54d8f61
·Mikael_Mayer on May 24 2017, 10:09.

May 22 2017

Dealing with imperative languages in evaluation.
5fa061739a50
·Mikael_Mayer on May 22 2017, 18:57.
Imperative lenses. InvocationLenses now trait.
0d816083243f
·Mikael_Mayer on May 22 2017, 17:15.
Recursive lens now works for any number of arguments.
a69c33997d2f
·Mikael_Mayer on May 22 2017, 14:59.
Scala-js cross compilation.
23e945ac5300
·Mikael_Mayer on May 22 2017, 11:53.

May 19 2017

Tutprial updated. Variables evaluated the correct way.
7526bfb483b9
·Mikael_Mayer on May 19 2017, 15:58.
true combination of constraints.
d3036b1c9424
·Mikael_Mayer on May 19 2017, 15:10.
String Concat simplification now native.
755cc4b0ee6c
·Mikael_Mayer on May 19 2017, 14:40.
Let version which is independent of Application/Lambda
9387f537bd72
·Mikael_Mayer on May 19 2017, 14:32.
DeterminizeAll now implemented
370da398cdd8
·Mikael_Mayer on May 19 2017, 12:04.
Logging and unification of variable creation
f87658122e84
·Mikael_Mayer on May 19 2017, 11:10.
Initial commit.
5f138f5fe6ec
·Mikael_Mayer on May 19 2017, 10:13.