Skip to content

Activity

Showing most recent first

small changes

mariamatusiskovapushed 1 commit to #project2 • 79a6997…f7bc1a4 • 
on May 10, 2023

the programme is done

mariamatusiskovapushed 1 commit to #project2 • e3c504a…79a6997 • 
on May 9, 2023

the hashmapof values in the tree is fixed

mariamatusiskovapushed 1 commit to #project2 • 84a0d51…e3c504a • 
on May 8, 2023

refactoring in progress

mariamatusiskovapushed 1 commit to #project2 • 157e525…84a0d51 • 
on May 7, 2023

generating boolean functions

mariamatusiskovapushed 1 commit to #project2 • 9f3ff8a…157e525 • 
on May 7, 2023

program is created

mariamatusiskovapushed 1 commit to #project2 • 9c35025…9f3ff8a • 
on May 6, 2023

was added some changes?

mariamatusiskovapushed 1 commit to #project2 • c491a4a…9c35025 • 
on May 2, 2023

reduction fixed

mariamatusiskovapushed 1 commit to #project2 • 9efa180…c491a4a • 
on May 1, 2023

buf with size 0 fixed

mariamatusiskovapushed 1 commit to #project2 • 2bf1547…9efa180 • 
on Apr 30, 2023

reduction refactorig not done yet

mariamatusiskovapushed 1 commit to #project2 • 26a50dc…2bf1547 • 
on Apr 30, 2023

code refactoring

mariamatusiskovapushed 1 commit to #project2 • 913bb8c…26a50dc • 
on Apr 29, 2023

bug at setting children

mariamatusiskovapushed 1 commit to #project2 • 4a1b1d6…913bb8c • 
on Apr 26, 2023

not class improvement

mariamatusiskovapushed 1 commit to #project2 • bbf641e…4a1b1d6 • 
on Apr 26, 2023

last nodes

mariamatusiskovapushed 1 commit to #project2 • 067ca0d…bbf641e • 
on Apr 26, 2023

bugs are fixed

mariamatusiskovapushed 1 commit to #project2 • f3c54ec…067ca0d • 
on Apr 26, 2023

few changes

mariamatusiskovapushed 1 commit to #project2 • e456d9f…f3c54ec • 
on Apr 26, 2023

build function

mariamatusiskovapushed 1 commit to #project2 • e82e939…e456d9f • 
on Apr 18, 2023

reduction of input

mariamatusiskovapushed 1 commit to #project2 • d1ca1c8…e82e939 • 
on Apr 17, 2023

code improvement

mariamatusiskovapushed 1 commit to #project2 • 6290674…d1ca1c8 • 
on Apr 16, 2023

improvement of tables

mariamatusiskovapushed 1 commit to #project2 • 189b9f9…6290674 • 
on Apr 16, 2023

update

mariamatusiskovapushed 1 commit to #project2 • 4a91856…189b9f9 • 
on Apr 16, 2023

checkReductionBDD added

mariamatusiskovapushed 1 commit to #project2 • 281b478…4a91856 • 
on Apr 15, 2023

tables added

mariamatusiskovapushed 1 commit to #project2 • 5f49463…281b478 • 
on Apr 15, 2023

parsing input

mariamatusiskovapushed 1 commit to #project2 • 5b3e1b9…5f49463 • 
on Apr 15, 2023

macko work

mariamatusiskovapushed 1 commit to #project2 • e8f0838…5b3e1b9 • 
on Apr 14, 2023

inserted new classes and inicialization the basis of BDD

mariamatusiskovacreated #project2 • e8f0838 • 
on Apr 12, 2023

add new project

mariamatusiskovapushed 1 commit to master • 538fee0…9973051 • 
on Apr 12, 2023

delete folder

mariamatusiskovapushed 1 commit to master • 820e130…538fee0 • 
on Apr 12, 2023

add new project

mariamatusiskovapushed 1 commit to master • 5a661fe…820e130 • 
on Apr 12, 2023

order of repositories

mariamatusiskovapushed 1 commit to master • bf4b1f7…5a661fe • 
on Apr 12, 2023