Jacob Lifshay
|
62b3e36612
|
tracer: add PyPy support to get_var_name().
Fixes #141.
|
2019-07-09 07:29:01 +00:00 |
|
|
whitequark
|
345a26b04b
|
test: fix Travis.
|
2019-07-08 10:22:47 +00:00 |
|
|
whitequark
|
8306c9cd63
|
Travis: update install script.
|
2019-06-01 17:09:41 +00:00 |
|
|
whitequark
|
bfe246a127
|
Travis: install SymbiYosys and Yices2.
In preparation for adding formal tests.
|
2019-01-16 01:06:51 +00:00 |
|
|
whitequark
|
7fa82a70be
|
back.pysim: eliminate most dictionary lookups.
This makes the Glasgow testsuite about 30% faster.
|
2018-12-18 16:36:54 +00:00 |
|
|
whitequark
|
51a92bc870
|
Travis: cache Yosys installation explicitly.
|
2018-12-18 00:42:14 +00:00 |
|
|
whitequark
|
de6c12af77
|
Travis: build and cache Yosys.
|
2018-12-17 17:21:42 +00:00 |
|
|
whitequark
|
1580b6e542
|
Lower Python version requirement to 3.6.
|
2018-12-15 17:03:23 +00:00 |
|
|
whitequark
|
68f8dabb29
|
Travis: install pyvcd.
|
2018-12-14 14:47:03 +00:00 |
|
|
whitequark
|
c60392595b
|
Set up Travis CI.
|
2018-12-13 07:54:02 +00:00 |
|