Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • dev
  • master default protected
2 results
Created with Raphaël 2.2.029Jan281214Nov123Oct30Sep23Jan12Dec10Aug9Jun25Feb625Jan243Dec5Nov12Sep14Jun21Feb2029Jan232Nov29Aug22Jun29May1715326Mar2215Nov26Aug25Jul20Jun321Apr24Mar24Feb2120320Jan19141311331Dec302928171618Oct1726Sep21Merge pull request #12 from wsnyder/remove_std_c11mastermasterRemove Makefile -std=c++11, added in 2bc411611776ea658302b10455c0242f9283a9d6FIX: Proofs now pass, even with new reset portUpdated copyright, added (optional) reset, refreshed IPMake now includes -lpthreads for modern Verilator buildingMerge branch 'master' into threadsMerge branch 'master' of github.com:ZipCPU/wbuart32Updated AXI-Lite slave properties to remove the (superfluous) cache inputLint updates / fixesFixes for Verilator multithreading.Merge pull request #10 from wsnyder/remove_tagsRemove tags as part of default make rulesUpdated copyright year, make test now tests both lite and fullUpdated Makefile to explicitly require c++ 11 standardMerge branch 'master' into updatedMoved INITIAL_UART_SETUP to w/in OPT_STANDALONE ifdef in helloworld.vFix Verilator-reported unused parametersFixed extra clock cycle to idle in txuartlite.vVIM folding added to txuartlite, fixed overconstraining assumptionFixed broken dependency checking for AXILUART's formal proofUpdated WBUART itself for (modern) coding practicesAdded an AXI-lite capability to the repositorySpelling mis-stake in a comment blockAdjusted rtl/Makefile to delete products on any errorMerge branch 'master' of github.com:ZipCPU/wbuart32Copyright bump to 2020, WBUART updated to new AutoFPGA standardMerge pull request #6 from pietrmar/MPI-uartlite-params-fixrtl: wbuart: use named parameter redefinition for INITIAL_SETUPFixed typo in the UART simulatorLong overdue UFIFO update and full proofAdded folding comment/markers to txuartlite.vRemoved the doc (and hence license dir) from master make cleanFixed the unused tag so verilator -Wall now passesMerge branch 'master' into devo_busy only cleared if CTS is 1Copyright + setupMinor WBUART simulation changeFixed the port list when using wbuart + rxuartliteUpdated proof, now proves txuart.v and removes two step proof from rxuartliteModified txuartlite for non-fixed length values