Commits · master · Vladimir Zhukov / intel_altera

18 Feb, 2021 1 commit
- Update adding_architecture.md · 42fec6cc
  Shupletsov Mikhail authored Feb 18, 2021
  
  42fec6cc
06 Feb, 2021 1 commit
- Update sat_synthesis.md · fa3a0eb6
  Shupletsov Mikhail authored Feb 06, 2021
  
  fa3a0eb6
04 Feb, 2021 3 commits
- zabyl)))) · c2e90449
  Vladimir Zhukov authored Feb 04, 2021
  
  c2e90449
- translate sat docs · 1a4be5c4
  Vladimir Zhukov authored Feb 04, 2021
  
  1a4be5c4
- translate main readme · b948a614
  Vladimir Zhukov authored Feb 04, 2021
  
  b948a614
03 Feb, 2021 5 commits
- update adding arch doc: synthesis · 2413a10e
  Vladimir Zhukov authored Feb 03, 2021
  
  2413a10e
- fix synthesis for new arch · b002f99c
  Vladimir Zhukov authored Feb 03, 2021
  
  b002f99c
- translate adding arch manual · 004f9bfc
  Vladimir Zhukov authored Feb 03, 2021
  
  004f9bfc
- typo · a714fdf5
  Vladimir Zhukov authored Feb 03, 2021
  
  a714fdf5
- adding arch instruction (ru) · 9afbdf39
  Vladimir Zhukov authored Feb 03, 2021
  
  9afbdf39
30 Jan, 2021 1 commit
- Merge branch 'Lopunov' into 'master' · 7f357284
  Vladimir Zhukov authored Jan 30, 2021
```
average complexity results added

See merge request !24
```
  7f357284
28 Jan, 2021 1 commit
- average complexity results added · 3db6a295
  Mikhail Lopunov authored Jan 28, 2021
  
  3db6a295
13 Dec, 2020 1 commit
- Add LICENSE · 585f4705
  Vladimir Zhukov authored Dec 13, 2020
  
  585f4705
05 Dec, 2020 4 commits
- Merge branch 'Mestetsky' into 'master' · d3b32c76
  Vladimir Zhukov authored Dec 05, 2020
```
Tasks and tests for agilex

See merge request !20
```
  d3b32c76
- 1. add interface for algorithm · 28c18a23
  Михаил authored Dec 05, 2020 and Vladimir Zhukov committed Dec 05, 2020
```
2. add comments
3. add searching functions that may be get for 1 mutation from multiplier
```
  28c18a23
- Merge branch 'Lopunov' into 'master' · ffcdc12e
  Vladimir Zhukov authored Dec 05, 2020
```
Lopunov

See merge request !21
```
  ffcdc12e
- Lopunov · 80618fff
  Mikhail Lopunov authored Dec 05, 2020 and Vladimir Zhukov committed Dec 05, 2020
  
  80618fff
02 Dec, 2020 2 commits
- Merge branch 'report_02_12' into 'master' · fd8bb07d
  Vladimir Zhukov authored Dec 02, 2020
```
Report 02 12

See merge request !23
```
  fd8bb07d
- Add details about experimental setup. · b20fb47b
  Михаил authored Dec 02, 2020 and Vladimir Zhukov committed Dec 02, 2020
```
Add fixed intro
```
  b20fb47b
01 Dec, 2020 1 commit
- trouble -> problem · 81fc234e
  Vladimir Zhukov authored Dec 01, 2020
  
  81fc234e
30 Nov, 2020 4 commits
- add sat runtime · 69222abe
  Vladimir Zhukov authored Nov 30, 2020
  
  69222abe
- add intro · 4fdf9216
  Vladimir Zhukov authored Nov 30, 2020
  
  4fdf9216
- Merge branch 'report_12_2' into 'master' · 9fc85e7a
  Vladimir Zhukov authored Nov 30, 2020
```
Add slides for genetic

See merge request !22
```
  9fc85e7a
- Add slides for genetic · da86bfd4
  Михаил authored Nov 30, 2020 and Vladimir Zhukov committed Nov 30, 2020
  
  da86bfd4
29 Nov, 2020 2 commits
- add bar charts for sat results · 66cf1fdb
  Vladimir Zhukov authored Nov 29, 2020
  
  66cf1fdb
- create presentation for 02.12 · 1fbc8b69
  Vladimir Zhukov authored Nov 29, 2020
  
  1fbc8b69
23 Nov, 2020 4 commits
- Merge branch 'Lopunov' into 'master' · c20e5599
  Vladimir Zhukov authored Nov 23, 2020
```
Lopunov

See merge request !18
```
  c20e5599
- Lopunov · 793e72f6
  Vladimir Zhukov authored Nov 23, 2020
  
  793e72f6
- Merge branch 'Kuprash' into 'master' · 1083a3dd
  Vladimir Zhukov authored Nov 23, 2020
```
Kuprash

See merge request !19
```
  1083a3dd
- Kuprash · 07ddb6b7
  Ekaterina authored Nov 23, 2020 and Vladimir Zhukov committed Nov 23, 2020
  
  07ddb6b7
21 Nov, 2020 1 commit
- Update README.md · f05417c9
  Vladimir Zhukov authored Nov 21, 2020
  
  f05417c9
08 Nov, 2020 9 commits
- move data to stratix10 subdirectory · 70f588b5
  Vladimir Zhukov authored Nov 08, 2020
  
  70f588b5
- Merge branch 'z3model' into 'master' · 2090c4f2
  Vladimir Zhukov authored Nov 08, 2020
```
Merge z3model

See merge request !15
```
  2090c4f2
- fix z3model · 9db43d4e
  Vladimir Zhukov authored Nov 08, 2020
  
  9db43d4e
- Merge branch 'z3model' of mks2.cs.msu.ru:root/intel_altera into z3model · 1a72323f
  Vladimir Zhukov authored Nov 08, 2020
  
  1a72323f
- Merge z3model · 3ec37202
  Михаил authored Oct 30, 2020 and Vladimir Zhukov committed Nov 08, 2020
  
  3ec37202
- Merge branch 'verifier' into 'master' · b89a21ee
  Vladimir Zhukov authored Nov 08, 2020
```
Merge verifier and verilog

See merge request !14
```
  b89a21ee
- minor fixes in verifier · 7f1a5ad9
  Vladimir Zhukov authored Nov 08, 2020
  
  7f1a5ad9
- Merge branch 'verifier' of mks2.cs.msu.ru:root/intel_altera into verifier · 039026a0
  Vladimir Zhukov authored Nov 08, 2020
  
  039026a0
- Merge verifier and verilog · 46cbbc02
  Михаил authored Oct 28, 2020 and Vladimir Zhukov committed Nov 08, 2020
  
  46cbbc02