intel_altera merge requestshttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests2020-07-15T16:12:36Zhttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/1z3 script refactor2020-07-15T16:12:36ZZizov Vadim Sergeevichz3 script refactorALM generators for SAT/SMTVladimir ZhukovVladimir Zhukovhttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/2Sat merge2020-08-01T15:26:34ZZizov Vadim SergeevichSat mergeResults for sat/smt approach were added.Results for sat/smt approach were added.https://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/3Mestetsky2020-09-01T08:25:51ZМихаилMestetskyhttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/4Mestetsky2020-09-03T21:05:15ZМихаилMestetskyhttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/5Mestetsky2020-10-03T12:49:19ZМихаилMestetskyhttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/6Mestetsky2020-10-28T17:26:07ZМихаилMestetskyhttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/7Katya2020-10-28T18:46:55ZVladimir ZhukovKatyahttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/8Add slides for genetic2020-10-19T15:35:00ZМихаилAdd slides for genetichttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/9Parser2020-10-28T16:45:12ZМихаилParserhttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/10Lopunov2020-10-22T19:04:23ZMikhail LopunovLopunovhttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/11Add report2020-10-28T14:41:37ZМихаилAdd reporthttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/12Merge core2020-11-08T04:13:31ZМихаилMerge corehttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/13Merge quartus and modelsim2020-11-08T04:39:19ZМихаилMerge quartus and modelsimhttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/14Merge verifier and verilog2020-11-08T05:14:41ZМихаилMerge verifier and veriloghttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/15Merge z3model2020-11-08T05:39:24ZМихаилMerge z3modelhttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/16Minor fix for genetic in report2020-10-31T13:36:43ZМихаилMinor fix for genetic in reporthttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/17Katya2020-11-07T13:51:35ZEkaterinaKatyahttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/18Lopunov2020-11-23T20:21:59ZVladimir ZhukovLopunovhttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/19Kuprash2020-11-23T20:19:26ZEkaterinaKuprashhttps://mks2.cs.msu.ru/root/intel_altera/-/merge_requests/20Tasks and tests for agilex2020-12-05T13:58:51ZМихаилTasks and tests for agilex