1. restored the result 
2. testing the openmp


Sparsa Roychowdhury

1. some bug fixedd?

Sparsa Roychowdhury

1. some bug fixedd

Sparsa Roychowdhury

1. Solved a serious Bug in reduce2 
2. Solved all bugs
3. Have to find a proper reason to state that "leq + que = que"
Sparsa Roychowdhury

1. Solved a serious Bug in reduce2 
2. But still have to find the special case bug.
Sparsa Roychowdhury

1. Coding is Done.
2. The BUG!!!

Sparsa Roychowdhury

1. Some special case appearing ..
2. need to see it.

Sparsa Roychowdhury

1. Coding is Done.
2. Timed Automata Tested
3. Timed Push Down automata good example needed and hopefully it will work.

Sparsa Roychowdhury

1. Time Automata Working
2. A lot change is done in the function reduceshuffle and a lot of work still need to be done else you will be welcome with a segmentation fault.

Sparsa Roychowdhury

1. Time Automata Working
2. Time push Down system is not working yet!!

1. Atleast  time automata is working

1. New idea started to implement

1. Forget Bug is there. 
2. Please think how to solve it.

1. Bugs Resolved
2. Logical Bug Exists
3. tp63 is one good example.
4. Drawsystem is up
5. Circuit is detecting but logical bug still persists.

1. Bugs Resolved
2. Logical Bug Exists
3. tp63 is one good example.
I can do it.

1. Coding is Done.(Aparently) of the open code
2. found some bug in the first run.
3. Have to resolve the bug as soon as possible.

Sparsa Roychowdhury

1. Coding is Done.(Aparently)
2. found some bug in the first run.
3. Have to resolve the bug as soon as possible.

Sparsa Roychowdhury

1. Rewritten the conssat and stackconssat
2. resolved some bugs
3. a bug? found in the earlier code have to ask ilias
4. have to implement shuffle and addnext both

1. removed template from the circuit finder
2. combined the program, logic is up
3. testing remains 
4. have to write the shuffle function

1. Ultimately coded the pairwise shortest path and cycle detection algorithm
2. Need to connect these two together to make the code run.
3. Enjoyment at its best.

1. created a matrix of the size transition x clocks to know for this transition this is the current reset reset point.

1. Wrote a function to check if the guessed value of the relation actually possible
2. Still have to fill up some if and else
3. Wrote some memory all

1. Output drawing system modified according to the process.

1. Revised the file reading for openness 
2. Changed the reduce(dn) function to incorporate the change of open guards.\
3. Started changing the addnextpoint function, it is not done yet. Need some logic to do.

Started Open Guards

1.Syncing up

1. The segmentation fault is resolved.
2. Some other bug are there
3. Have to resolve those also.

1. before going home commit

1. A major Bug sorted out
2. A bad segmentation fault is happening have to find the issue
3. and other things

1. Created new shell file to draw all the inputs in separate folders
2. Resolved a new bug which was effecting the run of the system.
3. More bug is there to resolve.

Basic commit

1. Changed to c++14
2. Changed default to tpda zone from tpdagcpp 
3. Bugs are there, have to debug

1. Replaced all "NULL" by "nullptr" as par C++11 standard 
2. Tried to fix some memory leaks
3. Now the program is compilation error free and apparently the TPDA is implemente
4. Testing Remaining Though
5. Still more memory leaks re there.

1. Completed the reduceShuffle.cpp code vs->f variable still undone
2. have to use free properly to reduce the memory leak
3. have to work on the total program.

Sparsa Roychowdhury

1.Re wrote the reduceshuffle function, though some doubts are there about the approach
2. last portion where we are copying the weights have some doubt here that I want to solve in the next time i deal with the code.
3. Running the code and checking the output with other output have to check.
Sparsa Roychowdhury...

1. Some change done in the reduce shuffle function
2. Completely Indented code.

NOrmal Commit

Trying to implement the reduceShuffle function for Zone method