Commits · 1.0.0rc1 · fvmformal / fvm · GitLab

Nov 22, 2025
- Bump version to 1.0.0rc1 · 36b6da51
  Hipólito Guzmán-Miranda authored Nov 22, 2025
  
  View commits for tag 1.0.0rc1 1.0.0rc1
  
  36b6da51
- examples/div32: skip prove.simcover · 9b84be91
  Hipólito Guzmán-Miranda authored Nov 22, 2025
  
  9b84be91
- doc: remove a couple of sphinx warnings · efead4bf
  Hipólito Guzmán-Miranda authored Nov 22, 2025
  
  efead4bf
- doc: small addition in drom2psl · 6e41c1f4
  Hipólito Guzmán-Miranda authored Nov 22, 2025
  
  6e41c1f4
- doc: improve drom2psl explanations · c64c89ac
  Hipólito Guzmán-Miranda authored Nov 22, 2025
  
  c64c89ac
- Fix concepts/counter_abstraction · 8ad8b205
  Hipólito Guzmán-Miranda authored Nov 22, 2025
  
  8ad8b205
- Update .gitignore · 422e71cb
  Hipólito Guzmán-Miranda authored Nov 22, 2025
  
  422e71cb
- doc: review complexityreduction and fix some concepts · d114b997
  Hipólito Guzmán-Miranda authored Nov 22, 2025
  
  d114b997
Nov 21, 2025
- CI: install git in run_steps_independently_questa · 899890bf
  Hipólito Guzmán-Miranda authored Nov 22, 2025
  
  899890bf
- Fix examples/div32 so it can run in the CI · ec0657a2
  Hipólito Guzmán-Miranda authored Nov 22, 2025
  
  ec0657a2
- Remove examples/ipv6TX · 3d0f5c8a
  Hipólito Guzmán-Miranda authored Nov 22, 2025
  
  3d0f5c8a
- CI: fix run_steps_independently_questa · 7ecd3585
  Hipólito Guzmán-Miranda authored Nov 22, 2025
  
  7ecd3585
- examples/div32: use curl instead of wget to download grlib · f0cbc683
  Hipólito Guzmán-Miranda authored Nov 21, 2025
  f0cbc683
- CI: improve run_steps_independently job · 153ad4fd
  Hipólito Guzmán-Miranda authored Nov 21, 2025
  
  153ad4fd
- Fix broken concepts / test examples · e11bba46
  Hipólito Guzmán-Miranda authored Nov 21, 2025
  
  e11bba46
- Fix failing drom2psl test · 249340e9
  Hipólito Guzmán-Miranda authored Nov 21, 2025
  
  249340e9
- CI: More testing · 078e242f
  Hipólito Guzmán-Miranda authored Nov 21, 2025
  078e242f
- Merge branch 'main' into devel · 07d522ab
  Hipólito Guzmán-Miranda authored Nov 21, 2025
  
  07d522ab
- CI: add run_test_examples_questa · 5a7fe26c
  Hipólito Guzmán-Miranda authored Nov 21, 2025
  5a7fe26c
- Makefile: allow running test/examples · 7d10ea78
  Hipólito Guzmán-Miranda authored Nov 21, 2025
  
  7d10ea78
- Change text/examples so they can be run from the root folder · 2e05d760
  Hipólito Guzmán-Miranda authored Nov 21, 2025
  
  2e05d760
- Move concepts/wishbone_sequence to test/ · 30709ba8
  Hipólito Guzmán-Miranda authored Nov 21, 2025
  
  30709ba8
- Improve reachability example and add it to doc · 6dcd311b
  Hipólito Guzmán-Miranda authored Nov 21, 2025
  
  6dcd311b
- doc: add missing concepts · fa64c408
  Hipólito Guzmán-Miranda authored Nov 21, 2025
  
  fa64c408
- doc: review examples.rst · e2015f19
  Hipólito Guzmán-Miranda authored Nov 21, 2025
  
  e2015f19
- doc: add table in examples.rst · 5a68350d
  Hipólito Guzmán-Miranda authored Nov 21, 2025
  
  5a68350d
Nov 20, 2025
- dualcounter: Remove Spanish comments · 56980486
  Marcos López García authored Nov 20, 2025
  
  56980486
- arbiter_rr: final corrections · ef1cb21e
  Marcos López García authored Nov 20, 2025
  
  ef1cb21e
- doc: change arbiter_rr image · 074f33aa
  Marcos López García authored Nov 20, 2025
  
  074f33aa
- div32: simplify property · 07a70f4a
  Marcos López García authored Nov 20, 2025
  
  07a70f4a
- arbiter_rr: Fix comment · 59d57187
  Marcos López García authored Nov 20, 2025
  
  59d57187
- drom2psl: Document the last undocumented functions · 2508c820
  Marcos López García authored Nov 20, 2025
  
  2508c820
- Merge branch 'devel' of ssh://git.woden.us.es:8080/eda/fvm into devel · 1a0057ea
  Hipólito Guzmán-Miranda authored Nov 20, 2025
  
  1a0057ea
- Remove examples_other folder · 2604c2c9
  Hipólito Guzmán-Miranda authored Nov 20, 2025
  2604c2c9
- axi_lite: more comments and fix psl · 6168dd4b
  Marcos López García authored Nov 20, 2025
  
  6168dd4b
- doc: Improve axi slae · 607cef5b
  Marcos López García authored Nov 20, 2025
  
  607cef5b
- examples: Improve comments in FIFOs PSL · 89ec58b9
  Marcos López García authored Nov 20, 2025
  
  89ec58b9
- ipv6: Improve comments in PSL · 579bdf4c
  Marcos López García authored Nov 20, 2025
  
  579bdf4c
- doc: Add links to repo in examples · 54195370
  Marcos López García authored Nov 20, 2025
  
  54195370
- concepts: delete irrelevant README · a5615200
  Marcos López García authored Nov 20, 2025
  
  a5615200