Commit graph

85 commits

Author SHA1 Message Date
Chris Myers
b11268ec9c Updated to suppot later Java versions 2024-11-26 20:27:58 -07:00
Chris Myers
fe229873e7 Updated pom files 2021-06-24 19:34:08 -06:00
Chris Myers
24423a0826 Remove JSBML dependency 2020-09-10 16:44:07 -06:00
Chris Myers
515c7634a2 Remove objects with same displayId before creating new
Fix run deadlock on errors
2020-05-10 13:37:36 -06:00
Tramy Nguyen
522a74d5e2 removed old technology mapping classes related 2019-11-24 18:13:09 -05:00
Tramy Nguyen
2d61736103 resolved merge conflict for verilogCompiler to master branch 2019-11-24 17:56:26 -05:00
Tramy Nguyen
f9886bb7cf - removed node preselection feature from GUI 2019-11-24 16:45:57 -05:00
Tramy Nguyen
5458c21eb7 successful run for yosys but not sbol tech. map 2019-09-27 12:56:15 -06:00
Tramy Nguyen
5600b73925 running atacs without successfully running yosys 2019-09-26 15:59:30 -06:00
Tramy Nguyen
e3fb409ec2 load verilog synthesis property 2019-09-25 13:26:16 -06:00
Tramy Nguyen
70e91ff1c5 add verilog file to project tree 2019-09-16 16:22:14 -06:00
Tramy Nguyen
50ad8f615a ran examples for sequential tech. map 2019-09-09 11:38:25 -06:00
Tramy Nguyen
687680a0d8 techmap solution revision for greedy and exhaustive pt. 2 2019-08-19 02:10:45 -06:00
Tramy Nguyen
37d4545b6d tech map non recursion for exhaustive and greedy 2019-08-18 12:16:34 -06:00
Tramy Nguyen
0b4c8b0273 filter example files 2019-08-07 23:20:34 -06:00
Tramy Nguyen
dbe40b6d3a technology mapping tested for covering 2019-08-07 23:20:07 -06:00
Tramy Nguyen
7f978c11cb perform tech. map cover with feedback 2019-06-12 00:55:56 -06:00
Tramy Nguyen
4f37244523 Merge branch 'master' of
https://github.com/MyersResearchGroup/iBioSim.git into verilogCompiler

Conflicts:
	gui/src/main/java/edu/utah/ece/async/ibiosim/gui/Gui.java
2019-04-23 17:28:24 -06:00
Chris Myers
b7ab474bd2 Update DNA to DNA_REGION, RNA to RNA_REGION, update jsbml 2019-04-20 17:29:35 -06:00
Tramy Nguyen
6f548c13a3 Test decomposed gates 2019-04-18 01:55:28 -06:00
Tramy Nguyen
bf8ae50f9a gate identifier revised 2019-04-08 19:02:47 -06:00
Tramy Nguyen
6caf6a427c fixed decomposed specification 2019-04-06 22:06:19 -06:00
Tramy Nguyen
d907c6f28e fix yosys error 2019-02-09 17:47:40 -07:00
Tramy Nguyen
33677d8612 support sbml delay string and real values 2019-02-05 17:03:22 -07:00
Tramy Nguyen
abc452161e support gate generation 2019-01-24 18:37:50 -07:00
Tramy Nguyen
56db09039e test cases for replacement and replacedBy 2019-01-16 22:04:04 -07:00
Tramy Nguyen
2111d56e9c support replacedBy and replacement for verilog2sbml 2019-01-15 16:43:30 -07:00
Tramy Nguyen
5da84b3f73 test cases for sbol tech map 2019-01-13 21:36:10 -07:00
Tramy Nguyen
86167355a8 more tests for sbol tech. map 2019-01-09 15:06:25 -07:00
Tramy Nguyen
da2b475326 sbol tech. map test case 2019-01-07 18:02:36 -07:00
Tramy Nguyen
42ab39cbc0 remaining changes for supporting urandom_range 2019-01-06 21:14:13 -07:00
Tramy Nguyen
569284876d support urandom_range 2019-01-06 21:13:37 -07:00
Tramy Nguyen
ada705e262 test gate generator 2019-01-04 15:20:04 -07:00
Tramy Nguyen
f2c91bc947 test sbol create copy 2019-01-04 15:13:27 -07:00
Tramy Nguyen
7704d7d15a support verilog import to workspace 2018-12-27 19:47:33 -07:00
Tramy Nguyen
6b65c00e0c update failing test cases 2018-12-26 23:40:21 -07:00
Tramy Nguyen
90cd29f671 more SBOL tests for VerilogCompiler 2018-12-26 17:13:59 -07:00
Tramy Nguyen
83f5e7b36e test1 for verilog to sbol hierarchy 2018-12-26 16:09:39 -07:00
Tramy Nguyen
ef54a6b481 rename testing classes 2018-12-26 13:01:26 -07:00
Tramy Nguyen
24f6134116 handle feedback for subcircuits for verilog compiler to sbol 2018-12-25 21:38:05 -07:00
Tramy Nguyen
fe18c7376b add subcircuit for sbol 2018-12-25 18:14:10 -07:00
Tramy Nguyen
224756adba support hierarchy for verilog to sbol 2018-12-24 22:15:06 -07:00
Tramy Nguyen
80d1566fb7 update test cases 2018-12-15 17:58:53 -07:00
Tramy Nguyen
ff4a513692 test cases for verilog to sbol 2018-12-01 18:09:39 -07:00
Tramy Nguyen
808aa14e9c fixed NOT parsed into SBOL 2018-12-01 14:59:23 -07:00
Tramy Nguyen
fa72009457 cleaned up unused methods 2018-11-29 19:30:57 -07:00
Tramy Nguyen
ca934a4106 fixed SBOL NOR gates for decomposition 2018-11-29 19:10:13 -07:00
Tramy Nguyen
280388b9fc code clean up for outputting data for compiler 2018-11-21 14:21:57 -07:00
Tramy Nguyen
45322c479f modified how output data should be generated 2018-11-13 18:21:05 -07:00
Tramy Nguyen
fafb29ffe0 added test cases for verilog compiler 2018-11-12 16:22:36 -07:00